Quantifying Social Diffusion in Climate-Adaptive Practice Adoption: An Agent-Based Simulation and Explainable Machine Learning Framework for Smallholder Farmers." It contains the agent-based simulation generator and the complete eleven-stage analysis pipeline used to produce every table, figure, and reported statistic...
Saravanan Srinivasan· Zenodo (CERN European Organi...· 0 citations
Security assessment requires repeated alternating current optimal power flow (AC OPF) solutions under changing injections and line outages. We propose a topology conditioned physics informed graph Fourier neural operator (GFNO PINO) that predicts voltage phasors and dispatch from network and operating data. Chebyshev f...
Roshan Sharma, Ujjwal Dahal· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Abstract Total ionization cross sections (TICS) for electron impact on molecules are essential inputs for plasma modeling and electron-transport simulations. The semi-empirical Binary-Encounter-Bethe (BEB) method provides reliable single-ionization TICS, but every molecule requires a separate quantum-chemical calculati...
Jun-Hyoung Park, Young Choon Park, Hyonu Chang et al.· Plasma Sources Science and T...· 0 citations
Boolean Satisfiability (SAT) solving underlies a wide range of practical applications, including hardware verification, software testing, automated planning, and combinatorial design. Decades of engineering effort have produced highly optimised Conflict-Driven Clause Learning (CDCL) solvers, yet empirical studies consi...
Zishaan Ahmed, T. K. M. Lee· Zenodo (CERN European Organi...· 0 citations
Small-molecule drug discovery requires navigating enormous chemical space to identify candidates that are simultaneously potent, selective, synthetically accessible, and acceptable across pharmacokinetic and safety profiles; modern generative AI extends a long computational medicinal chemistry lineage that began with Q...
It is formally proved that GNN architectures lacking spectral expressiveness impose strict constraints on the representation space, so that harmful linear correlations between sensitive attributes and target prediction logits are preserved whenever a low-expressive backbone is paired with a debiasing operator acting wi...
Ming-Qi Yang, Zhao-Yu Liu· ACM Transactions on Knowledg...· 0 citations
Release purpose This archive is the release-grade executable evidence and verification system for “What Information Can Be Discarded?” It freezes the proof-support artifacts, experiment suites, source code, public or generated inputs, protocols, environment locks, sealed results, statistical analyses, and paper-to-resu...
Bsmpx· Zenodo (CERN European Organi...· 0 citations
Facing the power communication needs in remote areas lacking public network coverage, Low Earth Orbit (LEO) satellite networks are considered an important support for power communication due to their advantages of wide coverage, low latency, and high bandwidth. However, the high speed of the satellites leads to frequen...
Hangfan Zhou, Yang Liu, Xiangxiang Li et al.· Advances in transdisciplinar...· 0 citations
With the advancement of computer technology, corporate financial risk control systems face challenges related to complex data processing and delays in risk identification. This paper proposes an intelligent risk control method based on a hybrid LSTM-GNN (Long Short-Term Memory-Graph Neural Network) model, utilizing LST...
Huisu Gao· Advances in transdisciplinar...· 0 citations
Boolean Satisfiability (SAT) solving underlies a wide range of practical applications, including hardware verification, software testing, automated planning, and combinatorial design. Decades of engineering effort have produced highly optimised Conflict-Driven Clause Learning (CDCL) solvers, yet empirical studies consi...
Zishaan Ahmed, T. K. M. Lee· 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.