Abstract ? Coronary plaque rupture is one of the principal causes of sudden death in western societies. Reliable diagnostic of the different plaque types are of great interest for the medical communit...
In a retrospective review of 8428 hospital admissions, the relationship between age, sex, disease category, body mass index, and mortality during hospitalization was examined. Records were analyzed fo...
Abstract
Microwave near-fields are a key ingredient for quantum information processing with atom chips. Our goal is to realize a quantum gate with the following features: the qubit is encoded in the ...
This paper presents a conservative symbolic model-checking methodology for speedindependent circuits. The circuit specification is described by using Petri nets, which is the same formalism that sever...
This paper presents a method for the verification of speed-independent circuits. The main contribution is the reduction of the circuit to a set of complex gates that makes the verification time comple...