UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Formal Verification of Real-Time Function Blocks Using PVS

Electronic proceedings in theoretical computer science, 2015-06, Vol.184 (Proc. ESSS 2015), p.65-79

2015

Volltextzugriff (PDF)

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application

Journal of automated reasoning, 2018, Vol.60 (1), p.63-84

2018

Volltextzugriff (PDF)

Life-Cycle Emissions from Port Electrification: A Case Study of Cargo Handling Tractors at the Port of Los Angeles

International journal of sustainable transportation, 2012-11, Vol.6 (6), p.321-337

2012

Volltextzugriff (PDF)

The Forgotten and the Future: Reclaiming Back Alleys for a Sustainable City

Environment and planning. A, 2010-12, Vol.42 (12), p.2874-2896

2010

Volltextzugriff (PDF)

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application

NASA Formal Methods, p.206-220

Volltextzugriff (PDF)

KR08 Achieving Sustainable Development in Southern California: Collaborative Learning through System Dynamics Modeling

INCOSE International Symposium, 2008-06, Vol.18 (1), p.1483-1497

2008

Volltextzugriff (PDF)

The Russian Far East: a reference guide for conservation and development

Society and natural resources, 2006, Vol.19 (6), p.571-573

2006

Volltextzugriff (PDF)

The Russian far East: a reference guide for conservation and development

Pacific affairs, 2004, Vol.77 (3), p.543-544

2004

Volltextzugriff (PDF)

The Russian Far East: a reference guide for conservation and development

Library Journal, 2004, Vol.129 (8), p.100-100

Newell, Josh

2004

Volltextzugriff (PDF)

The Russian Far East: A Reference Guide for Conservation and Development

Geographical journal, 2005, Vol.171 (2), p.182-184

Oldfield, Jonathan

2005

Volltextzugriff (PDF)

The Russian Far East: A Reference Guide for Conservation and Development

Russian review, 2005, Vol.64 (1), p.171-171

Wishnick, Elizabeth

2005

Volltextzugriff (PDF)

The Russian Far East: A Reference Guide for Conservation and Development

Slavonic and East European review, 2006, Vol.84 (3), p.584-586

2006

Volltextzugriff (PDF)

The Russian Far East: foreign direct investment and environmental destruction

The Ecologist (1979), 1996-03, Vol.26, p.68-72

1996

Volltextzugriff (PDF)

Reference state and benchmark concepts for better biodiversity conservation in contemporary ecosystems

Global change biology, 2020-12, Vol.26 (12), p.6702-6714

2020

Volltextzugriff (PDF)

Immunohistochemical scoring of CD38 in the tumor microenvironment predicts responsiveness to anti-PD-1/PD-L1 immunotherapy in hepatocellular carcinoma

Journal for immunotherapy of cancer, 2020-08, Vol.8 (2), p.e000987

2020

Volltextzugriff (PDF)

A level set approach for the computational study of a yield stress fluid filling a thin mold

Journal of non-Newtonian fluid mechanics, 2023-02, Vol.312 (C), p.104987, Article 104987

2023

Volltextzugriff (PDF)

Computational modeling and experiments of an elastoviscoplastic fluid in a thin mold-filling geometry

Journal of non-Newtonian fluid mechanics, 2022-09, Vol.307 (C), p.104851, Article 104851

2022

Volltextzugriff (PDF)

A level set approach for the computational study of a yield stress fluid filling a thin mold

Journal of non-Newtonian fluid mechanics, 2022-12, Vol.312

2022

Volltextzugriff (PDF)

Interactive Versus Passive Distraction and Parent Psychoeducation as Pain Management Techniques During Pediatric Venepuncture: A Randomized Controlled Trial

The Clinical journal of pain, 2018-11, Vol.34 (11), p.1008-1016

2018

Volltextzugriff (PDF)

Phenotypic Plasticity of Winter Wheat Heading Date and Grain Yield across the US Great Plains

Crop science, 2016-09, Vol.56 (5), p.2223-2236

2016

Volltextzugriff (PDF)

An integrated automated multispectral imaging technique that simultaneously detects and quantitates viral RNA and immune cell protein markers in fixed sections from Epstein-Barr virus-related tumours

Annals of diagnostic pathology, 2018-12, Vol.37, p.12-19

2018

Volltextzugriff (PDF)

Current opinions in organ allocation

American journal of transplantation, 2018-11, Vol.18 (11), p.2625-2634

By the Contributors to the C4 Article (Appendix 1)

2018

Volltextzugriff (PDF)

Retraction of the Research Article: "CD4 + T cell autoimmunity to hypocretin/orexin and cross-reactivity to a 2009 H1N1 influenza A epitope in narcolepsy"

Science translational medicine, 2014-07, Vol.6 (247)

2014

Volltextzugriff (PDF)

Scientific overview on CSCI-CITAC Annual General Meeting and 2017 Young Investigators' Forum

Clinical and investigative medicine, 2018-10, Vol.41 (3), p.E156-E164

2018

Volltextzugriff (PDF)

Three-Antenna Polarization Measurements Again

2022 Antenna Measurement Techniques Association Symposium (AMTA), 2022, p.1-6

2022

Volltextzugriff (PDF)

1 – 25 von 26

Suche als RSS-Feed

Aktive Filter

ThemaFemale

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(20)
Mit Volltextzugriff
(23)

Publikationsform

Sprache

Englisch
(26)

Erscheinungsjahr

n.n

Thema

Science & Technology
(14)
Life Sciences & Biomedicine
(9)
Conservation
(7)
Technology
(6)
Environmental Sciences & Ecology
(4)
Russian Federation
(4)
Computer Science
(3)
Development
(3)
Environmental Studies
(3)
Geography
(3)
Humans
(3)
Newell, Josh
(3)
Nonfiction
(3)
Sustainable Development
(3)
Yield Stress Fluid
(3)
Area Studies
(2)
Arts & Humanities
(2)
Bingham–carreau–yasuda Constitutive Model
(2)
Computational Modeling
(2)
Computer Science, Theory & Methods
(2)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Formal Verification of Real-Time Function Blocks Using PVS

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application

Life-Cycle Emissions from Port Electrification: A Case Study of Cargo Handling Tractors at the Port of Los Angeles

The Forgotten and the Future: Reclaiming Back Alleys for a Sustainable City

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application

KR08 Achieving Sustainable Development in Southern California: Collaborative Learning through System Dynamics Modeling

The Russian Far East: a reference guide for conservation and development

The Russian far East: a reference guide for conservation and development

The Russian Far East: a reference guide for conservation and development

The Russian Far East: A Reference Guide for Conservation and Development

The Russian Far East: A Reference Guide for Conservation and Development

The Russian Far East: A Reference Guide for Conservation and Development

The Russian Far East: foreign direct investment and environmental destruction

Reference state and benchmark concepts for better biodiversity conservation in contemporary ecosystems

Immunohistochemical scoring of CD38 in the tumor microenvironment predicts responsiveness to anti-PD-1/PD-L1 immunotherapy in hepatocellular carcinoma

A level set approach for the computational study of a yield stress fluid filling a thin mold

Computational modeling and experiments of an elastoviscoplastic fluid in a thin mold-filling geometry

A level set approach for the computational study of a yield stress fluid filling a thin mold

Interactive Versus Passive Distraction and Parent Psychoeducation as Pain Management Techniques During Pediatric Venepuncture: A Randomized Controlled Trial

Phenotypic Plasticity of Winter Wheat Heading Date and Grain Yield across the US Great Plains

An integrated automated multispectral imaging technique that simultaneously detects and quantitates viral RNA and immune cell protein markers in fixed sections from Epstein-Barr virus-related tumours

Current opinions in organ allocation

Retraction of the Research Article: "CD4 + T cell autoimmunity to hypocretin/orexin and cross-reactivity to a 2009 H1N1 influenza A epitope in narcolepsy"

Scientific overview on CSCI-CITAC Annual General Meeting and 2017 Young Investigators' Forum

Three-Antenna Polarization Measurements Again

Aktive Filter

Suchergebnisse filtern