LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 4 of total 4

Search options

  1. Article ; Online: Quiz dermatologiczny

    Anna Waśkiel-Burnat / Katarzyna Pisarz / Joanna Czuwara / Joanna Golińska / Małgorzata Olszewska / Lidia Rudnicka

    Przegląd Dermatologiczny, Vol 109, Iss 1, Pp 86-

    2022  Volume 87

    Keywords Medicine ; R ; Dermatology ; RL1-803
    Language English
    Publishing date 2022-05-01T00:00:00Z
    Publisher Termedia Publishing House
    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.

  2. Book ; Online: Tableau-based decision procedure for non-Fregean logic of sentential identity

    Pilarek, Joanna Golińska / Huuskonen, Taneli / Zawidzki, Michał

    2021  

    Abstract: Sentential Calculus with Identity (SCI) is an extension of classical propositional logic, featuring a new connective of identity between formulas. In SCI two formulas are said to be identical if they share the same denotation. In the semantics of the ... ...

    Abstract Sentential Calculus with Identity (SCI) is an extension of classical propositional logic, featuring a new connective of identity between formulas. In SCI two formulas are said to be identical if they share the same denotation. In the semantics of the logic, truth values are distinguished from denotations, hence the identity connective is strictly stronger than classical equivalence. In this paper we present a sound, complete, and terminating algorithm deciding the satisfiability of SCI-formulas, based on labelled tableaux. To the best of our knowledge, it is the first implemented decision procedure for SCI which runs in NP, i.e., is complexity-optimal. The obtained complexity bound is a result of dividing derivation rules in the algorithm into two sets: decomposition and equality rules, whose interplay yields derivation trees with branches of polynomial length with respect to the size of the investigated formula. We describe an implementation of the procedure and compare its performance with implementations of other calculi for SCI (for which, however, the termination results were not established). We show possible refinements of our algorithm and discuss the possibility of extending it to other non-Fregean logics.

    Comment: This is a full version of a conference paper that will appear in the proceedings of the 28th International Conference on Automated Deduction (CADE)
    Keywords Computer Science - Logic in Computer Science ; 03B22 ; 03B35 (Primary) 03B20 ; 03A05 (Secondary) ; F.4.3 ; I.2.3 ; I.2.4 ; D.3.1
    Subject code 160
    Publishing date 2021-04-29
    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. Article ; Online: Mobile genetic elements – mechanism and consequences of transposition

    Mateusz Wędrowski / Paweł Waśniowski / Ewelina Wędrowska / Joanna Golińska / Elżbieta Piskorska / Walery Żukow

    Journal of Education, Health and Sport, Vol 7, Iss

    2017  Volume 12

    Abstract: Retrotransposons represent a significant part of the genome in eukaryote organisms. With DNA transposons, they belong to mobile genetic elements. There are two classes of transposons, DNA transposons and retrotransposons. Retrotransposons have three ... ...

    Abstract Retrotransposons represent a significant part of the genome in eukaryote organisms. With DNA transposons, they belong to mobile genetic elements. There are two classes of transposons, DNA transposons and retrotransposons. Retrotransposons have three genes in their structure (gag, pol, env), responsible for the activation and encoding of structural proteins and envelope proteins. There is a group of retroelements without LTR (non-LTR). This group consists LINE (Long Interspersed Nuclear Elements) and SINE (Short Interspersed Nuclear Elements) sequences. LINE sequences represent 20% of human genetic material. Sequences of retrotransposons can move within the genome of a particular organism, occasionally subjected to replication as a result of enzyme activity, i.e. reverse transcriptase. The process of retro transposition is imperfect. These processes often cause mutation (most often: insertion, deletion), genetic instability, they contribute to the development of diseases on the genetic basis, including cancer. Retrotransposons are also used to analyze genetic variation as genetic markers.
    Keywords retrotransposons ; retro transposition ; transposons ; mobile genetic elements ; Education ; L ; Sports ; GV557-1198.995 ; Medicine ; R
    Subject code 572
    Language English
    Publishing date 2017-12-01T00:00:00Z
    Publisher Kazimierz Wielki University
    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.

  4. Article ; Online: Mobile genetic elements – mechanism and consequences of transposition

    Mateusz Wędrowski / Paweł Waśniowski / Ewelina Wędrowska / Joanna Golińska / Elżbieta Piskorska / Walery Żukow

    Journal of Education, Health and Sport, Vol 7, Iss 12, Pp 412-

    2017  Volume 428

    Abstract: Retrotransposons represent a significant part of the genome in eukaryote organisms. With DNA transposons, they belong to mobile genetic elements. There are two classes of transposons, DNA transposons and retrotransposons. Retrotransposons have three ... ...

    Abstract Retrotransposons represent a significant part of the genome in eukaryote organisms. With DNA transposons, they belong to mobile genetic elements. There are two classes of transposons, DNA transposons and retrotransposons. Retrotransposons have three genes in their structure (gag, pol, env), responsible for the activation and encoding of structural proteins and envelope proteins. There is a group of retroelements without LTR (non-LTR). This group consists LINE (Long Interspersed Nuclear Elements) and SINE (Short Interspersed Nuclear Elements) sequences. LINE sequences represent 20% of human genetic material. Sequences of retrotransposons can move within the genome of a particular organism, occasionally subjected to replication as a result of enzyme activity, i.e. reverse transcriptase. The process of retro transposition is imperfect. These processes often cause mutation (most often: insertion, deletion), genetic instability, they contribute to the development of diseases on the genetic basis, including cancer. Retrotransposons are also used to analyze genetic variation as genetic markers.
    Keywords retrotransposons ; retro transposition ; transposons ; mobile genetic elements ; Education ; L ; Sports ; GV557-1198.995 ; Medicine ; R
    Subject code 572
    Language English
    Publishing date 2017-12-01T00:00:00Z
    Publisher Kazimierz Wielki University
    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