Search Results - "Quick, David"
-
1
Encoding !-tensors as !-graphs with neighbourhood orders
Published in Electronic proceedings in theoretical computer science (04-11-2015)“…Diagrammatic reasoning using string diagrams provides an intuitive language for reasoning about morphisms in a symmetric monoidal category. To allow working…”
Get full text
Journal Article -
2
Modeling Coding Intensity of Procedures in a U.S. Population-Based Hip/Knee Arthroplasty Inpatient Cohort Adjusting for Patient- and Facility-Level Characteristics
Published in Healthcare (Basel) (23-07-2022)“…Variations in procedure coding intensity, defined as excess coding of procedures versus industry (instead of clinical) standards, can result in differentials…”
Get full text
Journal Article -
3
Tensors, !-graphs, and non-commutative quantum structures
Published in Electronic proceedings in theoretical computer science (28-12-2014)“…Categorical quantum mechanics (CQM) and the theory of quantum groups rely heavily on the use of structures that have both an algebraic and co-algebraic…”
Get full text
Journal Article -
4
The enduring menace of MRSA: incidence, treatment, and prevention in a county jail
Published in Journal of correctional health care (01-07-2009)“…Nationwide, methicillin-resistant Staphylococcus aureus (MRSA) presents an increasing hazard to inmates. This article reviews our 1-year (2005) experience with…”
Get more information
Journal Article -
5
Altered collagen concentration in mitral valve leaflets: biochemical and finite element analysis
Published in The Annals of thoracic surgery (01-12-1998)“…Background. Ischemic mitral regurgitation or ventricular wall motion abnormalities will alter the stress distribution in the mitral valve. We hypothesize that…”
Get full text
Journal Article Conference Proceeding -
6
Transmission capacity and market power: the effect on a dominant generation firm
Published in Energy policy (01-06-2002)“…We examine the effect of transmission on a firm's market power by analyzing the optimal dispatch for a dominant firm in a short-run regional electricity…”
Get full text
Journal Article -
7
Tensors, !-graphs, and Non-commutative Quantum Structures
Published in New generation computing (01-03-2016)“…!-graphs provide a means of reasoning about infinite families of string diagrams and have proven useful in manipulation of (co)algebraic structures like Hopf…”
Get full text
Journal Article -
8
Collagen synthesis is upregulated in mitral valves subjected to altered stress
Published in ASAIO journal (1992) (01-05-1997)“…Mitral regurgitation (MR) and abnormal ventricular wall motion (AVWM) are two cardiac conditions that may increase mitral valve (MV) stresses. Theoretically,…”
Get more information
Journal Article -
9
An Analysis of Market Power Mitigation Strategies in Colorado's Electricity Industry
Published in The Energy journal (Cambridge, Mass.) (01-01-2001)“…We apply an algorithm that optimizes the generation dispatch for a dominant firm to Colorado's electricity market and show that the dominant electricity…”
Get full text
Journal Article -
10
Logic: First Order Reasoning for Families of Non-commutative String Diagrams
Published 01-01-2015“…Equational reasoning with string diagrams provides an intuitive method for proving equations between morphisms in various forms of monoidal category. !-Graphs…”
Get full text
Dissertation -
11
Encoding !-tensors as !-graphs with neighbourhood orders
Published 05-11-2015“…EPTCS 195, 2015, pp. 307-320 Diagrammatic reasoning using string diagrams provides an intuitive language for reasoning about morphisms in a symmetric monoidal…”
Get full text
Journal Article -
12
In-vivo measurement of intrauterine gases and acid–base values early in human pregnancy
Published in Human reproduction (Oxford) (01-11-1999)“…A new multiparameter sensor that combines electrochemical and fibre-optic technology was used for continuous in-vivo investigation of pH, carbon dioxide…”
Get full text
Journal Article -
13
A first-order logic for string diagrams
Published 02-05-2015“…Equational reasoning with string diagrams provides an intuitive means of proving equations between morphisms in a symmetric monoidal category. This can be…”
Get full text
Journal Article -
14
Tensors, !-graphs, and non-commutative quantum structures (extended version)
Published 04-03-2015“…!-graphs provide a means of reasoning about infinite families of string diagrams and have proven useful in manipulation of (co)algebraic structures like Hopf…”
Get full text
Journal Article -
15
Tensors, !-graphs, and non-commutative quantum structures
Published 30-12-2014“…EPTCS 172, 2014, pp. 56-67 Categorical quantum mechanics (CQM) and the theory of quantum groups rely heavily on the use of structures that have both an…”
Get full text
Journal Article -
16
Pregnancy. In-vivo measurement of intrauterine gases and acid-base values early in human pregnancy
Published in Human reproduction (Oxford) (01-11-1999)“…A new multiparameter sensor that combines electrochemical and fibre-optic technology was used for continuous in-vivo investigation of pH, carbon dioxide…”
Get full text
Journal Article -
17
Effect of Infarction and ACE Inhibitors on the Mitral Valve
Published in Journal of the Arizona-Nevada Academy of Science (01-07-2004)“…Myocardial infarction potentially alters mitral valve (MV) protein synthesis resulting in MV deterioration. Angiotensin converting enzyme (ACE) inhibitors may…”
Get full text
Journal Article -
18
The Effect of Transmission on a Dominant Firm's Ability to Exert Market Power in the Electricity Generation Industry
Published 01-01-2000Get full text
Dissertation -
19
Ischemic mitral valve disease: Implications for repair, replacement, and medical therapy
Published 01-01-2000“…The hypothesis tested in this study is that cardiac ischemia, resulting in mitral regurgitation (MR) and/or abnormal ventricular wall motion, induces…”
Get full text
Dissertation -
20
Acute mitral valve regurgitation created in sheep using echocardiographic guidance
Published in The Journal of heart valve disease (01-11-1999)“…This study was designed to determine: (i) Whether acute mitral valve regurgitation (MVR) due to chordal rupture can be reproducibly created under…”
Get more information
Journal Article