Tootfinder

new beanytuesday politicians dont hit like og bloodfeast but ill take it

Trajectory-based Measure of Nonlocality in the Double Caldeira-Leggett Formalism
S. V. Mousavi
https://arxiv.org/abs/2509.13856 https://arxiv.org/pdf/2509.…

Trajectory-based Measure of Nonlocality in the Double Caldeira-Leggett Formalism
We investigate the dynamics of quantum correlations in bipartite systems initially prepared in a squeezed state, comparing closed-system unitary evolution under the Schrödinger equation with open-system dynamics governed by the Caldeira-Leggett master equation in the high-temperature, weak-coupling regime, all within the Bohmian mechanics framework. Quantum nonlocality is quantified via the sensitivity of the Bohmian velocity of one particle to the position of the other. Our results show that …

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
Tim Kr\"auter, Adrian Rutle, Yngve Lamo, Harald K\"onig, Francisco Dur\'an
https://arxiv.org/abs/2508.12325

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
Modern software systems are often realized by coordinating multiple heterogeneous parts, each responsible for specific tasks. These parts must work together seamlessly to satisfy the overall system requirements. To verify such complex systems, we have developed a non-intrusive coordination framework capable of performing formal analysis of heterogeneous parts that exchange data and include real-time capabilities. The framework utilizes a linguistic extension, which is implemented as a central b…

Frage an die Bundespost-Fernmelder unter euch: Von Bell gab es eine ganze Weile lang das "Bell System Technical Journal", in dem verschiedenste Details von Kommunikation auf einem sehr technischen Level beschrieben sind (https://archive.org/search?query=bell system technic…

Bayesian Modeling and Estimation of Linear Time-Variant Systems using Neural Networks and Gaussian Processes
Yaniv Shulman
https://arxiv.org/abs/2507.12878

Bayesian Modeling and Estimation of Linear Time-Variant Systems using Neural Networks and Gaussian Processes
The identification of Linear Time-Variant (LTV) systems from input-output data is a fundamental yet challenging ill-posed inverse problem. This work introduces a unified Bayesian framework that models the system's impulse response, $h(t, τ)$, as a stochastic process. We decompose the response into a posterior mean and a random fluctuation term, a formulation that provides a principled approach for quantifying uncertainty and naturally defines a new, useful system class we term Linear Time-Inva…

Using Petri Nets for Context-Adaptive Robot Explanations
G\"orkem K{\i}l{\i}n\c{c} Soylu (Department of Computer Science and Informatics, School of Engineering, J\"onk\"oping University, J\"onk\"oping, Sweden), Neziha Akalin (Department of Computer Science and Informatics, School of Engineering, J\"onk\"oping University, J\"onk\"oping, Sweden), Maria Riveiro (Department of Computer Science and Informatics, School of Engineering, J\"onk\…

Using Petri Nets for Context-Adaptive Robot Explanations
In human-robot interaction, robots must communicate in a natural and transparent manner to foster trust, which requires adapting their communication to the context. In this paper, we propose using Petri nets (PNs) to model contextual information for adaptive robot explanations. PNs provide a formal, graphical method for representing concurrent actions, causal dependencies, and system states, making them suitable for analyzing dynamic interactions between humans and robots. We demonstrate this a…

Age of Semantic Information-Aware Wireless Transmission for Remote Monitoring Systems
Xue Han, Biqian Feng, Yongpeng Wu, Xiang-Gen Xia, Wenjun Zhang, Shengli Sun
https://arxiv.org/abs/2508.12248

Age of Semantic Information-Aware Wireless Transmission for Remote Monitoring Systems
Semantic communication is emerging as an effective means of facilitating intelligent and context-aware communication for next-generation communication systems. In this paper, we propose a novel metric called Age of Incorrect Semantics (AoIS) for the transmission of video frames over multiple-input multiple-output (MIMO) channels in a monitoring system. Different from the conventional age-based approaches, we jointly consider the information freshness and the semantic importance, and then formul…

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
Giorgio Bacci (Aalborg University, Denmark), Adrian Francalanza (University of Malta)
https://arxiv.org/abs/2509.13258

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of GandALF 2025, the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2025 took place on 16-17th September 2025, in Valletta, Malta. The aim of GandALF 2025 is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-…

A Survey of Context Engineering for Large Language Models
Lingrui Mei, Jiayu Yao, Yuyao Ge, Yiwei Wang, Baolong Bi, Yujun Cai, Jiazhi Liu, Mingyu Li, Zhong-Zhi Li, Duzhen Zhang, Chenlin Zhou, Jiayi Mao, Tianze Xia, Jiafeng Guo, Shenghua Liu
https://arxiv.org/abs/2507.13334

A Survey of Context Engineering for Large Language Models
The performance of Large Language Models (LLMs) is fundamentally determined by the contextual information provided during inference. This survey introduces Context Engineering, a formal discipline that transcends simple prompt design to encompass the systematic optimization of information payloads for LLMs. We present a comprehensive taxonomy decomposing Context Engineering into its foundational components and the sophisticated implementations that integrate them into intelligent systems. We fi…

Long time behavior of the Vlasov-Maxwell-Fokker-Planck system with a strong external magnetic field
Anh-Tuan Vu
https://arxiv.org/abs/2508.12231 https://ar…

Long time behavior of the Vlasov-Maxwell-Fokker-Planck system with a strong external magnetic field
The subject matter of this paper concerns the magnetic confinement of plasma. We investigate the long time behavior of the Vlasov-Maxwell-Fokker-Planck system under the effect of a strong external magnetic field. We first formally derive an asymptotically reduced model. In three space dimensions, a constraint occurs along the parallel direction to the magnetic field. To eliminate the corresponding Lagrange multiplier, we then study the Vlasov-Maxwell-Fokker-Planck system in two spatial dimensio…