LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 19

Search options

  1. Book ; 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
    Keywords Computer Science - Logic in Computer Science ; Mathematics - Category Theory
    Publishing date 2023-02-19
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  2. Book ; 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
    Keywords Computer Science - Logic in Computer Science ; Computer Science - Programming Languages ; Mathematics - Category Theory
    Subject code 000
    Publishing date 2022-01-25
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  3. Book: The value of uncertainty

    Kaye, George

    dealing with risk in the equity derivatives market

    2013  

    Author's details George Kaye
    Keywords Derivative securities ; Risk management ; Uncertainty ; Derivat ; Volatilität ; Risiko ; Optionspreistheorie
    Language English
    Size XVI, 419 S., graph. Darst., 24 cm
    Publisher ICP, Imperial College Press
    Publishing place London
    Document type Book
    ISBN 9781848167728 ; 1848167725
    Database ECONomics Information System

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  4. Article ; 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  Volume 26, Issue 2, Page(s) 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 term(s) Humans ; Heart Failure ; Stroke Volume ; Ventricular Function, Left ; Artificial Intelligence ; Retrospective Studies ; Prognosis
    Language English
    Publishing date 2024-01-11
    Publishing country England
    Document type Journal Article
    ZDB-ID 1483672-5
    ISSN 1879-0844 ; 1388-9842
    ISSN (online) 1879-0844
    ISSN 1388-9842
    DOI 10.1002/ejhf.3115
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Zs.A 5299: Show issues Location:
    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)

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

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

    Kaye, George William Clarkson

    1973  

    Author's details comp. by George W.C. Kaye
    Size 386 S, 4°
    Edition 14. ed
    Publisher Longman
    Publishing place London
    Document type Book
    ISBN 0582463262 ; 9780582463264
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

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

    Kaye, George William Clarkson / Laby, Thomas Howell

    1966  

    Author's details originally compiled by G. W. C. Kaye and T. H. Laby, now prepared under the direction of an editorial committee
    Language English
    Size [8], 249 p, tables, 25 1/2 cm
    Edition 13th ed
    Publisher Longmans
    Publishing place London
    Document type Book
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  7. Book: Hindu astronomy

    Kaye, George Rusby

    (Memoirs of the Archaeological Survey of India ; 18)

    1924  

    Author's details by G. R. Kaye
    Series title Memoirs of the Archaeological Survey of India ; 18
    Language English
    Size 134 S., [1] gef. Bl., graph. Darst., 4"
    Publisher Govt. of India, Central Publication Branch
    Publishing place Calcutta
    Document type Book
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  8. Book: Hindu astronomy

    Kaye, George Rusby

    (Memoirs of the Archaeological Survey of India ; 18)

    1924  

    Author's details by G. R. Kaye
    Series title Memoirs of the Archaeological Survey of India ; 18
    Language English
    Size 134 S., [1] gef. Bl., graph. Darst., 4"
    Publisher Govt. of India, Central Publication Branch
    Publishing place Calcutta
    Document type Book
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  9. Book: Astronomical instruments in the Delhi Museum

    Kaye, George Rusby

    (Memoirs of the Archaeological Survey of India ; 12)

    1921  

    Author's details G. R. Kaye
    Series title Memoirs of the Archaeological Survey of India ; 12
    Language English
    Size 24 S., 6 Taf., 4"
    Publisher Superint. Gov. Print
    Publishing place Calcutta
    Document type Book
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  10. Book: Roentgenology; its early history,

    Kaye, George William Clarkson

    some basic physical principles and the protective measures,

    1928  

    Author's details by G. W. C. Kaye ... With forty-nine illustrations
    MeSH term(s) Radiation, Ionizing ; X-Rays
    Language English
    Size xiv, 157 p., ill., ports.
    Publisher P. B. Hoeber, inc
    Publishing place New York
    Document type Book
    Note "Reprinted, with additions, from the American journal of roentgenology & radium therapy (volume XVIII, no. 5, November, 1927)"
    Database Catalogue of the US National Library of Medicine (NLM)

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

To top