Schliessen
Online model checking mechanism and its applications
Elektronische Ressource, PaderbornSimilarity of integer matrices
Elektronische Ressource, Paderborn, 2017Bayesian estimation employing a phase-sensitive observation model for noise and reverberation robust automatic speech recognition
Elektronische Ressource, Paderborn, 2016Compact storage-based resistance spot welding power supplies
Elektronische Ressource, Paderborn, 2016DSP based CD and PMD Equalization Techniques in PDM-QPSK and PDM-16-QAM Receivers
Elektronische Ressource, Paderborn, 2016Dynamics and efficiency in topological self-stabilization
Elektronische Ressource, Paderborn, 2016Existence and properties of pure nash equilibria in budget games
Elektronische Ressource, Paderborn, 2016Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016High power LLC resonant converter optimized for high efficiency and industrial use
Elektronische Ressource, Paderborn, 2016Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016Learning shepherding behavior
Elektronische Ressource, Paderborn, 2016Model-Driven software modernization
concept-based engineering of situation-specific methodsElektronische Ressource, Paderborn, 2016Modeling and simulation of metallic, particle-damped spheres for lightweight materials
Elektronische Ressource, Paderborn, 2016New examples and constructions in infinite-dimensional Lie theory
Elektronische Ressource, Paderborn, 2016On the Chow ring of the stack of truncated Barsotti-Tate groups and of the Classifying Space of some Chevalley Groups
Elektronische Ressource, Paderborn, 2016Online anomaly detection for reconfigurable self-X real-time operating systems
a danger theory-inspired approachElektronische Ressource, Paderborn, 2016