Category
3,069 papers
Graph isomorphism, the problem of determining whether two graphs are structurally identical despite potentially differing node labels and edge orientations, is a fundamental problem in computer science and theoretical mathematics. This paper investigates the potential for quantum algorithms, specifically leveraging Gro...
Every Lorentzian spinfoam amplitude computed numerically truncates the sum over virtual SU(2) spins l_f >= j_f at a shell depth Delta l; the convergence of that sum has not been proved. This paper bounds the sum by the direct absolute-value route and reports how far it reaches. (1) For the first-kind 15j symbol of the...
This technical report introduces a cloud-native architecture designed to implement the Cognitive Edge Emergence Model (CEEM). Traditional language model generation relies heavily on generic associations and external valence inferences. In contrast, this architecture establishes an individual-specific, self-reinforcing...
Esiste un punto d'incontro perfetto in cui la successione di Fibonacci annulla l'attrito dei decimali, trasformando l'area bidimensionale del passato nel rapporto lineare del futuro (Shift-2). Questo saggio dimostra matematicamente il Principio Olografico e isola sperimentalmente il "punto di rottura" fisico dello stan...
Reach audiences
Advertise in front of researchers, engineers, and readers.
This chapter presents a computational framework for intelligent indoor environmental management through artificial intelligence integration in smart urban infrastructure. The work systematically develops mathematical models for pollutant dynamics using mass balance principles and state space representation, followed by...
The paper puts forward a smart control system for the energy internet that uses edge computing, with a focus on the combined innovation of smart grid technology, power electronics systems and predictive control. Adopting a 'cloud-edge-end' architecture, the system uses predictive control technology to precisely regulat...
The Attention-LSTM model has performed better than the Persistence, LSTM and GRU models in terms of MAE, RMSE and MAPE, and according to the ablation experiment, the attention layer and some kinds of modal input variables are also useful.
A two-tier cascaded assessment framework based on multi-dimensional feature extraction and Dempster-Shafer (D-S) decision fusion is proposed to address the physical blind spots inherent in single-parameter monitoring and the boundary ambiguity caused by high-noise environments during the insulation deterioration of 10...
A fusion-based artificial intelligence framework that integrates Quantization-Aware Training (QAT)-optimized PointNet++ models with machine-learning regression to predict a short-term dendrometer-derived stem-diameter response expressed in biomass-equivalent units is proposed.
This research paper establishes a limit-free, finite-dimensional algebraic framework for discrete spacetime geometry and quantum kinematics in (3+1) dimensions. Operating over the finite Galois field F_p (with prime characteristic p > 5 and p = 3 mod 4) and its quadratic extension F_p[delta] (isomorphic to the field of...
We prove six structural results for the local Weil quadratic form $Q_W^L$ on $L^2(-L,L)$ in the interval $\tfrac{1}{2}\log 2 < L < \tfrac{1}{2}\log 3$, the first-prime window where only the prime $n = 2$ contributes to the explicit formula. Our main technical contribution () is an algebraisation showing that the matric...
This manuscript presents the RAPS Dome as a distributed, passive, multimodal sensor-fusion architecture for edge-networked monitoring and Bayesian decision support. The system extends the earlier Sensor Dome concept by combining distributed acoustic sensing (DAS), acoustic and infrasound arrays, encapsulated heterodyne...
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.
Professor Paris Smaragdis develops computers with superhuman hearing for applications like speech recognition, music understanding, and environmental monitoring.
Education Innovation
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…
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
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.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
