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

Diese Arbeit stellt ein generisches Rahmenwerk vor, das hinreichende Bedingungen für die polynomielle Entscheidbarkeit von Fragmenten erster Ordnung mit einer festen Anzahl von Negationen liefert und damit zeigt, dass schwache Presburger-Arithmetik sowie andere spezifische Theorien in polynomieller Zeit entscheidbar sind, im Gegensatz zu NP-schweren Fragmenten der vollen Presburger-Arithmetik.

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

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

Diese Arbeit stellt einen in 28-nm-CMOS-Technologie gefertigten, extrem energieeffizienten analoge Spiking-Neuronen mit einem Verbrauch von 1,6 fJ pro Spike vor, der als Kernkomponente für einen neuromorphen System-on-Chip dient und in einem quantisierten Spiking-Neuronalen Netzwerk eine MNIST-Genauigkeit von 82,5 % erreicht.

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

InterMind: Doctor-Patient-Family Interactive Depression Assessment Empowered by Large Language Models

Das Paper stellt InterMind vor, ein von großen Sprachmodellen gestütztes System, das durch die Einbeziehung von Familie, die Nutzung von Retrieval-Augmented Generation und Chain-of-Thoughts sowie die Generierung interpretierbarer Berichte die Effizienz und Genauigkeit der Depressionsdiagnose im Dreiklang aus Arzt, Patient und Angehörigen verbessert.

Zhiyuan Zhou, Jilong Liu, Sanwang Wang, Shijie Hao, Yanrong Guo, Richang Hong2026-03-10💻 cs

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation

Das Paper stellt S^2Sim vor, ein System zur automatischen Diagnose und Reparatur verteilter Routing-Konfigurationen durch selektive symbolische Simulation, das Fehler identifiziert und Patches vorschlägt, indem es intent-konforme Varianten findet.

Rulan Yang, Gao Han, Hanyang Shao, Xiaoqiang Zheng, Xing Fang, Ziyi Wang, Lizhao You, Ruiting Zhou, Linghe Kong, Ennan Zhai, Qiao Xiang, Jiwu Shu2026-03-10💻 cs

Optimal Mediation Mechanism in Bilateral Trade

Die Arbeit untersucht revenue-maximierende Vermittlungsmechanismen im bilateralen Handel bei interdependenten Wertschätzungen, zeigt ein Unmöglichkeitstrilemma für Incentive-Compatibility, Gehorsam und Informationsgehalt auf und charakterisiert optimale Lösungen unter Relaxierungsbedingungen, die entweder zu einer Informationsasymmetrie zugunsten niedrig bewerteter Käufer oder zu einem „Lemons-Market"-Effekt führen.

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

Conditional Complexity Hardness: Monotone Circuit Size, Matrix Rigidity, and Tensor Rank

Dieser Artikel zeigt, wie untere Schranken für uniforme nichtdeterministische Laufzeiten (z. B. für k-SAT oder MAX-3-SAT) genutzt werden können, um die Existenz von kombinatorischen Objekten mit hoher Komplexität, wie monotonen Booleschen Funktionen, Matrizen mit hoher Steifigkeit und Tensoren mit hohem Rang, nachzuweisen.

Nikolai Chukhin, Alexander S. Kulikov, Ivan Mihajlin, Arina Smirnova2026-03-10💻 cs

Prithvi-EO-2.0: A Versatile Multi-Temporal Foundation Model for Earth Observation Applications

Die Arbeit stellt Prithvi-EO-2.0 vor, ein vielseitiges, quelloffenes geospatiales Fundamentmodell, das durch Training auf 4,2 Millionen globalen Zeitreihen und die Integration von Zeit- und Orts-Embeddings signifikante Leistungssteigerungen gegenüber Vorgängermodellen und anderen geospatialen Modellen in verschiedenen Erdbeobachtungsaufgaben erzielt.

Daniela Szwarcman, Sujit Roy, Paolo Fraccaro, {\TH}orsteinn Elí Gíslason, Benedikt Blumenstiel, Rinki Ghosal, Pedro Henrique de Oliveira, Joao Lucas de Sousa Almeida, Rocco Sedona, Yanghui Kang, Srija Chakraborty, Sizhe Wang, Carlos Gomes, Ankur Kumar, Myscon Truong, Denys Godwin, Hyunho Lee, Chia-Yu Hsu, Rohit Lal, Ata Akbari Asanjan, Besart Mujeci, Disha Shidham, Trevor Keenan, Paulo Arevalo, Wenwen Li, Hamed Alemohammad, Pontus Olofsson, Christopher Hain, Robert Kennedy, Bianca Zadrozny, David Bell, Gabriele Cavallaro, Campbell Watson, Manil Maskey, Rahul Ramachandran, Juan Bernabe Moreno2026-03-10💻 cs

iLLaVA: An Image is Worth Fewer Than 1/3 Input Tokens in Large Multimodal Models

Die Arbeit stellt iLLaVA vor, eine Methode zur umfassenden Beschleunigung von Large Multimodal Models durch die gemeinsame Optimierung des Bildencoders und des LLM mittels einer neuartigen Token-Merging-Strategie, die nicht nur die Rechenzeit drastisch reduziert, sondern auch die Genauigkeit größerer Modelle im Vergleich zu kleineren verbessert.

Lianyu Hu, Liqing Gao, Fanhua Shang, Liang Wan, Wei Feng2026-03-10💻 cs