Related papers: The Poster Session of SSS 2005
We derive and analyse, analytically and numerically, the equations for perturbations around the pulsating two-spin string soliton in AdS(5) x S(5).We show that the pulsation in S(5) indeed improves the stability properties of the two-spin…
In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. Unlike existing approaches, where synthesis algorithms…
This lecture has been given at the 45th Spring School: Computing Solids: Models, Ab-initio Methods and Supercomputing organized at the Forschungszentrum J\"ulich. The goal of this manuscript is to review the basics behind the theory…
This technical report provides proofs for the claims in the paper "A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments".
Parasitic two-level tunneling systems (TLS) emerge in amorphous dielectrics and constitute a serious nuisance for various microfabricated devices, where they act as a source of noise and decoherence. Here, we demonstrate a new test bed for…
This report summarizes the progress in SUSY studies performed since the last International Linear Collider Workshop in Paris (LCWS04).
As an experiment to the application of proof assistant for logic research, we formalize the model and proof system for multi-agent modal logic S5 with PAL-style dynamic modality in Lean theorem prover. We provide a formal proof for the…
Plenary talk in Quark Matter 2005, Budapest.
Summary talk at ICHEP 2002, Amsterdam, July 2002. I have kept very close to the content and style of the talk as it was delivered. You may access the associated PowerPoint presentation through a link at…
The Committee of Presidents of Statistical Societies (COPSS) will celebrate its 50th Anniversary in 2013. As part of its celebration, COPSS intends to publish a book with contributions from the past recipients of its four awards, namely the…
We give an abridged account of a continued string of studies in condensed matter physics and in complex systems that span five decades. We provide links to access abstracts and full texts of a selected list of publications. The studies were…
This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational Semantics, which was held in Calgary, Canada, as an…
The 35th Australian/New Zealand Annual Condensed Matter and Materials Meeting was held at the Charles Sturt University campus in Wagga Wagga, NSW, Australia from the 1st to the 4th of February 2011. The conference was attended by 92…
Peer-led team learning (PLTL) is a model for teaching STEM courses where small student groups meet periodically to collaboratively discuss coursework. Automatic analysis of PLTL sessions would help education researchers to get insight into…
This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from…
This paper presents a comprehensive documentation of RenCon 2025, the revival of the expressive performance rendering competition which took place at ISMIR 2025 in Daejeon, Korea. The competition attracted 9 entries from international…
A survey of dictionary models and formats is presented as well as a presentation of corresponding recent standardisation activities.
This work has the goal of briefly surveying some key stabilization techniques for general nonlinear systems, for which, as it is well known, a smooth control Lyapunov function may fail to exist. A general overview of the situation with…
Human pose assessment and correction play a crucial role in applications across various fields, including computer vision, robotics, sports analysis, healthcare, and entertainment. In this paper, we propose a Spatial-Temporal Transformer…
This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document presents example safety argument templates covering: the…