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...

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants

IEEE transactions on computer-aided design of integrated circuits and systems, 2008-11, Vol.27 (11), p.2068-2082

2008

Volltextzugriff (PDF)

P01-10 Cell painting PLUS: an enhanced multiplexed phenotypic assay for chemical hazard screening

Toxicology letters, 2024-09, Vol.399, p.S75-S75

2024

Volltextzugriff (PDF)

A Normalization Method for Arithmetic Data-Path Verification

IEEE transactions on computer-aided design of integrated circuits and systems, 2007-11, Vol.26 (11), p.1909-1922

2007

Volltextzugriff (PDF)

Structural FSM traversal

IEEE transactions on computer-aided design of integrated circuits and systems, 2004-05, Vol.23 (5), p.598-619, Article 598

2004

Volltextzugriff (PDF)

Normalization at the arithmetic bit level

Annual ACM IEEE Design Automation Conference: Proceedings of the 42nd annual conference on Design automation; 13-17 June 2005, 2005, p.457-462

2005

Volltextzugriff (PDF)

Formal hardware/software co-verification by interval property checking with abstraction

2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC), 2011, p.510-515

2011

Volltextzugriff (PDF)

Arithmetic reasoning in DPLL-based SAT solving

Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, Vol.1, p.30-35 Vol.1

2004

Volltextzugriff (PDF)

Applying single and two layer canopy models to derive conductances of a Scots pine plantation from micrometeorological measurements

Theoretical and applied climatology, 1996, Vol.53 (1-3), p.95-104

1996

Volltextzugriff (PDF)

Photosynthetic performance, chloroplast pigments and mineral content of Norway spruce (Picea abies (L.) Karst.) exposed to SO2 and O3 in an open‐air fumigation experiment

Plant, cell and environment, 1995-03, Vol.18 (3), p.263-276

1995

Volltextzugriff (PDF)

System verification of concurrent RTL modules by compositional path predicate abstraction

DAC Design Automation Conference 2012, 2012, p.334-343

2012

Volltextzugriff (PDF)

Model-based estimates of water loss from ?patches? of the understory mosaic of the Hartheim Scots pine plantation

Theoretical and applied climatology, 1996, Vol.53 (1-3), p.135-144

1996

Volltextzugriff (PDF)

Leaf-level gas exchange and scaling-up of forest understory carbon fixation rates with a ?patch-scale? canopy model

Theoretical and applied climatology, 1996, Vol.53 (1-3), p.145-156

1996

Volltextzugriff (PDF)

HLA-DRB1 and Anti-Cyclic Citrullinated Peptide Antibody Production in Rheumatoid Arthritis

International Archives of Allergy and Immunology, 2005-08, Vol.137 (4), p.315-318

2005

Volltextzugriff (PDF)

Photosynthetic performance, chloroplast pigments, and mineral content of various needle age classes of spruce (Picea abies) with and without the new flush: an experimental approach for analysing forest decline phenomena

Trees (Berlin, West), 1989-12, Vol.3 (3), p.161-172

1989

Volltextzugriff (PDF)

STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra

2011 Design, Automation & Test in Europe, 2011, p.1-6

2011

Volltextzugriff (PDF)

Sterische Cyclopentadienyl-Äquivalente in der Chemie der f-Elemente: Monomere, homoleptische Lanthanid(III)-tris[N,N′-bis(trimethylsilyl)-benzamidinate]

Chemische Berichte, 1992-10, Vol.125 (10), p.2171-2181

1992

Volltextzugriff (PDF)

Transition-by-transition FSM traversal for reachability analysis in bounded model checking

International Conference on Computer Aided Design: Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design; 06-10 Nov. 2005, 2005, p.1068-1075

2005

Volltextzugriff (PDF)

Transition-by-transition FSM traversal for reachability analysis in bounded model checking

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005, 2005, p.1068-1075

2005

Volltextzugriff (PDF)

Stabilisierung von Uran(IV)-Alkylen durch raumerfüllende Chelatliganden: Molekülstruktur von [PhC(NSiMe3)2]3UMe

Chemische Berichte, 1992-06, Vol.125 (6), p.1313-1318

1992

Volltextzugriff (PDF)

Exploiting state encoding for invariant generation in induction-based property checking

ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753), 2004, p.424-429

2004

Volltextzugriff (PDF)

Improving structural FSM traversal by constraint-satisfying logic simulation

Proceedings IEEE Computer Society Annual Symposium on VLSI. New Paradigms for VLSI Systems Design. ISVLSI 2002, 2002, p.151-158

2002

Volltextzugriff (PDF)

Preparation and structural characterization of dioxane-coordinated alkali metal bis(trimethylsilyl)amides

Inorganic chemistry, 1992-09, Vol.31 (20), p.4143-4146

1992

Volltextzugriff (PDF)

Dimere Alkalimetallbenzamidinate: Einfluß des metallions auf die struktur

Journal of organometallic chemistry, 1992-06, Vol.431 (1), p.C1-C5

1992

Volltextzugriff (PDF)

Lösliche Lanthanid-alkoxide mit niedrigen Koordinationszahlen am Metall-Atom

Chemische Berichte, 1991-05, Vol.124 (5), p.1163-1165

1991

Volltextzugriff (PDF)

Photosynthetic performance, chloroplast pigments and mineral content of Norway spruce (Picea abies (L.) Karst.) exposed to SO 2 and O 3 in an open‐air fumigation experiment

Plant, cell and environment, 1995-03, Vol.18 (3), p.263-276

1995

Volltextzugriff (PDF)

1 – 25 von 294

Suche als RSS-Feed

Aktive Filter

PublikationsformReviews

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(218)
Mit Volltextzugriff
(220)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(148)
Physical Sciences
(72)
Chemistry
(51)
Humans
(45)
Physics
(44)
Life Sciences & Biomedicine
(43)
Technology
(40)
Chemistry, Physical
(29)
Biological And Medical Sciences
(26)
Male
(25)
Exact Sciences And Technology
(24)
Female
(22)
Adult
(21)
Engineering
(20)
Animals
(19)
Fundamental And Applied Biological Sciences. Psychology
(19)
Dentistry
(17)
Materials Science
(17)
Science & Technology - Other Topics
(17)
Multidisciplinary Sciences
(16)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants

P01-10 Cell painting PLUS: an enhanced multiplexed phenotypic assay for chemical hazard screening

A Normalization Method for Arithmetic Data-Path Verification

Structural FSM traversal

Normalization at the arithmetic bit level

Formal hardware/software co-verification by interval property checking with abstraction

Arithmetic reasoning in DPLL-based SAT solving

Applying single and two layer canopy models to derive conductances of a Scots pine plantation from micrometeorological measurements

Photosynthetic performance, chloroplast pigments and mineral content of Norway spruce (Picea abies (L.) Karst.) exposed to SO2 and O3 in an open‐air fumigation experiment

System verification of concurrent RTL modules by compositional path predicate abstraction

Model-based estimates of water loss from ?patches? of the understory mosaic of the Hartheim Scots pine plantation

Leaf-level gas exchange and scaling-up of forest understory carbon fixation rates with a ?patch-scale? canopy model

HLA-DRB1 and Anti-Cyclic Citrullinated Peptide Antibody Production in Rheumatoid Arthritis

Photosynthetic performance, chloroplast pigments, and mineral content of various needle age classes of spruce (Picea abies) with and without the new flush: an experimental approach for analysing forest decline phenomena

STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra

Sterische Cyclopentadienyl-Äquivalente in der Chemie der f-Elemente: Monomere, homoleptische Lanthanid(III)-tris[N,N′-bis(trimethylsilyl)-benzamidinate]

Transition-by-transition FSM traversal for reachability analysis in bounded model checking

Transition-by-transition FSM traversal for reachability analysis in bounded model checking

Stabilisierung von Uran(IV)-Alkylen durch raumerfüllende Chelatliganden: Molekülstruktur von [PhC(NSiMe3)2]3UMe

Exploiting state encoding for invariant generation in induction-based property checking

Improving structural FSM traversal by constraint-satisfying logic simulation

Preparation and structural characterization of dioxane-coordinated alkali metal bis(trimethylsilyl)amides

Dimere Alkalimetallbenzamidinate: Einfluß des metallions auf die struktur

Lösliche Lanthanid-alkoxide mit niedrigen Koordinationszahlen am Metall-Atom

Photosynthetic performance, chloroplast pigments and mineral content of Norway spruce (Picea abies (L.) Karst.) exposed to SO 2 and O 3 in an open‐air fumigation experiment

Aktive Filter

Suchergebnisse filtern