LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 659

Search options

  1. Book ; Online: Order-Invariance in the Two-Variable Fragment of First-Order Logic

    Grange, Julien

    2022  

    Abstract: We study the expressive power of the two-variable fragment of order-invariant first-order logic. This logic departs from first-order logic in two ways: first, formulas are only allowed to quantify over two variables. Second, formulas can use an ... ...

    Abstract We study the expressive power of the two-variable fragment of order-invariant first-order logic. This logic departs from first-order logic in two ways: first, formulas are only allowed to quantify over two variables. Second, formulas can use an additional binary relation, which is interpreted in the structures under scrutiny as a linear order, provided that the truth value of a sentence over a finite structure never depends on which linear order is chosen on its domain. We prove that on classes of structures of bounded degree, any property expressible in this logic is definable in first-order logic. We then show that the situation remains the same when we add counting quantifiers to this logic.
    Keywords Computer Science - Logic in Computer Science
    Publishing date 2022-07-11
    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: Successor-Invariant First-Order Logic on Classes of Bounded Degree

    Grange, Julien

    2020  

    Abstract: We study the expressive power of successor-invariant first-order logic, which is an extension of first-order logic where the usage of an additional successor relation on the structure is allowed, as long as the validity of formulas is independent of the ... ...

    Abstract We study the expressive power of successor-invariant first-order logic, which is an extension of first-order logic where the usage of an additional successor relation on the structure is allowed, as long as the validity of formulas is independent of the choice of a particular successor on finite structures. We show that when the degree is bounded, successor-invariant first-order logic is no more expressive than first-order logic.
    Keywords Computer Science - Logic in Computer Science ; F.4.1
    Publishing date 2020-09-24
    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 ; Online: About the Expressive Power and Complexity of Order-Invariance with Two Variables

    Bednarczyk, Bartosz / Grange, Julien

    2023  

    Abstract: Order-invariant first-order logic is an extension of first-order logic (FO) where formulae can make use of a linear order on the structures, under the proviso that they are order-invariant, i.e. that their truth value is the same for all linear orders. ... ...

    Abstract Order-invariant first-order logic is an extension of first-order logic (FO) where formulae can make use of a linear order on the structures, under the proviso that they are order-invariant, i.e. that their truth value is the same for all linear orders. We continue the study of the two-variable fragment of order-invariant first-order logic initiated by Zeume and Harwath, and study its complexity and expressive power. We first establish coNExpTime-completeness for the problem of deciding if a given two-variable formula is order-invariant, which tightens and significantly simplifies the coN2ExpTime proof by Zeume and Harwath. Second, we address the question of whether every property expressible in order-invariant two-variable logic is also expressible in first-order logic without the use of a linear order. While we were not able to provide a satisfactory answer to the question, we suspect that the answer is ``no''. To justify our claim, we present a class of finite tree-like structures (of unbounded degree) in which a relaxed variant of order-invariant two-variable FO expresses properties that are not definable in plain FO. On the other hand, we show that if one restricts their attention to classes of structures of bounded degree, then the expressive power of order-invariant two-variable FO is contained within FO.

    Comment: arXiv admin note: substantial text overlap with arXiv:2207.04986
    Keywords Computer Science - Logic in Computer Science
    Subject code 160
    Publishing date 2023-04-17
    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.

  4. Book ; Online: First order synthesis for data words revisited

    Grange, Julien / Lehaut, Mathieu

    2023  

    Abstract: We carry on the study of the synthesis problem on data words for fragments of first order logic, and delineate precisely the border between decidability and undecidability. ...

    Abstract We carry on the study of the synthesis problem on data words for fragments of first order logic, and delineate precisely the border between decidability and undecidability.
    Keywords Computer Science - Logic in Computer Science
    Publishing date 2023-07-10
    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.

  5. Article ; Online: The Role of Efferent Reflexes in the Efficient Encoding of Speech by the Auditory Nerve.

    Grange, Jacques / Zhang 张梦超, Mengchao / Culling, John

    The Journal of neuroscience : the official journal of the Society for Neuroscience

    2022  

    Abstract: To avoid information loss, the auditory system must adapt the broad dynamic range of natural sounds to the restricted dynamic range of auditory nerve fibers. How it solves this dynamic range problem is not fully understood. Recent electrophysiological ... ...

    Abstract To avoid information loss, the auditory system must adapt the broad dynamic range of natural sounds to the restricted dynamic range of auditory nerve fibers. How it solves this dynamic range problem is not fully understood. Recent electrophysiological studies showed that dynamic-range adaptation occurs at the auditory-nerve level, but the amount of adaptation found was insufficient to prevent information loss. We used the physiological matlab® Auditory Periphery model to study the contribution of efferent reflexes to dynamic range adaptation. Simulating the healthy human auditory periphery provided adaptation predictions that suggest that the acoustic reflex shifts rate-level functions towards a given context level and the medial olivo-cochlear reflex sharpens the response of nerve fibers around that context level. A simulator of hearing was created to decode model-predicted firing of the auditory nerve back into an acoustic signal, for use in psychophysical tasks. Speech reception thresholds in noise obtained with a normal-hearing implementation of the simulator were just 1 dB above those measured with unprocessed stimuli. This result validates the simulator for speech stimuli. Disabling efferent reflexes elevated thresholds by 4 dB, reaching thresholds found in mild-to-moderately hearing-impaired individuals. Overall, our studies suggest that efferent reflexes may contribute to overcoming the dynamic range problem. Because specific sensorineural pathologies can be inserted in the model, the simulator can be used to obtain the psychophysical signatures of each pathology, thereby laying a path to differential diagnosis.
    Language English
    Publishing date 2022-07-25
    Publishing country United States
    Document type Journal Article
    ZDB-ID 604637-x
    ISSN 1529-2401 ; 0270-6474
    ISSN (online) 1529-2401
    ISSN 0270-6474
    DOI 10.1523/JNEUROSCI.2220-21.2022
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Zs.A 1668: 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 (1.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.

  6. Article ; Online: Assessing of low-tech solutions for aerosol delivery: Comparative performance study of manufactured versus homemade spacers.

    Moreau-Neidhardt, Manon / Leclerc, Lara / Grange, Jeanne / Périnel, Sophie / Pourchez, Jérémie

    International journal of pharmaceutics

    2023  Volume 633, Page(s) 122652

    Abstract: Purpose: This study aims to evaluate the performance of low-cost homemade spacers compared with manufactured valved holding chambers (VHCs) for fluticasone propionate delivery via a pMDI (pressurized Metered Dose Inhaler).: Methods: The Total Emitted ...

    Abstract Purpose: This study aims to evaluate the performance of low-cost homemade spacers compared with manufactured valved holding chambers (VHCs) for fluticasone propionate delivery via a pMDI (pressurized Metered Dose Inhaler).
    Methods: The Total Emitted Dose (TED) and particle size distribution were measured for pMDI alone or connected to the different spacers, according to CAN/CSA-Z264.1-02 standard. Two types of low-cost alternative and manufactured spacers were investigated: 500 mL plastic bottle and 553 mL aluminium can; non-antistatic plastic VHCs and aluminium antistatic VHCs.
    Results: The TED of homemade plastic bottle vs plastic VHC were similar in the 20-23% range. In contrast, the TED of homemade aluminium can was higher compared to aluminium VHC (83% vs 68%). The Fine Particle Fraction (FPF) was similar for the two plastic-based spacers (in the 12.68-17.60% range), although it was greater for the aluminium can compared to aluminium VHC (51% vs 42%). However, all spacers have limited large particles fraction, mainly deposited in the oropharyngeal tract, potentially decreasing side effects.
    Conclusion: We demonstrated that low-tech solutions as homemade spacers have at least similar performances to VHC medical devices composed of same material (aluminium or plastic). Thus, low-cost homemade spacers represent alternatives in case of emergency and without VHCs nearby.
    MeSH term(s) Albuterol ; Aluminum ; Drug Delivery Systems ; Equipment Design ; Aerosols ; Metered Dose Inhalers ; Administration, Inhalation ; Plastics ; Bronchodilator Agents
    Chemical Substances Albuterol (QF8SVZ843E) ; Aluminum (CPD4NFA903) ; Aerosols ; Plastics ; Bronchodilator Agents
    Language English
    Publishing date 2023-01-26
    Publishing country Netherlands
    Document type Journal Article
    ZDB-ID 428962-6
    ISSN 1873-3476 ; 0378-5173
    ISSN (online) 1873-3476
    ISSN 0378-5173
    DOI 10.1016/j.ijpharm.2023.122652
    Database MEDical Literature Analysis and Retrieval System OnLINE

    Full text online

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Zs.A 1409: 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 (1.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.

  7. Article ; Online: The role of nurses in the management of heart failure.

    Grange, J

    Heart (British Cardiac Society)

    2005  Volume 91 Suppl 2, Page(s) ii39–42; discussion ii43–8

    Abstract: Care provided by specialist nurses has been shown to improve outcomes for patients with chronic heart failure (CHF), significantly reducing the number of unplanned readmissions, length of hospital stay, hospital costs, and mortality. Most patients ... ...

    Abstract Care provided by specialist nurses has been shown to improve outcomes for patients with chronic heart failure (CHF), significantly reducing the number of unplanned readmissions, length of hospital stay, hospital costs, and mortality. Most patients develop CHF as a result of coronary artery disease. Once cardiac damage has occurred, the risk of developing heart failure can be reduced by providing appropriate treatment at appropriate dosages. While cardiac rehabilitation clinics provide an opportunity to check drug usage, their prime focus is on optimising patients' physical well being following a heart attack. In addition, evidence suggests that general practitioners are frequently reluctant to initiate appropriate treatments and to up-titrate drug dosages even for patients with diagnosed heart failure. Therefore, to ensure that these patients are not left on starting doses of medications many hospitals are now setting up nurse led post-myocardial infarction (MI) clinics. The Omada programme is a secondary care based, nurse led model of care set up in 1999 to improve the management of CHF by providing appropriate patient education within a nurse led clinic setting, optimising evidence based medication and fostering partnership between health professionals in both primary and secondary care. The model of care is highly applicable to the post-MI setting, where it can ensure that patients receive better care at an earlier stage.
    MeSH term(s) Chronic Disease ; Heart Failure/nursing ; Hospitalization ; Humans ; Myocardial Infarction/complications ; Nurse's Role ; Nursing Care/organization & administration ; Treatment Outcome
    Language English
    Publishing date 2005-05
    Publishing country England
    Document type Journal Article ; Research Support, Non-U.S. Gov't ; Review
    ZDB-ID 1303417-0
    ISSN 1468-201X ; 1355-6037
    ISSN (online) 1468-201X
    ISSN 1355-6037
    DOI 10.1136/hrt.2005.062117
    Database MEDical Literature Analysis and Retrieval System OnLINE

    Full text online

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Ui IV Zs.40: Show issues Location:
    Je nach Verfügbarkeit (siehe Angabe bei Bestand)
    bis Jg. 2021: Bestellungen von Artikeln über das Online-Bestellformular
    ab Jg. 2022: Lesesaal (EG)
    Zs.MO 112: Show issues

    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.

  8. Book ; Online ; Thesis: First Measurement of the Muon Anti-Neutrino Charged Current Quasielastic Double-Differential Cross Section

    Grange, Joseph

    (Springer Theses, Recognizing Outstanding Ph.D. Research)

    2015  

    Abstract: This book presents a major step forward in experimentally understanding the behavior of muon neutrinos and antineutrinos. Apart from providing the world’s first measurement of these interactions in a mostly unexplored energy region, the data presented ... ...

    Author's details by Joseph Grange
    Series title Springer Theses, Recognizing Outstanding Ph.D. Research
    Abstract This book presents a major step forward in experimentally understanding the behavior of muon neutrinos and antineutrinos. Apart from providing the world’s first measurement of these interactions in a mostly unexplored energy region, the data presented advances the neutrino community’s preparedness to search for an asymmetry between matter and anti-matter that may very well provide the physical mechanism for the existence of our universe. The details of these measurements are preceded by brief summaries of the history of the neutrino, the phenomenon of neutrino oscillations, and a description of their interactions. Also provided are details of the experimental setup for the measurements and the muon antineutrino cross-section measurement which motivates the need for dedicated in situ background constraints. The world’s first measurement of the neutrino component of an antineutrino beam using a non-magnetized detector, as well as other crucial background constraints, are also presented. By exploiting correlated systematic uncertainties, combined measurements of the muon neutrino and antineutrino cross sections described in the book maximize the precision of the extracted information from both results
    Keywords Particle acceleration ; Physics ; Quantum theory
    Language English
    Size Online-Ressource (XXXIII, 153 p. 91 illus., 75 illus. in color), online resource
    Publisher Springer
    Publishing place Cham u.a.
    Document type Book ; Online ; Thesis
    Thesis / German Habilitation thesis Univ. of Florida, Diss.--Gainesville, 2013
    Note "Doctoral thesis accepted by University of Florida, USA ; Includes bibliographical references
    ISBN 9783319095721 ; 9783319095738 ; 3319095722 ; 3319095730
    DOI 10.1007/978-3-319-09573-8
    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.

  9. Book ; Thesis: First measurement of the muon anti-neutrino charged current quasielastic double-differential cross section

    Grange, Joseph

    (Springer theses)

    2015  

    Author's details Joseph Grange
    Series title Springer theses
    Keywords Particle acceleration ; Physics ; Quantum theory
    Language English
    Size XXXII, 153 S., Ill., zahlr. graph. Darst
    Publisher Springer
    Publishing place Cham u.a.
    Document type Book ; Thesis
    Thesis / German Habilitation thesis Univ. of Florida, Diss.--Florida, 2013
    ISBN 9783319095721 ; 9783319095738 ; 3319095722 ; 3319095730
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    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.

  10. Book ; Online ; Thesis: First Measurement of the Muon Anti-Neutrino Charged Current Quasielastic Double-Differential Cross Section

    Grange, Joseph

    (Springer Theses, Recognizing Outstanding Ph.D. Research)

    2015  

    Abstract: This book presents a major step forward in experimentally understanding the behavior of muon neutrinos and antineutrinos. Apart from providing the world’s first measurement of these interactions in a mostly unexplored energy region, the data presented ... ...

    Author's details by Joseph Grange
    Series title Springer Theses, Recognizing Outstanding Ph.D. Research
    Abstract This book presents a major step forward in experimentally understanding the behavior of muon neutrinos and antineutrinos. Apart from providing the world’s first measurement of these interactions in a mostly unexplored energy region, the data presented advances the neutrino community’s preparedness to search for an asymmetry between matter and anti-matter that may very well provide the physical mechanism for the existence of our universe. The details of these measurements are preceded by brief summaries of the history of the neutrino, the phenomenon of neutrino oscillations, and a description of their interactions. Also provided are details of the experimental setup for the measurements and the muon antineutrino cross-section measurement which motivates the need for dedicated in situ background constraints. The world’s first measurement of the neutrino component of an antineutrino beam using a non-magnetized detector, as well as other crucial background constraints, are also presented. By exploiting correlated systematic uncertainties, combined measurements of the muon neutrino and antineutrino cross sections described in the book maximize the precision of the extracted information from both results
    Keywords Particle acceleration ; Physics ; Quantum theory
    Language English
    Size Online-Ressource (XXXIII, 153 p. 91 illus., 75 illus. in color), online resource
    Publisher Springer
    Publishing place Cham u.a.
    Document type Book ; Online ; Thesis
    Thesis / German Habilitation thesis Univ. of Florida, Diss.--Gainesville, 2013
    Note "Doctoral thesis accepted by University of Florida, USA ; Includes bibliographical references
    ISBN 9783319095721 ; 9783319095738 ; 3319095722 ; 3319095730
    DOI 10.1007/978-3-319-09573-8
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    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.

To top