Myocardial infarction (MI) after coronary revascularization is very common and, at this time, we still do not have a clear definition. The universal definition for MI was published in 2007 and was revised in 2012. However, it has a lot of shortcomings and has not been correlated with clinical outcomes or prognostic significance. This definition used a postprocedural biomarker for defining percu...

2. Definition of MTIE The MTIE is historically one of the main time-domain quantities considered for the specification of clock stability requirements in telecommunications standards. In this paper, MTIE is first introduced according to its classical definition and as a percentile quantity. Then, the percentile MTIE is estimated, under the assumption of Time Error (TE) affected by Gaussian Whit...

In this note we review recent progress about fluctuation relations and their applicability to free energy recovery in single molecule experiments. We underline the importance of the operational definition for the mechanical work and the non-invariance of fluctuation relations under Galilean transformations, both aspects currently amenable to experimental test. Finally we describe a generalizati...

The notion of simulatable security (reactive simulatability, universal composability) is a powerful tool for allowing the modular design of cryptographic protocols (composition of protocols) and showing the security of a given protocol embedded in a larger one. Recently, these methods have received much attention in the quantum cryptographic community (e.g. [RK04,BOHL04]). We give a short intro...

Kohlenbach’s proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel’s pioneering work on the so-called unwinding of proofs. The proof mining of classical mathematics is rather restricted in scope due to the existence of sentences without computational content which are provable from the law of excluded mid...

We study an economic setting in which a principal motivates a team of strategic agents to exert costly effort toward the success of a joint project. The action of each agent is hidden and affects the outcome of the agent’s individual task in a stochastic manner. A Boolean technology function maps the outcomes of the individual tasks to the project’s outcome. The principal induces a Nash equilib...

In 1994 Gerard Huet formalized in Coq the cube property of λ-calculus residuals. His development is based on a clever idea, a beautiful inductive definition of residuals. However, in his formalization there is a lot of noise concerning the representation of terms with binders. We re-interpret his work in Abella, a recent proof assistant based on higher-order abstract syntax and provided with a ...

The notion of universal re-encryption is an established primitive used in the design of many anonymity protocols. It allows anyone to randomize a ciphertext without changing its size, without decrypting it, and without knowing the receiver’s public key. By design it prevents the randomized ciphertext from being correlated with the original ciphertext. We revisit and analyze the security foundat...

We study the security of symmetric encryption schemes in settings with multiple users and realistic adversaries who can adaptively corrupt encryption keys. To avoid confinement to any particular definitional paradigm, we propose a general framework for multi-key security definitions. By appropriate settings of the parameters of the framework, we obtain multi-key variants of many of the existing...

We study determinant functors which are defined on a triangulated category and take values in a Picard category. The two main results are the existence of a universal determinant functor for every small triangulated category, and a comparison theorem for determinant functors on a triangulated category with a non-degenerate bounded t-structure and determinant functors on its heart. For a small t...