Category
3,351 papers
Reproducibility package supporting the manuscript “Reproducible Radial-Angular Geometry of Visual Category Representations in Human MEG: Phase Organization Beyond Amplitude Structure”. The archive contains analysis code, pre-specified protocol snapshots, compact numerical results, numerical self-tests, figure-generatio...
This preprint combines three investigations of independent sets on finite trees. It proves arbitrarily long consecutive blocks of strict log-concavity failures in a fixed family of unweighted subcubic trees. For every fixed positive epsilon less than one, a suitable fixed terminal path gives at least a constant multipl...
The dominant paradigm in Human-Computer Interaction (HCI) and consumer softwareengineering posits the systematic elimination of interaction resistance—termed "SeamlessUX"—as the primary index of architectural optimization. This paper presents a structuralcritique of frictionless interaction models across neurobiologica...
Defect-aware physical-design recovery assumes that identifying an unusable resource can enable functionality to be recovered by relocation. This work tests a narrower question: can a frozen static-vacancy relocation method outperform a qualified native re-legalization control when both are applied to the same failed-fo...
Reach audiences
Advertise in front of researchers, engineers, and readers.
GREEN is an open-source framework for quantum many-body simulations of molecules and solids using Green’s function methods. This poster presents its capabilities in self-consistent GW, relativistic electronic structure, strong-correlation embedding, and spectroscopy, alongside GPU-enabled high-performance computing and...
TÍTULO MANTIDO: Artigo 2 V2 VALIDADA: Vácuo como Medida Divisora Log-Uniforme - Não Evolução da Escala de Aceleração - Teste SPARC e REBELS-25 (z=7,31) + Livro Completo Consolidado V6.3 DESCRIÇÃO NOVA - V3 ATUALIZADA COM LIVRO V6.3: Este depósito consolida a V2 VALIDADA do Paper 2 + a relação com as 6 Provas + Manifest...
Graphs are used to model a very wide array of real-world problems in which there are objects and relationships between the objects, and graphs are used to help with reasoning tasks, such as about the relationship pathways between persons of interest in law enforcement or between genes, tissues, diseases, and medication...
The probabilistic cloud state machine (PCSM) theory [1] formalises the classical control layer of quantum computing as a geometric model over the space of stable probability distributions. This paper reports the full implementation path from that theory to a usable Python programming interface, together with real-hardw...
Software artifact for SkillCODER: Towards Auditing and Attribution of Copyright Infringement in LLM Agent Skills, accepted at ACM CCS 2026 (Round 2). This is the September 13, 2026 repackaging of v1.0.0, based on source commit 22eccdb452b2d90e475277ebb34ee584e5f617fe. It includes the current English and Chinese documen...
This paper tests a statistical hypothesis about interacting multi-systems: when two persistently interacting systems express the same structure state consistently, that structure produces a more concentrated symbol distribution within either single system — in short, "a structure expressed consistently by two systems i...
emgteach is an open-source Python package that provides a unified PySide6 desktop application for real-time acquisition, offline analysis and maximum voluntary contraction (MVC) normalisation of surface electromyography (sEMG) signals. It is designed for hands-on biopotential acquisition in undergraduate physiology tea...
Automated platforms that classify sequence variants under the American College of Medical Genetics and Genomics/Association for Molecular Pathology (ACMG/AMP) framework are increasingly used in rare-disease genomics, yet methodology for characterizing their performance at an early organizational stage is underdeveloped...
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
A Blog post by Ai2 on Hugging Face
GPT-Lab
· gpt-lab.eu
Nov 3, 2026
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
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.
A Blog post by IBM Granite on Hugging Face
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
