Related papers: The Colloquium on Decoupling Civil Timekeeping fro…

In 2022, the National Science Foundation (NSF) funded the Computing Research Association (CRA) to conduct a workshop to frame and scope a potential Convergence Accelerator research track on the topic of "Building Resilience to…

This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2023), a two-day workshop held at the University of Texas at Austin and online, on November 13-14. These…

Radio Exploration of Planetary Habitability was the fifth in the series of American Astronomical Society's Topical Conference Series. Notable aspects of the conference included the interdisciplinary nature of both the topics and the…

Particle Physics in International Collaboration. Talk given at Kolloquiumstag ``125 Jahre Teilchenphysik in Aachen", October 1995

Real-world time series data are often generated from several sources of variation. Learning representations that capture the factors contributing to this variability enables a better understanding of the data via its underlying generative…

Decoupling is a recent development in Fourier analysis, which has applications in harmonic analysis, PDE, and number theory. We survey some applications of decoupling and some of the ideas in the proof. This survey is aimed at a general…

This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite event of DisCoTec 2016. The ICE procedure for paper…

We study the timelike entanglement entropy (TEE) in two dimensional conformal field theories (CFT) with gravitational anomalies. We employ analytical continuation to compute the timelike entanglement entropy for a pure timelike interval in…

This volume contains a selection of the papers presented at TERMGRAPH 2018, the tenth edition of the international workshop on computing with terms and graphs. Graphs, and graph transformation systems, are used in many areas within Computer…

Existing temporal relation (TempRel) annotation schemes often have low inter-annotator agreements (IAA) even between experts, suggesting that the current annotation task needs a better definition. This paper proposes a new multi-axis…

Contents: *News: April 1997 Joint APS/AAPT Meeting, by Beverly Berger The physics survey and committee on gravitational physics, by Jim Hartle *Research Briefs: Instability of rotating stars to axial perturbations, by Sharon Morsink LIGO…

This is a summary of the `Astronomy Perspective' of the 4th meeting on 'Statistical Challenges in Modern Astronomy' held at Penn State University in June 2006. We comment on trends in the Astronomy community towards Bayesian methods and…

The electron-capture decay of 180Re has been investigated to search for oscillations in the decay probability as reported from a recent measurement at GSI, Darmstadt. The production period was kept short compared to the reported oscillation…

The simple stationary decoherence of a two-state quantum system is discussed from a new viewpoint of environmental entanglement. My work emphasizes that an unconditional local state must totally be disentangled from the rest of the…

It is customary to perform analysis of the Earth's rotation in two steps: first, to present results of estimation of the Earth orientation parameters in the form of time series based on a simplified model of variations of the Earth's…

This volume contains the papers presented at the 1st International Workshop on "Decentralized Coordination of Distributed Processes", DCDP 2010, held in Amsterdam, The Netherlands on June 10th, 2010 in conjunction with the 5th International…

We develop further the investigations in arXiv:2210.12963 [hep-th] on de Sitter space, extremal surfaces and time entanglement. We discuss the no-boundary de Sitter extremal surface areas as certain analytic continuations from $AdS$ while…

We sketch an assortment of problems that were posed -- and not yet solved -- during problem sessions at the conference ``Approximation Theory and Numerical Analysis meet Algebra, Geometry, and Topology'', which was held at the Palazzone…

This is the Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2018, which was held in Oxford, UK, July 18th, 2018.

Due to the exquisite photometric precision, transiting exoplanet discoveries from the Kepler mission are enabling several new techniques of confirmation and characterization. One of these newly accessible techniques analyzes the phase…