LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 1216

Search options

  1. Book ; Online ; Conference proceedings: Tools and Algorithms for the Construction and Analysis of Systems

    Biere, Armin / Parker, David

    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

    (Theoretical Computer Science and General Issues ; 12078)

    2020  

    Author's details edited by Armin Biere, David Parker
    Series title Theoretical Computer Science and General Issues ; 12078
    Keywords Computers ; Special purpose computers ; Architecture, Computer ; Microprogramming  ; Computer science—Mathematics
    Subject code 004.0151
    Language English
    Size 1 Online-Ressource (XXIII, 501 p. 1 illus)
    Edition 1st ed. 2020
    Publisher Springer International Publishing ; Imprint: Springer
    Publishing place Cham
    Document type Book ; Online ; Conference proceedings
    HBZ-ID HT020443647
    ISBN 978-3-030-45190-5 ; 9783030451899 ; 9783030451912 ; 3-030-45190-9 ; 3030451895 ; 3030451917
    DOI 10.1007/978-3-030-45190-5
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    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 ; Conference proceedings: Tools and Algorithms for the Construction and Analysis of Systems

    Biere, Armin / Parker, David

    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

    (Theoretical Computer Science and General Issues ; 12079)

    2020  

    Author's details edited by Armin Biere, David Parker
    Series title Theoretical Computer Science and General Issues ; 12079
    Keywords Software engineering ; Special purpose computers ; Architecture, Computer ; Microprogramming  ; Computer science—Mathematics
    Subject code 005.1
    Language English
    Size 1 Online-Ressource (XXIII, 425 p. 1 illus)
    Edition 1st ed. 2020
    Publisher Springer International Publishing ; Imprint: Springer
    Publishing place Cham
    Document type Book ; Online ; Conference proceedings
    HBZ-ID HT020443651
    ISBN 978-3-030-45237-7 ; 9783030452360 ; 9783030452384 ; 3-030-45237-9 ; 3030452360 ; 3030452387
    DOI 10.1007/978-3-030-45237-7
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    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.

  3. Book ; Online ; Conference proceedings: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

    Biere, Armin / Parker, David

    2020  

    Keywords Computer science ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Maths for computer scientists
    Size 1 electronic resource (501 pages)
    Publisher Springer Nature
    Publishing place Cham
    Document type Book ; Online ; Conference proceedings
    Note English ; Open Access
    HBZ-ID HT021029903
    ISBN 978-3-030-45190-5 ; 3-030-45190-9
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    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. Book ; Online: Tools and Algorithms for the Construction and Analysis of Systems

    Biere, Armin / Parker, David

    2020  

    Abstract: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of ...

    Abstract This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020
    Keywords Information technology
    Size 1 electronic resource (425 pages)
    Publisher Springer Nature
    Document type Book ; Online
    Note English ; Open Access
    HBZ-ID HT020481436
    ISBN 9783030452377 ; 3030452379
    DOI 10.1007/978-3-030-45237-7
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    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.

  5. Book: Management of knee osteoarthritis in the younger, active patient

    Parker, David A.

    an evidence-based practical guide for clinicians

    2016  

    Author's details David A. Parker ed
    Keywords Knee Injury ; Osteoarthritis ; Knee Surgery ; Sports Injury ; Articular Cartilage Pathology ; Kniegelenk ; Chirurgie ; Evidenz-basierte Medizin
    Subject Evidence-based medicine ; Gutachtenbasierte Medizin ; Evidenzbasierte Medizin ; Surgery ; Knie ; Articulatio genus ; Kniegelenke
    Language English
    Size VII, 165 S. : Ill., graph. Darst., 25.4 cm x 17.8 cm, 0 g
    Publisher Springer
    Publishing place Berlin u.a.
    Publishing country Germany
    Document type Book
    HBZ-ID HT018871557
    ISBN 978-3-662-48528-6 ; 978-3-662-48530-9 ; 3-662-48528-1 ; 3-662-48530-3
    Database Catalogue ZB MED Medicine, Health

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Shelf markLoan statusLocation
    2016 A 314 available for loan (reading room) 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: How Fragile Are the Results of Randomized Controlled Trials: Is It Time to Rethink How We Analyze Data?: Commentary on an article by Jeffrey L. Shi, BS, et al.: "The Reverse Fragility Index: Interpreting the Current Literature on Long-Term Survivorship of Computer-Navigated Versus Conventional TKA. A Systematic Review and Cross-Sectional Study of Randomized Controlled Trials".

    Parker, David A

    The Journal of bone and joint surgery. American volume

    2023  Volume 105, Issue 2, Page(s) e8

    MeSH term(s) Humans ; Arthroplasty, Replacement, Knee/methods ; Cross-Sectional Studies ; Survivorship ; Randomized Controlled Trials as Topic ; Computers ; Surgery, Computer-Assisted/methods
    Language English
    Publishing date 2023-01-18
    Publishing country United States
    Document type Systematic Review ; Journal Article ; Comment
    ZDB-ID 220625-0
    ISSN 1535-1386 ; 0021-9355
    ISSN (online) 1535-1386
    ISSN 0021-9355
    DOI 10.2106/JBJS.22.01118
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Uk I Zs.58/1: 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 464: 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.

  7. Article: The functional properties of synapses made by regenerated axons across spinal cord lesion sites in lamprey.

    Parker, David

    Neural regeneration research

    2022  Volume 17, Issue 10, Page(s) 2272–2277

    Abstract: While the anatomical properties of regenerated axons across spinal cord lesion sites have been studied extensively, little is known of how the functional properties of regenerated synapses compared to those in unlesioned animals. This study aims to ... ...

    Abstract While the anatomical properties of regenerated axons across spinal cord lesion sites have been studied extensively, little is known of how the functional properties of regenerated synapses compared to those in unlesioned animals. This study aims to compare the properties of synapses made by regenerated axons with unlesioned axons using the lamprey, a model system for spinal injury research, in which functional locomotor recovery after spinal cord lesions is associated with axonal regeneration across the lesion site. Regenerated synapses below the lesion site did not differ from synapses from unlesioned axons with respect to the amplitude and duration of single excitatory postsynaptic potentials. They also showed the same activity-dependent depression over spike trains. However, regenerated synapses did differ from unlesioned synapses as the estimated number of synaptic vesicles was greater and there was evidence for increased postsynaptic quantal amplitude. For axons above the lesion site, the amplitude and duration of single synaptic inputs also did not differ significantly from unlesioned animals. However, in this case, there was evidence of a reduction in release probability and inputs facilitated rather than depressed over spike trains. Synaptic inputs from single regenerated axons below the lesion site thus do not increase in amplitude to compensate for the reduced number of descending axons after functional recovery. However, the postsynaptic input was maintained at the unlesioned level using different synaptic properties. Conversely, the facilitation from the same initial amplitude above the lesion site made the synaptic input over spike trains functionally stronger. This may help to increase propriospinal activity across the lesion site to compensate for the lesion-induced reduction in supraspinal inputs. The animal experiments were approved by the Animal Ethics Committee of Cambridge University.
    Language English
    Publishing date 2022-03-10
    Publishing country India
    Document type Journal Article
    ZDB-ID 2388460-5
    ISSN 1876-7958 ; 1673-5374
    ISSN (online) 1876-7958
    ISSN 1673-5374
    DOI 10.4103/1673-5374.335828
    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.

  8. Book ; Online: Chapter Kr in the Gospels

    Parpulov, Georgi / Houghton, H.A.G. / Parker, David C. / Strutwolf, Holger

    (Arbeiten zur neutestamentlichen Textforschung)

    2019  

    Series title Arbeiten zur neutestamentlichen Textforschung
    Keywords Church history ; New Testaments ; Biblical studies & exegesis ; Christian theology ; New Testament ; manuscripts ; textual criticism ; editing
    Language 0|e
    Size 1 electronic resource (12 pages)
    Publisher De Gruyter
    Publishing place Berlin/Boston
    Document type Book ; Online
    Note English ; German ; Open Access
    HBZ-ID HT021608575
    ISBN 9783110590302 ; 3110590301
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    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 ; Online: Chapter An Initial Selection of Manuscripts for the Editio Critica Maior of the Pauline Epistles

    Houghton, H. A. G. / Houghton, H.A.G. / Parker, David C. / Strutwolf, Holger

    (Arbeiten zur neutestamentlichen Textforschung)

    2019  

    Series title Arbeiten zur neutestamentlichen Textforschung
    Keywords Church history ; New Testaments ; Biblical studies & exegesis ; Christian theology ; New Testament ; manuscripts ; textual criticism ; editing
    Language 0|e
    Size 1 electronic resource (18 pages)
    Publisher De Gruyter
    Publishing place Berlin/Boston
    Document type Book ; Online
    Note English ; German ; Open Access
    HBZ-ID HT021608505
    ISBN 9783110590302 ; 3110590301
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    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: Neuronal Co-transmission

    Apergis-Schoute, John / Burnstock, Geoffrey / Nusbaum, Michael P. / Parker, David / Morales, Miguel A. / Trudeau, Louis-Eric / Svensson, Erik

    2019  

    Keywords Science: general issues ; Neurosciences ; co-transmission ; co-localization ; co-release ; Co-existence ; Neurotransmitter segregation ; Neurotransmitter complexity ; Neuropeptides ; monoamines
    Size 1 electronic resource (184 pages)
    Publisher Frontiers Media SA
    Document type Book ; Online
    Note English ; Open Access
    HBZ-ID HT021230708
    ISBN 9782889459452 ; 2889459454
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    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