Results 21 to 30 of about 51,070 (181)
Categorical structures enriched in a quantaloid: orders and ideals over a base quantaloid
, 2004 Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion.
Stubbe, Isar
core +2 more sources
Entanglement generation and evolution in open quantum systems [PDF]
, 2009 In the framework of the theory of open systems based on completely positive quantum dynamical semigroups, we study the continuous variable entanglement for a system consisting of two independent harmonic oscillators interacting with a general environment.
Isar, Aurelian
core +1 more source
Arthroscopy Techniques, EarlyView.Abstract Trochlear dysplasia is one of the most important factors that influences the biomechanics of the patellofemoral (PF) joint. In cases of PF instability, trochlear dysplasia is associated with a significant increase in the risk of redislocation.
Jannik Frings +5 more
wiley +1 more source
BMEMat, EarlyView.A series of in vitro experiments, numerical simulations and in vivo experiments were conducted to jointly evaluate the effects of different thicknesses of bioabsorbable polymer vascular stents on their radial capacity, hemodynamics and in vivo outcomes.
Chong Chen +9 more
wiley +1 more source
Quantum decoherence and classical correlations of the harmonic oscillator in the Lindblad theory
, 2007 In the framework of the Lindblad theory for open quantum systems we determine the degree of quantum decoherence and classical correlations of a harmonic oscillator interacting with a thermal bath. The transition from quantum to classical behaviour of the
A. Isar +43 more
core +1 more source
Drug‐coated balloons: From conventional designs to next‐generation innovations in vascular therapy
BMEMat, EarlyView.This review traces the evolution of drug‐coated balloons (DCBs) from conventional designs to next‐generation platforms. We highlight innovations in balloon engineering, coating technologies, and therapeutic agents that enhance localized drug delivery while addressing challenges in efficiency, safety, and biocompatibility for vascular and emerging non ...
Lu Zhang +5 more
wiley +1 more source
Decoherence and asymptotic entanglement in open quantum dynamics
, 2007 In the framework of the theory of open systems based on completely positive quantum dynamical semigroups, we determine the degree of quantum decoherence of a harmonic oscillator interacting with a thermal bath.
Isar, Aurelian
core +1 more source
Verifying Safety Properties With the TLA+ Proof System [PDF]
, 2010 TLAPS, the TLA+ proof system, is a platform for the development and mechanical verification of TLA+ proofs written in a declarative style requiring little background beyond elementary mathematics.
A. Chaieb +8 more
core +7 more sources
Catheterization and Cardiovascular Interventions, EarlyView.ABSTRACT Background Unfractionated heparin (UFH) remains the standard anticoagulant during percutaneous coronary intervention (PCI), with guidelines recommending a target activated clotting time (ACT) of ≥250 s. However, despite receiving a standardized bolus dose, many patients fail to achieve this target.
Manh Cuong Vu +9 more
wiley +1 more source
Epilepsia, EarlyView.Abstract Objective Neonatal developmental and epileptic encephalopathy with movement disorder and arthrogryposis (NDEEMA) represents the most severe end of the gain‐of‐function (GOF) SCN1A disorder spectrum. Sporadic cases of congenital arthrogryposis have also been reported in individuals with SCN2A‐, SCN3A‐, and SCN8A‐related developmental and ...
Sopio Gverdtsiteli +43 more
wiley +1 more source