Online model checking mechanism and its applications
Elektronische Ressource, PaderbornFrontelektroden für großflächige Farbstoffsolarzellen
Elektronische Ressource, Paderborn, 2017Similarity 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, 2016Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen
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, 2016Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren
Elektronische Ressource, Paderborn, 2016Existence and properties of pure nash equilibria in budget games
Elektronische Ressource, Paderborn, 2016Fehlercharakterisierung zuverlässiger Schaltungen im Selbsttest
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, 2016