Winter, Kirsten: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

51

Hematology and plasma biochemistries in the Blanding’s turtle (Emydoidea blandingii) in Lake County, Illinois

Mumm, Lauren E., Winter, John M., Andersson, Kirsten E., Glowacki, Gary A., Adamovicz, Laura A., Allender, Matthew C., Johnson, Colin

Journal:

Year:

2019

File:

PDF, 560 KB

2019

52

[IEEE 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS) - Paris (2012.7.18-2012.7.20)] 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems - Reasoning About Adaptivity of Agents and Multi-agent Systems

Smith, Graeme, Sanders, J.W., Winter, Kirsten

Year:

2012

Language:

english

File:

PDF, 3.86 MB

english, 2012

53

Model Checking with Abstract Types

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 336 KB

english, 2001

54

Modelling concurrent objects running on the TSO and ARMv8 memory models

Winter, Kirsten, Smith, Graeme, Derrick, John

Journal:

Science of Computer Programming

Year:

2019

File:

PDF, 706 KB

2019

55

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Integrating Requirements: The Behavior Tree Philosophy

Winter, Kirsten, Hayes, Ian James, Colvin, Robert

Year:

2010

Language:

english

File:

PDF, 274 KB

english, 2010

56

Aneuploidy Screening Using Noninvasive Prenatal Testing in Twin Pregnancies

Fosler, Lindsay, Winters, Patricia, Jones, Keith W., Curnow, Kirsten J., Sehnert, Amy J., Bhatt, Sucheta, Platt, Lawrence D.

Journal:

Ultrasound in Obstetrics & Gynecology

Year:

2016

Language:

english

File:

PDF, 1.10 MB

english, 2016

57

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Safety Assessment Using Behavior Trees and Model Checking

Lindsay, Peter A., Winter, Kirsten, Yatapanage, Nisansala

Year:

2010

Language:

english

File:

PDF, 272 KB

english, 2010

58

[ACM Press the 16th Annual International Conference - Phoenix, Arizona (2015.05.27-2015.05.30)] Proceedings of the 16th Annual International Conference on Digital Government Research - dg.o '15 - Software for scientists facing wicked problems lessons from the VISTAS project

Cushing, Judith B., Winters, Kirsten M., Lach, Denise

Year:

2015

Language:

english

File:

PDF, 2.83 MB

english, 2015

59

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Making Linearizability Compositional for Partially Ordered Executions

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 466 KB

english, 2018

60

Linearizability on hardware weak memory models

Smith, Graeme, Winter, Kirsten, Colvin, Robert J.

Journal:

Formal Aspects of Computing

Year:

2019

File:

PDF, 817 KB

2019

61

Toward Registration of 3D Ultrasound and CT Images of the Spine in Clinical Praxis: Design and Evaluation of a Data Acquisition Protocol

Susanne Winter, Ioannis Pechlivanis, Claudia Dekomien, Christian Igel, Kirsten Schmieder

Journal:

Ultrasound in Medicine & Biology

Year:

2009

Language:

english

File:

PDF, 1.04 MB

english, 2009

62

Predicting intelligence from brain gray matter volume

Hilger, Kirsten, Winter, Nils R., Leenings, Ramona, Sassenhagen, Jona, Hahn, Tim, Basten, Ulrike, Fiebach, Christian J.

Journal:

Brain Structure and Function (Anatomy and Embryology 1891-2006)

Year:

2020

File:

PDF, 2.35 MB

2020

63

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Early Validation and Verification of a Distributed Role-Based Access Control Model

Zafar, Saad, Colvin, Robert, Winter, Kirsten, Yatapanage, Nisansala, Dromey, R. G.

Year:

2007

Language:

english

File:

PDF, 327 KB

english, 2007

64

The inter‐rater and test‐retest reliability of skin thickness and skin elasticity measurements by the DermaLab Combo in healthy participants

Peperkamp, Kirsten, Verhulst, Arico C., Tielemans, Hanneke J. P., Winters, Harm, Dalen, Demi, Ulrich, Dietmar J. O.

Journal:

Skin Research and Technology

Year:

2019

File:

PDF, 593 KB

2019

65

Brain morphology in adolescents at genetic risk for schizophrenia assessed by qualitative and quantitative magnetic resonance imaging

Herbert Schreiber, Kirsten Baur-Seack, Bernd Wallner, Jean Michel Friedrich, Inge-Marie De Winter, Hans Helmut Kornhuber, Jan Born

Journal:

Schizophrenia Research

Year:

1999

Language:

english

File:

PDF, 118 KB

english, 1999

66

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Early Validation and Verification of a Distributed Role-Based Access Control Model

Zafar, Saad, Colvin, Robert, Winter, Kirsten, Yatapanage, Nisansala, Dromey, R. G.

Year:

2007

Language:

english

File:

PDF, 327 KB

english, 2007

67

Who Benefits from National Estuaries? Applying the FEGS Classification System to Identify Ecosystem Services and their Beneficiaries

Yee, Susan Harrell, Sullivan, Angelica, Williams, Kathleen C., Winters, Kirsten

Journal:

International Journal of Environmental Research and Public Health

Year:

2019

Language:

english

File:

PDF, 1.39 MB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски