English
Related papers

Related papers: AI Space Physics: Constitutive boundary semantics …

200 papers

Experimental particle physics seeks to understand the universe by probing its fundamental particles and forces and exploring how they govern the large-scale processes that shape cosmic evolution. This whitepaper presents a vision for how…

High Energy Physics - Experiment · Physics 2026-02-20 Thea Klaeboe Aarrestad , Alaa Abdelhamid , Haider Abidi , Jahred Adelman , Jennifer Adelman-McCarthy , Shuchin Aeron , Garvita Agarwal , Usman Ali , Cristiano Alpigiani , Omar Alterkait , Mohamed Aly , Oz Amram , Saeed Ansari Fard , Aram Apyan , John Arrington , Marvin Ascencio-Sosa , Mohammad Atif , Aneesha Avasthi , Muhammad Bilal Azam , Bhim Bam , Joshua Barrow , Rainer Bartoldus , Amit Bashyal , Aashwin Basnet , Ayse Bat , Lothar A. T. Bauerdick , John Beacom , Chris Bee , Michael Begel , Matthew Bellis , Rene Bellwied , Rakitha Beminiwattha , Gabriele Benelli , Douglas Benjamin , Catrin Bernius , Binod Bhandari , Avinay Bhat , Meghna Bhattacharya , Saptaparna Bhattacharya , Prajita Bhattarai , Sudip Bhattarai , Wahid Bhimji , Jianming Bian , Burak Bilki , Mary Bishai , Kevin Black , Kenneth Bloom , Brian Bockelman , Johan Sebastian Bonilla Castro , Tulika Bose , Nilay Bostan , Othmane Bouhali , Dimitri Bourilkov , Dominic Brailsford , Gustaaf Brooijmans , Elizabeth Brost , Maria Brigida Brunetti , Quentin Buat , Brendon Bullard , Jackson Burzynski , Paolo Calafiura , Rodolfo Capdevilla , Fabian Andres Castaño Usuga , Raquel Castillo Fernandez , Fabio Catalano , Viviana Cavaliere , Flavio Cavanna , Giuseppe Cerati , Aidan Chambers , Maria Chamizo-Llatas , Philip Chang , Andrew Chappell , Arghya Chattopadhyay , Sergei Chekanov , Jian-ping Chen , Yi Chen , Zhengyang Chen , J. Taylor Childers , Hector Chinchay , Yuan-Tang Chou , Tasnuva Chowdhury , Neil Christensen , Wonyong Chung , Rafael Coelho Lopes de Sa , Simon Corrodi , Kyle Cranmer , Matteo Cremonesi , Roy Cruz , Mate Csanad , Mariarosaria D'Alfonso , Carlo Dallapiccola , Daine Danielson , Sridhara Dasu , Gavin Davies , Kaushik De , Patrick de Perio , Klaus Dehmelt , Marco Del Tutto , Carlos Ruben Dell'Aquila , Sarah Demers , Paolo Desiati , Bhesha Devkota , Sparshita Dey , Ranjan Dharmapalan , Karri Folan Di Petrillo , Markus Diefenthaler , Jeff Dillon , Zelimir Djurcic , Caterina Doglioni , Francois Drielsma , Edmond Dukes , Irene Dutta , Peter Elmer , Johannes Elmsheuser , Victor Daniel Elvira , Harold Evans , Peter Fackeldey , Cristiano Fanelli , Hao Fang , Mattia Fani , Muhammad Farooq , Matthew Feickert , Ian Fisk , Sam Foreman , Alexander Friedland , Nuwan Chaminda G. W. , Louis-Guillaume Gagnon , Massimiliano Galli , Abhijith Gandrakota , Sudeshna Ganguly , Arianna Garcia Caffaro , Rob Gardner , Rocky Bala Garg , Lino Gerlach , Aishik Ghosh , Romulus Godang , Julia Gonski , Loukas Gouskos , Richard Gran , Heather Gray , Andrei Gritsan , Gaia Grosso , Craig Group , Jiawei Guo , Shubham Gupta , Gajendra Gurung , Phillip Gutierrez , Oliver Gutsche , Tyler Hague , Joseph Haley , Eva Halkiadakis , Francis Halzen , Michael Hance , Philip Harris , Harry Hausner , Karsten Heeger , Lukas Heinrich , Alexander Held , Matthew Herndon , Ken Herner , Max Herrmann , David Hertzog , Christian Herwig , Aaron Higuera , Alexander Himmel , Timothy Hobbs , Stefan Hoeche , Tova Holmes , Tae Min Hong , Ben Hooberman , Walter Hopkins , Jessica N. Howard , Shih-Chieh Hsu , Fengping Hu , Patrick Huber , Dirk Hufnagel , Daniel Humphreys , Ia Iashvili , Joseph Incandela , Josh Isaacson , Wasikul Islam , Kirill Ivanov , Wooyoung Jang , Naomi Jarvis , Brij Kishor Jashal , Pratik Jawahar , Dulitha Jayakodige , Torri Jeske , Sergo Jindariani , Jay Hyun Jo , Bhishm Shankar Joshi , Xiangyang Ju , Andreas Jung , Thomas Junk , Michael Kagan , Daisy Kalra , Matthias Kaminski , Edward Karavakis , Stefan Katsarov , Stergios Kazakos , Paul King , Michael Kirby , Max Knobbe , Young Ju Ko , Dmitry Kondratyev , Rostislav Konoplich , Charis Koraka , Scott Kravitz , Lukas Kretschmann , Brandon Kriesten , Georgios K Krintiras , Iason Krommydas , Michelle Kuchera , Audrey Kvam , Martin Kwok , Theodota Lagouri , Sabine Lammers , Eric Lancon , Greg Landsberg , David Lange , Kevin Lannon , Joseph Lau , Luca Lavezzo , Benjamin Lawrence-Sanderson , Duc-Truyen Le , Matt LeBlanc , Sung-Won Lee , Trevin Lee , Charles Leggett , Kayla Leonard DeHolton , James Letts , Hao Li , Haoyang Li , Aklima Khanam Lima , Guilherme Lima , Mia Liu , Qibin Liu , Yinrui Liu , Zhen Liu , Shivani Lomte , Guillermo Loustau de Linares , Lu Lu , Pietro Lugato , Adam Lyon , Yang Ma , Christopher Madrid , Akhtar Mahmood , Kendall Mahn , Devin Mahon , Akshay Malige , Sudhir Malik , Abhishikth Mallampalli , Yurii Maravin , Ralph Marinaro , Pete Markowitz , Matthew Maroun , Kyla Martinez , Verena Ingrid Martinez Outschoorn , Sanjit Masanam , Mario Masciovecchio , Konstantin Matchev , Malek Mazouz , Simone Mazza , Thomas McCauley , Shawn McKee , Karim Mehrabi , Poonam Mehta , Andrew Melo , Mark Messier , Elias Mettner , Christopher Meyer , Jessie Micallef , Sophie Middleton , David W. Miller , Hamlet Mkrtchyan , Abdollah Mohammadi , Abhinav Mohan , Ajit Mohapatra , Farouk Mokhtar , Peter Monaghan , Claudio Silverio Montanari , Michael Mooney , Casey Morean , Eric Moreno , Alexander Moreno Briceño , Stephen Mrenna , Justin Mueller , Daniel Murnane , Benjamin Nachman , Emilio Nanni , Nitish Nayak , Miquel Nebot-Guinot , Orgho Neogi , Chris Neu , Mark Neubauer , Norbert Neumeister , Harvey Newman , Duong Nguyen , Gavin Niendorf , Paul Nilsson , Scarlet Norberg , Andrzej Novak , Sungbin Oh , Isabel Ojalvo , Olaiya Olokunboyo , Yasar Onel , Joseph Osborn , Ianna Osborne , Arantza Oyanguren , Nurcan Ozturk , Paul Padley , Simone Pagan Griso , Pritam Palit , Bishnu Pandey , Vishvas Pandey , Zisis Papandreou , Ganesh Parida , Ki Ryeong Park , Ajib Paudel , Manfred Paulini , Christoph Paus , Gregory Pawloski , Kevin Pedro , Gabriel Perdue , Troels Christian Petersen , Alexey Petrov , Deborah Pinna , Marc-André Pleier , Andrea Pocar , Prafull Purohit , Nived Puthumana Meleppattu , Mateusz Płoskoń , Sitian Qian , Xin Qian , Geting Qin , Aleena Rafique , Srini Rajagopalan , Dylan Rankin , Rebecca Rapp , Salvatore Rappoccio , Rohit Raut , Sagar Regmi , Benedikt Riedel , Andres Rios-Tascon , Stephen Roche , Jenna Roderick , Rimsky Rojas , Dmitry Romanov , Subhojit Roy , Rita Sadek , Dikshant Sagar , Nihar Ranjan Sahoo , Tai Sakuma , Juan Pablo Salas , Mayly Sanchez , Jay Sandesara , Alexander Savin , Ryan Schmitz , Kate Scholberg , Henry Schreiner , Reinhard Schwienhorst , Gabriella Sciolla , Saba Sehrish , Seon-Hee , Seo , Elizabeth Sexton-Kennedy , Oksana Shadura , Bijaya Sharma , Varun Sharma , Suyog Shrestha , Ryan Simeon , Jack Simoni , Siddharth Singh , Kim Siyeon , Louise Skinnari , Jinseop Song , Simone Sottocornola , Alexandre Sousa , Sairam Sri Vatsavai , Giordon Stark , Justin Stevens , Tyler Stokes , Nadja Strobbe , Indara Suarez , Manjukrishna Suresh , Andrew Sutton , Holly Szumila-Vance , Vardan Tadevosyan , Anyes Taffard , Buddhiman Tamang , Hirohisa Tanaka , Erdinch Tatar , Abdel Nasser Tawfik , Vikas Teotia , Kazuhiro Terao , Mitanshu Thakore , Jesse Thaler , Ameya Thete , Inar Timiryasov , Anthony Timmins , Andrew Toler , Dat Tran , Nhan Tran , Patrick Tsang , Ho Fung Tsoi , Vakho Tsulaia , Pham Tuan , Christopher Tully , Shengquan Tuo , Richard Tyson , Darren Upton , Hilary Utaegbulam , Zoya Vallari , Peter van Gemmeren , Vassil Vassilev , Nikhilesh Venkatasubramanian , Renzo Vizarreta , Emmanouil Vourliotis , Ilija Vukotic , Carl Vuosalo , Liv Våge , Tammy Walton , Linyan Wan , Biao Wang , Gensheng Wang , Michael Wang , Yuxuan Wang , Gordon Watts , Yingjie Wei , Derek Weitzel , Shawn Westerdale , Andrew White , Leigh Whitehead , Michael Wilking , Mike Williams , Stephane Willocq , Jeffery Winkler , Frank Winklmeier , Holger Witte , Peter Wittich , Douglas Wright , Yongcheng Wu , Yujun Wu , Wei Xie , Fang Xu , Barbara Yaeggy , Zhen Yan , Liang Yang , Wei Yang , Alejandro Yankelevich , Yiheng Ye , Oguzhan Yer , Efe Yigitbasi , Shin-Shan Yu , Jon Zarling , Chao Zhang , Licheng Zhang , Larry Zhao , Junjie Zhu , Jure Zupan

Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing dependencies induced by quantifications in first-order…

Logic in Computer Science · Computer Science 2009-08-28 Samuel Mimram

Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social…

Multiagent Systems · Computer Science 2019-08-26 Frank Valencia

We introduce an algebraic concept of the frame for abstract conditional independence (CI) models, together with basic operations with respect to which such a frame should be closed: copying and marginalization. Three standard examples of…

Combinatorics · Mathematics 2024-11-04 Tobias Boege , Janneke H. Bolt , Milan Studený

Using the previously developed concepts of semantic spacetime, I explore the interpretation of knowledge representations, and their structure, as a semantic system, within the framework of promise theory. By assigning interpretations to…

Artificial Intelligence · Computer Science 2017-08-02 Mark Burgess

Legal reasoning requires both precise interpretation of statutory language and consistent application of complex rules, presenting significant challenges for AI systems. This paper introduces a modular multi-agent framework that decomposes…

Artificial Intelligence · Computer Science 2025-11-11 Albert Sadowski , Jarosław A. Chudziak

We present a machine-checked formalization of structurally governed AI workflow architectures and prove that effect-level governance can be imposed without reducing internal computational expressivity. Using Interaction Trees in Rocq 8.19,…

Artificial Intelligence · Computer Science 2026-05-27 Alan L. McCann

In most contemporary approaches to decision making, a decision problem is described by a sets of states and set of outcomes, and a rich set of acts, which are functions from states to outcomes over which the decision maker (DM) has…

Computer Science and Game Theory · Computer Science 2021-09-07 Lawrence Blume , David Easley , Joseph Y. Halpern

As large language model agents increasingly populate networked environments, a fundamental question arises: do artificial intelligence (AI) agent societies undergo convergence dynamics similar to human social systems? Lately, Moltbook…

Computation and Language · Computer Science 2026-02-19 Ming Li , Xirui Li , Tianyi Zhou

In this paper, we sketch a programme for AI driven social theory. We begin by defining what we mean by artificial intelligence (AI) in this context. We then lay out our model for how AI based models can draw on the growing availability of…

Computers and Society · Computer Science 2024-07-10 Jakob Mokander , Ralph Schroeder

Spatial-temporal reasoning is a challenging task in Artificial Intelligence (AI) due to its demanding but unique nature: a theoretic requirement on representing and reasoning based on spatial-temporal knowledge in mind, and an applied…

Artificial Intelligence · Computer Science 2021-05-17 Chi Zhang , Baoxiong Jia , Song-Chun Zhu , Yixin Zhu

Causal discovery through experimentation and intervention is fundamental to robust problem solving. It requires not just updating beliefs within a fixed framework but revising the hypothesis space itself, a capacity current AI agents lack…

Artificial Intelligence · Computer Science 2026-04-23 John Alderete , Sebastian Benthal , Connie Xu , John Xing

Edge AI is often framed as model compression and deployment under tight constraints. We argue a stronger operational thesis: Edge AI in realistic deployments is necessarily adaptive. In long-horizon operation, a fixed (non-adaptive)…

Hardware Architecture · Computer Science 2026-04-10 Fabrizio Pittorino , Manuel Roveri

As AI systems increasingly become embedded in interactive and im-mersive artistic environments, artists and technologists are discovering new opportunities to engage with their interpretive and autonomous capacities as creative…

Human-Computer Interaction · Computer Science 2026-02-09 Pavlos Panagiotidis , Jocelyn Spence , Nils Jaeger , Paul Tennent

We argue that progress toward AGI is theory limited rather than data or scale limited. Building on the critical rationalism of Popper and Deutsch, we challenge the Platonic Representation Hypothesis. Observationally equivalent worlds can…

Artificial Intelligence · Computer Science 2025-10-20 Marcus A. Thomas

Speech and audio systems operate in inherently non-stationary environments, yet continual learning (CL) research in this domain, especially in the foundation model era, remains fragmented that fail to account for the coupled,…

Audio and Speech Processing · Electrical Eng. & Systems 2026-05-26 Yang Xiao , Siyi Wang , Eun-Jung Holden , Ting Dang

This paper explores the implications of universities' rapid adoption of large language models (LLMs) for studying, teaching, and research by analyzing the logics underpinning their representation space. It argues that by uncritically…

Computers and Society · Computer Science 2025-05-07 Katia Schwerzmann

The rapid expansion of sixth-generation (6G) wireless networks and the Internet of Things (IoT) has catalyzed the evolution from centralized cloud intelligence towards decentralized edge general intelligence. However, traditional edge…

Networking and Internet Architecture · Computer Science 2025-08-27 Ruichen Zhang , Guangyuan Liu , Yinqiu Liu , Changyuan Zhao , Jiacheng Wang , Yunting Xu , Dusit Niyato , Jiawen Kang , Yonghui Li , Shiwen Mao , Sumei Sun , Xuemin Shen , Dong In Kim

Competent-looking judgment, including selecting, ranking, attributing, and certifying, is now produced at scale at marginal cost approaching zero, inverting the dominant economics-of-AI reading that treats judgment as the scarce complement…

Computers and Society · Computer Science 2026-05-26 Lauri Lovén

As intelligent systems are developed across diverse substrates - from machine learning models and neuromorphic hardware to in vitro neural cultures - understanding what gives a system agency has become increasingly important. Existing…

Neurons and Cognition · Quantitative Biology 2026-01-08 Brett J. Kagan , Valentina Baccetti , Brian D. Earp , J. Lomax Boyd , Julian Savulescu , Adeel Razi
‹ Prev 1 8 9 10 Next ›