Although the framework performed slightly better than the best baseline under the tested conditions, the improvement was not statistically significant enough to establish consistent superiority and emphasize the need for further evaluation of deployment time, base-rate estimation, and real-world cybersecurity scenarios...
N. Deotale, Annaluri Sreenivasa Rao, E. Sreedevi et al.· International Journal for Gl...· 0 citations
Overall, the proposed AI–DFT framework provides a physically interpretable computational approach for climate-aware prioritization of perovskite photovoltaic materials by connecting quantum-derived descriptors, ML predictions, environmental factors, sensitivity-based robustness assessment, and device-level performance...
Douglas Yeboah, Claudia Asare, Prince Gaka· Engineering Research Express· 0 citations
This work observes that predictive uncertainty decreases as latent representations shift toward lower-variance posterior directions, even though the posterior variance does not contract, and proposes Alignment-Guided Learning (AGL), which explicitly promotes this alignment during training.
Suk-Hoon Choi, Damdae Park, Junhyuk Choi et al.· 0 citations
Antenna selection is investigated as a means of reducing radio-frequency (RF) chain power in massive multiple-input multiple-output (MIMO) base stations under realistic channel state information (CSI) impairments. The study is motivated by the mismatch between conventional selection objectives and multi-cell operation...
Iacovos I. Ioannou, V. Vassiliou· Network· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
ReCoG (Reciprocal Co-Evolution for Multimodal Graph Learning) is proposed, a new learning paradigm that tightly couples graph structure learning and multimodal representation learning through end-to-end reciprocal interaction and yields greater expressiveness than decoupled or two-stage formulations.
Experiments show that prediction must be coupled with autonomous optimization to deliver practical resilience, and show that the learned policy sustains service levels, shortens recovery time, and reduces total disruption cost relative to base-stock and single-agent baselines.
Sohail Sayed, Nauman Sayed· Iconic research and engineer...· 0 citations
An automated theorem prover builds a proof step by step, choosing at each point what to add and what to remove, and learns policies that solve up to 46% more problems than leanCoP, and reach proofs in an order of magnitude fewer steps.
Fredrik Rømming, Mantas Baksys, Martin Fixman et al.· 0 citations
CrystalGRW is introduced, a diffusion-based generative model on Riemannian manifolds that proposes candidate crystal configurations in stable phases, validated through density functional theory calculations, thereby accelerating materials discovery and inverse design.
Krit Tangsongcharoen, T. Pakornchote, C. Atthapak et al.· Scientific Reports· 1 citation
This paper introduces a novel neuro-symbolic reasoning engine designed to tackle complex problems by integrating the strengths of deep learning and symbolic reasoning. The core concept is to fuse multi-modal information – including images, text, and audio – to create a richer understanding of the problem domain. This u...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper presents a novel graph theory-based optimization algorithm for neural network architecture design, leveraging the inherent properties of graph structures to enhance network performance. Traditional neural network architectures often rely on fixed configurations, while this approach dynamically adjusts networ...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
Assistant Professor Pat Pataranutaporn describes a new interface that lets everyday users glimpse inside an AI's neural network before their chatbot ever says a word.
Microsoft Research Blog· microsoft.comJul 13, 2026
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduJul 6, 2026
PhD student Rachel Sava, winner of the Envisioning the Future of Computing Prize, explores transformative improvements and dystopian risks of neural technology.