The rapid advancement of artificial intelligence edge computing, and autonomous systems is transforming the nature of modern warfare. Traditional defense operations, which relied heavily on centralized command structures and human decision-making, are increasingly being augmented by intelligent systems capable of sensi...
Amit Biswas, Neha N. Chaubey, Om Nirbhaykumar Chaubey· Advances in computational in...· 0 citations
Context. Modern distributed computing and cyber-physical systems, such as UAV swarms and IoT networks, are shifting from centralized control to decentralized real-time collective decision-making. These systems often operate under conditions of limited bandwidth, dynamic topology, and the presence of unreliable or malic...
A. Volokyta, M. Melenchukov· Radio Electronics, Computer...· 0 citations
PSL's invariant that every meaning field is always null has so far been applied within a single module at a time. This report generalizes it into an explicit architectural pattern -- a meaning-free core that is never modified, paired with a separable overlay (for machine-facing derived signals) or skin (for human-facin...
TOYOHIRO ARIMOTO, 5 Sonnet· Zenodo (CERN European Organi...· 0 citations
Preregistered protocol, version 1.4, for sprint 4 of seldon-lab, the research workflow of the Computational Macrohistory (CMH) programme at the Foundations Institute of Computational Social Science (FICSS). Question. Among non-democracies (V-Dem polyarchy below 0.5), does a model with slow covariates forecast crises be...
Galen Fontaise· Zenodo (CERN European Organi...· 0 citations
A state has two indicators. Compliance is decided by the posterior mean of the first, while a verifier reads each disclosed posterior through a per-coordinate spectral statistic of both marginals — a lower Expected Shortfall or a lower quantile of each indicator — and the sender minimises the expected read subject to a...
Mikio Hanaeda· Zenodo (CERN European Organi...· 0 citations
An R package for statistics formed from a difference, ratio or residual of two quantities that share a measured component. Four such constructions are covered: a divergence measured against a shared reference arm, a trans term obtained by subtracting a cis term, a count of significant features read as an ordering of ef...
Rui Chen· Zenodo (CERN European Organi...· 0 citations
Measured-data release: less biased tomography fits, error bars that hold for non-Gaussian detection noise, an exact Voigt width, moments of the trajectory solver at the requested times, and input checks where bad inputs used to give silent nan or unphysical numbers. Added estimate_squeezing(..., shot_noise="empirical")...
Tanvir M. Mahim, M. Mosaddequr Rahman, Abu S. M. Mohsin· Zenodo (CERN European Organi...· 0 citations
v1.1 correction notice. This version corrects the identification of κ as a Stokes multiplier, withdraws the conditional transcendence theorem (Theorem 4) that the title refers to, and corrects four smaller statements, after an independent re-audit that recomputed the Stokes jump by two routes. The paper file, the title...
Papanokechi· Zenodo (CERN European Organi...· 0 citations
Papers V and XV–XIX establish the static, topological content of the QH=3 quark/baryon sector — the trefoil T(2,3), the binary tetrahedral group 2T, the WZW model (E6)1 ⊃ SU(3)1×3, and a saddle-less (algebraic) quark mass. Paper XX assembles the sector's dynamical content and, in doing so, sharpens what the framework i...
Frederick Manfredi· Zenodo (CERN European Organi...· 2 citations
Embodied voice assistants offer an intuitive and powerful interaction modality, but they also pose significant privacy-leakage risks when uploading raw voice recordings to the cloud for processing. These voice recordings contain a wealth of private information beyond just spoken content, such as acoustic features that...
Cameron Haire, Yasha Iravantchi, Kang Geun Shin et al.· Proceedings of the ACM on In...· 1 citation
Individualized therapeutic prompts such as physical, gestural, or verbal cues are necessary to enable children diagnosed with autism to become independent in daily activities. However, the automated detection of the prompts in naturalistic conditions is difficult. The solutions currently proposed also have difficulty w...
Indah Werdiningsih, Ira Puspitasari, Rimuljo Hendradi· Bulletin of Electrical Engin...· 0 citations
For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical obstacle to understanding the efficiency of randomized algorithms used across science and computing. The Kannan–Lovász–Simonovits (KLS) conjecture was proposed in 1995. It asks whether, for a broad class of high-dimensional […] The post Solving a 31-year-old grand challenge in mathematics – the KLS conjecture appear…
MIT News · Artificial Intelligence· news.mit.eduOct 15, 2026
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 8, 2026