LIVIVO - Das Suchportal für Lebenswissenschaften

switch to English language
Erweiterte Suche

Suchergebnis

Treffer 1 - 10 von insgesamt 19

Suchoptionen

  1. Buch ; Online: Rewriting Modulo Traced Comonoid Structure

    Ghica, Dan R. / Kaye, George

    2023  

    Abstract: In this paper we adapt previous work on rewriting string diagrams using hypergraphs to the case where the underlying category has a traced comonoid structure, in which wires can be forked and the outputs of a morphism can be connected to its input. Such ... ...

    Abstract In this paper we adapt previous work on rewriting string diagrams using hypergraphs to the case where the underlying category has a traced comonoid structure, in which wires can be forked and the outputs of a morphism can be connected to its input. Such a structure is particularly interesting because any traced Cartesian (dataflow) category has an underlying traced comonoid structure. We show that certain subclasses of hypergraphs are fully complete for traced comonoid categories: that is to say, every term in such a category has a unique corresponding hypergraph up to isomorphism, and from every hypergraph with the desired properties, a unique term in the category can be retrieved up to the axioms of traced comonoid categories. We also show how the framework of double pushout rewriting (DPO) can be adapted for traced comonoid categories by characterising the valid pushout complements for rewriting in our setting. We conclude by presenting a case study in the form of recent work on an equational theory for sequential circuits: circuits built from primitive logic gates with delay and feedback. The graph rewriting framework allows for the definition of an operational semantics for sequential circuits.

    Comment: Extended version, 32 pages
    Schlagwörter Computer Science - Logic in Computer Science ; Mathematics - Category Theory
    Erscheinungsdatum 2023-02-19
    Erscheinungsland us
    Dokumenttyp Buch ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Volltext online

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  2. Buch ; Online: A Fully Compositional Theory of Sequential Digital Circuits

    Ghica, Dan R. / Kaye, George / Sprunger, David

    Denotational, Operational and Algebraic Semantics

    2022  

    Abstract: Digital circuits, despite having been studied for nearly a century and used at scale for about half that time, have until recently evaded a fully compositional theoretical understanding, in which arbitrary circuits may be freely composed together without ...

    Abstract Digital circuits, despite having been studied for nearly a century and used at scale for about half that time, have until recently evaded a fully compositional theoretical understanding, in which arbitrary circuits may be freely composed together without consulting their internals. Recent work remedied this theoretical shortcoming by showing how digital circuits can be presented compositionally as morphisms in a freely generated symmetric traced category. However, this was done informally; in this paper we refine and expand the previous work in several ways, culminating in the presentation of three sound and complete semantics for digital circuits: denotational, operational and algebraic. For the denotational semantics, we establish a correspondence between stream functions with certain properties and circuits constructed syntactically. For the operational semantics, we present the reductions required to model how a circuit processes a value, including the addition of a new reduction for eliminating non-delay-guarded feedback; this leads to an adequate notion of observational equivalence for digital circuits. Finally, we define a new family of equations for translating circuits into bisimilar circuits of a 'normal form', leading to a complete algebraic semantics for sequential circuits

    Comment: Improved content and presentation, 31 pages
    Schlagwörter Computer Science - Logic in Computer Science ; Computer Science - Programming Languages ; Mathematics - Category Theory
    Thema/Rubrik (Code) 000
    Erscheinungsdatum 2022-01-25
    Erscheinungsland us
    Dokumenttyp Buch ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Volltext online

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  3. Buch: The value of uncertainty

    Kaye, George

    dealing with risk in the equity derivatives market

    2013  

    Verfasserangabe George Kaye
    Schlagwörter Derivative securities ; Risk management ; Uncertainty ; Derivat ; Volatilität ; Risiko ; Optionspreistheorie
    Sprache Englisch
    Umfang XVI, 419 S., graph. Darst., 24 cm
    Verlag ICP, Imperial College Press
    Erscheinungsort London
    Dokumenttyp Buch
    ISBN 9781848167728 ; 1848167725
    Datenquelle ECONomics Information System

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  4. Artikel ; Online: Artificial intelligence methods for improved detection of undiagnosed heart failure with preserved ejection fraction.

    Wu, Jack / Biswas, Dhruva / Ryan, Matthew / Bernstein, Brett S / Rizvi, Maleeha / Fairhurst, Natalie / Kaye, George / Baral, Ranu / Searle, Tom / Melikian, Narbeh / Sado, Daniel / Lüscher, Thomas F / Grocott-Mason, Richard / Carr-White, Gerald / Teo, James / Dobson, Richard / Bromage, Daniel I / McDonagh, Theresa A / Shah, Ajay M /
    O'Gallagher, Kevin

    European journal of heart failure

    2024  Band 26, Heft 2, Seite(n) 302–310

    Abstract: Aim: Heart failure with preserved ejection fraction (HFpEF) remains under-diagnosed in clinical practice despite accounting for nearly half of all heart failure (HF) cases. Accurate and timely diagnosis of HFpEF is crucial for proper patient management ... ...

    Abstract Aim: Heart failure with preserved ejection fraction (HFpEF) remains under-diagnosed in clinical practice despite accounting for nearly half of all heart failure (HF) cases. Accurate and timely diagnosis of HFpEF is crucial for proper patient management and treatment. In this study, we explored the potential of natural language processing (NLP) to improve the detection and diagnosis of HFpEF according to the European Society of Cardiology (ESC) diagnostic criteria.
    Methods and results: In a retrospective cohort study, we used an NLP pipeline applied to the electronic health record (EHR) to identify patients with a clinical diagnosis of HF between 2010 and 2022. We collected demographic, clinical, echocardiographic and outcome data from the EHR. Patients were categorized according to the left ventricular ejection fraction (LVEF). Those with LVEF ≥50% were further categorized based on whether they had a clinician-assigned diagnosis of HFpEF and if not, whether they met the ESC diagnostic criteria. Results were validated in a second, independent centre. We identified 8606 patients with HF. Of 3727 consecutive patients with HF and LVEF ≥50% on echocardiogram, only 8.3% had a clinician-assigned diagnosis of HFpEF, while 75.4% met ESC criteria but did not have a formal diagnosis of HFpEF. Patients with confirmed HFpEF were hospitalized more frequently; however the ESC criteria group had a higher 5-year mortality, despite being less comorbid and experiencing fewer acute cardiovascular events.
    Conclusions: This study demonstrates that patients with undiagnosed HFpEF are an at-risk group with high mortality. It is possible to use NLP methods to identify likely HFpEF patients from EHR data who would likely then benefit from expert clinical review and complement the use of diagnostic algorithms.
    Mesh-Begriff(e) Humans ; Heart Failure ; Stroke Volume ; Ventricular Function, Left ; Artificial Intelligence ; Retrospective Studies ; Prognosis
    Sprache Englisch
    Erscheinungsdatum 2024-01-11
    Erscheinungsland England
    Dokumenttyp Journal Article
    ZDB-ID 1483672-5
    ISSN 1879-0844 ; 1388-9842
    ISSN (online) 1879-0844
    ISSN 1388-9842
    DOI 10.1002/ejhf.3115
    Datenquelle MEDical Literature Analysis and Retrieval System OnLINE

    Volltext online

    Zusatzmaterialien

    Kategorien

    Verfügbar in ZB MED Köln/Königswinter

    Zs.A 5299: Hefte anzeigen Standort:
    Je nach Verfügbarkeit (siehe Angabe bei Bestand)
    bis Jg. 1994: Bestellungen von Artikeln über das Online-Bestellformular
    Jg. 1995 - 2021: Lesesall (2.OG)
    ab Jg. 2022: Lesesaal (EG)

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

  5. Buch: Tables of physical and chemical constants and some mathematical functions

    Kaye, George William Clarkson

    1973  

    Verfasserangabe comp. by George W.C. Kaye
    Umfang 386 S, 4°
    Ausgabenhinweis 14. ed
    Verlag Longman
    Erscheinungsort London
    Dokumenttyp Buch
    ISBN 0582463262 ; 9780582463264
    Datenquelle Ehemaliges Sondersammelgebiet Küsten- und Hochseefischerei

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  6. Buch: Tables of physical and chemical constants, and some mathematical functions

    Kaye, George William Clarkson / Laby, Thomas Howell

    1966  

    Verfasserangabe originally compiled by G. W. C. Kaye and T. H. Laby, now prepared under the direction of an editorial committee
    Sprache Englisch
    Umfang [8], 249 p, tables, 25 1/2 cm
    Ausgabenhinweis 13th ed
    Verlag Longmans
    Erscheinungsort London
    Dokumenttyp Buch
    Datenquelle Katalog der Technische Informationsbibliothek Hannover

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  7. Buch: Hindu astronomy

    Kaye, George Rusby

    (Memoirs of the Archaeological Survey of India ; 18)

    1924  

    Verfasserangabe by G. R. Kaye
    Serientitel Memoirs of the Archaeological Survey of India ; 18
    Sprache Englisch
    Umfang 134 S., [1] gef. Bl., graph. Darst., 4"
    Verlag Govt. of India, Central Publication Branch
    Erscheinungsort Calcutta
    Dokumenttyp Buch
    Datenquelle Ehemaliges Sondersammelgebiet Küsten- und Hochseefischerei

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  8. Buch: Hindu astronomy

    Kaye, George Rusby

    (Memoirs of the Archaeological Survey of India ; 18)

    1924  

    Verfasserangabe by G. R. Kaye
    Serientitel Memoirs of the Archaeological Survey of India ; 18
    Sprache Englisch
    Umfang 134 S., [1] gef. Bl., graph. Darst., 4"
    Verlag Govt. of India, Central Publication Branch
    Erscheinungsort Calcutta
    Dokumenttyp Buch
    Datenquelle Katalog der Technische Informationsbibliothek Hannover

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  9. Buch: Astronomical instruments in the Delhi Museum

    Kaye, George Rusby

    (Memoirs of the Archaeological Survey of India ; 12)

    1921  

    Verfasserangabe G. R. Kaye
    Serientitel Memoirs of the Archaeological Survey of India ; 12
    Sprache Englisch
    Umfang 24 S., 6 Taf., 4"
    Verlag Superint. Gov. Print
    Erscheinungsort Calcutta
    Dokumenttyp Buch
    Datenquelle Ehemaliges Sondersammelgebiet Küsten- und Hochseefischerei

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  10. Buch: Roentgenology; its early history,

    Kaye, George William Clarkson

    some basic physical principles and the protective measures,

    1928  

    Verfasserangabe by G. W. C. Kaye ... With forty-nine illustrations
    Mesh-Begriff(e) Radiation, Ionizing ; X-Rays
    Sprache Englisch
    Umfang xiv, 157 p., ill., ports.
    Verlag P. B. Hoeber, inc
    Erscheinungsort New York
    Dokumenttyp Buch
    Anmerkung "Reprinted, with additions, from the American journal of roentgenology & radium therapy (volume XVIII, no. 5, November, 1927)"
    Datenquelle Katalog der US National Library of Medicine (NLM)

    Zusatzmaterialien

    Kategorien

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

Zum Seitenanfang