[{"main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2010/DaHa10-2.pdf"}],"doi":"10.1109/ICASSP.2010.5495994","title":"Blind speech separation employing directional statistics in an Expectation Maximization framework","author":[{"last_name":"Tran Vu","full_name":"Tran Vu, Dang Hai","first_name":"Dang Hai"},{"first_name":"Reinhold","full_name":"Haeb-Umbach, Reinhold","id":"242","last_name":"Haeb-Umbach"}],"date_created":"2019-07-12T05:30:40Z","oa":"1","date_updated":"2022-01-06T06:51:12Z","citation":{"apa":"Tran Vu, D. H., & Haeb-Umbach, R. (2010). Blind speech separation employing directional statistics in an Expectation Maximization framework. In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2010) (pp. 241–244). https://doi.org/10.1109/ICASSP.2010.5495994","bibtex":"@inproceedings{Tran Vu_Haeb-Umbach_2010, title={Blind speech separation employing directional statistics in an Expectation Maximization framework}, DOI={10.1109/ICASSP.2010.5495994}, booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2010)}, author={Tran Vu, Dang Hai and Haeb-Umbach, Reinhold}, year={2010}, pages={241–244} }","short":"D.H. Tran Vu, R. Haeb-Umbach, in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2010), 2010, pp. 241–244.","mla":"Tran Vu, Dang Hai, and Reinhold Haeb-Umbach. “Blind Speech Separation Employing Directional Statistics in an Expectation Maximization Framework.” IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2010), 2010, pp. 241–44, doi:10.1109/ICASSP.2010.5495994.","ama":"Tran Vu DH, Haeb-Umbach R. Blind speech separation employing directional statistics in an Expectation Maximization framework. In: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2010). ; 2010:241-244. doi:10.1109/ICASSP.2010.5495994","chicago":"Tran Vu, Dang Hai, and Reinhold Haeb-Umbach. “Blind Speech Separation Employing Directional Statistics in an Expectation Maximization Framework.” In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2010), 241–44, 2010. https://doi.org/10.1109/ICASSP.2010.5495994.","ieee":"D. H. Tran Vu and R. Haeb-Umbach, “Blind speech separation employing directional statistics in an Expectation Maximization framework,” in IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2010), 2010, pp. 241–244."},"page":"241-244","year":"2010","language":[{"iso":"eng"}],"keyword":["array signal processing","blind source separation","blind speech separation","complex vector space","complex Watson distribution","directional statistics","expectation-maximisation algorithm","expectation maximization algorithm","Fourier transform","Fourier transforms","generalized sidelobe canceller","interference suppression","maximum signal-to-noise ratio beamformer","microphone signal","probabilistic model","spatial aliasing","spatial beamforming configuration","speech enhancement","statistical distributions"],"user_id":"44006","department":[{"_id":"54"}],"_id":"11913","status":"public","abstract":[{"lang":"eng","text":"In this paper we propose to employ directional statistics in a complex vector space to approach the problem of blind speech separation in the presence of spatially correlated noise. We interpret the values of the short time Fourier transform of the microphone signals to be draws from a mixture of complex Watson distributions, a probabilistic model which naturally accounts for spatial aliasing. The parameters of the density are related to the a priori source probabilities, the power of the sources and the transfer function ratios from sources to sensors. Estimation formulas are derived for these parameters by employing the Expectation Maximization (EM) algorithm. The E-step corresponds to the estimation of the source presence probabilities for each time-frequency bin, while the M-step leads to a maximum signal-to-noise ratio (MaxSNR) beamformer in the presence of uncertainty about the source activity. Experimental results are reported for an implementation in a generalized sidelobe canceller (GSC) like spatial beamforming configuration for 3 speech sources with significant coherent noise in reverberant environments, demonstrating the usefulness of the novel modeling framework."}],"type":"conference","publication":"IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2010)"},{"keyword":["System testing","Automatic testing","Object oriented modeling","Classification tree analysis","Automotive engineering","Mathematical model","Embedded system","Control systems","Electronic equipment testing","Software testing"],"language":[{"iso":"eng"}],"_id":"37037","department":[{"_id":"672"}],"user_id":"5786","abstract":[{"lang":"eng","text":"Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control systems. It introduces novel means for continuous acceptance criteria definition and for functional coverage definition."}],"status":"public","publication":"Proceedings of DATE’10","type":"conference","title":"A Systematic Approach to Combined HW/SW System Test","conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"doi":"10.1109/DATE.2010.5457186","date_updated":"2023-01-17T10:41:25Z","publisher":"IEEE","author":[{"full_name":"Krupp, Alexander","last_name":"Krupp","first_name":"Alexander"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-17T10:41:15Z","year":"2010","place":"Dresden","citation":{"short":"A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","mla":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.","bibtex":"@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }","apa":"Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186","ieee":"A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.","chicago":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.","ama":"Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186"}},{"title":"Verification of a CAN Bus Model in SystemC with Functional Coverage","doi":"10.1109/SIES.2010.5551379","conference":{"name":"International Symposium on Industrial Embedded System (SIES)","location":" Trento, Italy"},"date_updated":"2023-01-17T11:35:03Z","publisher":"IEEE","date_created":"2023-01-17T11:34:56Z","author":[{"full_name":"Defo, Gilles B.","last_name":"Defo","first_name":"Gilles B."},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"}],"place":" Trento, Italy","year":"2010","citation":{"bibtex":"@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }","short":"G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.","mla":"Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” Proceedings of SIES 2010, IEEE, 2010, doi:10.1109/SIES.2010.5551379.","apa":"Defo, G. B., Müller, W., & Kuznik, C. (2010). Verification of a CAN Bus Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES), Trento, Italy. https://doi.org/10.1109/SIES.2010.5551379","chicago":"Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.","ieee":"G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in SystemC with Functional Coverage,” presented at the International Symposium on Industrial Embedded System (SIES), Trento, Italy, 2010, doi: 10.1109/SIES.2010.5551379.","ama":"Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with Functional Coverage. In: Proceedings of SIES 2010. IEEE; 2010. doi:10.1109/SIES.2010.5551379"},"publication_identifier":{"eisbn":["978-1-4244-5841-7"]},"keyword":["Libraries","Generators","Transfer functions","Monitoring","Computational modeling","Driver circuits","Adaptation model"],"language":[{"iso":"eng"}],"_id":"37057","department":[{"_id":"672"}],"user_id":"5786","abstract":[{"text":"Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which is a challenging task for the verification engineer. To cope with complexity, verification techniques working on different abstraction levels are best practice. SystemC is a versatile C++ based design and verification language, offering various mechanisms and constructs required for embedded systems modeling. Using the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli techniques may be used for verification. However, SCV has several drawbacks such as lack of functional coverage. In this paper we present a functional coverage library that implements parts of the IEEE 1800-2005 SystemVerilog standard and allows capturing functional coverage throughout the design and verification process with SystemC. Moreover, we will demonstrate the usability of the approach with a case study working on a CAN bus model written in SystemC.","lang":"eng"}],"status":"public","publication":"Proceedings of SIES 2010","type":"conference"},{"page":"235-242","citation":{"apa":"Bevermeier, M., Peschke, S., & Haeb-Umbach, R. (2009). Robust vehicle localization based on multi-level sensor fusion and online parameter estimation. In 6th Workshop on Positioning Navigation and Communication (WPNC 2009) (pp. 235–242). https://doi.org/10.1109/WPNC.2009.4907833","bibtex":"@inproceedings{Bevermeier_Peschke_Haeb-Umbach_2009, title={Robust vehicle localization based on multi-level sensor fusion and online parameter estimation}, DOI={10.1109/WPNC.2009.4907833}, booktitle={6th Workshop on Positioning Navigation and Communication (WPNC 2009)}, author={Bevermeier, Maik and Peschke, Sven and Haeb-Umbach, Reinhold}, year={2009}, pages={235–242} }","short":"M. Bevermeier, S. Peschke, R. Haeb-Umbach, in: 6th Workshop on Positioning Navigation and Communication (WPNC 2009), 2009, pp. 235–242.","mla":"Bevermeier, Maik, et al. “Robust Vehicle Localization Based on Multi-Level Sensor Fusion and Online Parameter Estimation.” 6th Workshop on Positioning Navigation and Communication (WPNC 2009), 2009, pp. 235–42, doi:10.1109/WPNC.2009.4907833.","ama":"Bevermeier M, Peschke S, Haeb-Umbach R. Robust vehicle localization based on multi-level sensor fusion and online parameter estimation. In: 6th Workshop on Positioning Navigation and Communication (WPNC 2009). ; 2009:235-242. doi:10.1109/WPNC.2009.4907833","ieee":"M. Bevermeier, S. Peschke, and R. Haeb-Umbach, “Robust vehicle localization based on multi-level sensor fusion and online parameter estimation,” in 6th Workshop on Positioning Navigation and Communication (WPNC 2009), 2009, pp. 235–242.","chicago":"Bevermeier, Maik, Sven Peschke, and Reinhold Haeb-Umbach. “Robust Vehicle Localization Based on Multi-Level Sensor Fusion and Online Parameter Estimation.” In 6th Workshop on Positioning Navigation and Communication (WPNC 2009), 235–42, 2009. https://doi.org/10.1109/WPNC.2009.4907833."},"year":"2009","date_created":"2019-07-12T05:27:01Z","author":[{"first_name":"Maik","full_name":"Bevermeier, Maik","last_name":"Bevermeier"},{"first_name":"Sven","last_name":"Peschke","full_name":"Peschke, Sven"},{"last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold","id":"242","first_name":"Reinhold"}],"oa":"1","date_updated":"2022-01-06T06:51:07Z","doi":"10.1109/WPNC.2009.4907833","main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2009/BePeHa09.pdf"}],"title":"Robust vehicle localization based on multi-level sensor fusion and online parameter estimation","publication":"6th Workshop on Positioning Navigation and Communication (WPNC 2009)","type":"conference","status":"public","abstract":[{"text":"In this paper we present a novel vehicle tracking algorithm, which is based on multi-level sensor fusion of GPS (global positioning system) with Inertial Measurement Unit sensor data. It is shown that the robustness of the system to temporary dropouts of the GPS signal, which may occur due to limited visibility of satellites in narrow street canyons or tunnels, is greatly improved by sensor fusion. We further demonstrate how the observation and state noise covariances of the employed Kalman filters can be estimated alongside the filtering by an application of the Expectation-Maximization algorithm. The proposed time-variant multi-level Kalman filter is shown to outperform an Interacting Multiple Model approach while at the same time being computationally less demanding.","lang":"eng"}],"department":[{"_id":"54"}],"user_id":"44006","_id":"11723","language":[{"iso":"eng"}],"keyword":["covariance matrices","expectation-maximisation algorithm","expectation-maximization algorithm","global positioning system","Global Positioning System","GPS","inertial measurement unit","interacting multiple model approach","Kalman filters","multilevel sensor fusion","narrow street canyons","narrow tunnels","online parameter estimation","parameter estimation","road vehicles","robust vehicle localization","sensor fusion","state noise covariances","time-variant multilevel Kalman filter","vehicle tracking algorithm"]},{"user_id":"44006","department":[{"_id":"54"}],"_id":"11724","language":[{"iso":"eng"}],"keyword":["computational complexity","expectation-maximisation algorithm","Global Positioning System","inertial measurement unit","inertial navigation","interacting multiple model","iterative block expectation-maximization algorithm","Kalman filters","multi-stage Kalman filter","parameter estimation","road vehicles","vehicle positioning","vehicle tracking"],"type":"conference","publication":"IEEE 69th Vehicular Technology Conference (VTC 2009 Spring)","status":"public","abstract":[{"lang":"eng","text":"In this paper we present a novel vehicle tracking method which is based on multi-stage Kalman filtering of GPS and IMU sensor data. After individual Kalman filtering of GPS and IMU measurements the estimates of the orientation of the vehicle are combined in an optimal manner to improve the robustness towards drift errors. The tracking algorithm incorporates the estimation of time-variant covariance parameters by using an iterative block Expectation-Maximization algorithm to account for time-variant driving conditions and measurement quality. The proposed system is compared to an interacting multiple model approach (IMM) and achieves improved localization accuracy at lower computational complexity. Furthermore we show how the joint parameter estimation and localizaiton can be conducted with streaming input data to be able to track vehicles in a real driving environment."}],"date_created":"2019-07-12T05:27:02Z","author":[{"last_name":"Bevermeier","full_name":"Bevermeier, Maik","first_name":"Maik"},{"last_name":"Peschke","full_name":"Peschke, Sven","first_name":"Sven"},{"full_name":"Haeb-Umbach, Reinhold","id":"242","last_name":"Haeb-Umbach","first_name":"Reinhold"}],"date_updated":"2022-01-06T06:51:07Z","oa":"1","main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2009/BePeHa09-1.pdf"}],"doi":"10.1109/VETECS.2009.5073634","title":"Joint Parameter Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning","citation":{"ieee":"M. Bevermeier, S. Peschke, and R. Haeb-Umbach, “Joint Parameter Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning,” in IEEE 69th Vehicular Technology Conference (VTC 2009 Spring), 2009, pp. 1–5.","chicago":"Bevermeier, Maik, Sven Peschke, and Reinhold Haeb-Umbach. “Joint Parameter Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning.” In IEEE 69th Vehicular Technology Conference (VTC 2009 Spring), 1–5, 2009. https://doi.org/10.1109/VETECS.2009.5073634.","ama":"Bevermeier M, Peschke S, Haeb-Umbach R. Joint Parameter Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning. In: IEEE 69th Vehicular Technology Conference (VTC 2009 Spring). ; 2009:1-5. doi:10.1109/VETECS.2009.5073634","bibtex":"@inproceedings{Bevermeier_Peschke_Haeb-Umbach_2009, title={Joint Parameter Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning}, DOI={10.1109/VETECS.2009.5073634}, booktitle={IEEE 69th Vehicular Technology Conference (VTC 2009 Spring)}, author={Bevermeier, Maik and Peschke, Sven and Haeb-Umbach, Reinhold}, year={2009}, pages={1–5} }","mla":"Bevermeier, Maik, et al. “Joint Parameter Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning.” IEEE 69th Vehicular Technology Conference (VTC 2009 Spring), 2009, pp. 1–5, doi:10.1109/VETECS.2009.5073634.","short":"M. Bevermeier, S. Peschke, R. Haeb-Umbach, in: IEEE 69th Vehicular Technology Conference (VTC 2009 Spring), 2009, pp. 1–5.","apa":"Bevermeier, M., Peschke, S., & Haeb-Umbach, R. (2009). Joint Parameter Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning. In IEEE 69th Vehicular Technology Conference (VTC 2009 Spring) (pp. 1–5). https://doi.org/10.1109/VETECS.2009.5073634"},"page":"1-5","year":"2009"},{"language":[{"iso":"eng"}],"keyword":["AURORA2 databases","AURORA4 databases","automatic speech recognition","feedback structures","hidden Markov models","HMM","iterative methods","iterative speech feature enhancement","model probabilities","speech decoding","speech enhancement","speech feature distribution","speech recognition","switching linear dynamic models"],"abstract":[{"lang":"eng","text":"In automatic speech recognition, hidden Markov models (HMMs) are commonly used for speech decoding, while switching linear dynamic models (SLDMs) can be employed for a preceding model-based speech feature enhancement. In this paper, these model types are combined in order to obtain a novel iterative speech feature enhancement and recognition architecture. It is shown that speech feature enhancement with SLDMs can be improved by feeding back information from the HMM to the enhancement stage. Two different feedback structures are derived. In the first, the posteriors of the HMM states are used to control the model probabilities of the SLDMs, while in the second they are employed to directly influence the estimate of the speech feature distribution. Both approaches lead to improvements in recognition accuracy both on the AURORA2 and AURORA4 databases compared to non-iterative speech feature enhancement with SLDMs. It is also shown that a combination with uncertainty decoding further enhances performance."}],"publication":"IEEE Transactions on Audio, Speech, and Language Processing","title":"Approaches to Iterative Speech Feature Enhancement and Recognition","date_created":"2019-07-12T05:31:08Z","year":"2009","issue":"5","department":[{"_id":"54"}],"user_id":"44006","_id":"11937","status":"public","type":"journal_article","doi":"10.1109/TASL.2009.2014894","main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2009/WiHa09-1.pdf"}],"volume":17,"author":[{"first_name":"Stefan","full_name":"Windmann, Stefan","last_name":"Windmann"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold","id":"242"}],"date_updated":"2022-01-06T06:51:12Z","oa":"1","intvolume":" 17","page":"974-984","citation":{"apa":"Windmann, S., & Haeb-Umbach, R. (2009). Approaches to Iterative Speech Feature Enhancement and Recognition. IEEE Transactions on Audio, Speech, and Language Processing, 17(5), 974–984. https://doi.org/10.1109/TASL.2009.2014894","mla":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Approaches to Iterative Speech Feature Enhancement and Recognition.” IEEE Transactions on Audio, Speech, and Language Processing, vol. 17, no. 5, 2009, pp. 974–84, doi:10.1109/TASL.2009.2014894.","bibtex":"@article{Windmann_Haeb-Umbach_2009, title={Approaches to Iterative Speech Feature Enhancement and Recognition}, volume={17}, DOI={10.1109/TASL.2009.2014894}, number={5}, journal={IEEE Transactions on Audio, Speech, and Language Processing}, author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2009}, pages={974–984} }","short":"S. Windmann, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 17 (2009) 974–984.","chicago":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Approaches to Iterative Speech Feature Enhancement and Recognition.” IEEE Transactions on Audio, Speech, and Language Processing 17, no. 5 (2009): 974–84. https://doi.org/10.1109/TASL.2009.2014894.","ieee":"S. Windmann and R. Haeb-Umbach, “Approaches to Iterative Speech Feature Enhancement and Recognition,” IEEE Transactions on Audio, Speech, and Language Processing, vol. 17, no. 5, pp. 974–984, 2009.","ama":"Windmann S, Haeb-Umbach R. Approaches to Iterative Speech Feature Enhancement and Recognition. IEEE Transactions on Audio, Speech, and Language Processing. 2009;17(5):974-984. doi:10.1109/TASL.2009.2014894"}},{"publication":"IEEE Transactions on Audio, Speech, and Language Processing","type":"journal_article","abstract":[{"text":"In this paper, parameter estimation of a state-space model of noise or noisy speech cepstra is investigated. A blockwise EM algorithm is derived for the estimation of the state and observation noise covariance from noise-only input data. It is supposed to be used during the offline training mode of a speech recognizer. Further a sequential online EM algorithm is developed to adapt the observation noise covariance on noisy speech cepstra at its input. The estimated parameters are then used in model-based speech feature enhancement for noise-robust automatic speech recognition. Experiments on the AURORA4 database lead to improved recognition results with a linear state model compared to the assumption of stationary noise.","lang":"eng"}],"status":"public","_id":"11938","department":[{"_id":"54"}],"user_id":"44006","keyword":["AURORA4 database","blockwise EM algorithm","covariance analysis","linear state model","noise covariance","noise-robust automatic speech recognition","noisy speech cepstra","offline training mode","parameter estimation","speech recognition","speech recognition equipment","speech recognizer","state-space methods","state-space model"],"language":[{"iso":"eng"}],"issue":"8","year":"2009","intvolume":" 17","page":"1577-1590","citation":{"ama":"Windmann S, Haeb-Umbach R. Parameter Estimation of a State-Space Model of Noise for Robust Speech Recognition. IEEE Transactions on Audio, Speech, and Language Processing. 2009;17(8):1577-1590. doi:10.1109/TASL.2009.2023172","ieee":"S. Windmann and R. Haeb-Umbach, “Parameter Estimation of a State-Space Model of Noise for Robust Speech Recognition,” IEEE Transactions on Audio, Speech, and Language Processing, vol. 17, no. 8, pp. 1577–1590, 2009.","chicago":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Parameter Estimation of a State-Space Model of Noise for Robust Speech Recognition.” IEEE Transactions on Audio, Speech, and Language Processing 17, no. 8 (2009): 1577–90. https://doi.org/10.1109/TASL.2009.2023172.","mla":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Parameter Estimation of a State-Space Model of Noise for Robust Speech Recognition.” IEEE Transactions on Audio, Speech, and Language Processing, vol. 17, no. 8, 2009, pp. 1577–90, doi:10.1109/TASL.2009.2023172.","short":"S. Windmann, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 17 (2009) 1577–1590.","bibtex":"@article{Windmann_Haeb-Umbach_2009, title={Parameter Estimation of a State-Space Model of Noise for Robust Speech Recognition}, volume={17}, DOI={10.1109/TASL.2009.2023172}, number={8}, journal={IEEE Transactions on Audio, Speech, and Language Processing}, author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2009}, pages={1577–1590} }","apa":"Windmann, S., & Haeb-Umbach, R. (2009). Parameter Estimation of a State-Space Model of Noise for Robust Speech Recognition. IEEE Transactions on Audio, Speech, and Language Processing, 17(8), 1577–1590. https://doi.org/10.1109/TASL.2009.2023172"},"oa":"1","date_updated":"2022-01-06T06:51:12Z","volume":17,"date_created":"2019-07-12T05:31:09Z","author":[{"first_name":"Stefan","last_name":"Windmann","full_name":"Windmann, Stefan"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold","id":"242"}],"title":"Parameter Estimation of a State-Space Model of Noise for Robust Speech Recognition","doi":"10.1109/TASL.2009.2023172","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2009/WiHa09-2.pdf","open_access":"1"}]},{"page":"1-6","citation":{"apa":"Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch, J., Rohlfing, K., & Wrede, B. (2009). People modify their tutoring behavior in robot-directed interaction for action learning. Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 1–6. https://doi.org/10.1109/DEVLRN.2009.5175516","ama":"Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior in robot-directed interaction for action learning. In: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning. IEEE; 2009:1-6. doi:10.1109/DEVLRN.2009.5175516","mla":"Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.","bibtex":"@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009, title={People modify their tutoring behavior in robot-directed interaction for action learning}, DOI={10.1109/DEVLRN.2009.5175516}, booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6} }","short":"A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch, K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6.","ieee":"A.-L. Vollmer et al., “People modify their tutoring behavior in robot-directed interaction for action learning,” in Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 2009, pp. 1–6, doi: 10.1109/DEVLRN.2009.5175516.","chicago":"Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai, Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 1–6. IEEE, 2009. https://doi.org/10.1109/DEVLRN.2009.5175516."},"year":"2009","doi":"10.1109/DEVLRN.2009.5175516","title":"People modify their tutoring behavior in robot-directed interaction for action learning","date_created":"2020-06-24T13:02:43Z","author":[{"full_name":"Vollmer, Anna-Lisa","last_name":"Vollmer","first_name":"Anna-Lisa"},{"first_name":"Katrin Solveig","full_name":"Lohan, Katrin Solveig","last_name":"Lohan"},{"last_name":"Fischer","full_name":"Fischer, Kerstin","first_name":"Kerstin"},{"first_name":"Yukie","last_name":"Nagai","full_name":"Nagai, Yukie"},{"first_name":"Karola","full_name":"Pitsch, Karola","last_name":"Pitsch"},{"full_name":"Fritsch, Jannik","last_name":"Fritsch","first_name":"Jannik"},{"first_name":"Katharina","last_name":"Rohlfing","full_name":"Rohlfing, Katharina","id":"50352"},{"full_name":"Wrede, Britta","last_name":"Wrede","first_name":"Britta"}],"publisher":"IEEE","date_updated":"2023-02-01T13:06:43Z","status":"public","abstract":[{"lang":"eng","text":"In developmental research, tutoring behavior has been identified as scaffolding infants' learning processes. It has been defined in terms of child-directed speech (Motherese), child-directed motion (Motionese), and contingency. In the field of developmental robotics, research often assumes that in human-robot interaction (HRI), robots are treated similar to infants, because their immature cognitive capabilities benefit from this behavior. However, according to our knowledge, it has barely been studied whether this is true and how exactly humans alter their behavior towards a robotic interaction partner. In this paper, we present results concerning the acceptance of a robotic agent in a social learning scenario obtained via comparison to adults and 8-11 months old infants in equal conditions. These results constitute an important empirical basis for making use of tutoring behavior in social robotics. In our study, we performed a detailed multimodal analysis of HRI in a tutoring situation using the example of a robot simulation equipped with a bottom-up saliency-based attention model. Our results reveal significant differences in hand movement velocity, motion pauses, range of motion, and eye gaze suggesting that for example adults decrease their hand movement velocity in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI) and this decrease is even higher in the Adult-Robot Interaction (ARI). We also found important differences between ACI and ARI in how the behavior is modified over time as the interaction unfolds. These findings indicate the necessity of integrating top-down feedback structures into a bottom-up system for robots to be fully accepted as interaction partners."}],"publication":"Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning","type":"conference","language":[{"iso":"eng"}],"keyword":["robot simulation","hand movement velocity","robotic interaction partner","robotic agent","robot-directed interaction","multimodal analysis","Motionese","Motherese","intelligent tutoring systems","immature cognitive capability","human computer interaction","eye gaze","child-directed speech","child-directed motion","bottom-up system","bottom-up saliency-based attention model","adult-robot interaction","adult-child interaction","adult-adult interaction","human-robot interaction","action learning","social learning scenario","social robotics","software agents","top-down feedback structures","tutoring behavior"],"department":[{"_id":"749"}],"user_id":"14931","_id":"17272"},{"abstract":[{"lang":"eng","text":"A program for iterative fitting procedures to determine the NMR parameters from 51V solid-state MAS NMR spectra was developed. It contains options to use genetic algorithms and downhill-simplex optimizing procedures to extract the optimal parameter sets, which describe our spectra. As computational kernel the SIMPSON program is employed. Other kernels like SPINEVOLUTION are easily incorporable. The algorithms are checked for their suitability for the present optimization problem and optimal simulation conditions are determined, with the focus on minimal processing time. The procedure leads to a very good agreement between experimental and simulated spectra in a passable period of time. First results for spectra of model compounds for the active site of vanadium haloperoxidases are presented."}],"status":"public","type":"journal_article","publication":"Solid State Nuclear Magnetic Resonance","keyword":["51V MAS NMR spectroscopy","Genetic algorithms","Iterative fitting procedures","Model complexes for vanadium haloperoxidases"],"extern":"1","language":[{"iso":"eng"}],"_id":"64055","user_id":"100715","year":"2009","citation":{"apa":"Waechtler, M., Schweitzer, A., Gutmann, T., Breitzke, H., & Buntkowsky, G. (2009). Efficient analysis of 51V solid-state MAS NMR spectra using genetic algorithms. Solid State Nuclear Magnetic Resonance, 35(1), 37–48. https://doi.org/10.1016/j.ssnmr.2008.11.003","short":"M. Waechtler, A. Schweitzer, T. Gutmann, H. Breitzke, G. Buntkowsky, Solid State Nuclear Magnetic Resonance 35 (2009) 37–48.","mla":"Waechtler, Maria, et al. “Efficient Analysis of 51V Solid-State MAS NMR Spectra Using Genetic Algorithms.” Solid State Nuclear Magnetic Resonance, vol. 35, no. 1, 2009, pp. 37–48, doi:10.1016/j.ssnmr.2008.11.003.","bibtex":"@article{Waechtler_Schweitzer_Gutmann_Breitzke_Buntkowsky_2009, title={Efficient analysis of 51V solid-state MAS NMR spectra using genetic algorithms}, volume={35}, DOI={10.1016/j.ssnmr.2008.11.003}, number={1}, journal={Solid State Nuclear Magnetic Resonance}, author={Waechtler, Maria and Schweitzer, Annika and Gutmann, Torsten and Breitzke, Hergen and Buntkowsky, Gerd}, year={2009}, pages={37–48} }","chicago":"Waechtler, Maria, Annika Schweitzer, Torsten Gutmann, Hergen Breitzke, and Gerd Buntkowsky. “Efficient Analysis of 51V Solid-State MAS NMR Spectra Using Genetic Algorithms.” Solid State Nuclear Magnetic Resonance 35, no. 1 (2009): 37–48. https://doi.org/10.1016/j.ssnmr.2008.11.003.","ieee":"M. Waechtler, A. Schweitzer, T. Gutmann, H. Breitzke, and G. Buntkowsky, “Efficient analysis of 51V solid-state MAS NMR spectra using genetic algorithms,” Solid State Nuclear Magnetic Resonance, vol. 35, no. 1, pp. 37–48, 2009, doi: 10.1016/j.ssnmr.2008.11.003.","ama":"Waechtler M, Schweitzer A, Gutmann T, Breitzke H, Buntkowsky G. Efficient analysis of 51V solid-state MAS NMR spectra using genetic algorithms. Solid State Nuclear Magnetic Resonance. 2009;35(1):37–48. doi:10.1016/j.ssnmr.2008.11.003"},"page":"37–48","intvolume":" 35","issue":"1","title":"Efficient analysis of 51V solid-state MAS NMR spectra using genetic algorithms","doi":"10.1016/j.ssnmr.2008.11.003","date_updated":"2026-02-17T16:12:50Z","author":[{"first_name":"Maria","full_name":"Waechtler, Maria","last_name":"Waechtler"},{"first_name":"Annika","full_name":"Schweitzer, Annika","last_name":"Schweitzer"},{"last_name":"Gutmann","full_name":"Gutmann, Torsten","id":"118165","first_name":"Torsten"},{"last_name":"Breitzke","full_name":"Breitzke, Hergen","first_name":"Hergen"},{"first_name":"Gerd","last_name":"Buntkowsky","full_name":"Buntkowsky, Gerd"}],"date_created":"2026-02-07T16:15:57Z","volume":35},{"page":"192–201","intvolume":" 36","citation":{"bibtex":"@article{Fenn_Wächtler_Gutmann_Breitzke_Buchholz_Lippold_Plass_Buntkowsky_2009, title={Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts}, volume={36}, DOI={10.1016/j.ssnmr.2009.11.003}, number={4}, journal={Solid State Nuclear Magnetic Resonance}, author={Fenn, Annika and Wächtler, Maria and Gutmann, Torsten and Breitzke, Hergen and Buchholz, Axel and Lippold, Ines and Plass, Winfried and Buntkowsky, Gerd}, year={2009}, pages={192–201} }","mla":"Fenn, Annika, et al. “Correlations between 51V Solid-State NMR Parameters and Chemical Structure of Vanadium (V) Complexes as Models for Related Metalloproteins and Catalysts.” Solid State Nuclear Magnetic Resonance, vol. 36, no. 4, 2009, pp. 192–201, doi:10.1016/j.ssnmr.2009.11.003.","short":"A. Fenn, M. Wächtler, T. Gutmann, H. Breitzke, A. Buchholz, I. Lippold, W. Plass, G. Buntkowsky, Solid State Nuclear Magnetic Resonance 36 (2009) 192–201.","apa":"Fenn, A., Wächtler, M., Gutmann, T., Breitzke, H., Buchholz, A., Lippold, I., Plass, W., & Buntkowsky, G. (2009). Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts. Solid State Nuclear Magnetic Resonance, 36(4), 192–201. https://doi.org/10.1016/j.ssnmr.2009.11.003","ama":"Fenn A, Wächtler M, Gutmann T, et al. Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts. Solid State Nuclear Magnetic Resonance. 2009;36(4):192–201. doi:10.1016/j.ssnmr.2009.11.003","ieee":"A. Fenn et al., “Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts,” Solid State Nuclear Magnetic Resonance, vol. 36, no. 4, pp. 192–201, 2009, doi: 10.1016/j.ssnmr.2009.11.003.","chicago":"Fenn, Annika, Maria Wächtler, Torsten Gutmann, Hergen Breitzke, Axel Buchholz, Ines Lippold, Winfried Plass, and Gerd Buntkowsky. “Correlations between 51V Solid-State NMR Parameters and Chemical Structure of Vanadium (V) Complexes as Models for Related Metalloproteins and Catalysts.” Solid State Nuclear Magnetic Resonance 36, no. 4 (2009): 192–201. https://doi.org/10.1016/j.ssnmr.2009.11.003."},"year":"2009","issue":"4","doi":"10.1016/j.ssnmr.2009.11.003","title":"Correlations between 51V solid-state NMR parameters and chemical structure of vanadium (V) complexes as models for related metalloproteins and catalysts","volume":36,"author":[{"last_name":"Fenn","full_name":"Fenn, Annika","first_name":"Annika"},{"full_name":"Wächtler, Maria","last_name":"Wächtler","first_name":"Maria"},{"id":"118165","full_name":"Gutmann, Torsten","last_name":"Gutmann","first_name":"Torsten"},{"first_name":"Hergen","full_name":"Breitzke, Hergen","last_name":"Breitzke"},{"first_name":"Axel","full_name":"Buchholz, Axel","last_name":"Buchholz"},{"first_name":"Ines","full_name":"Lippold, Ines","last_name":"Lippold"},{"full_name":"Plass, Winfried","last_name":"Plass","first_name":"Winfried"},{"first_name":"Gerd","last_name":"Buntkowsky","full_name":"Buntkowsky, Gerd"}],"date_created":"2026-02-07T15:33:58Z","date_updated":"2026-02-17T16:18:21Z","status":"public","abstract":[{"text":"The parameters describing the quadrupolar and CSA interactions of 51V solid-state MAS NMR investigations of model complexes mimicking vanadoenzymes as well as vanadium containing catalysts and enzyme complexes are interpreted with respect to the chemical structure. The interpretation is based on the data of 15 vanadium complexes including two new complexes with previously unpublished data and 13 complexes with data previously published by us. Correlations between the chemical structure and the 51V solid-state NMR data of this class of compounds have been established. Especially for the isotropic chemical shift δ iso and the chemical shift anisotropy δ σ , correlations with specific structural features like the coordination number of the vanadium atom, the number of coordinating nitrogens, the number of oxygen atoms and the chemical surrounding of the complex could be established for these compounds. Moreover, quantitative correlations between the solid-state NMR parameters and specific bond angles and bond lengths have been obtained. Our results can be of particular interest for future investigations concerning the structure and the mode of action of related vanadoenzymes and vanadate protein assemblies, including the use of vanadate adducts as transition state analogs for phosphate metabolizing systems.","lang":"eng"}],"publication":"Solid State Nuclear Magnetic Resonance","type":"journal_article","language":[{"iso":"eng"}],"extern":"1","keyword":["51V NMR","Cis-dioxovanadium (v) complex","Model system","Vanadate"],"user_id":"100715","_id":"63951"},{"date_created":"2019-07-12T05:28:53Z","author":[{"last_name":"Ion","full_name":"Ion, Valentin","first_name":"Valentin"},{"first_name":"Reinhold","full_name":"Haeb-Umbach, Reinhold","id":"242","last_name":"Haeb-Umbach"}],"volume":16,"oa":"1","date_updated":"2022-01-06T06:51:10Z","main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2008/IoHa08-1.pdf"}],"doi":"10.1109/TASL.2008.925879","title":"A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition","issue":"5","citation":{"ama":"Ion V, Haeb-Umbach R. A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition. IEEE Transactions on Audio, Speech, and Language Processing. 2008;16(5):1047-1060. doi:10.1109/TASL.2008.925879","chicago":"Ion, Valentin, and Reinhold Haeb-Umbach. “A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition.” IEEE Transactions on Audio, Speech, and Language Processing 16, no. 5 (2008): 1047–60. https://doi.org/10.1109/TASL.2008.925879.","ieee":"V. Ion and R. Haeb-Umbach, “A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition,” IEEE Transactions on Audio, Speech, and Language Processing, vol. 16, no. 5, pp. 1047–1060, 2008.","apa":"Ion, V., & Haeb-Umbach, R. (2008). A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition. IEEE Transactions on Audio, Speech, and Language Processing, 16(5), 1047–1060. https://doi.org/10.1109/TASL.2008.925879","short":"V. Ion, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 16 (2008) 1047–1060.","mla":"Ion, Valentin, and Reinhold Haeb-Umbach. “A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition.” IEEE Transactions on Audio, Speech, and Language Processing, vol. 16, no. 5, 2008, pp. 1047–60, doi:10.1109/TASL.2008.925879.","bibtex":"@article{Ion_Haeb-Umbach_2008, title={A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition}, volume={16}, DOI={10.1109/TASL.2008.925879}, number={5}, journal={IEEE Transactions on Audio, Speech, and Language Processing}, author={Ion, Valentin and Haeb-Umbach, Reinhold}, year={2008}, pages={1047–1060} }"},"page":"1047-1060","intvolume":" 16","year":"2008","user_id":"44006","department":[{"_id":"54"}],"_id":"11820","language":[{"iso":"eng"}],"keyword":["automatic speech recognition","bit errors","codecs","communication links","corrupted observations","decoding","distributed speech recognition","error-prone communication network","feature vector sequence","hidden Markov model-based ASR","hidden Markov models","inter-frame correlation","Internet telephony","network speech recognition","packet loss","speech posterior","speech recognition","transmission error robust speech recognition","uncertainty decoding","voice-over-IP codecs"],"type":"journal_article","publication":"IEEE Transactions on Audio, Speech, and Language Processing","status":"public","abstract":[{"text":"In this paper, we derive an uncertainty decoding rule for automatic speech recognition (ASR), which accounts for both corrupted observations and inter-frame correlation. The conditional independence assumption, prevalent in hidden Markov model-based ASR, is relaxed to obtain a clean speech posterior that is conditioned on the complete observed feature vector sequence. This is a more informative posterior than one conditioned only on the current observation. The novel decoding is used to obtain a transmission-error robust remote ASR system, where the speech capturing unit is connected to the decoder via an error-prone communication network. We show how the clean speech posterior can be computed for communication links being characterized by either bit errors or packet loss. Recognition results are presented for both distributed and network speech recognition, where in the latter case common voice-over-IP codecs are employed.","lang":"eng"}]},{"language":[{"iso":"eng"}],"keyword":["a posteriori probability","AURORA2 database","Bayesian inference","Bayes methods","channel bank filters","extended Kalman filter banks","hidden noise state variable","Kalman filters","noise dynamics","speech enhancement","speech feature enhancement","speech feature trajectory","switching linear dynamical model approach"],"user_id":"44006","department":[{"_id":"54"}],"_id":"11939","status":"public","abstract":[{"text":"In this paper a switching linear dynamical model (SLDM) approach for speech feature enhancement is improved by employing more accurate models for the dynamics of speech and noise. The model of the clean speech feature trajectory is improved by augmenting the state vector to capture information derived from the delta features. Further a hidden noise state variable is introduced to obtain a more elaborated model for the noise dynamics. Approximate Bayesian inference in the SLDM is carried out by a bank of extended Kalman filters, whose outputs are combined according to the a posteriori probability of the individual state models. Experimental results on the AURORA2 database show improved recognition accuracy.","lang":"eng"}],"type":"conference","publication":"IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008)","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2008/WiHa08-1.pdf","open_access":"1"}],"doi":"10.1109/ICASSP.2008.4518633","title":"Modeling the dynamics of speech and noise for speech feature enhancement in ASR","date_created":"2019-07-12T05:31:11Z","author":[{"first_name":"Stefan","full_name":"Windmann, Stefan","last_name":"Windmann"},{"last_name":"Haeb-Umbach","id":"242","full_name":"Haeb-Umbach, Reinhold","first_name":"Reinhold"}],"oa":"1","date_updated":"2022-01-06T06:51:12Z","citation":{"short":"S. Windmann, R. Haeb-Umbach, in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008), 2008, pp. 4409–4412.","mla":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Modeling the Dynamics of Speech and Noise for Speech Feature Enhancement in ASR.” IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008), 2008, pp. 4409–12, doi:10.1109/ICASSP.2008.4518633.","bibtex":"@inproceedings{Windmann_Haeb-Umbach_2008, title={Modeling the dynamics of speech and noise for speech feature enhancement in ASR}, DOI={10.1109/ICASSP.2008.4518633}, booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008)}, author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2008}, pages={4409–4412} }","apa":"Windmann, S., & Haeb-Umbach, R. (2008). Modeling the dynamics of speech and noise for speech feature enhancement in ASR. In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008) (pp. 4409–4412). https://doi.org/10.1109/ICASSP.2008.4518633","ama":"Windmann S, Haeb-Umbach R. Modeling the dynamics of speech and noise for speech feature enhancement in ASR. In: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008). ; 2008:4409-4412. doi:10.1109/ICASSP.2008.4518633","ieee":"S. Windmann and R. Haeb-Umbach, “Modeling the dynamics of speech and noise for speech feature enhancement in ASR,” in IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008), 2008, pp. 4409–4412.","chicago":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Modeling the Dynamics of Speech and Noise for Speech Feature Enhancement in ASR.” In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2008), 4409–12, 2008. https://doi.org/10.1109/ICASSP.2008.4518633."},"page":"4409-4412","year":"2008"},{"citation":{"apa":"Vanderperren, Y., Müller, W., & Dahaene, W. (2008). UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems, 12, 261–292. https://doi.org/10.1007/s10617-008-9028-9","bibtex":"@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems Design – A Comprehensive Overview}, volume={12}, DOI={10.1007/s10617-008-9028-9}, journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008}, pages={261–292} }","mla":"Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive Overview.” Design Automation for Embedded Systems, vol. 12, Springer-Verlag, 2008, pp. 261–92, doi:10.1007/s10617-008-9028-9.","short":"Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.","ama":"Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems. 2008;12:261-292. doi:10.1007/s10617-008-9028-9","chicago":"Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic Systems Design – A Comprehensive Overview.” Design Automation for Embedded Systems 12 (2008): 261–92. https://doi.org/10.1007/s10617-008-9028-9.","ieee":"Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design – A Comprehensive Overview,” Design Automation for Embedded Systems, vol. 12, pp. 261–292, 2008, doi: 10.1007/s10617-008-9028-9."},"intvolume":" 12","page":"261-292","year":"2008","doi":"10.1007/s10617-008-9028-9","title":"UML for Electronic Systems Design – A Comprehensive Overview","author":[{"last_name":"Vanderperren","full_name":"Vanderperren, Yves","first_name":"Yves"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"Wim","full_name":"Dahaene, Wim","last_name":"Dahaene"}],"date_created":"2022-12-19T12:18:21Z","volume":12,"date_updated":"2022-12-19T12:23:56Z","publisher":"Springer-Verlag","status":"public","abstract":[{"lang":"eng","text":"UML has been widely accepted by the software community for several years. As electronic systems design can no longer be seen as an isolated hardware design activity, UML becomes of significant interest as a unification language for systems description combining both HW and SW components. This article provides a comprehensive view of the UML applied to System-on-Chip (SoC) and hardware-related embedded systems design. The modeling concepts in the UML language are first introduced, including major diagrams for the representation of the behavior and the structure of systems. The principles behind application specific UML customizations (UML profiles) are summarized, and several examples relevant for SoC design are given, such as the SysML (System Modeling Language) and the SoC Profile. Thereafter, various approaches associating UML with existing HW/SW design languages are presented. Beyond language aspects, the article addresses the question of UML-based design flows, and shows how UML can be applied concretely to the development of electronic-based systems. The current situation about tool support constitutes the last focus of the article. In particular, we show how UML tools can be combined with well-known simulation environments, such as MATLAB."}],"type":"journal_article","publication":"Design Automation for Embedded Systems","language":[{"iso":"eng"}],"keyword":["UML SysML Model-based design System specification Modelling languages"],"user_id":"5786","department":[{"_id":"672"}],"_id":"34563"},{"doi":"10.1007/s12193-008-0003-3","title":"Assessment of a Multimodal Interaction and Rendering System against Established Design Principles","volume":2,"date_created":"2022-12-19T12:22:50Z","author":[{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_updated":"2022-12-19T12:23:05Z","publisher":"Springer-Verlag","page":"25-41","intvolume":" 2","citation":{"ieee":"R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles,” Journal on Multimodal User Interfaces, vol. 2, no. 1, pp. 25–41, 2008, doi: 10.1007/s12193-008-0003-3.","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” Journal on Multimodal User Interfaces 2, no. 1 (2008): 25–41. https://doi.org/10.1007/s12193-008-0003-3.","ama":"Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces. 2008;2(1):25-41. doi:10.1007/s12193-008-0003-3","apa":"Schäfer, R., & Müller, W. (2008). Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces, 2(1), 25–41. https://doi.org/10.1007/s12193-008-0003-3","mla":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” Journal on Multimodal User Interfaces, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:10.1007/s12193-008-0003-3.","short":"R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.","bibtex":"@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction and Rendering System against Established Design Principles}, volume={2}, DOI={10.1007/s12193-008-0003-3}, number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }"},"year":"2008","issue":"1","language":[{"iso":"eng"}],"keyword":["Interaction architecture Abstract interaction objects Dialogue model Transformations Multimodality Multi-device Design principles"],"department":[{"_id":"672"}],"user_id":"5786","_id":"34564","status":"public","abstract":[{"lang":"eng","text":"To provide user interfaces for a rich set of devices and interaction modalities, we follow a model-based development methodology. We devised an architecture which deploys user interfaces specified as dialogue models with abstract interaction objects and allows context-based adaptations by means of an external transcoding process. For the validation of the applicability of this methodology for developing usable multimodal multi-device systems, we present two case studies based on proof-of-concept implementations and assessed them with a large set of established design principles and different types of modality cooperation."}],"publication":"Journal on Multimodal User Interfaces","type":"journal_article"},{"issue":"1–2","intvolume":" 34","page":"52–67","citation":{"apa":"Schweitzer, A., Gutmann, T., Wächtler, M., Breitzke, H., Buchholz, A., Plass, W., & Buntkowsky, G. (2008). 51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases. Solid State Nuclear Magnetic Resonance, 34(1–2), 52–67. https://doi.org/10.1016/j.ssnmr.2008.02.003","bibtex":"@article{Schweitzer_Gutmann_Wächtler_Breitzke_Buchholz_Plass_Buntkowsky_2008, title={51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases}, volume={34}, DOI={10.1016/j.ssnmr.2008.02.003}, number={1–2}, journal={Solid State Nuclear Magnetic Resonance}, author={Schweitzer, Annika and Gutmann, Torsten and Wächtler, Maria and Breitzke, Hergen and Buchholz, Axel and Plass, Winfried and Buntkowsky, Gerd}, year={2008}, pages={52–67} }","mla":"Schweitzer, Annika, et al. “51V Solid-State NMR Investigations and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” Solid State Nuclear Magnetic Resonance, vol. 34, no. 1–2, 2008, pp. 52–67, doi:10.1016/j.ssnmr.2008.02.003.","short":"A. Schweitzer, T. Gutmann, M. Wächtler, H. Breitzke, A. Buchholz, W. Plass, G. Buntkowsky, Solid State Nuclear Magnetic Resonance 34 (2008) 52–67.","ama":"Schweitzer A, Gutmann T, Wächtler M, et al. 51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases. Solid State Nuclear Magnetic Resonance. 2008;34(1–2):52–67. doi:10.1016/j.ssnmr.2008.02.003","ieee":"A. Schweitzer et al., “51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases,” Solid State Nuclear Magnetic Resonance, vol. 34, no. 1–2, pp. 52–67, 2008, doi: 10.1016/j.ssnmr.2008.02.003.","chicago":"Schweitzer, Annika, Torsten Gutmann, Maria Wächtler, Hergen Breitzke, Axel Buchholz, Winfried Plass, and Gerd Buntkowsky. “51V Solid-State NMR Investigations and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” Solid State Nuclear Magnetic Resonance 34, no. 1–2 (2008): 52–67. https://doi.org/10.1016/j.ssnmr.2008.02.003."},"year":"2008","volume":34,"date_created":"2026-02-07T16:10:01Z","author":[{"first_name":"Annika","full_name":"Schweitzer, Annika","last_name":"Schweitzer"},{"last_name":"Gutmann","id":"118165","full_name":"Gutmann, Torsten","first_name":"Torsten"},{"first_name":"Maria","full_name":"Wächtler, Maria","last_name":"Wächtler"},{"first_name":"Hergen","last_name":"Breitzke","full_name":"Breitzke, Hergen"},{"first_name":"Axel","full_name":"Buchholz, Axel","last_name":"Buchholz"},{"full_name":"Plass, Winfried","last_name":"Plass","first_name":"Winfried"},{"last_name":"Buntkowsky","full_name":"Buntkowsky, Gerd","first_name":"Gerd"}],"date_updated":"2026-02-17T16:13:21Z","doi":"10.1016/j.ssnmr.2008.02.003","title":"51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases","publication":"Solid State Nuclear Magnetic Resonance","type":"journal_article","status":"public","abstract":[{"lang":"eng","text":"Three cis-dioxovanadium(V) complexes with similar N -salicylidenehydrazide ligands modeling hydrogen bonding interactions of vanadate relevant for vanadium haloperoxidases are studied by 51V solid-state NMR spectroscopy. Their parameters describing the quadrupolar and chemical shift anisotropy interactions (quadrupolar coupling constant C Q , asymmetry of the quadrupolar tensor η Q , isotropic chemical shift δ iso , chemical shift anisotropy δ σ , asymmetry of the chemical shift tensor η σ and the Euler angles α , β and γ ) are determined both experimentally and theoretically using DFT methods. A comparative study of different methods to determine the NMR parameters by numerical simulation of the spectra is presented. Detailed theoretical investigations on the DFT level using various basis sets and structural models show that by useful choice of the methodology, the calculated parameters agree to the experimental ones in a very good manner."}],"user_id":"100715","_id":"64041","language":[{"iso":"eng"}],"extern":"1","keyword":["51V NMR","Model system","Ab initio calculation","Cis-dioxovanadium(V) complex","Haloperoxidase","Numerical optimization","Quadrupolar interaction"]},{"status":"public","publication":"sehepunkte","type":"review","language":[{"iso":"ger"}],"extern":"1","keyword":["Karl V.","Historiographiegeschichte","Gedenken"],"department":[{"_id":"446"}],"user_id":"16220","_id":"34780","intvolume":" 7","citation":{"short":"J. Süßmann, sehepunkte 7 (2007).","bibtex":"@article{Süßmann_2007, title={[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories of Emperor Charles V [...]. Münster. Aschendorff 2005}, volume={7}, number={4}, journal={sehepunkte}, author={Süßmann, Johannes}, year={2007} }","mla":"Süßmann, Johannes. “[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories of Emperor Charles V [...]. Münster. Aschendorff 2005.” sehepunkte, vol. 7, no. 4, 2007.","apa":"Süßmann, J. (2007). [Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories of Emperor Charles V [...]. Münster. Aschendorff 2005. In sehepunkte (Vol. 7, Issue 4).","ieee":"J. Süßmann, “[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories of Emperor Charles V [...]. Münster. Aschendorff 2005,” sehepunkte, vol. 7, no. 4. 2007.","chicago":"Süßmann, Johannes. “[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories of Emperor Charles V [...]. Münster. Aschendorff 2005.” sehepunkte, 2007.","ama":"Süßmann J. [Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories of Emperor Charles V [...]. Münster. Aschendorff 2005. sehepunkte. 2007;7(4)."},"year":"2007","issue":"4","publication_status":"published","main_file_link":[{"url":"http://www.sehepunkte.de/2007/04/6260.html","open_access":"1"}],"title":"[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories of Emperor Charles V [...]. Münster. Aschendorff 2005","volume":7,"date_created":"2022-12-21T18:02:40Z","author":[{"id":"16220","full_name":"Süßmann, Johannes","orcid":"0000-0001-5716-0863","last_name":"Süßmann","first_name":"Johannes"}],"date_updated":"2022-12-28T21:31:46Z","oa":"1"},{"title":"Experiments on the Fehrer-Raab effect and the 'Weather Station Model' of visual backward masking.","main_file_link":[{"open_access":"1","url":"https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/NeumannScharlau2006A.pdf"}],"oa":"1","date_updated":"2022-06-07T00:19:52Z","volume":71,"date_created":"2018-12-10T07:04:01Z","author":[{"first_name":"Odmar","full_name":"Neumann, Odmar","last_name":"Neumann"},{"orcid":"0000-0003-2364-9489","last_name":"Scharlau","full_name":"Scharlau, Ingrid","id":"451","first_name":"Ingrid"}],"year":"2007","page":"667 - 677","intvolume":" 71","citation":{"apa":"Neumann, O., & Scharlau, I. (2007). Experiments on the Fehrer-Raab effect and the “Weather Station Model” of visual backward masking. Psychological Research, 71(6), 667–677.","ama":"Neumann O, Scharlau I. Experiments on the Fehrer-Raab effect and the “Weather Station Model” of visual backward masking. Psychological Research. 2007;71(6):667-677.","bibtex":"@article{Neumann_Scharlau_2007, title={Experiments on the Fehrer-Raab effect and the “Weather Station Model” of visual backward masking.}, volume={71}, number={6}, journal={Psychological Research}, author={Neumann, Odmar and Scharlau, Ingrid}, year={2007}, pages={667–677} }","short":"O. Neumann, I. Scharlau, Psychological Research 71 (2007) 667–677.","mla":"Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect and the ‘Weather Station Model’ of Visual Backward Masking.” Psychological Research, vol. 71, no. 6, 2007, pp. 667–77.","chicago":"Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect and the ‘Weather Station Model’ of Visual Backward Masking.” Psychological Research 71, no. 6 (2007): 667–77.","ieee":"O. Neumann and I. Scharlau, “Experiments on the Fehrer-Raab effect and the ‘Weather Station Model’ of visual backward masking.,” Psychological Research, vol. 71, no. 6, pp. 667–677, 2007."},"publication_identifier":{"issn":["0340-0727"]},"publication_status":"published","issue":"6","keyword":["Fehrer-Raab effect","Weather Station Model","visual backward masking","reaction time","metacontrast masking","conscious representation","Cognition","Humans","Perceptual Masking","Pilot Projects","Psychology","Experimental","Psychometrics","Reaction Time","Visual Perception","Models","Reaction Time","Visual Contrast","Visual Masking"],"extern":"1","language":[{"iso":"eng"}],"_id":"6070","department":[{"_id":"424"}],"user_id":"42165","abstract":[{"lang":"eng","text":"The Fehrer-Raab effect (simple reaction time is unaffected by metacontrast masking of the test stimulus) seems to imply that a stimulus can trigger a voluntary reaction without reaching a conscious representation. However, it is also possible that the mask triggers the reaction, and that the masked test stimulus causes a focussing of attention from which processing of the mask profits, thus reaching conscious representation earlier. This is predicted by the Weather Station Model of visual masking. Three experiments tested this explanation. Experiment 1 showed that the masked test stimulus caused a temporal shift of the mask. Experiment 2 showed that the reaction in the Fehrer-Raab effect was not exclusively triggered by a conscious representation of the test stimulus: the mask was involved in evoking the reaction. Experiment 3 again revealed a temporal shift of the mask. However, the shift was only about half as large as the Fehrer-Raab effect. The psychometric functions suggested tha"}],"status":"public","publication":"Psychological Research","type":"journal_article"},{"title":"Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters","doi":"10.1109/ICASSP.2006.1660058","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2006/WiHa06-2.pdf","open_access":"1"}],"oa":"1","date_updated":"2022-01-06T06:51:12Z","volume":1,"author":[{"last_name":"Windmann","full_name":"Windmann, Stefan","first_name":"Stefan"},{"first_name":"Reinhold","full_name":"Haeb-Umbach, Reinhold","id":"242","last_name":"Haeb-Umbach"}],"date_created":"2019-07-12T05:31:15Z","year":"2006","intvolume":" 1","page":"I","citation":{"ieee":"S. Windmann and R. Haeb-Umbach, “Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters,” in IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006), 2006, vol. 1, p. I.","chicago":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Iterative Speech Enhancement Using a Non-Linear Dynamic State Model of Speech and Its Parameters.” In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006), 1:I, 2006. https://doi.org/10.1109/ICASSP.2006.1660058.","ama":"Windmann S, Haeb-Umbach R. Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters. In: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006). Vol 1. ; 2006:I. doi:10.1109/ICASSP.2006.1660058","bibtex":"@inproceedings{Windmann_Haeb-Umbach_2006, title={Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters}, volume={1}, DOI={10.1109/ICASSP.2006.1660058}, booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)}, author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2006}, pages={I} }","short":"S. Windmann, R. Haeb-Umbach, in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006), 2006, p. I.","mla":"Windmann, Stefan, and Reinhold Haeb-Umbach. “Iterative Speech Enhancement Using a Non-Linear Dynamic State Model of Speech and Its Parameters.” IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006), vol. 1, 2006, p. I, doi:10.1109/ICASSP.2006.1660058.","apa":"Windmann, S., & Haeb-Umbach, R. (2006). Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters. In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006) (Vol. 1, p. I). https://doi.org/10.1109/ICASSP.2006.1660058"},"keyword":["clean speech training data","iterative methods","iterative speech enhancement","Kalman filter","Kalman filters","Kalman-LM-iterative algorithm","line spectral pair parameters","log-spectral distance","marginalized particle filter","noise level","nonlinear dynamic state speech model","particle filtering (numerical methods)","single channel speech enhancement","SNR gains","speech enhancement","speech samples"],"language":[{"iso":"eng"}],"_id":"11943","department":[{"_id":"54"}],"user_id":"44006","abstract":[{"lang":"eng","text":"A marginalized particle filter is proposed for performing single channel speech enhancement with a non-linear dynamic state model. The system consists of a particle filter for tracking line spectral pair (LSP) parameters and a Kalman filter per particle for speech enhancement. The state model for the LSPs has been learnt on clean speech training data. In our approach parameters and speech samples are processed at different time scales by assuming the parameters to be constant for small blocks of data. Further enhancement is obtained by an iteration which can be applied on these small blocks. The experiments show that similar SNR gains are obtained as with the Kalman-LM-iterative algorithm. However better values of the noise level and the log-spectral distance are achieved"}],"status":"public","publication":"IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)","type":"conference"},{"publication_identifier":{"isbn":["978-3-540-27863-4"]},"place":"Berlin, Heidelberg","citation":{"ama":"Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.","chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.","bibtex":"@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }","short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.","mla":"Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.","apa":"Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13"},"intvolume":" 3147","page":"206-226","date_updated":"2022-10-20T09:26:15Z","author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Ulrich","last_name":"Pape","full_name":"Pape, Ulrich"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"volume":3147,"doi":"10.1007/978-3-540-27863-4_13","type":"book_chapter","editor":[{"first_name":"Hartmut","full_name":"Ehrig, Hartmut","last_name":"Ehrig"},{"first_name":"Werner","last_name":"Damm","full_name":"Damm, Werner"},{"full_name":"Desel, Jörg","last_name":"Desel","first_name":"Jörg"},{"last_name":"Große-Rhode","full_name":"Große-Rhode, Martin","first_name":"Martin"},{"full_name":"Reif, Wolfgang","last_name":"Reif","first_name":"Wolfgang"},{"last_name":"Schnieder","full_name":"Schnieder, Eckehard","first_name":"Eckehard"},{"full_name":"Westkämper, Engelbert","last_name":"Westkämper","first_name":"Engelbert"}],"status":"public","_id":"33825","user_id":"5786","series_title":"Lecture Notes in Computer Science","department":[{"_id":"672"}],"year":"2004","publisher":"Springer-Verlag","date_created":"2022-10-20T09:25:53Z","title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","publication":"Integration of Software Specification Techniques for Applications in Engineering","abstract":[{"text":"This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles.","lang":"eng"}],"keyword":["Model Check","Temporal Logic","Object Constraint Language","Abstract Syntax","Temporal Logic Formula"],"language":[{"iso":"eng"}]},{"title":"A Novel Dialog Model for the Design of Multimodal User Interfaces","date_updated":"2023-01-24T09:27:03Z","author":[{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"first_name":"Steffen","full_name":"Bleul, Steffen","last_name":"Bleul"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-24T09:26:58Z","year":"2004","place":"Tremsbüttel, Hamburg","citation":{"short":"R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.","bibtex":"@inproceedings{Schäfer_Bleul_Müller_2004, place={Tremsbüttel, Hamburg}, series={Lecture Notes in Computer Science }, title={A Novel Dialog Model for the Design of Multimodal User Interfaces}, booktitle={Proceedings of EHCI-DSVIS 2005}, author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2004}, collection={Lecture Notes in Computer Science } }","mla":"Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” Proceedings of EHCI-DSVIS 2005, 2004.","apa":"Schäfer, R., Bleul, S., & Müller, W. (2004). A Novel Dialog Model for the Design of Multimodal User Interfaces. Proceedings of EHCI-DSVIS 2005.","ieee":"R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design of Multimodal User Interfaces,” 2004.","chicago":"Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” In Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.","ama":"Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal User Interfaces. In: Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer Science . ; 2004."},"keyword":["Multimodal User Interface High Level Model Multimodal User High Level Approach Dialog Model"],"language":[{"iso":"eng"}],"_id":"39350","department":[{"_id":"672"}],"series_title":"Lecture Notes in Computer Science ","user_id":"5786","abstract":[{"text":"Variation in different mobile devices with different capabilities and interaction modalities as well as changing user context in nomadic applications, poses huge challenges to the design of user interfaces. To avoid multiple designs for each device or modality, it is almost a must to employ a model-based approach. In this short paper, we present a new dialog model for multimodal interaction together with an advanced control model, which can either be used for direct modeling by an interface designer or in conjunction with higher level models.","lang":"eng"}],"status":"public","publication":"Proceedings of EHCI-DSVIS 2005","type":"conference"}]