Category
3,030 papers
This paper presents a novel approach to distributed resource scheduling utilizing a multi-agent collaborative framework. The core claim is that through the orchestrated interaction of multiple intelligent agents, dynamic and optimized scheduling of distributed resources can be achieved, ultimately enhancing resource ut...
This survey reviews 2024–2026 progress in LLM inference through a unified "inference processing unit" (IPU) lens, organized into 4 coupled layers. 1. The chip layer covers dedicated accelerators (Groq's LPU, Cerebras' wafer-scale engine), hyperscaler ASICs (Google's TPU v7, AWS Trainium 3, Microsoft's Maia 200), and em...
The evolution of scientific theories exhibits a pronounced hierarchical character,with each level providing effective predictions within specific operational boundaries, and undergoing structural transitions at these boundaries. Based on empirical patterns from the history of science and hard constraints from formal sy...
A smart pipe leak detection system prototype based on the Internet of Things (IoT) using the Zero-Order Sugeno Fuzzy Logic method demonstrated the capability to reduce false alarm risks and provide reliable automatic water supply shutoff mitigation without depending on the stability of cloud server connectivity.
Reach audiences
Advertise in front of researchers, engineers, and readers.
This paper proposes a novel cryptographic key exchange protocol leveraging concepts inspired by quantum mechanics, specifically superposition and probabilistic exploration, through a graph-based routing mechanism. Traditional key exchange protocols often rely on computationally intensive mathematical problems, making t...
The present analysis reframes African computer engineering as a problem of design under persistent intermittency, cost ceilings and maintenance scarcity rather than as delayed adoption of imported architectures. It asks why performance, energy and reliability models calibrated for stable grids and dense service network...
This survey reviews 2024–2026 progress in LLM inference through a unified "inference processing unit" (IPU) lens, organized into 4 coupled layers. 1. The chip layer covers dedicated accelerators (Groq's LPU, Cerebras' wafer-scale engine), hyperscaler ASICs (Google's TPU v7, AWS Trainium 3, Microsoft's Maia 200), and em...
Graph partitioning is a fundamental problem in various fields, including computer graphics, high-performance computing, and network design. Traditional graph partitioning algorithms often suffer from high computational complexity, particularly when dealing with large and complex graphs. This research investigates the p...
FINDING: The Busy Beaver function BB(n) and the Church-Kleene ordinal ω₁^CK define the transfinite boundary of computability, where growth rates exceed all recursive functions and collapse into non-computable arithmetic truth. | MATH: BB(n) = max steps before halting among n-state Turing machines; BB(5) = 47,176,870 (r...
Stable release for Windows. Includes all core EIS fitting features. What's New in v3.0.0 ZScope 2.x.x was a very good tool for fitting one spectrum. This release is about everything around that: understanding what your circuit is doing, controlling how it is fitted, deciding which circuit is right, and — the reason for...
Climate tipping points—abrupt, potentially irreversible transitions in Earth subsystems such as the Atlantic Meridional Overturning Circulation (AMOC)— represent one of the most consequential risks in climate science. Existing early-warning indicators based on critical slowing down (rising variance and autocorrelation)...
This article presents the design of a vision-based line-following control strategy for an omnidirectional mobile robot operating on surfaces marked by lines. The proposed approach combines computer vision techniques with a Mamdani-type fuzzy controller to generate motion commands directly from visual feedback. Image ac...
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.
