LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 59

Search options

  1. Article: Intensive Calcium Monitoring Following Parathyroidectomy: Prevention of Hungry Bone Syndrome in Children.

    Jose Garcia Diaz, Francisco / Beth Martin, Laura / Lucia Gomez Gila, Ana / Navarro Moreno, Constanza

    Turkish archives of pediatrics

    2024  Volume 59, Issue 1, Page(s) 109–111

    Abstract: Cite this article as: García Díaz FJ, Martin LB, Gómez Gila AL, Navarro Moreno C. Intensive calcium monitoring following parathyroidectomy: Prevention of hungry bone syndrome in children. Turk Arch Pediatr. 2024;59(1):109-111. ...

    Abstract Cite this article as: García Díaz FJ, Martin LB, Gómez Gila AL, Navarro Moreno C. Intensive calcium monitoring following parathyroidectomy: Prevention of hungry bone syndrome in children. Turk Arch Pediatr. 2024;59(1):109-111.
    Language English
    Publishing date 2024-03-07
    Publishing country Turkey
    Document type Journal Article
    ISSN 2757-6256
    ISSN 2757-6256
    DOI 10.5152/TurkArchPediatr.2024.23205
    Database MEDical Literature Analysis and Retrieval System OnLINE

    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.

  2. Book ; Online: Vagueness in Predicates and Objects

    Bennett, Brandon / Álvarez, Lucía Gómez

    2023  

    Abstract: Classical semantics assumes that one can model reference, predication and quantification with respect to a fixed domain of precise referent objects. Non-logical terms and quantification are then interpreted directly in terms of elements and subsets of ... ...

    Abstract Classical semantics assumes that one can model reference, predication and quantification with respect to a fixed domain of precise referent objects. Non-logical terms and quantification are then interpreted directly in terms of elements and subsets of this domain. We explore ways to generalise this classical picture of precise predicates and objects to account for variability of meaning due to factors such as vagueness, context and diversity of definitions or opinions. Both names and predicative expressions can be given either multiple semantic referents or be associated with semantic referents that incorporate some model of variability. We present a semantic framework, Variable Reference Semantics, that can accommodate several modes of variability in relation to both predicates and objects.
    Keywords Computer Science - Artificial Intelligence
    Publishing date 2023-02-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 ; Online: Automating Reasoning with Standpoint Logic via Nested Sequents

    Lyon, Tim S. / Álvarez, Lucía Gómez

    2022  

    Abstract: Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their ... ...

    Abstract Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics--proof systems that manipulate trees whose nodes are multisets of formulae--and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input.

    Comment: Accepted to KR 2022: https://kr2022.cs.tu-dortmund.de/
    Keywords Computer Science - Logic in Computer Science ; Computer Science - Artificial Intelligence ; Computer Science - Data Structures and Algorithms ; Computer Science - Multiagent Systems ; Mathematics - Logic
    Subject code 004
    Publishing date 2022-05-05
    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: Tractable Diversity

    Álvarez, Lucía Gómez / Rudolph, Sebastian / Strass, Hannes

    Scalable Multiperspective Ontology Management via Standpoint EL

    2023  

    Abstract: The tractability of the lightweight description logic EL has allowed for the construction of large and widely used ontologies that support semantic interoperability. However, comprehensive domains with a broad user base are often at odds with strong ... ...

    Abstract The tractability of the lightweight description logic EL has allowed for the construction of large and widely used ontologies that support semantic interoperability. However, comprehensive domains with a broad user base are often at odds with strong axiomatisations otherwise useful for inferencing, since these are usually context-dependent and subject to diverging perspectives. In this paper we introduce Standpoint EL, a multi-modal extension of EL that allows for the integrated representation of domain knowledge relative to diverse, possibly conflicting standpoints (or contexts), which can be hierarchically organised and put in relation to each other. We establish that Standpoint EL still exhibits EL's favourable PTime standard reasoning, whereas introducing additional features like empty standpoints, rigid roles, and nominals makes standard reasoning tasks intractable.
    Keywords Computer Science - Artificial Intelligence
    Subject code 004
    Publishing date 2023-02-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.

  5. Book ; Online: Pushing the Boundaries of Tractable Multiperspective Reasoning

    Álvarez, Lucía Gómez / Rudolph, Sebastian / Strass, Hannes

    A Deduction Calculus for Standpoint EL+

    2023  

    Abstract: Standpoint EL is a multi-modal extension of the popular description logic EL that allows for the integrated representation of domain knowledge relative to diverse standpoints or perspectives. Advantageously, its satisfiability problem has recently been ... ...

    Abstract Standpoint EL is a multi-modal extension of the popular description logic EL that allows for the integrated representation of domain knowledge relative to diverse standpoints or perspectives. Advantageously, its satisfiability problem has recently been shown to be in PTime, making it a promising framework for large-scale knowledge integration. In this paper, we show that we can further push the expressivity of this formalism, arriving at an extended logic, called Standpoint EL+, which allows for axiom negation, role chain axioms, self-loops, and other features, while maintaining tractability. This is achieved by designing a satisfiability-checking deduction calculus, which at the same time addresses the need for practical algorithms. We demonstrate the feasibility of our calculus by presenting a prototypical Datalog implementation of its deduction rules.
    Keywords Computer Science - Artificial Intelligence
    Subject code 004
    Publishing date 2023-04-27
    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.

  6. Book ; Online: Automated reasoning support for Standpoint-OWL 2

    Emmrich, Florian / Álvarez, Lucía Gómez / Strass, Hannes

    2023  

    Abstract: We present a tool for modelling and reasoning with knowledge from various diverse (and possibly conflicting) viewpoints. The theoretical underpinnings are provided by enhancing base logics by standpoints according to a recently introduced formalism that ... ...

    Abstract We present a tool for modelling and reasoning with knowledge from various diverse (and possibly conflicting) viewpoints. The theoretical underpinnings are provided by enhancing base logics by standpoints according to a recently introduced formalism that we also recall. The tool works by translating the standpoint-enhanced version of the description logic SROIQ to its plain (i.e. classical) version. Existing reasoners can then be directly used to provide automated support for reasoning about diverse standpoints.
    Keywords Computer Science - Artificial Intelligence ; Computer Science - Logic in Computer Science
    Publishing date 2023-04-30
    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.

  7. Book ; Online: Standpoint Linear Temporal Logic

    Gigante, Nicola / Alvarez}, Lucia {Gomez / Lyon, Tim S.

    2023  

    Abstract: Many complex scenarios require the coordination of agents possessing unique points of view and distinct semantic commitments. In response, standpoint logic (SL) was introduced in the context of knowledge integration, allowing one to reason with diverse ... ...

    Abstract Many complex scenarios require the coordination of agents possessing unique points of view and distinct semantic commitments. In response, standpoint logic (SL) was introduced in the context of knowledge integration, allowing one to reason with diverse and potentially conflicting viewpoints by means of indexed modalities. Another multi-modal logic of import is linear temporal logic (LTL) - a formalism used to express temporal properties of systems and processes, having prominence in formal methods and fields related to artificial intelligence. In this paper, we present standpoint linear temporal logic (SLTL), a new logic that combines the temporal features of LTL with the multi-perspective modelling capacity of SL. We define the logic SLTL, its syntax, and its semantics, establish its decidability and complexity, and provide a terminating tableau calculus to automate SLTL reasoning. Conveniently, this offers a clear path to extend existing LTL reasoners with practical reasoning support for temporal reasoning in multi-perspective settings.
    Keywords Computer Science - Artificial Intelligence
    Subject code 160
    Publishing date 2023-04-27
    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.

  8. Article ; Online: Explicaciones causal y mecanicista

    Olga Lucia Gomez Gutierrez / Germán Guerrero Pino

    Epistemología e Historia de la Ciencia, Vol 4, Iss

    aspectos etiológico, constitutivo, realista y pragmático

    2020  Volume 2

    Abstract: El artículo traza de manera gruesa las principales líneas de una propuesta de reformulación de la explicación mecanicista en la que se contemplan los aspectos etiológico, constitutivo, realista y pragmático, los cuales consideramos deben formar parte de ... ...

    Abstract El artículo traza de manera gruesa las principales líneas de una propuesta de reformulación de la explicación mecanicista en la que se contemplan los aspectos etiológico, constitutivo, realista y pragmático, los cuales consideramos deben formar parte de una explicación científica. La sustentación de la propuesta se hace en tres etapas. En la primera, se presentan los desarrollos de Salmon sobre las explicaciones etiológica y constitutiva, en el marco de su modelo causal de la explicación, como un importante antecedente de la explicación neomecanicista. A continuación, se presenta una caracterización de la propuesta neomecanicista de la explicación a través de la presentación y análisis crítico de dos definiciones mínimas de mecanismo. Finalmente, a partir de este análisis crítico, formulamos nuestra definición mínima de mecanismo y, con ello, precisamos nuestra propuesta neomecanicista de la explicación, en la que se evidencian más fácilmente los cuatro elementos mencionados.
    Keywords Epistemology. Theory of knowledge ; BD143-237 ; Science (General) ; Q1-390
    Language Spanish
    Publishing date 2020-05-01T00:00:00Z
    Publisher Universidad Nacional de Córdoba
    Document type Article ; 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.

  9. Article ; Online: Explicaciones causal y mecanicista

    Olga Lucia Gomez Gutierrez / Germán Guerrero Pino

    Epistemología e Historia de la Ciencia, Vol 4, Iss

    aspectos etiológico, constitutivo, realista y pragmático

    2020  Volume 2

    Abstract: El artículo traza de manera gruesa las principales líneas de una propuesta de reformulación de la explicación mecanicista en la que se contemplan los aspectos etiológico, constitutivo, realista y pragmático, los cuales consideramos deben formar parte de ... ...

    Abstract El artículo traza de manera gruesa las principales líneas de una propuesta de reformulación de la explicación mecanicista en la que se contemplan los aspectos etiológico, constitutivo, realista y pragmático, los cuales consideramos deben formar parte de una explicación científica. La sustentación de la propuesta se hace en tres etapas. En la primera, se presentan los desarrollos de Salmon sobre las explicaciones etiológica y constitutiva, en el marco de su modelo causal de la explicación, como un importante antecedente de la explicación neomecanicista. A continuación, se presenta una caracterización de la propuesta neomecanicista de la explicación a través de la presentación y análisis crítico de dos definiciones mínimas de mecanismo. Finalmente, a partir de este análisis crítico, formulamos nuestra definición mínima de mecanismo y, con ello, precisamos nuestra propuesta neomecanicista de la explicación, en la que se evidencian más fácilmente los cuatro elementos mencionados.
    Keywords Epistemology. Theory of knowledge ; BD143-237 ; Science (General) ; Q1-390
    Language Spanish
    Publishing date 2020-05-01T00:00:00Z
    Publisher Universidad Nacional de Córdoba
    Document type Article ; 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.

  10. Article ; Online: La fundación y las primeras décadas del monasterio de Fresdelval. Memoria, benefactoría y devoción jerónima en la Castilla bajomedieval

    Juan Antonio Prieto Sayagués / Diana Lucía Gómez-Chacón

    Studia Historica. Historia Medieval, Vol 38, Iss 2, Pp 239-

    2020  Volume 262

    Abstract: Se expone la fundación del monasterio jerónimo de Fresdelval por el adelantado mayor de Castilla, Gómez Manrique, y su esposa, Sancha de Rojas, y la benefactoría ejercida hacia el cenobio por los miembros de sus linajes, sus criados y oficiales, vecinos ... ...

    Abstract Se expone la fundación del monasterio jerónimo de Fresdelval por el adelantado mayor de Castilla, Gómez Manrique, y su esposa, Sancha de Rojas, y la benefactoría ejercida hacia el cenobio por los miembros de sus linajes, sus criados y oficiales, vecinos de Burgos y de otras localidades cercanas. Dicha benefactoría continuó más allá de sus decesos con la elección de sus enterramientos y la dotación de oficios perpetuos en el monasterio, destacando el majestuoso sepulcro del matrimonio fundador, objeto de análisis. A cambio del patronato de los fundadores y de las donaciones de los bienhechores, el monasterio y su comunidad ofrecieron una serie de servicios socioeconómicos a los mismos.
    Keywords jerónimos ; sepulcro ; siglo xv ; patronato y benefactoría ; monasterio ; nobleza ; History (General) and history of Europe ; D ; History (General) ; D1-2009 ; Medieval history ; D111-203
    Language English
    Publishing date 2020-12-01T00:00:00Z
    Publisher Ediciones Universidad de Salamanca
    Document type Article ; 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.

To top