With the widespread application of trajectory data in areas such as traffic management and route planning, efficiently computing trajectory similarity for fast retrieval has become a critical challenge. Existing methods for trajectory similarity measurement often face issues of low computational efficiency and poor sca...
Shao-Xuan Gu, Hui Zhang, Lei Li et al.· ACM Transactions on Knowledg...· 0 citations
The boundary of the tetrahedron is a sphere, and a sphere has no boundary. We make the second fact a finite computation: over the two-element field, the boundary surface of a tetrahedron certifies its own closure by a local count — every edge lies in exactly two faces — rather than by any global topological argument. W...
The Institute for Applied Ontological Mathematics· Zenodo (CERN European Organi...· 0 citations
A proof strategy is an object with a shape, and the shape can be wrong before a single lemma is attempted. We study one such strategy for Goldbach's conjecture — the proposal to cover the even numbers by an expanding family of graphs on prime states, so that a spectral gap forces the count of prime-pair representations...
The Institute for Applied Ontological Mathematics· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
A small, free Python program for playing with the growth of the vein network of the slime mould Physarum polycephalum. Core idea (from the author's experiments): every finger of the growth front leaves exactly one vein, so splitting and fusion of fingers alone produce a network of degree-3 nodes. Added from the literat...
Werner Baumgarten· Zenodo (CERN European Organi...· 0 citations
Background Pleuroparenchymal fibroelastosis (PPFE) is a rare, most often idiopathic fibrotic lung disease with poor prognosis, mainly affecting adults. Biallelic pathogenic variants in the deoxyguanosine kinase gene ( DGUOK ) cause a mitochondrial DNA (mtDNA) depletion syndrome, predominantly affecting infants with sev...
Sandra von Hardenberg, Pia Maier, Leonard Christian et al.· European Respiratory Journal· 0 citations
Mobile Edge Computing (MEC) enables low-latency services by migrating computational resources closer to end-users. However, as mobile workloads increasingly adopt complex Directed Acyclic Graph (DAG) topologies, system performance is strongly affected by interdependent data shuffling across the inter-server fabric and...
Closed-loop quality control in metal cutting is reported as achieved whenever a system pairs a monitoring signal with an adjustable process parameter. The monitoring component and the control component are, in the great majority of published systems, validated on two separate benchmarks: a detector is scored on how acc...
Kurbanov Z., Yuldoshev R., Toshpulotov Sh.· Zenodo (CERN European Organi...· 0 citations
A geometric research program of V. Veselov proposes to read curvature, a flow, and a spectral trace off a family of graphs built from the golden mean, and to reach — eventually — a bridge to the Riemann hypothesis. A program is not a theorem. We ask a sharper question: exactly how much of it is one? We answer by constr...
The Institute for Applied Ontological Mathematics· Zenodo (CERN European Organi...· 0 citations
Abstract: The rapid growth of Internet of Things (IoT) deployments is producing workloads whose latency, bandwidth, energy, privacy, and reliability requirements vary over time. Cloud-centric processing provides substantial compute and storage capacity, but device-to-cloud communication can increase delay and network t...
Komal Prasad Kanojia, Vidisha Sonawane, Harshada Patil et al.· Zenodo (CERN European Organi...· 0 citations
The corpus establishes, by inspection, that exactly two of the twenty structures require a heteroatom with no source within the carrier, and places them under a hypothesis about the medium which it states and declines to establish [Sch26o]. This paper supplies the object in which those two structures are formed, and re...
Charles Schaper· Annals of the Chrysene Forma...· 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
