UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 1.940

Sortiert nach

Progress on the development of a fully integrated HTR code package

Nuclear engineering and design, 2012-10, Vol.251, p.400-406

2012

Link zum Volltext

Verfügbarkeit prüfen

Exploitation of a pH-sensitive hydrogel disk for CO2 detection

Sensors and actuators. B, Chemical, 2004-09, Vol.103 (1-2), p.284-289

2004

Link zum Volltext

Verfügbarkeit prüfen

A miniaturized carbon dioxide gas sensor based on sensing of pH-sensitive hydrogel swelling with a pressure sensor

Biomedical microdevices, 2005-09, Vol.7 (3), p.197-204

2005

Link zum Volltext

Verfügbarkeit prüfen

Study of chemically induced pressure generation of hydrogels under isochoric conditions using a microfabricated device

The Journal of chemical physics, 2004-08, Vol.121 (6), p.2746-2751

2004

Link zum Volltext

Verfügbarkeit prüfen

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings

1, 2023

Link zum Volltext

Verfügbarkeit prüfen

Extending PlusCal for Modeling Distributed Algorithms

Integrated Formal Methods, Vol.14300, p.321-340

Link zum Volltext

Verfügbarkeit prüfen

Use of impregnated catheters to decrease colonization rates in neonates - A randomized controlled pilot trial

Journal of neonatal-perinatal medicine, 2020, Vol.13 (2), p.231

2020

Link zum Volltext

Verfügbarkeit prüfen

234 Effectiveness of Fetal Perflurocarbon Therapy for Lung Hypoplasia in Diaphragmatic Hernia

Archives of disease in childhood, 2012-10, Vol.97 (Suppl 2), p.A68-A68

2012

Link zum Volltext

Verfügbarkeit prüfen

1799 Respiratory Signals from the External Body Surface in Spontaneously Breathing Preterm Infants

Archives of disease in childhood, 2012-10, Vol.97 (Suppl 2), p.A509-A509

2012

Link zum Volltext

Verfügbarkeit prüfen

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

2023

Link zum Volltext

Verfügbarkeit prüfen

Stimulus-sensitive hydrogels and their applications in chemical (micro)analysis

Analyst (London), 2003-04, Vol.128 (4), p.325-331

2003

Link zum Volltext

Verfügbarkeit prüfen

Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation

Integrated Formal Methods, p.153-171

Link zum Volltext

Verfügbarkeit prüfen

Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction

Integrated Formal Methods, p.193-213

Velev, Miroslav N.

Link zum Volltext

Verfügbarkeit prüfen

Mission-Time LTL (MLTL) Formula Validation via Regular Expressions

Integrated Formal Methods, p.279-301

Link zum Volltext

Verfügbarkeit prüfen

Towards Formal Verification of a TPM Software Stack

Integrated Formal Methods, p.93-112

Link zum Volltext

Verfügbarkeit prüfen

A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress)

Integrated Formal Methods, p.391-397

Link zum Volltext

Verfügbarkeit prüfen

Lifting the Reasoning Level in Generic Weak Memory Verification

Integrated Formal Methods, p.175-192

Link zum Volltext

Verfügbarkeit prüfen

Automated Sensitivity Analysis for Probabilistic Loops

Integrated Formal Methods, p.21-39

Link zum Volltext

Verfügbarkeit prüfen

SMT: Something You Must Try

Integrated Formal Methods, p.3-18

Link zum Volltext

Verfügbarkeit prüfen

CHC Model Validation with Proof Guarantees

Integrated Formal Methods, p.62-81

Link zum Volltext

Verfügbarkeit prüfen

Reasoning About Exceptional Behavior at the Level of Java Bytecode

Integrated Formal Methods, p.113-133

Link zum Volltext

Verfügbarkeit prüfen

Shuffling Posets on Trajectories

Integrated Formal Methods, p.384-390

Edixhoven, Luc

Link zum Volltext

Verfügbarkeit prüfen

Symbolic Model Checking of Relative Safety LTL Properties

Integrated Formal Methods, p.302-320

Link zum Volltext

Verfügbarkeit prüfen

Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method

Integrated Formal Methods, p.237-256

Link zum Volltext

Verfügbarkeit prüfen

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models

Integrated Formal Methods, p.257-276

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 1.940

Suche als RSS-Feed

Aktive Filter

PublikationsformBerichte

ThemaLife Sciences & Biomedicine

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(1.235)
Mit Volltextzugriff
(1.676)

Publikationsform

6 weitere anzeigen...

Weniger anzeigen...

Sprache

4 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(461)
Physical Sciences
(313)
Chemistry
(219)
Technology
(154)
Chemistry, Inorganic & Nuclear
(98)
Exact Sciences And Technology
(97)
Physics
(87)
Computer Science
(71)
Humans
(69)
Medical Toxicology
(67)
Social Sciences
(54)
Physical And Theoretical Chemistry
(53)
Computer Science, Theory & Methods
(49)
Toxicology
(48)
Engineering
(47)
Computer Science, Software Engineering
(46)
Inorganic Chemistry
(44)
Chemistry, Organic
(43)
Male
(42)
Science & Technology - Other Topics
(41)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Ingenta
(513)
Elektronische Zeitschriftenbibliothek (Open access)
(414)
eBooks on EBSCOhost
(388)
Ebook Central Perpetual and DDA
(348)
Elsevier ScienceDirect Journals Complete
(264)
JSTOR
(250)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(235)
Wiley-Blackwell Full Collection
(184)
Springer Books
(183)
WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
(145)
Standalone journals
(144)
SAGE Complete
(139)
IngentaConnect Journals
(121)
Wiley Online Library Full Collection 2018
(117)
MEDLINE
(114)
Nexis
(112)
De Gruyter eBooks
(99)
SpringerLink
(84)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(58)
IEEE Xplore
(47)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(11)

Menü

Weitere Dienste

Einstellungen

Progress on the development of a fully integrated HTR code package

Exploitation of a pH-sensitive hydrogel disk for CO2 detection

A miniaturized carbon dioxide gas sensor based on sensing of pH-sensitive hydrogel swelling with a pressure sensor

Study of chemically induced pressure generation of hydrogels under isochoric conditions using a microfabricated device

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings

Extending PlusCal for Modeling Distributed Algorithms

Use of impregnated catheters to decrease colonization rates in neonates - A randomized controlled pilot trial

234 Effectiveness of Fetal Perflurocarbon Therapy for Lung Hypoplasia in Diaphragmatic Hernia

1799 Respiratory Signals from the External Body Surface in Spontaneously Breathing Preterm Infants

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

Stimulus-sensitive hydrogels and their applications in chemical (micro)analysis

Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation

Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction

Mission-Time LTL (MLTL) Formula Validation via Regular Expressions

Towards Formal Verification of a TPM Software Stack

A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress)

Lifting the Reasoning Level in Generic Weak Memory Verification

Automated Sensitivity Analysis for Probabilistic Loops

SMT: Something You Must Try

CHC Model Validation with Proof Guarantees

Reasoning About Exceptional Behavior at the Level of Java Bytecode

Shuffling Posets on Trajectories

Symbolic Model Checking of Relative Safety LTL Properties

Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models

Aktive Filter

Suchergebnisse filtern