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

QWIRE Practice: Formal Verification of Quantum Circuits in Coq

Electronic proceedings in theoretical computer science, 2018, Vol.266 (Proc. QPL 2017), p.119-132

2018

Volltextzugriff (PDF)

Distributed adaptive framework for multispectral/hyperspectral imagery and three-dimensional point cloud fusion

Optical engineering, 2016-07, Vol.55 (7), p.73101

2016

Volltextzugriff (PDF)

Wind turbines: Vacated/abandoned homes – Exploring participants’ descriptions of their personal views, effects on safety, security, trust, and social justice

Environmental Disease, 2023-10, Vol.8 (4), p.86-100

2023

Volltextzugriff (PDF)

Wind turbines: Vacated/abandoned homes - Exploring research participants' descriptions of adverse health effects and medical diagnoses provided by their physicians and physician specialists

Environmental Disease, 2023-07, Vol.8 (3), p.51-70

2023

Volltextzugriff (PDF)

Letter to the Editor: A critical analysis: Why “firm conclusions are not possible”

Environmental research, 2017-05, Vol.155, p.73-76

2017

Volltextzugriff (PDF)

ReQWIRE: Reasoning about Reversible Quantum Circuits

Electronic proceedings in theoretical computer science, 2019, Vol.287 (Proc. QPL 2018), p.299-312

2019

Volltextzugriff (PDF)

Modeling linear and intimate mixtures of materials in hyperspectral imagery with single-scattering albedo and kernel approaches

Journal of applied remote sensing, 2017-01, Vol.11 (1), p.16005

2017

Volltextzugriff (PDF)

Full-range, solar-reflected hyperspectral microscopy to support earth remote sensing research

Journal of applied remote sensing, 2018-06, Vol.12 (2), p.1

2018

Volltextzugriff (PDF)

Intratumoral Administration of Recombinant Circularly Permuted Interleukin-4-Pseudomonas Exotoxin in Patients with High-Grade Glioma

Clinical cancer research, 2000-06, Vol.6 (6), p.2157-2165

2000

Volltextzugriff (PDF)

A formally certified end-to-end implementation of Shor's factorization algorithm

Proceedings of the National Academy of Sciences - PNAS, 2023-05, Vol.120 (21), p.e2218775120

2023

Volltextzugriff (PDF)

A verified optimizer for Quantum circuits

Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-29

2021

Volltextzugriff (PDF)

A formally certified end-to-end implementation of Shor’s factorization algorithm

Proceedings of the National Academy of Sciences - PNAS, 2023-05, Vol.120 (21)

2023

Volltextzugriff (PDF)

A Verified Optimizer for Quantum Circuits

ACM transactions on programming languages and systems, 2023-09, Vol.45 (3), p.1-35, Article 18

2023

Volltextzugriff (PDF)

Qunity: A Unified Language for Quantum and Classical Computing

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.921-951, Article 32

2023

Volltextzugriff (PDF)

Q# as a Quantum Algorithmic Language

Electronic proceedings in theoretical computer science, 2023, Vol.394, p.170-191

2023

Volltextzugriff (PDF)

Spatially smooth partitioning of hyperspectral imagery using spectral/spatial measures of disparity

IEEE transactions on geoscience and remote sensing, 2003-06, Vol.41 (6), p.1479-1490

2003

Volltextzugriff (PDF)

A spectral mixture process conditioned by Gibbs-based partitioning

IEEE transactions on geoscience and remote sensing, 2001-07, Vol.39 (7), p.1421-1434

2001

Volltextzugriff (PDF)

Wind turbine acoustic analysis should be performed to minimize the potential for adverse impacts on life-quality for neighbors

The Journal of the Acoustical Society of America, 2016-04, Vol.139 (4), p.2150-2150

2016

Volltextzugriff (PDF)

Stereotaxy: recollections of Robert W. Rand, M.D., Ph.D

Neurosurgery, 2004-04, Vol.54 (4), p.992-998

Rand, Robert W

2004

Volltextzugriff (PDF)

Man Across the Sea: Problems of Pre-Columbian Contacts

2014

Volltextzugriff (PDF)

Stereotactic radiosurgery for trigeminal neuralgia: a multiinstitutional study using the gamma unit

Journal of neurosurgery, 1996-06, Vol.84 (6), p.940-945

1996

Volltextzugriff (PDF)

An Algebraic Language for Specifying Quantum Networks

Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.1313-1335, Article 200

2024

Volltextzugriff (PDF)

Preclinical development of a recombinant toxin containing circularly permuted interleukin 4 and truncated Pseudomonas exotoxin for therapy of malignant astrocytoma

Cancer research (Chicago, Ill.), 1996-12, Vol.56 (24), p.5631-5637

1996

Volltextzugriff (PDF)

Why are regulators, communities, neighbors, and acousticians annoyed by wind turbines?

The Journal of the Acoustical Society of America, 2015-04, Vol.137 (4_Supplement), p.2369-2369

2015

Volltextzugriff (PDF)

Gottesman Types for Quantum Programs

Electronic proceedings in theoretical computer science, 2021, Vol.340, p.279-290

2021

Volltextzugriff (PDF)

1 – 25 von 1.178

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(781)
Mit Volltextzugriff
(889)

Publikationsform

6 weitere anzeigen...

Weniger anzeigen...

Sprache

1 weiteren anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

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

Menü

Weitere Dienste

Einstellungen

QWIRE Practice: Formal Verification of Quantum Circuits in Coq

Distributed adaptive framework for multispectral/hyperspectral imagery and three-dimensional point cloud fusion

Wind turbines: Vacated/abandoned homes – Exploring participants’ descriptions of their personal views, effects on safety, security, trust, and social justice

Wind turbines: Vacated/abandoned homes - Exploring research participants' descriptions of adverse health effects and medical diagnoses provided by their physicians and physician specialists

Letter to the Editor: A critical analysis: Why “firm conclusions are not possible”

ReQWIRE: Reasoning about Reversible Quantum Circuits

Modeling linear and intimate mixtures of materials in hyperspectral imagery with single-scattering albedo and kernel approaches

Full-range, solar-reflected hyperspectral microscopy to support earth remote sensing research

Intratumoral Administration of Recombinant Circularly Permuted Interleukin-4-Pseudomonas Exotoxin in Patients with High-Grade Glioma

A formally certified end-to-end implementation of Shor's factorization algorithm

A verified optimizer for Quantum circuits

A formally certified end-to-end implementation of Shor’s factorization algorithm

A Verified Optimizer for Quantum Circuits

Qunity: A Unified Language for Quantum and Classical Computing

Q# as a Quantum Algorithmic Language

Spatially smooth partitioning of hyperspectral imagery using spectral/spatial measures of disparity

A spectral mixture process conditioned by Gibbs-based partitioning

Wind turbine acoustic analysis should be performed to minimize the potential for adverse impacts on life-quality for neighbors

Stereotaxy: recollections of Robert W. Rand, M.D., Ph.D

Man Across the Sea: Problems of Pre-Columbian Contacts

Stereotactic radiosurgery for trigeminal neuralgia: a multiinstitutional study using the gamma unit

An Algebraic Language for Specifying Quantum Networks

Preclinical development of a recombinant toxin containing circularly permuted interleukin 4 and truncated Pseudomonas exotoxin for therapy of malignant astrocytoma

Why are regulators, communities, neighbors, and acousticians annoyed by wind turbines?

Gottesman Types for Quantum Programs

Suchergebnisse filtern