UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 415

Sortiert nach

Insight into chemical bonding of the transition metal-doped cluster Ge2M (M = Sc–Zn) series using NBO and NRT theory

Theoretical chemistry accounts, 2018-10, Vol.137 (10), p.1-11, Article 131

2018

Volltextzugriff (PDF)

Prevalence of HIV in mental health service users: a retrospective cohort study

BMJ open, 2023-04, Vol.13 (4), p.e067337-e067337

2023

Volltextzugriff (PDF)

New Derivatives of Lupeol and Their Biological Activity

MolBank, 2021-12, Vol.2021 (4), p.M1306

2021

Volltextzugriff (PDF)

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Preface

Electronic proceedings in theoretical computer science, 2022-05, Vol.359

2022

Volltextzugriff (PDF)

Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Formal Specification and Verification of the FM9001 Microprocessor Using the DE System

Electronic proceedings in theoretical computer science, 2017-05, Vol.249, p.112-114

Chau, Cuong

2017

Volltextzugriff (PDF)

Fourier Series Formalization in ACL2(r)

Electronic proceedings in theoretical computer science, 2015-09, Vol.192 (Proc. ACL2 2015), p.35-51

2015

Volltextzugriff (PDF)

HPV vaccination of gay, bisexual and other men who have sex with men in sexual health and HIV clinics in England: vaccination uptake and attendances during the pilot phase

Sexually transmitted infections, 2019-12, Vol.95 (8), p.608

2019

Volltextzugriff (PDF)

Epidemiology of HIV infection and associated behaviours among people who inject drugs in England, Wales, and Northern Ireland: Nearly 40 years on

HIV medicine, 2022-10, Vol.23 (9), p.978-989

2022

Volltextzugriff (PDF)

Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking

2022 IEEE 29th Symposium on Computer Arithmetic (ARITH), 2022, p.120-126

2022

Volltextzugriff (PDF)

Loss to Follow-Up After Pregnancy Among Sub-Saharan Africa-Born Women Living With Human Immunodeficiency Virus in England, Wales and Northern Ireland: Results From a Large National Cohort

Sexually transmitted diseases, 2016-05, Vol.43 (5), p.283-289

2016

Volltextzugriff (PDF)

A Hierarchical Approach to Self-Timed Circuit Verification

2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, p.105-113

2019

Volltextzugriff (PDF)

Reduction in undiagnosed HIV infection in the European Union/European Economic Area, 2012 to 2016

Euro surveillance : bulletin européen sur les maladies transmissibles, 2017-11, Vol.22 (48)

2017

Volltextzugriff (PDF)

A Hierarchical Approach to Formal Modeling and Verification of Asynchronous Circuits

Chau, Cuong Kim

2019

Volltextzugriff (PDF)

Data-Loop-Free Self-Timed Circuit Verification

2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2018, p.51-58

2018

Volltextzugriff (PDF)

Estimating HIV incidence and number of undiagnosed individuals living with HIV in the European Union/European Economic Area, 2015

Euro surveillance : bulletin européen sur les maladies transmissibles, 2016-12, Vol.21 (48), p.1

2016

Volltextzugriff (PDF)

The vehicle routing problem with time windows: A case study of fresh food distribution center

2019 11th International Conference on Knowledge and Systems Engineering (KSE), 2019, p.1-5

2019

Volltextzugriff (PDF)

How to think about self-timed systems

2017 51st Asilomar Conference on Signals, Systems, and Computers, 2017, p.1597-1604

2017

Volltextzugriff (PDF)

A Brief Introduction to Oracle's Use of ACL2 in Verifying Floating-point and Integer Arithmetic: Extended Abstract at the Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications

Electronic proceedings in theoretical computer science, 2015-09, Vol.192, p.1-2

2015

Volltextzugriff (PDF)

A Framework for Asynchronous Circuit Modeling and Verification in ACL2

Hardware and Software: Verification and Testing, p.3-18

Volltextzugriff (PDF)

Pickup and Multi-delivery Problem with Time Windows

2022 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), 2022, p.571-575

2022

Volltextzugriff (PDF)

A Communication Model for Different IOT Devices in Smart Home Applications

2023 International Conference on Advanced Computing and Analytics (ACOMPA), 2023, p.106-112

2023

Volltextzugriff (PDF)

Formal verification of division and square root implementations, an Oracle report

2016 Formal Methods in Computer-Aided Design (FMCAD), 2016, p.149-152

2016

Volltextzugriff (PDF)

Latent Ontological Feature Discovery for Text Clustering

2009 IEEE-RIVF International Conference on Computing and Communication Technologies, 2009, p.1-8

2009

Volltextzugriff (PDF)

Sulfated Naphthopyrones and Anthraquinones from the Vietnamese Crinoid Comanthus delicata

Chemical and Pharmaceutical Bulletin, 2022/05/01, Vol.70(5), pp.408-412

2022

Volltextzugriff (PDF)

Novel biogenic silver and gold nanoparticles for multifunctional applications: Green synthesis, catalytic and antibacterial activity, and colorimetric detection of Fe(III) ions

Chemosphere (Oxford), 2022-01, Vol.287, p.132271-132271, Article 132271

2022

Volltextzugriff (PDF)

1 – 25 von 415

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(320)
Mit Volltextzugriff
(396)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(3)

Menü

Weitere Dienste

Einstellungen

Insight into chemical bonding of the transition metal-doped cluster Ge2M (M = Sc–Zn) series using NBO and NRT theory

Prevalence of HIV in mental health service users: a retrospective cohort study

New Derivatives of Lupeol and Their Biological Activity

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Preface

Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Formal Specification and Verification of the FM9001 Microprocessor Using the DE System

Fourier Series Formalization in ACL2(r)

HPV vaccination of gay, bisexual and other men who have sex with men in sexual health and HIV clinics in England: vaccination uptake and attendances during the pilot phase

Epidemiology of HIV infection and associated behaviours among people who inject drugs in England, Wales, and Northern Ireland: Nearly 40 years on

Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking

Loss to Follow-Up After Pregnancy Among Sub-Saharan Africa-Born Women Living With Human Immunodeficiency Virus in England, Wales and Northern Ireland: Results From a Large National Cohort

A Hierarchical Approach to Self-Timed Circuit Verification

Reduction in undiagnosed HIV infection in the European Union/European Economic Area, 2012 to 2016

A Hierarchical Approach to Formal Modeling and Verification of Asynchronous Circuits

Data-Loop-Free Self-Timed Circuit Verification

Estimating HIV incidence and number of undiagnosed individuals living with HIV in the European Union/European Economic Area, 2015

The vehicle routing problem with time windows: A case study of fresh food distribution center

How to think about self-timed systems

A Brief Introduction to Oracle's Use of ACL2 in Verifying Floating-point and Integer Arithmetic: Extended Abstract at the Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications

A Framework for Asynchronous Circuit Modeling and Verification in ACL2

Pickup and Multi-delivery Problem with Time Windows

A Communication Model for Different IOT Devices in Smart Home Applications

Formal verification of division and square root implementations, an Oracle report

Latent Ontological Feature Discovery for Text Clustering

Sulfated Naphthopyrones and Anthraquinones from the Vietnamese Crinoid Comanthus delicata

Novel biogenic silver and gold nanoparticles for multifunctional applications: Green synthesis, catalytic and antibacterial activity, and colorimetric detection of Fe(III) ions

Suchergebnisse filtern