A temporal statement store keeps every occurrence of a statement as a record. Each record has its own identifier, a triple, a transaction-time lifetime and a valid-time interval, and other records can refer to it. This paper asks which part of such a store can be exported as a Statement Graph without inventing or renam...
V.I. Pavlyshyn· Zenodo (CERN European Organi...· 0 citations
Abstract To address the problem that traditional facility agriculture environmental control relies on fixed environmental thresholds and cannot adapt to the dynamic environmental requirements of crops at different growth stages, a crop phenology-based Crop Growth Dynamic Threshold Strategy (CGDTS) was proposed. An Inte...
Shuxin Chen, Yongchao Li, Panpan Liu et al.· Scientific Reports· 0 citations
Spiking neural networks (SNNs) are a promising computational paradigm for resource- and energy-constrained edge applications. However, their implementation on field-programmable gate arrays (FPGAs) remains a complex task that typically requires both neuromorphic-computing knowledge and hardware-description expertise. T...
Samuel López-Asunción, Cristina Bermúdez-Martín, Pablo Ituero et al.· Frontiers in Neuroscience· 0 citations
RR Lyraes (RRLs) are important tracers of old stellar populations and crucial distance indicators. To complement large variability surveys such as and Rubin-LSST, the topology of the RRL instability strip (IS) and their period-luminosity-metallicity (PLZ) and period-Wesenheit-metallicity (PWZ) relations must be updated...
Mami Deka, Marconi M, R. Molinaro et al.· Astronomy and Astrophysics· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Abstract. We present a higher-order boundary condition for atomistic simulations of dislocations that address the slow convergence of standard supercell methods. The method is based on a multipole expansion of the equilibrium displacement, combining continuum predictor solutions with discrete moment corrections. The co...
Xinyi Wei, Julian Braun, Yangshuai Wang et al.· SIAM Journal on Scientific C...· 0 citations
This study proposes an edge computing-based artificial intelligence (AI) vision inspection system for manufacturing sites and validates it through a soldering inspection case study. While AI-based vision inspection offers higher accuracy compared with conventional rule-based methods, it suffers from increased computati...
Jin-Ah Son, Hyosung Hong· Journal of Institute of Cont...· 0 citations
In cloud manufacturing, unmanned aerial vehicles (UAVs) can support both product collection and mobile edge computing (MEC). This joint operation forms a hybrid scheduling problem, where physical logistics decisions are coupled with computational task scheduling. In this paper, UAVs collect finished products from manuf...
Hanwen Zhang, Dusit Niyato, Wei Zhang et al.· Singapore Institute of Techn...· 0 citations
Smart Services Such As Health Monitoring, Camera-Based Access Control And Ride-Hailing Must Decide What To Compute, Where To Compute It And When. Sending Every Reading To The Cloud adds Delay And Network Load, While Running Every Model On The Device Drains Its Battery And Memory. Edge Computing Places Processing Betwee...
V. Kavya, Kulkarani Kavana K· International Journal Of Rec...· 0 citations
Abstract The oil and gas industry faces increasing pressure for continuous, measurement-informed methane emissions monitoring, driven by voluntary frameworks such as OGMP 2.0 and regulations such as the U.S. EPA's OOOOb rules (U.S. EPA 2024b). Optical Gas Imaging (OGI) is the established detection method, but ubiquitou...
Andrii Bashtovyi, Alex Hollema, Kaylee Williams et al.· SPE Annual Technical Confere...· 0 citations
Chronic pain management requires complex multidisciplinary reasoning integrating pharmacological, interventional, rehabilitative, and psychosocial approaches across multiple guideline frameworks (International Association for the Study of Pain [IASP], American College of Rheumatology [ACR], European Alliance of Associa...
Mete Tuğcan Üçdal, Evren Ekingen, Ali Niyazi Kurtcebe· BMC Anesthesiology· 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