UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 106

Sortiert nach

Model checking QCTL plus on quantum Markov chains

Theoretical computer science, 2022-04, Vol.913, p.43-72

2022

Volltextzugriff (PDF)

An algebraic method to fidelity-based model checking over quantum Markov chains

Theoretical computer science, 2022-10, Vol.935, p.61-81

2022

Volltextzugriff (PDF)

Termination and Universal Termination Problems for Nondeterministic Quantum Programs

ACM transactions on software engineering and methodology, 2024-09

2024

Volltextzugriff (PDF)

Integration of electrodialysis and Donnan dialysis for the selective separation of ammonium from high-salinity wastewater

Chemical engineering journal (Lausanne, Switzerland : 1996), 2021-02, Vol.405, p.127001, Article 127001

2021

Volltextzugriff (PDF)

Quantitative controller synthesis for consumption Markov decision processes

Information processing letters, 2023-02, Vol.180, p.106342, Article 106342

2023

Volltextzugriff (PDF)

Ammonium and phosphorus recovery and electricity generation from mariculture wastewater by the seawater battery

Energy conversion and management, 2018-03, Vol.160, p.396-402

2018

Volltextzugriff (PDF)

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024, p.1-12

2024

Volltextzugriff (PDF)

The effects of psychosocial interventions on geriatric depression in the mainland of China: A systematic review and meta-analysis

Journal of affective disorders, 2024-08

2024

Volltextzugriff (PDF)

Synaptic proteins and receptors defects in autism spectrum disorders

Frontiers in cellular neuroscience, 2014-09, Vol.8, p.276-276

2014

Volltextzugriff (PDF)

Exosome-Associated Gene Signature for Predicting the Prognosis of Ovarian Cancer Patients

Journal of Immunology Research, 2023-01, Vol.2023, p.8727884-17

2023

Volltextzugriff (PDF)

Measuring and Computing Cognitive Statuses of Construction Workers Based on Electroencephalogram: A Critical Review

IEEE transactions on computational social systems, 2022-12, Vol.9 (6), p.1644-1659

2022

Volltextzugriff (PDF)

MCEN: Bridging Cross-Modal Gap between Cooking Recipes and Dish Images with Latent Variable Model

2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2020, p.14558-14568

2020

Volltextzugriff (PDF)

Binary-dopant promoted lattice oxygen participation in OER on cobaltate electrocatalyst

Chemical engineering journal (Lausanne, Switzerland : 1996), 2021-08, Vol.417, p.129324, Article 129324

2021

Volltextzugriff (PDF)

Microstructure and mechanical performance of SiCf/BN/SiC mini-composites oxidized at elevated temperature from ambient temperature to 1500 °C in air

Journal of the European Ceramic Society, 2020-07, Vol.40 (8), p.2821-2827

2020

Volltextzugriff (PDF)

Systematic understanding the mechanisms of vitiligo pathogenesis and its treatment by Qubaibabuqi formula

Journal of ethnopharmacology, 2016-08, Vol.190, p.272-287

2016

Volltextzugriff (PDF)

In situ green architecture of the 3D FeZn–N–C based electrocatalyst for efficient oxygen reduction

Chemical communications (Cambridge, England), 2024-09

2024

Volltextzugriff (PDF)

CatSQL : Towards Real World Natural Language to SQL Applications

Proceedings of the VLDB Endowment, 2023-02, Vol.16 (6), p.1534-1547

2023

Volltextzugriff (PDF)

Evolutionary computation-based multitask learning network for railway passenger comfort evaluation from EEG signals

Applied soft computing, 2023-03, Vol.136, p.110079, Article 110079

2023

Volltextzugriff (PDF)

Tree Skeletonization for Raw Point Cloud Exploiting Cylindrical Shape Prior

IEEE access, 2020, Vol.8, p.27327-27341

2020

Volltextzugriff (PDF)

Novel Techniques and Models for Studying the Role of the Gut Microbiota in Drug Metabolism

European journal of drug metabolism and pharmacokinetics, 2024-03, Vol.49 (2), p.131-147

2024

Volltextzugriff (PDF)

FeNiCo|MnGaOx Heterostructure Nanoparticles as Bifunctional Electrocatalyst for Zn−Air Batteries

Small (Weinheim an der Bergstrasse, Germany), 2024-05, Vol.20 (22), p.e2308756-n/a

2024

Volltextzugriff (PDF)

Dispersion of sandy sediments during marine–continental transition: An integrated study from the Late Paleozoic western Ordos Basin

Marine and petroleum geology, 2024-02, Vol.160, p.106620, Article 106620

2024

Volltextzugriff (PDF)

In-situ fabrication of diketopyrrolopyrrole-carbazole-based conjugated polymer/TiO2 heterojunction for enhanced visible light photocatalysis

Applied surface science, 2018-03, Vol.434, p.796-805

2018

Volltextzugriff (PDF)

Sepiolite-Assisted Separator Modification Process for High-Voltage LiNi0.5Mn1.5O4 Batteries and the Influence on Electrodes

Industrial & engineering chemistry research, 2021-08, Vol.60 (30), p.11117-11127

2021

Volltextzugriff (PDF)

Fast prediction mode selection and CU partition for HEVC intra coding

IET image processing, 2020-07, Vol.14 (9), p.1892-1900

2020

Volltextzugriff (PDF)

1 – 25 von 106

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(96)
Mit Volltextzugriff
(101)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(73)
Life Sciences & Biomedicine
(33)
Technology
(33)
Humans
(22)
Engineering
(19)
Physical Sciences
(17)
Computer Science
(11)
Chemistry
(10)
Proteins
(9)
Animals
(8)
Engineering, Electrical & Electronic
(8)
Female
(8)
Materials Science
(8)
Physics
(8)
Male
(7)
Physics, Applied
(7)
Risk Factors
(7)
Health Aspects
(6)
Materials Science, Multidisciplinary
(6)
Analysis
(5)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Model checking QCTL plus on quantum Markov chains

An algebraic method to fidelity-based model checking over quantum Markov chains

Termination and Universal Termination Problems for Nondeterministic Quantum Programs

Integration of electrodialysis and Donnan dialysis for the selective separation of ammonium from high-salinity wastewater

Quantitative controller synthesis for consumption Markov decision processes

Ammonium and phosphorus recovery and electricity generation from mariculture wastewater by the seawater battery

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains

The effects of psychosocial interventions on geriatric depression in the mainland of China: A systematic review and meta-analysis

Synaptic proteins and receptors defects in autism spectrum disorders

Exosome-Associated Gene Signature for Predicting the Prognosis of Ovarian Cancer Patients

Measuring and Computing Cognitive Statuses of Construction Workers Based on Electroencephalogram: A Critical Review

MCEN: Bridging Cross-Modal Gap between Cooking Recipes and Dish Images with Latent Variable Model

Binary-dopant promoted lattice oxygen participation in OER on cobaltate electrocatalyst

Microstructure and mechanical performance of SiCf/BN/SiC mini-composites oxidized at elevated temperature from ambient temperature to 1500 °C in air

Systematic understanding the mechanisms of vitiligo pathogenesis and its treatment by Qubaibabuqi formula

In situ green architecture of the 3D FeZn–N–C based electrocatalyst for efficient oxygen reduction

CatSQL : Towards Real World Natural Language to SQL Applications

Evolutionary computation-based multitask learning network for railway passenger comfort evaluation from EEG signals

Tree Skeletonization for Raw Point Cloud Exploiting Cylindrical Shape Prior

Novel Techniques and Models for Studying the Role of the Gut Microbiota in Drug Metabolism

FeNiCo|MnGaOx Heterostructure Nanoparticles as Bifunctional Electrocatalyst for Zn−Air Batteries

Dispersion of sandy sediments during marine–continental transition: An integrated study from the Late Paleozoic western Ordos Basin

In-situ fabrication of diketopyrrolopyrrole-carbazole-based conjugated polymer/TiO2 heterojunction for enhanced visible light photocatalysis

Sepiolite-Assisted Separator Modification Process for High-Voltage LiNi0.5Mn1.5O4 Batteries and the Influence on Electrodes

Fast prediction mode selection and CU partition for HEVC intra coding

Suchergebnisse filtern