LIVIVO - Das Suchportal für Lebenswissenschaften

switch to English language
Erweiterte Suche

Suchergebnis

Treffer 1 - 10 von insgesamt 1220

Suchoptionen

  1. Buch ; Online ; Konferenzbeitrag: 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  

    Verfasserangabe edited by Armin Biere, David Parker
    Serientitel Theoretical Computer Science and General Issues ; 12078
    Schlagwörter Computers ; Special purpose computers ; Architecture, Computer ; Microprogramming  ; Computer science—Mathematics
    Thema/Rubrik (Code) 004.0151
    Sprache Englisch
    Umfang 1 Online-Ressource (XXIII, 501 p. 1 illus)
    Ausgabenhinweis 1st ed. 2020
    Verlag Springer International Publishing ; Imprint: Springer
    Erscheinungsort Cham
    Dokumenttyp Buch ; Online ; Konferenzbeitrag
    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
    Datenquelle ZB MED Katalog Medizin, Gesundheit, Ernährung, Umwelt, Agrar

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  2. Buch ; Online ; Konferenzbeitrag: 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  

    Verfasserangabe edited by Armin Biere, David Parker
    Serientitel Theoretical Computer Science and General Issues ; 12079
    Schlagwörter Software engineering ; Special purpose computers ; Architecture, Computer ; Microprogramming  ; Computer science—Mathematics
    Thema/Rubrik (Code) 005.1
    Sprache Englisch
    Umfang 1 Online-Ressource (XXIII, 425 p. 1 illus)
    Ausgabenhinweis 1st ed. 2020
    Verlag Springer International Publishing ; Imprint: Springer
    Erscheinungsort Cham
    Dokumenttyp Buch ; Online ; Konferenzbeitrag
    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
    Datenquelle ZB MED Katalog Medizin, Gesundheit, Ernährung, Umwelt, Agrar

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  3. Buch ; Online ; Konferenzbeitrag: 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  

    Schlagwörter 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
    Umfang 1 electronic resource (501 pages)
    Verlag Springer Nature
    Erscheinungsort Cham
    Dokumenttyp Buch ; Online ; Konferenzbeitrag
    Anmerkung English ; Open Access
    HBZ-ID HT021029903
    ISBN 978-3-030-45190-5 ; 3-030-45190-9
    Datenquelle ZB MED Katalog Medizin, Gesundheit, Ernährung, Umwelt, Agrar

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  4. Buch ; 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
    Schlagwörter Information technology
    Umfang 1 electronic resource (425 pages)
    Verlag Springer Nature
    Dokumenttyp Buch ; Online
    Anmerkung English ; Open Access
    HBZ-ID HT020481436
    ISBN 9783030452377 ; 3030452379
    DOI 10.1007/978-3-030-45237-7
    Datenquelle ZB MED Katalog Medizin, Gesundheit, Ernährung, Umwelt, Agrar

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

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

    Parker, David A.

    an evidence-based practical guide for clinicians

    2016  

    Verfasserangabe David A. Parker ed
    Schlagwörter Knee Injury ; Osteoarthritis ; Knee Surgery ; Sports Injury ; Articular Cartilage Pathology ; Kniegelenk ; Chirurgie ; Evidenz-basierte Medizin
    Schlagwörter Evidence-based medicine ; Gutachtenbasierte Medizin ; Evidenzbasierte Medizin ; Surgery ; Knie ; Articulatio genus ; Kniegelenke
    Sprache Englisch
    Umfang VII, 165 S. : Ill., graph. Darst., 25.4 cm x 17.8 cm, 0 g
    Verlag Springer
    Erscheinungsort Berlin u.a.
    Erscheinungsland Deutschland
    Dokumenttyp Buch
    HBZ-ID HT018871557
    ISBN 978-3-662-48528-6 ; 978-3-662-48530-9 ; 3-662-48528-1 ; 3-662-48530-3
    Datenquelle Katalog ZB MED Medizin, Gesundheit

    Zusatzmaterialien

    Kategorien

    Verfügbar in ZB MED Köln/Königswinter

    SignaturLeihstatusStandort
    2016 A 314 ausleihbar (Lesesaal) Lesesaal EG

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

  6. Artikel ; 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  Band 105, Heft 2, Seite(n) e8

    Mesh-Begriff(e) Humans ; Arthroplasty, Replacement, Knee/methods ; Cross-Sectional Studies ; Survivorship ; Randomized Controlled Trials as Topic ; Computers ; Surgery, Computer-Assisted/methods
    Sprache Englisch
    Erscheinungsdatum 2023-01-18
    Erscheinungsland United States
    Dokumenttyp 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
    Datenquelle MEDical Literature Analysis and Retrieval System OnLINE

    Zusatzmaterialien

    Kategorien

    Verfügbar in ZB MED Köln/Königswinter

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

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

  7. Buch ; Online: Chapter Kr in the Gospels

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

    (Arbeiten zur neutestamentlichen Textforschung)

    2019  

    Serientitel Arbeiten zur neutestamentlichen Textforschung
    Schlagwörter Church history ; New Testaments ; Biblical studies & exegesis ; Christian theology ; New Testament ; manuscripts ; textual criticism ; editing
    Sprache 0|e
    Umfang 1 electronic resource (12 pages)
    Verlag De Gruyter
    Erscheinungsort Berlin/Boston
    Dokumenttyp Buch ; Online
    Anmerkung English ; German ; Open Access
    HBZ-ID HT021608575
    ISBN 9783110590302 ; 3110590301
    Datenquelle ZB MED Katalog Medizin, Gesundheit, Ernährung, Umwelt, Agrar

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

  8. Buch ; 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  

    Serientitel Arbeiten zur neutestamentlichen Textforschung
    Schlagwörter Church history ; New Testaments ; Biblical studies & exegesis ; Christian theology ; New Testament ; manuscripts ; textual criticism ; editing
    Sprache 0|e
    Umfang 1 electronic resource (18 pages)
    Verlag De Gruyter
    Erscheinungsort Berlin/Boston
    Dokumenttyp Buch ; Online
    Anmerkung English ; German ; Open Access
    HBZ-ID HT021608505
    ISBN 9783110590302 ; 3110590301
    Datenquelle ZB MED Katalog Medizin, Gesundheit, Ernährung, Umwelt, Agrar

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

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

    Parker, David

    Neural regeneration research

    2022  Band 17, Heft 10, Seite(n) 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.
    Sprache Englisch
    Erscheinungsdatum 2022-03-10
    Erscheinungsland India
    Dokumenttyp Journal Article
    ZDB-ID 2388460-5
    ISSN 1876-7958 ; 1673-5374
    ISSN (online) 1876-7958
    ISSN 1673-5374
    DOI 10.4103/1673-5374.335828
    Datenquelle MEDical Literature Analysis and Retrieval System OnLINE

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

  10. Buch ; Online: Neuronal Co-transmission

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

    2019  

    Schlagwörter Science: general issues ; Neurosciences ; co-transmission ; co-localization ; co-release ; Co-existence ; Neurotransmitter segregation ; Neurotransmitter complexity ; Neuropeptides ; monoamines
    Umfang 1 electronic resource (184 pages)
    Verlag Frontiers Media SA
    Dokumenttyp Buch ; Online
    Anmerkung English ; Open Access
    HBZ-ID HT021230708
    ISBN 9782889459452 ; 2889459454
    Datenquelle ZB MED Katalog Medizin, Gesundheit, Ernährung, Umwelt, Agrar

    Zusatzmaterialien

    Kategorien

    Über subito bestellen

    Dieser Service ist kostenpflichtig (siehe Lieferbedingungen von subito). Bestellungen, die einen Artikel nebst Supplementary Material umfassen, werden grundsätzlich wie mehrfache Bestellungen bearbeitet. Gebühren fallen in diesen Fällen für jede einzelne Bestellung an.

    Fernleihe an ZB MED

    Sie können sich den gewünschten Titel als lokale Nutzerin oder lokaler Nutzer von ZB MED direkt an den Standort Köln schicken lassen.

Zum Seitenanfang