UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 349

Sortiert nach

Ocelot (Leopardus pardalis): An Addition to the Mammals of Chihuahua, Mexico

Western North American naturalist, 2014-12, Vol.74 (4), p.482-484

2014

Volltextzugriff (PDF)

Interface Engineering of Synthetic Pores: Towards Hypersensitive Biosensors

Chemistry : a European journal, 2008-02, Vol.14 (6), p.1947-1953

2008

Volltextzugriff (PDF)

Towards more efficient methods for solving regular-expression heavy string constraints

Theoretical computer science, 2023-01, Vol.943, p.50-72

2023

Volltextzugriff (PDF)

Message Chains for Distributed System Verification

Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.2224-2250, Article 300

2023

Volltextzugriff (PDF)

Sistema de detección y clasificación automática de granos de polen mediante técnicas de procesado digital de imágenes

Uniciencia, 2013, Vol.27 (1), p.59-73

2013

Volltextzugriff (PDF)

Detección y seguimiento de objetos presentes en video 2D con MatLab

Uniciencia, 2013-07, Vol.27 (2), p.39-50

2013

Volltextzugriff (PDF)

Z3str4: A Multi-armed String Solver

Formal Methods, p.389-406

Volltextzugriff (PDF)

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning

Formal Methods, p.103-121

Volltextzugriff (PDF)

Variability between observers does not hamper detecting change over time in a temperate reef

Marine environmental research, 2022-05, Vol.177, p.105617-105617, Article 105617

2022

Volltextzugriff (PDF)

Typha domingensis and Phragmites australis as alternative and sustainable pulp materials for primary paper based packaging

Bioresource technology reports, 2024-02, Vol.25, p.101712, Article 101712

2024

Volltextzugriff (PDF)

Scaling client-specific equivalence checking via impact boundary search

2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.734-745

2020

Volltextzugriff (PDF)

Verification by Gambling on Program Slices

Automated Technology for Verification and Analysis, p.266-282

Volltextzugriff (PDF)

Client-specific equivalence checking

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.441-451

2018

Volltextzugriff (PDF)

MedleySolver: Online SMT Algorithm Selection

Theory and Applications of Satisfiability Testing - SAT 2021, 2021, Vol.12831, p.453-470

2021

Volltextzugriff (PDF)

BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers

Software Verification, p.68-86

Volltextzugriff (PDF)

In-line characterization of ground oilseeds concentration in solid-liquid dispersions in the food industry

Food science & technology, 2017-04, Vol.77, p.298-307

2017

Volltextzugriff (PDF)

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back

Combinatorics on Words, 2021, Vol.12847, p.50-64

2021

Volltextzugriff (PDF)

Stereoselective synthesis of (2S,3S,4R,5S)-5-methylpyrrolidine-3,4-diol derivatives that are highly selective alpha-L-fucosidase inhibitors

Chemical communications (Cambridge, England), 2005-10 (39), p.4949-4951

2005

Volltextzugriff (PDF)

Prevalencia de enfermedad renal en pacientes adolescentes internados en el Servicio de Nefrología del Hospital de Niños Dr. Ricardo Gutiérrez

Revista de nefrología, diálisis y transplante, 2012, Vol.32 (3), p.139-145

2012

Volltextzugriff (PDF)

Expert system for clustering prokaryotic species by their metabolic features

Expert systems with applications, 2013-11, Vol.40 (15), p.6185-6194

2013

Volltextzugriff (PDF)

Detección y seguimiento de objetos presentes en video 2D con MatLab

Uniciencia, 2013-07, Vol.27 (2), p.39-50

2013

Volltextzugriff (PDF)

Artificial tongues and leaves

Pure and applied chemistry, 2008-08, Vol.80 (8), p.1873-1882

2008

Volltextzugriff (PDF)

Pollen Classification Based on Geometrical, Descriptors and Colour Features Using Decorrelation Stretching Method

Artificial Intelligence Applications and Innovations, p.342-349

Volltextzugriff (PDF)

A Natural Language Interface for Mobile Devices

The Wiley Handbook of Human Computer Interaction, 2018, p.539-559

2018

Volltextzugriff (PDF)

Correction: Multi-Criteria Optimization of Regulation in Metabolic Networks

PloS one, 2012-11, Vol.7 (11)

2012

Volltextzugriff (PDF)

1 – 25 von 349

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(278)
Mit Volltextzugriff
(318)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

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

Menü

Weitere Dienste

Einstellungen

Ocelot (Leopardus pardalis): An Addition to the Mammals of Chihuahua, Mexico

Interface Engineering of Synthetic Pores: Towards Hypersensitive Biosensors

Towards more efficient methods for solving regular-expression heavy string constraints

Message Chains for Distributed System Verification

Sistema de detección y clasificación automática de granos de polen mediante técnicas de procesado digital de imágenes

Detección y seguimiento de objetos presentes en video 2D con MatLab

Z3str4: A Multi-armed String Solver

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning

Variability between observers does not hamper detecting change over time in a temperate reef

Typha domingensis and Phragmites australis as alternative and sustainable pulp materials for primary paper based packaging

Scaling client-specific equivalence checking via impact boundary search

Verification by Gambling on Program Slices

Client-specific equivalence checking

MedleySolver: Online SMT Algorithm Selection

BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers

In-line characterization of ground oilseeds concentration in solid-liquid dispersions in the food industry

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back

Stereoselective synthesis of (2S,3S,4R,5S)-5-methylpyrrolidine-3,4-diol derivatives that are highly selective alpha-L-fucosidase inhibitors

Prevalencia de enfermedad renal en pacientes adolescentes internados en el Servicio de Nefrología del Hospital de Niños Dr. Ricardo Gutiérrez

Expert system for clustering prokaryotic species by their metabolic features

Detección y seguimiento de objetos presentes en video 2D con MatLab

Artificial tongues and leaves

Pollen Classification Based on Geometrical, Descriptors and Colour Features Using Decorrelation Stretching Method

A Natural Language Interface for Mobile Devices

Correction: Multi-Criteria Optimization of Regulation in Metabolic Networks

Suchergebnisse filtern