Category
2,919 papers
Transformation without loss Residual cohomology of token-configuration arenas under change of substrate, symmetry, and admissibility Driven by Dean A. Kulik September 2026 Lead-in Put some indistinguishable tokens on the vertices of a finite graph, one per vertex, and let a token step to an empty neighbour. That is the...
Facial Expression Recognition (FER) models frequently struggle with intrinsic emotional label ambiguities caused by overlapping facial action units, leading to high misclassification rates among confusable categories such as fear and disgust. Simultaneously, deploying advanced deep learning architectures enhanced with...
A primeira grande transformação proporcionada pela Internet das Coisas (IoT) foi tornar o mundo físico visível: sensores, dispositivos e plataformas passaram a produzir volumes crescentes de dados sobre equipamentos, cidades e infraestruturas. Entretanto, conectividade e telemetria não significam, necessariamente, comp...
Abstract Robust LiDAR mapping in open-pit mine shoveling and loading scenarios is challenging because point-cloud registration is affected by dynamic equipment occlusion, dust-induced returns, platform vibration, and continuously changing terrain. This study proposes TCR-LM, a terrain-confidence-region-guided LiDAR map...
Reach audiences
Advertise in front of researchers, engineers, and readers.
Halide perovskite memristors are emerging as compelling platforms for in‐memory computing because their low ionic migration energies and compositional versatility enable tunable conductance states. However, previous studies have primarily focused on defect passivation to improve device reliability, with limited exp...
Calibration descriptor and extraction scripts for the Proof of Trust (PoT) proof-of-concept. Provides per-profile, per-dimension distribution parameters derived from the descriptive statistics of real IoT/IIoT security datasets (MQTTset, N-BaIoT, Edge-IIoTset; TON_IoT as contextual reference). Version 1.8 adds manufact...
This technical data package establishes the engineering blueprints, economic integration thesis, and provisional utility patent specifications for the Lawrence Aero Brick Solid-State Transformer (LAB-SST). The LAB-SST is a zero-silicon, plasma-state power transformation architecture that replaces physical Silicon Carbi...
We record a vanishing phenomenon for exact (non-Monte-Carlo) Weingarten calculus computations on SO(m), encountered while searching for non-local closing constructions for the residual 3⁻³⁴ discrepancy in reconstructing Nissim's SO(3) deconfinement tube. Call a plaquette a 4-cycle of directed edges, and say it is doubl...
guv-calcs is an open-source Python scientific computing library for physically based modeling of germicidal ultraviolet (GUV) light in indoor environments, with a focus on far-UVC (200–235 nm) applications. The library provides core numerical tools for representing lamps, spatial geometry, calculation planes and volume...
Modern deep learning accelerators (GPUs, TPUs) are fundamentally constrained by the von Neumann memory wall: over 90% of total inference energy and latency is consumed by shuttling high-precision matrix weights across off-chip memory hierarchies (HBM3e, GDDR6) rather than executing arithmetic operations. Furthermore, a...
roseNNa is now a code generator. A model is lowered to Fortran 2008 or C11 with literal loop bounds, no runtime shape logic, no allocation and no mutable global state, so infer inlines into a solver's own compute kernel -- including a device kernel. The previous runtime library (fLibrary/) is retired. It parsed a model...
Photonic logic gates, essential for next-generation photon computing, are currently hindered by limited dynamic control, high power consumption, and architectural complexity. Here, we demonstrate a non-volatile, reconfigurable optoelectronic logic device based on a van der Waals heterostructure of ferroelectric α-In₂Se...
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.
By rethinking how large cloud computing systems operate, Associate Professor Christina Delimitrou seeks to make data centers more energy efficient.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
