This paper presents the ideas underlying a program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from ...

We present a new technique for determining how much information abouta program's secret inputs is revealed by its public outputs. Incontrast to previous techniques based on reachability from secretinputs (tainting), it ...

We present a new approach for tracking programs' use of data througharbitrary calculations, to determine how much information about secretinputs is revealed by public outputs. Using a fine-grained dynamicbit-tracking ...

© 2018 authors. Published by the American Physical Society. Starting from solutions of the lightly bound Skyrme model, we construct many new Skyrmion solutions of the standard Skyrme model with tetrahedral or octahedral ...

We obtain a general connection between a large quantum advantage in communication complexity and Bell non-locality. We show that given any protocol offering a sufficiently large quantum advantage in communication complexity, ...

We give two strengthenings of an inequality for the quantum conditional mutual information of a tripartite quantum state recently proved by Fawzi and Renner, connecting it with the ability to reconstruct the state from its ...

We define and study a new type of quantum oracle, the quantum conditional oracle, which provides oracle access to the conditional probabilities associated with an underlying distribution. Amongst other properties, we (a) ...

This PhD thesis contains a general introduction and three main chapters. Chapter 2 investigates Bell inequalities that generalize the CHSH and Braunstein-Caves inequalities. Chapter 3 shows a derivation of an upper bound ...

We further investigate postulates for realist versions of r elativistic quantum theory and quantum field theory in Minkowski space and other background space-t imes. According to these postulates, quantum theory is ...

A popular model that have been used to study ferromagnetism is the Ising Model which is an arrangement of spins along a particular direction and with discrete values of +1. 1-D Ising model doesn't show a phase transition ...

A popular model that have been used to study ferromagnetism is the Ising Model which is an arrangement of spins along a particular direction and with discrete values of + 1 . 1-D Ising model doesn't show a phase transition ...

This dissertation investigates the theory of quantum stochastic processes and its applications in quantum many-body physics. The main goal is to analyse complexity-theoretic aspects of both static and dynamic properties ...

This thesis explores various perspectives on quantum phenomena, and how our understanding of these phenomena is informed by the study of general probabilistic theories. Particular attention is given to quantum nonlocality, ...

The solar magnetic field displays features on a wide range of length-scales including spatial and temporal coherence on scales considerably larger than the chaotic convection that generates the field. Explaining how the ...

The high-frequency quasi-periodic oscillations (HFQPOs) that punctuate the light curves of X-ray binary systems present a window onto the intrinsic properties of stellar-mass black holes and hence a testbed for general ...

Recently, we presented a new image pyramid, called the Riesz pyramid, that uses the Riesz transform to manipulate the phase in non-oriented sub-bands of an image sequence to produce real-time motion-magnified videos. In ...

The Mpemba effect is the name given to the assertion that it is quicker to cool water to a given temperature when the initial temperature is higher. This assertion seems counter-intuitive and yet references to the effect ...

Labor and Delivery is a complex clinical service requiring the support of highly trained healthcare professionals from Obstetrics, Anesthesiology, and Neonatology and the access to a finite set of valuable resources. In ...

One of the most widely used routines in an algebraic manipulation system is a polynomial manipulation package (1,2,3). The crucial operation in such routines is the extraction of the Greatest Common Divisor (GCD) of ...

We embed triangulated categories defined by quivers with potential arising from ideal triangulations of marked bordered surfaces into Fukaya categories of quasiprojective 3–folds associated to meromorphic quadratic ...