On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories

Dit artikel introduceert een generiek raamwerk dat voldoende voorwaarden biedt voor het garanderen van polynomiale tijd-beslisbaarheid voor fragmenten van eerste-orde theorieën met een vast aantal negaties, en past dit toe om te bewijzen dat de fragmenten met een vast aantal negaties van zwakke Presburger-aritmetiek, zwakke lineaire reële aritmetiek en een beperkte versie van Presburger-aritmetiek in polynomiale tijd beslisbaar zijn.

Christoph Haase, Alessio Mansutti, Amaury Pouly2026-03-10💻 cs

A 1.6-fJ/Spike Subthreshold Analog Spiking Neuron in 28 nm CMOS

Dit artikel presenteert een energiezuinige analoge spiking-neuron in 28 nm CMOS-technologie die slechts 1,61 fJ per spike verbruikt en, gecombineerd met een gekwantiseerd spiking-neuraal netwerk, een nauwkeurigheid van 82,5% bereikt op de MNIST-dataset, wat de potentie aantoont voor hoogpresterende embedded machine learning-toepassingen.

Marwan Besrour, Takwa Omrani, Jacob Lavoie, Gabriel Martin-Hardy, Esmaeil Ranjbar Koleibi, Jeremy Menard, Konin Koua, Philippe Marcoux, Mounir Boukadoum, Rejean Fontaine2026-03-10💻 cs

Safe Navigation of Bipedal Robots via Koopman Operator-Based Model Predictive Control

Deze paper presenteert een veilig navigatiekader voor bipedale robots dat een door deep reinforcement learning getraind locomotiebeleid combineert met een op de Koopman-operator gebaseerde lineaire dynamische voorspelling in een verheven ruimte, waardoor een modelvoorspellende regelaar (MPC) nauwkeurigere trajecten en verbeterde veiligheid in dichte omgevingen kan bereiken.

Jeonghwan Kim, Yunhai Han, Harish Ravichandar, Sehoon Ha2026-03-10💻 cs

Optimal Mediation Mechanism in Bilateral Trade

Dit artikel onderzoekt de ontwerp van inkomstenmaximerende mechanismen voor een zelfzuchtige mediator in tweezijdige handel met interafhankelijke waarderingen, waarbij het een onmogelijkheidsresultaat aangaande prikkelcompatibiliteit, gehoorzaamheid en informativiteit vaststelt en vervolgens de optimale mechanismen analyseert onder de voorwaarden van constante kosten of vetorecht, wat respectievelijk leidt tot een drempelstructuur die lage types meer informatie biedt en een 'lemons market'-effect veroorzaakt.

Zhikang Fan, Weiran Shen, Shaojie Tang, Yao Wang2026-03-10💻 cs