Sammlungen der UB Paderborn / Spezielle Computerverfahren / Filter 2011-2020 [1-20]

Anomaly detection as a one-class problem in discrete event systems
Klerx, Timo ; Kleine Büning, Hans ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2017
Bewertung automatisch erkannter Instanzen von Software-Mustern
Travkin, Dietrich ; Schäfer, Wilhelm ; Kindler, Ekkart
Elektronische Ressource, Paderborn, 2018
CCA-Security for predicate encryption schemes
Liske, Gennadij ; Blömer, Johannes ; Jager, Tibor
Elektronische Ressource, Paderborn, 2017
Controlling robotic mobile fulfillment systems and further topics in decision support
Merschformann, Marius ; Suhl, Leena ; Tierney, Kevin ; Schryen, Guido ; Betz, Stefan
Elektronische Ressource, Paderborn, 2019
Cryptography for the crowd
a study of cryptographic schemes with applications to crowd work
Löken, Nils ; Blömer, Johannes
Elektronische Ressource, Paderborn, 2019
Decision support for liner shipping network decisions
Müller, Daniel ; Suhl, Leena ; Tierney, Kevin
Elektronische Ressource, Paderborn, 2018
Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
Riebler, Heinrich ; Plessl, Christian ; Platzner, Marco ; Meyer auf der Heide, Friedhelm ; Tierney, Kevin ; Lettmann, Theodor
Elektronische Ressource, Paderborn, 2019
Ein dreistufiger integrierter Planungsansatz zur mehrstufigen Losgrößen- und Reihenfolgeplanung in der spanenden Fertigung
Isenberg, Florian ; Suhl, Leena ; Dangelmaier, Wilhelm
Elektronische Ressource, Paderborn, 2017
Ein integrierter Planungsansatz zur Ermittlung eines Produktportfolios und einer Supply Chain-Strategie unter Unsicherheiten
Weskamp, Christoph ; Suhl, Leena ; Koberstein, Achim
Elektronische Ressource, Paderborn, 2017
Entwicklung eines Verfahrens zur integrierten Planung von automatischen Lagern in heterogenen Umgebungen unter Berücksichtigung zonenbasierter Lagerplatzvergabe mit doppeltiefer Belegung und Mehrfachlastaufnahmemitteln
Lauck, Sebastian ; Dangelmaier, Wilhelm ; Suhl, Leena
Elektronische Ressource, Paderborn, 2016
Exploiting model morphology for event-based testing
Beyazıt, Mutlu
2014
Generating processors from specifications of instruction sets
Dreesen, Ralf
2011
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Travkin, Dietrich ; Schäfer, Wilhelm ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2018
Graph transformation planning with time and concurrency
Ziegert, Steffen ; Wehrheim, Heike ; Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016
Immunorepairing of hardware systems
Montealegre Agramont, Norma Alicia
2013
INSPIRE: Insight to scientific publications and references
Verteilte Berechnung von Bibliometriken auf großen Datenmengen
Wilke, Adrian ; Reinhardt, Wolfgang ; Magenheim, Johannes ; Plessl, Christian
Elektronische Ressource, Paderborn, 2013
Knowledge-based verification of service compositions
Walther, Sven ; Wehrheim, Heike
Elektronische Ressource, Paderborn, 2018
Kombinatorische Auktionen für die Vergabe von Transportleistungen in Gebietsspeditionsnetzen
Yalcin, Atilla
2015
Learning shepherding behavior
Baumann, Michael ; Kleine Büning, Hans ; Hamann, Heiko
Elektronische Ressource, Paderborn, 2016
Liner shipping network design
decision support and optimization methods for competitive networks
Guericke, Stefan
2014
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Anomaly detection as a one-class problem in discrete event systems

Bewertung automatisch erkannter Instanzen von Software-Mustern

CCA-Security for predicate encryption schemes

Controlling robotic mobile fulfillment systems and further topics in decision support

Cryptography for the crowd

Decision support for liner shipping network decisions

Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs

Ein dreistufiger integrierter Planungsansatz zur mehrstufigen Losgrößen- und Reihenfolgeplanung in der spanenden Fertigung

Ein integrierter Planungsansatz zur Ermittlung eines Produktportfolios und einer Supply Chain-Strategie unter Unsicherheiten

Entwicklung eines Verfahrens zur integrierten Planung von automatischen Lagern in heterogenen Umgebungen unter Berücksichtigung zonenbasierter Lagerplatzvergabe mit doppeltiefer Belegung und Mehrfachlastaufnahmemitteln

Exploiting model morphology for event-based testing

Generating processors from specifications of instruction sets

Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen

Graph transformation planning with time and concurrency

Immunorepairing of hardware systems

INSPIRE: Insight to scientific publications and references

Knowledge-based verification of service compositions

Kombinatorische Auktionen für die Vergabe von Transportleistungen in Gebietsspeditionsnetzen

Learning shepherding behavior

Liner shipping network design