1k citations
- University of OxfordGB52 papers
- Centre National de la Recherche ScientifiqueFR50 papers
- University of SussexGB42 papers
- University of California, BerkeleyUS39 papers
- Goddard Space Flight CenterUS38 papers
- The University of Texas at AustinUS32 papers
- University of ManchesterGB32 papers
- Rochester Institute of TechnologyUS31 papers
- Search for Extraterrestrial IntelligenceUS31 papers
- Texas A&M UniversityUS27 papers
- Deleted Institution26 papers
- Mitchell InstituteUS26 papers
10 papers · 1 filter
Selectable linear or quadratic coupling in an optomechanical system
André Xuereb, Mauro Paternostro
There has been much interest recently in the analysis of optomechanical systems incorporating dielectric nano- or microspheres inside a cavity field. We analyse here the situation…
Cross-intersecting integer sequences
Peter Borg
We call an \emph{-partial sequence} if exactly of its entries are positive integers and the rest are all zero. For with $1…
Simplifying Contract-Violating Traces
Christian Colombo, Adrian Francalanza, Ian Grima
Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post-deploym…
Contracts for Interacting Two-Party Systems
Gordon J. Pace, Fernando Schapachnik
This article deals with the interrelation of deontic operators in contracts -- an aspect often neglected when considering only one of the involved parties. On top of an automata-ba…
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Gordon J. Pace, Anders P. Ravn
The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level mode…
Quantum Techniques for Stochastic Mechanics
John C. Baez, Jacob Biamonte
Some ideas from quantum theory are just beginning to percolate back to classical probability theory. For example, there is a widely used and successful theory of "chemical reaction…