[{"publication":"Positioning Navigation and Communication (WPNC), 2013 10th Workshop on","type":"conference","abstract":[{"lang":"eng","text":"In this paper we present a system for indoor navigation based on received signal strength index information of Wireless-LAN access points and relative position estimates. The relative position information is gathered from inertial smartphone sensors using a step detection and an orientation estimate. Our map data is hosted on a server employing a map renderer and a SQL database. The database includes a complete multilevel office building, within which the user can navigate. During navigation, the client retrieves the position estimate from the server, together with the corresponding map tiles to visualize the user's position on the smartphone display."}],"status":"public","_id":"11818","department":[{"_id":"54"}],"user_id":"460","keyword":["SQL","navigation","smart phones","wireless LAN","RSSI","SQL database","complete multilevel office building","inertial sensor information","inertial smartphone sensors","map renderer","received signal strength index information","relative position estimates","server based indoor navigation","step detection","wireless-LAN access points","Smartphone","fingerprint","indoor navigation","map tile"],"language":[{"iso":"eng"}],"quality_controlled":"1","related_material":{"link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2013/HoScDrTrScHa2013_Poster.pdf","relation":"supplementary_material","description":"Poster"}]},"year":"2013","page":"1-6","citation":{"mla":"Hoang, Manh Kha, et al. “Server Based Indoor Navigation Using RSSI and Inertial Sensor Information.” <i>Positioning Navigation and Communication (WPNC), 2013 10th Workshop On</i>, 2013, pp. 1–6, doi:<a href=\"https://doi.org/10.1109/WPNC.2013.6533263\">10.1109/WPNC.2013.6533263</a>.","short":"M.K. Hoang, S. Schmitz, C. Drueke, D.H.T. Vu, J. Schmalenstroeer, R. Haeb-Umbach, in: Positioning Navigation and Communication (WPNC), 2013 10th Workshop On, 2013, pp. 1–6.","bibtex":"@inproceedings{Hoang_Schmitz_Drueke_Vu_Schmalenstroeer_Haeb-Umbach_2013, title={Server based indoor navigation using RSSI and inertial sensor information}, DOI={<a href=\"https://doi.org/10.1109/WPNC.2013.6533263\">10.1109/WPNC.2013.6533263</a>}, booktitle={Positioning Navigation and Communication (WPNC), 2013 10th Workshop on}, author={Hoang, Manh Kha and Schmitz, Sarah and Drueke, Christian and Vu, Dang Hai Tran and Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2013}, pages={1–6} }","apa":"Hoang, M. K., Schmitz, S., Drueke, C., Vu, D. H. T., Schmalenstroeer, J., &#38; Haeb-Umbach, R. (2013). Server based indoor navigation using RSSI and inertial sensor information. <i>Positioning Navigation and Communication (WPNC), 2013 10th Workshop On</i>, 1–6. <a href=\"https://doi.org/10.1109/WPNC.2013.6533263\">https://doi.org/10.1109/WPNC.2013.6533263</a>","ama":"Hoang MK, Schmitz S, Drueke C, Vu DHT, Schmalenstroeer J, Haeb-Umbach R. Server based indoor navigation using RSSI and inertial sensor information. In: <i>Positioning Navigation and Communication (WPNC), 2013 10th Workshop On</i>. ; 2013:1-6. doi:<a href=\"https://doi.org/10.1109/WPNC.2013.6533263\">10.1109/WPNC.2013.6533263</a>","ieee":"M. K. Hoang, S. Schmitz, C. Drueke, D. H. T. Vu, J. Schmalenstroeer, and R. Haeb-Umbach, “Server based indoor navigation using RSSI and inertial sensor information,” in <i>Positioning Navigation and Communication (WPNC), 2013 10th Workshop on</i>, 2013, pp. 1–6, doi: <a href=\"https://doi.org/10.1109/WPNC.2013.6533263\">10.1109/WPNC.2013.6533263</a>.","chicago":"Hoang, Manh Kha, Sarah Schmitz, Christian Drueke, Dang Hai Tran Vu, Joerg Schmalenstroeer, and Reinhold Haeb-Umbach. “Server Based Indoor Navigation Using RSSI and Inertial Sensor Information.” In <i>Positioning Navigation and Communication (WPNC), 2013 10th Workshop On</i>, 1–6, 2013. <a href=\"https://doi.org/10.1109/WPNC.2013.6533263\">https://doi.org/10.1109/WPNC.2013.6533263</a>."},"oa":"1","date_updated":"2023-10-26T08:09:36Z","author":[{"last_name":"Hoang","full_name":"Hoang, Manh Kha","first_name":"Manh Kha"},{"first_name":"Sarah","full_name":"Schmitz, Sarah","last_name":"Schmitz"},{"first_name":"Christian","full_name":"Drueke, Christian","last_name":"Drueke"},{"first_name":"Dang Hai Tran","last_name":"Vu","full_name":"Vu, Dang Hai Tran"},{"full_name":"Schmalenstroeer, Joerg","id":"460","last_name":"Schmalenstroeer","first_name":"Joerg"},{"last_name":"Haeb-Umbach","id":"242","full_name":"Haeb-Umbach, Reinhold","first_name":"Reinhold"}],"date_created":"2019-07-12T05:28:51Z","title":"Server based indoor navigation using RSSI and inertial sensor information","doi":"10.1109/WPNC.2013.6533263","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2013/HoScDrTrScHa2013.pdf","open_access":"1"}]},{"title":"Non-perturbing cavitation detection / monitoring in sonochemical reactors","doi":"10.1109/ULTSYM.2012.0284","date_updated":"2022-01-06T07:04:20Z","author":[{"first_name":"Peter","last_name":"Bornmann","full_name":"Bornmann, Peter"},{"full_name":"Hemsel, Tobias","id":"210","last_name":"Hemsel","first_name":"Tobias"},{"first_name":"Walter","full_name":"Sextro, Walter","id":"21220","last_name":"Sextro"},{"full_name":"Maeda, Takafumi","last_name":"Maeda","first_name":"Takafumi"},{"full_name":"Morita, Takeshi","last_name":"Morita","first_name":"Takeshi"}],"date_created":"2019-05-13T13:18:49Z","year":"2012","citation":{"chicago":"Bornmann, Peter, Tobias Hemsel, Walter Sextro, Takafumi Maeda, and Takeshi Morita. “Non-Perturbing Cavitation Detection / Monitoring in Sonochemical Reactors.” In <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 1141–44, 2012. <a href=\"https://doi.org/10.1109/ULTSYM.2012.0284\">https://doi.org/10.1109/ULTSYM.2012.0284</a>.","ieee":"P. Bornmann, T. Hemsel, W. Sextro, T. Maeda, and T. Morita, “Non-perturbing cavitation detection / monitoring in sonochemical reactors,” in <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 2012, pp. 1141–1144.","ama":"Bornmann P, Hemsel T, Sextro W, Maeda T, Morita T. Non-perturbing cavitation detection / monitoring in sonochemical reactors. In: <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>. ; 2012:1141-1144. doi:<a href=\"https://doi.org/10.1109/ULTSYM.2012.0284\">10.1109/ULTSYM.2012.0284</a>","bibtex":"@inproceedings{Bornmann_Hemsel_Sextro_Maeda_Morita_2012, title={Non-perturbing cavitation detection / monitoring in sonochemical reactors}, DOI={<a href=\"https://doi.org/10.1109/ULTSYM.2012.0284\">10.1109/ULTSYM.2012.0284</a>}, booktitle={Ultrasonics Symposium (IUS), 2012 IEEE International}, author={Bornmann, Peter and Hemsel, Tobias and Sextro, Walter and Maeda, Takafumi and Morita, Takeshi}, year={2012}, pages={1141–1144} }","mla":"Bornmann, Peter, et al. “Non-Perturbing Cavitation Detection / Monitoring in Sonochemical Reactors.” <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i>, 2012, pp. 1141–44, doi:<a href=\"https://doi.org/10.1109/ULTSYM.2012.0284\">10.1109/ULTSYM.2012.0284</a>.","short":"P. Bornmann, T. Hemsel, W. Sextro, T. Maeda, T. Morita, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 1141–1144.","apa":"Bornmann, P., Hemsel, T., Sextro, W., Maeda, T., &#38; Morita, T. (2012). Non-perturbing cavitation detection / monitoring in sonochemical reactors. In <i>Ultrasonics Symposium (IUS), 2012 IEEE International</i> (pp. 1141–1144). <a href=\"https://doi.org/10.1109/ULTSYM.2012.0284\">https://doi.org/10.1109/ULTSYM.2012.0284</a>"},"page":"1141-1144","quality_controlled":"1","publication_identifier":{"issn":["1948-5719"]},"keyword":["cavitation","chemical reactors","microphones","process monitoring","reliability","ultrasonic applications","ultrasonic waves","acoustic properties","cavitation based ultrasound applications","cavitation intensity","change detection reliability","external microphone","malfunction detection reliability","nonperturbing cavitation detection","nonperturbing cavitation monitoring","process monitoring","self-sensing ultrasound transducer","sonochemical reactors","sonochemistry","ultrasound cleaning","ultrasound irradiation","Acoustics","Liquids","Monitoring","Sensors","Sonar equipment","Transducers","Ultrasonic imaging"],"language":[{"iso":"eng"}],"_id":"9783","user_id":"55222","department":[{"_id":"151"}],"abstract":[{"text":"To optimize the ultrasound irradiation for cavitation based ultrasound applications like sonochemistry or ultrasound cleaning, the correlation between cavitation intensity and the resulting effect on the process is of interest. Furthermore, changing conditions like temperature and pressure result in varying acoustic properties of the liquid. That might necessitate an adaption of the ultrasound irradiation. To detect such changes during operation, process monitoring is desired. Labor intensive processes, that might be carried out for several hours, also require process monitoring to increase their reliability by detection of changes or malfunctions during operation. In some applications cavitation detection and monitoring can be achieved by the application of sensors in the sound field. Though the application of sensors is possible, this necessitates modifications on the system and the sensor might disturb the sound field. In other applications harsh, process conditions prohibit the application of sensors in the sound field. Therefore alternative techniques for cavitation detection and monitoring are desired. The applicability of an external microphone and a self-sensing ultrasound transducer for cavitation detection were experimentally investigated. Both methods were found to be suitable and easily applicable.","lang":"eng"}],"status":"public","type":"conference","publication":"Ultrasonics Symposium (IUS), 2012 IEEE International"},{"language":[{"iso":"eng"}],"keyword":["Mechatronic Systems","Principle Solution","Condition Monitoring","Conceptual Design"],"department":[{"_id":"151"}],"user_id":"55222","_id":"9791","status":"public","abstract":[{"lang":"eng","text":"The rapid development of communication and information technology opens up fascinating perspectives, which go far beyond the state of the art in mechatronics: mechatronic systems with inherent partial intelligence. These so called self-optimizing systems adapt their objectives and behavior autonomously and flexibly to changing operating conditions. On the one hand, securing the dependability of such systems is challenging due to their complexity and non-deterministic behavior. On the other hand, self-optimization can be used to increase the dependability of the system during its operation. However, it has to be ensured, that the self-optimization works dependable itself. To cope with these challenges, the multi-level dependability concept was developed. It enables predictive condition monitoring, influences the objectives of the system and determines suitable means to improve the system's dependability during its operation. In this contribution we introduce a procedure for the conceptual design of an advanced condition monitoring based on the system's principle solution. The principle solution describes the principal operation mode of the system and its desired behavior. It is modeled using the specification technique for the domain-spanning description of the principle solution of a self-optimizing system and consists of a coherent system of eight partial models (e.g. requirements, active structure, system of objectives, behavior, etc.). The partial models are analyzed separately in order to derive the components of the multi-level dependability concept. In particular, the reliability analysis of the partial model active structure is performed to identify the system elements to be monitored and parameters to be measured. The principle solution is extended accordingly: e.g. with system elements required for the realization of the dependability concept. The advantages of the method are shown on the self-optimizing guidance module of a railroad vehicle."}],"publication":"Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012)","type":"conference","title":"Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System based on its Principle Solution","date_created":"2019-05-13T13:41:34Z","author":[{"full_name":"Sondermann-Wölke , Christoph","last_name":"Sondermann-Wölke ","first_name":"Christoph"},{"last_name":"Meyer","full_name":"Meyer, Tobias","first_name":"Tobias"},{"full_name":"Dorociak, Rafal","last_name":"Dorociak","first_name":"Rafal"},{"last_name":"Gausemeier","full_name":"Gausemeier, Jürgen","first_name":"Jürgen"},{"full_name":"Sextro, Walter","id":"21220","last_name":"Sextro","first_name":"Walter"}],"date_updated":"2022-01-06T07:04:20Z","citation":{"ama":"Sondermann-Wölke  C, Meyer T, Dorociak R, Gausemeier J, Sextro W. Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System based on its Principle Solution. In: <i>Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012)</i>. Helsinki, Finland; 2012.","chicago":"Sondermann-Wölke , Christoph, Tobias Meyer, Rafal Dorociak, Jürgen Gausemeier, and Walter Sextro. “Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System Based on Its Principle Solution.” In <i>Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012)</i>. Helsinki, Finland, 2012.","ieee":"C. Sondermann-Wölke , T. Meyer, R. Dorociak, J. Gausemeier, and W. Sextro, “Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System based on its Principle Solution,” in <i>Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012)</i>, 2012.","apa":"Sondermann-Wölke , C., Meyer, T., Dorociak, R., Gausemeier, J., &#38; Sextro, W. (2012). Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System based on its Principle Solution. In <i>Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012)</i>. Helsinki, Finland.","bibtex":"@inproceedings{Sondermann-Wölke _Meyer_Dorociak_Gausemeier_Sextro_2012, place={Helsinki, Finland}, title={Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System based on its Principle Solution}, booktitle={Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012)}, author={Sondermann-Wölke , Christoph and Meyer, Tobias and Dorociak, Rafal and Gausemeier, Jürgen and Sextro, Walter}, year={2012} }","short":"C. Sondermann-Wölke , T. Meyer, R. Dorociak, J. Gausemeier, W. Sextro, in: Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012), Helsinki, Finland, 2012.","mla":"Sondermann-Wölke , Christoph, et al. “Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System Based on Its Principle Solution.” <i>Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012)</i>, 2012."},"place":"Helsinki, Finland","year":"2012","quality_controlled":"1"},{"citation":{"short":"T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE,  Niagara Falls, NY, USA , 2012.","mla":"Xie, Tao, et al. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” <i>Proceedings of SOCC2012</i>, IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">10.1109/SOCC.2012.6398362</a>.","bibtex":"@inproceedings{Xie_Müller_Letombe_2012, place={ Niagara Falls, NY, USA }, title={Mutation-Analysis Driven Functional Verification of a Soft Microprocessor}, DOI={<a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">10.1109/SOCC.2012.6398362</a>}, booktitle={Proceedings of SOCC2012}, publisher={IEEE}, author={Xie, Tao  and Müller, Wolfgang and Letombe, Florian}, year={2012} }","apa":"Xie, T., Müller, W., &#38; Letombe, F. (2012). Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. <i>Proceedings of SOCC2012</i>. <a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">https://doi.org/10.1109/SOCC.2012.6398362</a>","ama":"Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: <i>Proceedings of SOCC2012</i>. IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">10.1109/SOCC.2012.6398362</a>","chicago":"Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” In <i>Proceedings of SOCC2012</i>.  Niagara Falls, NY, USA : IEEE, 2012. <a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">https://doi.org/10.1109/SOCC.2012.6398362</a>.","ieee":"T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor,” 2012, doi: <a href=\"https://doi.org/10.1109/SOCC.2012.6398362\">10.1109/SOCC.2012.6398362</a>."},"year":"2012","place":" Niagara Falls, NY, USA ","publication_identifier":{"eisbn":["978-1-4673-1295-0"]},"doi":"10.1109/SOCC.2012.6398362","title":"Mutation-Analysis Driven Functional Verification of a Soft Microprocessor","date_created":"2023-01-17T08:46:14Z","author":[{"first_name":"Tao ","last_name":"Xie","full_name":"Xie, Tao "},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"last_name":"Letombe","full_name":"Letombe, Florian","first_name":"Florian"}],"publisher":"IEEE","date_updated":"2023-01-17T08:46:29Z","status":"public","abstract":[{"text":"This paper proposes a quality driven, simulation based approach to functional design verification, which applies mainly to IP-level HDL designs with well specified test instruction format and is evaluated on a soft microprocessor core MB-LITE [5]. The approach utilizes mutation analysis as the quality metric to steer an automated simulation data generation process. It leads to a simulation flow with two phases towards an enhanced mutation analysis result. First in a random simulation phase, an in-loop heuristics is deployed and adjusts dynamically the test probability distribution so as to improve the coverage efficiency. Next, for each remaining hard-to-kill mutant, a search heuristics on test input space is developed to iteratively locate a target test, using a specific objective cost function for the goal of killing HDL mutant. The effectiveness of this integrated two-phase simulation flow is demonstrated by the results with the MB-LITE microprocessor IP.","lang":"eng"}],"publication":"Proceedings of SOCC2012","type":"conference","language":[{"iso":"eng"}],"keyword":["Analytical models","Hardware design languages","Microprocessors","Cost function","Data models","Search problems","IP networks"],"department":[{"_id":"672"}],"user_id":"5786","_id":"36994"},{"page":"714--740","citation":{"ama":"Müller-Wienbergen F, Müller O, Seidel S, Becker J. Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems that Support Convergent and Divergent Thinking. <i>Journal of the Association for Information Systems</i>. 2011;(11):714--740. doi:<a href=\"https://doi.org/10.1016/S0006-3495(00)76637-9\">10.1016/S0006-3495(00)76637-9</a>","ieee":"F. Müller-Wienbergen, O. Müller, S. Seidel, and J. Becker, “Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems that Support Convergent and Divergent Thinking,” <i>Journal of the Association for Information Systems</i>, no. 11, pp. 714--740, 2011.","chicago":"Müller-Wienbergen, Felix, Oliver Müller, Stefan Seidel, and Jörg Becker. “Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems That Support Convergent and Divergent Thinking.” <i>Journal of the Association for Information Systems</i>, no. 11 (2011): 714--740. <a href=\"https://doi.org/10.1016/S0006-3495(00)76637-9\">https://doi.org/10.1016/S0006-3495(00)76637-9</a>.","bibtex":"@article{Müller-Wienbergen_Müller_Seidel_Becker_2011, title={Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems that Support Convergent and Divergent Thinking}, DOI={<a href=\"https://doi.org/10.1016/S0006-3495(00)76637-9\">10.1016/S0006-3495(00)76637-9</a>}, number={11}, journal={Journal of the Association for Information Systems}, author={Müller-Wienbergen, Felix and Müller, Oliver and Seidel, Stefan and Becker, Jörg}, year={2011}, pages={714--740} }","mla":"Müller-Wienbergen, Felix, et al. “Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems That Support Convergent and Divergent Thinking.” <i>Journal of the Association for Information Systems</i>, no. 11, 2011, pp. 714--740, doi:<a href=\"https://doi.org/10.1016/S0006-3495(00)76637-9\">10.1016/S0006-3495(00)76637-9</a>.","short":"F. Müller-Wienbergen, O. Müller, S. Seidel, J. Becker, Journal of the Association for Information Systems (2011) 714--740.","apa":"Müller-Wienbergen, F., Müller, O., Seidel, S., &#38; Becker, J. (2011). Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems that Support Convergent and Divergent Thinking. <i>Journal of the Association for Information Systems</i>, (11), 714--740. <a href=\"https://doi.org/10.1016/S0006-3495(00)76637-9\">https://doi.org/10.1016/S0006-3495(00)76637-9</a>"},"year":"2011","issue":"11","publication_identifier":{"issn":["15369323"],"isbn":["1536-9323"]},"doi":"10.1016/S0006-3495(00)76637-9","title":"Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems that Support Convergent and Divergent Thinking","date_created":"2018-10-12T08:37:03Z","author":[{"first_name":"Felix","last_name":"Müller-Wienbergen","full_name":"Müller-Wienbergen, Felix"},{"full_name":"Müller, Oliver","id":"72849","last_name":"Müller","first_name":"Oliver"},{"first_name":"Stefan","last_name":"Seidel","full_name":"Seidel, Stefan"},{"last_name":"Becker","full_name":"Becker, Jörg","first_name":"Jörg"}],"date_updated":"2022-01-06T07:01:19Z","status":"public","publication":"Journal of the Association for Information Systems","type":"journal_article","extern":"1","language":[{"iso":"eng"}],"keyword":["Creativity","Creativity Support Systems","convergent thinking","design theory","divergent thinking"],"user_id":"72849","_id":"4708"},{"main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2011/KrHa11.pdf"}],"doi":"10.1109/ICASSP.2011.5946256","title":"MAP-based estimation of the parameters of non-stationary Gaussian processes from noisy observations","author":[{"first_name":"Alexander","last_name":"Krueger","full_name":"Krueger, Alexander"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","id":"242","full_name":"Haeb-Umbach, Reinhold"}],"date_created":"2019-07-12T05:29:22Z","oa":"1","date_updated":"2022-01-06T06:51:11Z","citation":{"mla":"Krueger, Alexander, and Reinhold Haeb-Umbach. “MAP-Based Estimation of the Parameters of Non-Stationary Gaussian Processes from Noisy Observations.” <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2011)</i>, 2011, pp. 3596–99, doi:<a href=\"https://doi.org/10.1109/ICASSP.2011.5946256\">10.1109/ICASSP.2011.5946256</a>.","short":"A. Krueger, R. Haeb-Umbach, in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2011), 2011, pp. 3596–3599.","bibtex":"@inproceedings{Krueger_Haeb-Umbach_2011, title={MAP-based estimation of the parameters of non-stationary Gaussian processes from noisy observations}, DOI={<a href=\"https://doi.org/10.1109/ICASSP.2011.5946256\">10.1109/ICASSP.2011.5946256</a>}, booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2011)}, author={Krueger, Alexander and Haeb-Umbach, Reinhold}, year={2011}, pages={3596–3599} }","apa":"Krueger, A., &#38; Haeb-Umbach, R. (2011). MAP-based estimation of the parameters of non-stationary Gaussian processes from noisy observations. In <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2011)</i> (pp. 3596–3599). <a href=\"https://doi.org/10.1109/ICASSP.2011.5946256\">https://doi.org/10.1109/ICASSP.2011.5946256</a>","chicago":"Krueger, Alexander, and Reinhold Haeb-Umbach. “MAP-Based Estimation of the Parameters of Non-Stationary Gaussian Processes from Noisy Observations.” In <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2011)</i>, 3596–99, 2011. <a href=\"https://doi.org/10.1109/ICASSP.2011.5946256\">https://doi.org/10.1109/ICASSP.2011.5946256</a>.","ieee":"A. Krueger and R. Haeb-Umbach, “MAP-based estimation of the parameters of non-stationary Gaussian processes from noisy observations,” in <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2011)</i>, 2011, pp. 3596–3599.","ama":"Krueger A, Haeb-Umbach R. MAP-based estimation of the parameters of non-stationary Gaussian processes from noisy observations. In: <i>IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2011)</i>. ; 2011:3596-3599. doi:<a href=\"https://doi.org/10.1109/ICASSP.2011.5946256\">10.1109/ICASSP.2011.5946256</a>"},"page":"3596-3599","year":"2011","language":[{"iso":"eng"}],"keyword":["Gaussian processes","MAP-based estimation","maximum a posteriori method","maximum likelihood estimation","nonstationary Gaussian processes"],"user_id":"44006","department":[{"_id":"54"}],"_id":"11845","status":"public","abstract":[{"lang":"eng","text":"The paper proposes a modification of the standard maximum a posteriori (MAP) method for the estimation of the parameters of a Gaussian process for cases where the process is superposed by additive Gaussian observation errors of known variance. Simulations on artificially generated data demonstrate the superiority of the proposed method. While reducing to the ordinary MAP approach in the absence of observation noise, the improvement becomes the more pronounced the larger the variance of the observation noise. The method is further extended to track the parameters in case of non-stationary Gaussian processes."}],"type":"conference","publication":"IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2011)"},{"issue":"1","year":"2011","date_created":"2019-07-12T05:29:28Z","title":"Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer Function Ratios Estimation","publication":"IEEE Transactions on Audio, Speech, and Language Processing","abstract":[{"lang":"eng","text":"In this paper, we present a novel blocking matrix and fixed beamformer design for a generalized sidelobe canceler for speech enhancement in a reverberant enclosure. They are based on a new method for estimating the acoustical transfer function ratios in the presence of stationary noise. The estimation method relies on solving a generalized eigenvalue problem in each frequency bin. An adaptive eigenvector tracking utilizing the power iteration method is employed and shown to achieve a high convergence speed. Simulation results demonstrate that the proposed beamformer leads to better noise and interference reduction and reduced speech distortions compared to other blocking matrix designs from the literature."}],"keyword":["acoustical transfer function ratio","adaptive eigenvector tracking","array signal processing","beamformer design","blocking matrix","eigenvalues and eigenfunctions","eigenvector-based transfer function ratios estimation","generalized sidelobe canceler","interference reduction","iterative methods","power iteration method","reduced speech distortions","reverberant enclosure","reverberation","speech enhancement","stationary noise"],"language":[{"iso":"eng"}],"intvolume":"        19","page":"206-219","citation":{"apa":"Krueger, A., Warsitz, E., &#38; Haeb-Umbach, R. (2011). Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer Function Ratios Estimation. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, <i>19</i>(1), 206–219. <a href=\"https://doi.org/10.1109/TASL.2010.2047324\">https://doi.org/10.1109/TASL.2010.2047324</a>","mla":"Krueger, Alexander, et al. “Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer Function Ratios Estimation.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 19, no. 1, 2011, pp. 206–19, doi:<a href=\"https://doi.org/10.1109/TASL.2010.2047324\">10.1109/TASL.2010.2047324</a>.","bibtex":"@article{Krueger_Warsitz_Haeb-Umbach_2011, title={Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer Function Ratios Estimation}, volume={19}, DOI={<a href=\"https://doi.org/10.1109/TASL.2010.2047324\">10.1109/TASL.2010.2047324</a>}, number={1}, journal={IEEE Transactions on Audio, Speech, and Language Processing}, author={Krueger, Alexander and Warsitz, Ernst and Haeb-Umbach, Reinhold}, year={2011}, pages={206–219} }","short":"A. Krueger, E. Warsitz, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 19 (2011) 206–219.","ieee":"A. Krueger, E. Warsitz, and R. Haeb-Umbach, “Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer Function Ratios Estimation,” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 19, no. 1, pp. 206–219, 2011.","chicago":"Krueger, Alexander, Ernst Warsitz, and Reinhold Haeb-Umbach. “Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer Function Ratios Estimation.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i> 19, no. 1 (2011): 206–19. <a href=\"https://doi.org/10.1109/TASL.2010.2047324\">https://doi.org/10.1109/TASL.2010.2047324</a>.","ama":"Krueger A, Warsitz E, Haeb-Umbach R. Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer Function Ratios Estimation. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>. 2011;19(1):206-219. doi:<a href=\"https://doi.org/10.1109/TASL.2010.2047324\">10.1109/TASL.2010.2047324</a>"},"date_updated":"2022-01-06T06:51:11Z","oa":"1","volume":19,"author":[{"first_name":"Alexander","last_name":"Krueger","full_name":"Krueger, Alexander"},{"first_name":"Ernst","full_name":"Warsitz, Ernst","last_name":"Warsitz"},{"id":"242","full_name":"Haeb-Umbach, Reinhold","last_name":"Haeb-Umbach","first_name":"Reinhold"}],"doi":"10.1109/TASL.2010.2047324","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2011/KrWaHa11.pdf","open_access":"1"}],"type":"journal_article","status":"public","_id":"11850","department":[{"_id":"54"}],"user_id":"44006"},{"title":"Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures","doi":"10.1145/1950413.1950448","date_updated":"2023-09-26T13:45:04Z","publisher":"ACM","date_created":"2018-04-03T15:08:13Z","author":[{"full_name":"Kenter, Tobias","id":"3145","last_name":"Kenter","first_name":"Tobias"},{"first_name":"Marco","last_name":"Platzner","id":"398","full_name":"Platzner, Marco"},{"first_name":"Christian","full_name":"Plessl, Christian","id":"16153","orcid":"0000-0001-5728-9982","last_name":"Plessl"},{"last_name":"Kauschke","full_name":"Kauschke, Michael","first_name":"Michael"}],"place":"New York, NY, USA","year":"2011","page":"177-180","citation":{"ama":"Kenter T, Platzner M, Plessl C, Kauschke M. Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures. In: <i>Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA)</i>. ACM; 2011:177-180. doi:<a href=\"https://doi.org/10.1145/1950413.1950448\">10.1145/1950413.1950448</a>","ieee":"T. Kenter, M. Platzner, C. Plessl, and M. Kauschke, “Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures,” in <i>Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA)</i>, 2011, pp. 177–180, doi: <a href=\"https://doi.org/10.1145/1950413.1950448\">10.1145/1950413.1950448</a>.","chicago":"Kenter, Tobias, Marco Platzner, Christian Plessl, and Michael Kauschke. “Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures.” In <i>Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA)</i>, 177–80. New York, NY, USA: ACM, 2011. <a href=\"https://doi.org/10.1145/1950413.1950448\">https://doi.org/10.1145/1950413.1950448</a>.","apa":"Kenter, T., Platzner, M., Plessl, C., &#38; Kauschke, M. (2011). Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures. <i>Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA)</i>, 177–180. <a href=\"https://doi.org/10.1145/1950413.1950448\">https://doi.org/10.1145/1950413.1950448</a>","short":"T. Kenter, M. Platzner, C. Plessl, M. Kauschke, in: Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA), ACM, New York, NY, USA, 2011, pp. 177–180.","bibtex":"@inproceedings{Kenter_Platzner_Plessl_Kauschke_2011, place={New York, NY, USA}, title={Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures}, DOI={<a href=\"https://doi.org/10.1145/1950413.1950448\">10.1145/1950413.1950448</a>}, booktitle={Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA)}, publisher={ACM}, author={Kenter, Tobias and Platzner, Marco and Plessl, Christian and Kauschke, Michael}, year={2011}, pages={177–180} }","mla":"Kenter, Tobias, et al. “Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures.” <i>Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA)</i>, ACM, 2011, pp. 177–80, doi:<a href=\"https://doi.org/10.1145/1950413.1950448\">10.1145/1950413.1950448</a>."},"publication_identifier":{"isbn":["978-1-4503-0554-9"]},"quality_controlled":"1","keyword":["design space exploration","LLVM","partitioning","performance","estimation","funding-intel"],"language":[{"iso":"eng"}],"_id":"2200","department":[{"_id":"27"},{"_id":"518"},{"_id":"78"}],"user_id":"15278","status":"public","publication":"Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA)","type":"conference"},{"citation":{"chicago":"Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In <i>Proceedings of Euromicro DSD 2011</i>. Oulu, Finnland: IEEE, 2011. <a href=\"https://doi.org/10.1109/DSD.2011.83\">https://doi.org/10.1109/DSD.2011.83</a>.","ieee":"T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011, doi: <a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>.","ama":"Xie T, Müller W, Letombe F. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: <i>Proceedings of Euromicro DSD 2011</i>. IEEE; 2011. doi:<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>","bibtex":"@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, DOI={<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>}, booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }","short":"T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE, Oulu, Finnland, 2011.","mla":"Xie, Tao, et al. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” <i>Proceedings of Euromicro DSD 2011</i>, IEEE, 2011, doi:<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>.","apa":"Xie, T., Müller, W., &#38; Letombe, F. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. <i>Proceedings of Euromicro DSD 2011</i>. <a href=\"https://doi.org/10.1109/DSD.2011.83\">https://doi.org/10.1109/DSD.2011.83</a>"},"year":"2011","place":"Oulu, Finnland","publication_identifier":{"isbn":["978-1-4577-1048-3"]},"doi":"10.1109/DSD.2011.83","title":"HDL-Mutation Based Simulation Data Generation by Propagation Guided Search","date_created":"2023-01-17T09:02:48Z","author":[{"full_name":"Xie, Tao","last_name":"Xie","first_name":"Tao"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"full_name":"Letombe, Florian","last_name":"Letombe","first_name":"Florian"}],"date_updated":"2025-02-26T14:44:15Z","publisher":"IEEE","status":"public","abstract":[{"text":"HDL-mutation based fault injection and analysis is considered as an important coverage metric for measuring the quality of design simulation processes [20, 3, 1, 2]. In this work, we try to solve the problem of automatic simulation data generation targeting HDL mutation faults. We follow a search based approach and eliminate the need for symbolic execution and mathematical constraint solving from existing work. An objective cost function is defined on the test input space and serves the guidance of search for fault-detecting test data. This is done by first mapping the simulation traces under a test onto a control and data flow graph structure which is extracted from the design. Then the progress of fault detection can be measured quantitatively on this graph to be the cost value. By minimizing this cost we approach the target test data. The effectiveness of the cost function is investigated under an example neighborhood search scheme. Case study with a floating point arithmetic IP design has shown that the cost function is able to guide effectively the search procedure towards a fault-detecting test. The cost calculation time as the search overhead was also observed to be minor compared to the actual design simulation time.","lang":"eng"}],"type":"conference","publication":"Proceedings of Euromicro DSD 2011","language":[{"iso":"eng"}],"keyword":["Hardware design languages","Cost function","Computational modeling","Fault detection","Data models","Analytical models","Testing"],"user_id":"5786","department":[{"_id":"672"}],"_id":"37002"},{"has_accepted_license":"1","year":"2010","citation":{"chicago":"Bodenstein, Christian, Guido Schryen, and Dirk Neumann. “From ‘Take-It-or-Leave-It’ Offers to ‘Take-It-or-Be-Left-out’ Ultimatum - A Trade Mechanism for Online Services.” In <i>18th European Conference on Information Systems (ECIS 2010)</i>, 2010.","ieee":"C. Bodenstein, G. Schryen, and D. Neumann, “From ‘Take-it-or-leave-it’ offers to ‘Take-it-or-be-left-out’ Ultimatum - A trade mechanism for Online Services,” in <i>18th European Conference on Information Systems (ECIS 2010)</i>, 2010.","ama":"Bodenstein C, Schryen G, Neumann D. From “Take-it-or-leave-it” offers to “Take-it-or-be-left-out” Ultimatum - A trade mechanism for Online Services. In: <i>18th European Conference on Information Systems (ECIS 2010)</i>. ; 2010.","apa":"Bodenstein, C., Schryen, G., &#38; Neumann, D. (2010). From “Take-it-or-leave-it” offers to “Take-it-or-be-left-out” Ultimatum - A trade mechanism for Online Services. In <i>18th European Conference on Information Systems (ECIS 2010)</i>.","mla":"Bodenstein, Christian, et al. “From ‘Take-It-or-Leave-It’ Offers to ‘Take-It-or-Be-Left-out’ Ultimatum - A Trade Mechanism for Online Services.” <i>18th European Conference on Information Systems (ECIS 2010)</i>, 2010.","bibtex":"@inproceedings{Bodenstein_Schryen_Neumann_2010, title={From “Take-it-or-leave-it” offers to “Take-it-or-be-left-out” Ultimatum - A trade mechanism for Online Services}, booktitle={18th European Conference on Information Systems (ECIS 2010)}, author={Bodenstein, Christian and Schryen, Guido and Neumann, Dirk}, year={2010} }","short":"C. Bodenstein, G. Schryen, D. Neumann, in: 18th European Conference on Information Systems (ECIS 2010), 2010."},"date_updated":"2022-01-06T07:02:34Z","oa":"1","date_created":"2018-11-14T15:48:39Z","author":[{"full_name":"Bodenstein, Christian","last_name":"Bodenstein","first_name":"Christian"},{"first_name":"Guido","last_name":"Schryen","id":"72850","full_name":"Schryen, Guido"},{"first_name":"Dirk","full_name":"Neumann, Dirk","last_name":"Neumann"}],"title":"From \"Take-it-or-leave-it\" offers to \"Take-it-or-be-left-out\" Ultimatum - A trade mechanism for Online Services","publication":"18th European Conference on Information Systems (ECIS 2010)","type":"conference","abstract":[{"text":"In a world, where more and more businesses seem to trade in an online market, the supply of online services to supply the ever-growing demand could quickly reach its capacity limits. Online service providers may find themselves maxed out at peak operation levels during high-traffic timeslots but too little demand during low-traffic timeslots, although the latter is becoming less frequent. At this point not only deciding which user is allocated what level of service becomes essential, but also the magnitude of the service provided, can be controlled by pricing. Pricing is an important factor when efficient and acceptable allocation of resources between individuals must be reached. Without prices, transferring or sharing goods would be impossible. In sharing information, pricing a product however is not as simple as relatively pricing an apple or a pear. Often the costs, and hence the prices are simply unknown. Backed by this scenario, the online services market could be combined with the market design mechanism of diamonds. For this we propose an ultimatum pricing strategy which effectively allows for valuations to be accounted for, but no longer a necessity when pricing in grid, cloud or other online computing environments.","lang":"eng"}],"status":"public","file":[{"content_type":"application/pdf","relation":"main_file","creator":"hsiemes","date_created":"2018-12-11T15:22:41Z","date_updated":"2018-12-13T15:20:13Z","file_name":"Take it or leave it - ECIS - Proof.pdf","access_level":"open_access","file_id":"6191","file_size":247621}],"_id":"5690","department":[{"_id":"277"}],"user_id":"61579","keyword":["Posted Price","Ultimatum Game","Energy Efficiency","Mechanism Design"],"ddc":["000"],"file_date_updated":"2018-12-13T15:20:13Z","language":[{"iso":"eng"}],"extern":"1"},{"publication":"Industrial Informatics (INDIN), 2010 8th IEEE International Conference on","type":"conference","abstract":[{"text":"Self-optimizing systems are able to adapt their behavior autonomously according to their current self-determined objectives. Unforeseen influences could lead to dependability-critical behavior of the system. Methods are required which secure self-optimizing systems during operation. These methods to increase the dependability of the system should already be taken into consideration in the design process. This paper presents a guideline for the dependability-oriented design of self-optimizing systems, which integrates established classical methods like failure mode and effects analysis as well as methods based on self-optimization. On the one hand self-optimization is used to increase the dependability of the system by integrating objectives like safety, availability, and reliability to the objectives of the system. On the other hand methods are required to ensure the self-optimization itself. As basis for this guideline serves the principle solution of the system. The six phases of the guideline extend the design process and lead to an enhanced principle solution. Additionally, the guideline illustrates phases to implement and validate the self-optimizing system. The proposed guideline is applied to an innovative rail-bound vehicle, called RailCab, which is equipped with self-optimizing function modules.","lang":"eng"}],"status":"public","_id":"9760","department":[{"_id":"151"}],"user_id":"55222","keyword":["RailCab","dependability-critical behavior","dependability-oriented design","failure mode","rail-bound vehicle","secure self-optimizing systems","self-optimizing function modules","optimisation","railways","self-adjusting systems"],"language":[{"iso":"eng"}],"quality_controlled":"1","year":"2010","page":"739 -744","citation":{"bibtex":"@inproceedings{Sondermann-Wölke_Hemsel_Sextro_Gausemeier_Pook_2010, title={Guideline for the dependability-oriented design of self-optimizing systems}, DOI={<a href=\"https://doi.org/10.1109/INDIN.2010.5549490\">10.1109/INDIN.2010.5549490</a>}, booktitle={Industrial Informatics (INDIN), 2010 8th IEEE International Conference on}, author={Sondermann-Wölke, Christoph and Hemsel, Tobias and Sextro, Walter and Gausemeier, Jürgen and Pook, Sebastian}, year={2010}, pages={739–744} }","short":"C. Sondermann-Wölke, T. Hemsel, W. Sextro, J. Gausemeier, S. Pook, in: Industrial Informatics (INDIN), 2010 8th IEEE International Conference On, 2010, pp. 739–744.","mla":"Sondermann-Wölke, Christoph, et al. “Guideline for the Dependability-Oriented Design of Self-Optimizing Systems.” <i>Industrial Informatics (INDIN), 2010 8th IEEE International Conference On</i>, 2010, pp. 739–44, doi:<a href=\"https://doi.org/10.1109/INDIN.2010.5549490\">10.1109/INDIN.2010.5549490</a>.","apa":"Sondermann-Wölke, C., Hemsel, T., Sextro, W., Gausemeier, J., &#38; Pook, S. (2010). Guideline for the dependability-oriented design of self-optimizing systems. In <i>Industrial Informatics (INDIN), 2010 8th IEEE International Conference on</i> (pp. 739–744). <a href=\"https://doi.org/10.1109/INDIN.2010.5549490\">https://doi.org/10.1109/INDIN.2010.5549490</a>","ieee":"C. Sondermann-Wölke, T. Hemsel, W. Sextro, J. Gausemeier, and S. Pook, “Guideline for the dependability-oriented design of self-optimizing systems,” in <i>Industrial Informatics (INDIN), 2010 8th IEEE International Conference on</i>, 2010, pp. 739–744.","chicago":"Sondermann-Wölke, Christoph, Tobias Hemsel, Walter Sextro, Jürgen Gausemeier, and Sebastian Pook. “Guideline for the Dependability-Oriented Design of Self-Optimizing Systems.” In <i>Industrial Informatics (INDIN), 2010 8th IEEE International Conference On</i>, 739–44, 2010. <a href=\"https://doi.org/10.1109/INDIN.2010.5549490\">https://doi.org/10.1109/INDIN.2010.5549490</a>.","ama":"Sondermann-Wölke C, Hemsel T, Sextro W, Gausemeier J, Pook S. Guideline for the dependability-oriented design of self-optimizing systems. In: <i>Industrial Informatics (INDIN), 2010 8th IEEE International Conference On</i>. ; 2010:739-744. doi:<a href=\"https://doi.org/10.1109/INDIN.2010.5549490\">10.1109/INDIN.2010.5549490</a>"},"date_updated":"2022-01-06T07:04:19Z","author":[{"first_name":"Christoph","last_name":"Sondermann-Wölke","full_name":"Sondermann-Wölke, Christoph"},{"first_name":"Tobias","id":"210","full_name":"Hemsel, Tobias","last_name":"Hemsel"},{"last_name":"Sextro","full_name":"Sextro, Walter","id":"21220","first_name":"Walter"},{"full_name":"Gausemeier, Jürgen","last_name":"Gausemeier","first_name":"Jürgen"},{"first_name":"Sebastian","last_name":"Pook","full_name":"Pook, Sebastian"}],"date_created":"2019-05-13T10:25:26Z","title":"Guideline for the dependability-oriented design of self-optimizing systems","doi":"10.1109/INDIN.2010.5549490"},{"language":[{"iso":"eng"}],"keyword":["ASR","AURORA5 database","automatic speech recognition","Bayesian inference","belief networks","CMLLR","computational complexity","constrained maximum likelihood linear regression","least mean squares methods","LMPSC computation","logarithmic Mel power spectrum","maximum likelihood estimation","Mel frequency cepstral coefficients","MFCC feature vectors","microphone signal","minimum mean square error estimation","model-based feature enhancement","regression analysis","reverberant speech recognition","reverberation","RIR energy","room impulse response","speech recognition","stochastic observation model","stochastic processes"],"abstract":[{"lang":"eng","text":"In this paper, we present a new technique for automatic speech recognition (ASR) in reverberant environments. Our approach is aimed at the enhancement of the logarithmic Mel power spectrum, which is computed at an intermediate stage to obtain the widely used Mel frequency cepstral coefficients (MFCCs). Given the reverberant logarithmic Mel power spectral coefficients (LMPSCs), a minimum mean square error estimate of the clean LMPSCs is computed by carrying out Bayesian inference. We employ switching linear dynamical models as an a priori model for the dynamics of the clean LMPSCs. Further, we derive a stochastic observation model which relates the clean to the reverberant LMPSCs through a simplified model of the room impulse response (RIR). This model requires only two parameters, namely RIR energy and reverberation time, which can be estimated from the captured microphone signal. The performance of the proposed enhancement technique is studied on the AURORA5 database and compared to that of constrained maximum-likelihood linear regression (CMLLR). It is shown by experimental results that our approach significantly outperforms CMLLR and that up to 80\\% of the errors caused by the reverberation are recovered. In addition to the fact that the approach is compatible with the standard MFCC feature vectors, it leaves the ASR back-end unchanged. It is of moderate computational complexity and suitable for real time applications."}],"publication":"IEEE Transactions on Audio, Speech, and Language Processing","title":"Model-Based Feature Enhancement for Reverberant Speech Recognition","date_created":"2019-07-12T05:29:23Z","year":"2010","issue":"7","department":[{"_id":"54"}],"user_id":"44006","_id":"11846","status":"public","type":"journal_article","doi":"10.1109/TASL.2010.2049684","main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2010/KrHa10.pdf"}],"volume":18,"author":[{"full_name":"Krueger, Alexander","last_name":"Krueger","first_name":"Alexander"},{"last_name":"Haeb-Umbach","id":"242","full_name":"Haeb-Umbach, Reinhold","first_name":"Reinhold"}],"oa":"1","date_updated":"2022-01-06T06:51:11Z","intvolume":"        18","page":"1692-1707","citation":{"apa":"Krueger, A., &#38; Haeb-Umbach, R. (2010). Model-Based Feature Enhancement for Reverberant Speech Recognition. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, <i>18</i>(7), 1692–1707. <a href=\"https://doi.org/10.1109/TASL.2010.2049684\">https://doi.org/10.1109/TASL.2010.2049684</a>","bibtex":"@article{Krueger_Haeb-Umbach_2010, title={Model-Based Feature Enhancement for Reverberant Speech Recognition}, volume={18}, DOI={<a href=\"https://doi.org/10.1109/TASL.2010.2049684\">10.1109/TASL.2010.2049684</a>}, number={7}, journal={IEEE Transactions on Audio, Speech, and Language Processing}, author={Krueger, Alexander and Haeb-Umbach, Reinhold}, year={2010}, pages={1692–1707} }","short":"A. Krueger, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 18 (2010) 1692–1707.","mla":"Krueger, Alexander, and Reinhold Haeb-Umbach. “Model-Based Feature Enhancement for Reverberant Speech Recognition.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 18, no. 7, 2010, pp. 1692–707, doi:<a href=\"https://doi.org/10.1109/TASL.2010.2049684\">10.1109/TASL.2010.2049684</a>.","chicago":"Krueger, Alexander, and Reinhold Haeb-Umbach. “Model-Based Feature Enhancement for Reverberant Speech Recognition.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i> 18, no. 7 (2010): 1692–1707. <a href=\"https://doi.org/10.1109/TASL.2010.2049684\">https://doi.org/10.1109/TASL.2010.2049684</a>.","ieee":"A. Krueger and R. Haeb-Umbach, “Model-Based Feature Enhancement for Reverberant Speech Recognition,” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 18, no. 7, pp. 1692–1707, 2010.","ama":"Krueger A, Haeb-Umbach R. Model-Based Feature Enhancement for Reverberant Speech Recognition. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>. 2010;18(7):1692-1707. doi:<a href=\"https://doi.org/10.1109/TASL.2010.2049684\">10.1109/TASL.2010.2049684</a>"}},{"language":[{"iso":"eng"}],"keyword":["writing","writing research","dialogue","dialogical perspective","auto-confrontation"],"department":[{"_id":"424"}],"user_id":"42165","_id":"32168","status":"public","abstract":[{"lang":"eng","text":"Based on a cultural-historical and dialogical conceptualization of thinking and speech as formulated in Soviet psychology and linguistics of the 1920s and 1930s, this article seeks to reflect upon a congruent way of investigating writing as a cognitive and communicative activity. What has to be taken into account when developing a methodology for writing research from a cultural-historical and dialogical perspective? Firstly, writing is not separated from other forms of speech activity like interpersonal and intrapersonal speech. Thus, inner dialogue and the addressed character of writing become crucial notions to be methodologically considered. Secondly, contrary to current writing research traditions such as literacy studies and studies of the writing process in cognitive psychology, both individual writing processes and socio-cultural writing practices as well as their relationship must be considered. These reflections lead towards the conclusion that writing is not fully accessible to external observation or to introspection. In consequence, a suggestion of a methodological approach is given, inspired by the activity theoretically informed method of auto-confrontation. The proposed method consists of two phases: a) videotaping of a writing episode and b) co-analysis of the videotaped writing episode in dialogue between writer and researcher. The second phase transfers the writing activity into a new context where understanding it becomes possible. The co-analysis makes involved positions audible: positions of the writer and of the researcher, of real and imagined readers as well as intersubjective and community-related positions. Finally, implications of the proposed research setting are discussed and evaluated with regard to the theoretical grounding. An instance of the methodology to be sketched in this article was developed in the context of the author’s dissertation project in preparation at Ludwig-Maximilians-Universität in Munich, Germany with the working title «Writing processes and writing practices. A conceptualization from a dialogical perspective». The project is funded by scholarships of Universität Bayern e.V. and Ludwig-Maximilians-Universität."}],"publication":"Cultural-Historical Psychology","type":"journal_article","main_file_link":[{"open_access":"1","url":"https://psyjournals.ru/files/32918/kip_2010_4_Karsten.pdf"}],"title":"Towards Cultural-Historical and Dialogical Writing Research – Some Methodological Considerations","volume":4,"author":[{"full_name":"Karsten, Andrea","id":"53917","last_name":"Karsten","first_name":"Andrea"}],"date_created":"2022-06-26T08:39:34Z","oa":"1","date_updated":"2022-07-18T09:26:58Z","intvolume":"         4","page":"91 - 98","citation":{"ama":"Karsten A. Towards Cultural-Historical and Dialogical Writing Research – Some Methodological Considerations. <i>Cultural-Historical Psychology</i>. 2010;4:91-98.","ieee":"A. Karsten, “Towards Cultural-Historical and Dialogical Writing Research – Some Methodological Considerations,” <i>Cultural-Historical Psychology</i>, vol. 4, pp. 91–98, 2010.","chicago":"Karsten, Andrea. “Towards Cultural-Historical and Dialogical Writing Research – Some Methodological Considerations.” <i>Cultural-Historical Psychology</i> 4 (2010): 91–98.","mla":"Karsten, Andrea. “Towards Cultural-Historical and Dialogical Writing Research – Some Methodological Considerations.” <i>Cultural-Historical Psychology</i>, vol. 4, 2010, pp. 91–98.","short":"A. Karsten, Cultural-Historical Psychology 4 (2010) 91–98.","bibtex":"@article{Karsten_2010, title={Towards Cultural-Historical and Dialogical Writing Research – Some Methodological Considerations}, volume={4}, journal={Cultural-Historical Psychology}, author={Karsten, Andrea}, year={2010}, pages={91–98} }","apa":"Karsten, A. (2010). Towards Cultural-Historical and Dialogical Writing Research – Some Methodological Considerations. <i>Cultural-Historical Psychology</i>, <i>4</i>, 91–98."},"year":"2010","publication_status":"published"},{"abstract":[{"lang":"eng","text":"The paper presents a framework to optimise the design of work roll based on the cooling performance. The framework develops meta-models from a set of finite element analyses (FEA) of the roll cooling. A design of experiment technique is used to identify the FEA runs. The research also identifies sources of uncertainties in the design process. A robust evolutionary multi-objective evaluation technique is applied to the design optimisation in constrained problems with real life uncertainty. The approach handles uncertainties associated both with design variables and fitness functions. Constraints violation within the neighbourhood of a design is considered as part of a measurement for degree of feasibility and robustness of a solution."}],"status":"public","type":"journal_article","publication":"CIRP Journal of Manufacturing Science and Technology","keyword":["Roll cooling design","Uncertainty","Design optimisation","Multi-objective optimisation","Constraint in design"],"language":[{"iso":"eng"}],"_id":"46411","user_id":"15504","department":[{"_id":"34"},{"_id":"819"}],"year":"2010","citation":{"ieee":"Y. T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, and H. Trautmann, “Work roll cooling system design optimisation in presence of uncertainty and constrains,” <i>CIRP Journal of Manufacturing Science and Technology</i>, vol. 2, no. 4, pp. 290–298, 2010, doi: <a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>.","chicago":"Azene, Y.T., R. Roy, D. Farrugia, C. Onisa, J. Mehnen, and Heike Trautmann. “Work Roll Cooling System Design Optimisation in Presence of Uncertainty and Constrains.” <i>CIRP Journal of Manufacturing Science and Technology</i> 2, no. 4 (2010): 290–98. <a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>.","bibtex":"@article{Azene_Roy_Farrugia_Onisa_Mehnen_Trautmann_2010, title={Work roll cooling system design optimisation in presence of uncertainty and constrains}, volume={2}, DOI={<a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>}, number={4}, journal={CIRP Journal of Manufacturing Science and Technology}, author={Azene, Y.T. and Roy, R. and Farrugia, D. and Onisa, C. and Mehnen, J. and Trautmann, Heike}, year={2010}, pages={290–298} }","mla":"Azene, Y. T., et al. “Work Roll Cooling System Design Optimisation in Presence of Uncertainty and Constrains.” <i>CIRP Journal of Manufacturing Science and Technology</i>, vol. 2, no. 4, 2010, pp. 290–98, doi:<a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>.","short":"Y.T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, H. Trautmann, CIRP Journal of Manufacturing Science and Technology 2 (2010) 290–298.","ama":"Azene YT, Roy R, Farrugia D, Onisa C, Mehnen J, Trautmann H. Work roll cooling system design optimisation in presence of uncertainty and constrains. <i>CIRP Journal of Manufacturing Science and Technology</i>. 2010;2(4):290-298. doi:<a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>","apa":"Azene, Y. T., Roy, R., Farrugia, D., Onisa, C., Mehnen, J., &#38; Trautmann, H. (2010). Work roll cooling system design optimisation in presence of uncertainty and constrains. <i>CIRP Journal of Manufacturing Science and Technology</i>, <i>2</i>(4), 290–298. <a href=\"https://doi.org/10.1016/j.cirpj.2010.06.001\">https://doi.org/10.1016/j.cirpj.2010.06.001</a>"},"page":"290-298","intvolume":"         2","publication_identifier":{"issn":["1755-5817"]},"issue":"4","title":"Work roll cooling system design optimisation in presence of uncertainty and constrains","doi":"https://doi.org/10.1016/j.cirpj.2010.06.001","date_updated":"2023-10-16T13:57:23Z","date_created":"2023-08-04T16:09:19Z","author":[{"first_name":"Y.T.","full_name":"Azene, Y.T.","last_name":"Azene"},{"full_name":"Roy, R.","last_name":"Roy","first_name":"R."},{"full_name":"Farrugia, D.","last_name":"Farrugia","first_name":"D."},{"full_name":"Onisa, C.","last_name":"Onisa","first_name":"C."},{"first_name":"J.","last_name":"Mehnen","full_name":"Mehnen, J."},{"full_name":"Trautmann, Heike","id":"100740","orcid":"0000-0002-9788-8282","last_name":"Trautmann","first_name":"Heike"}],"volume":2},{"publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"citation":{"mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>."},"place":"Dresden","year":"2010","date_created":"2023-01-17T10:47:29Z","author":[{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"full_name":"Di Guglielmo, Giuseppe","last_name":"Di Guglielmo","first_name":"Giuseppe"},{"first_name":"Franco","last_name":"Fummi","full_name":"Fummi, Franco"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Pravadelli, Graziano","last_name":"Pravadelli","first_name":"Graziano"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"}],"date_updated":"2023-01-17T10:47:37Z","publisher":"IEEE","doi":"10.1109/DATE.2010.5456965","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","publication":"Proceedings of DATE’10","type":"conference","status":"public","abstract":[{"text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"37040","language":[{"iso":"eng"}],"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"]},{"abstract":[{"lang":"eng","text":"In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, we combine the native speed of an abstract real-time operating system (RTOS) model in SystemC with dynamic binary translation for fast Instruction Set Simulation (ISS) by QEMU. In order to support stepwise RTOS software refinement from system level to the target software, each task can be separately migrated between the native execution and the ISS. By adapting the dynamic binary translation approach to an efficient but yet very accurate synchronization scheme the overhead of QEMU user mode execution is only factor two compared to native SystemC. Furthermore, the simulation speed increases almost linearly according to the utilization of the task set abstracted by the native execution. Hereby, the simulation time can be considerably reduced by cosimulating just a subset of tasks on QEMU."}],"editor":[{"full_name":"Kleinjohann, L.","last_name":"Kleinjohann","first_name":"L."},{"first_name":"B.","full_name":"Kleinjohann, B.","last_name":"Kleinjohann"}],"status":"public","type":"conference","keyword":["Application Programming Interface     User Mode     Kernel Space     System Level Design     Mixed Level"],"language":[{"iso":"eng"}],"_id":"37046","user_id":"5786","department":[{"_id":"672"}],"place":"Dordrecht","year":"2010","citation":{"short":"M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.","bibtex":"@inproceedings{Becker_Zabel_Müller_2010, place={Dordrecht}, title={A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>}, publisher={Springer Verlag}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }","mla":"Becker, Markus, et al. <i>A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>.","apa":"Becker, M., Zabel, H., &#38; Müller, W. (2010). <i>A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">https://doi.org/10.1007/978-3-642-15234-4_15</a>","ama":"Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>","ieee":"M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,” 2010, doi: <a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">10.1007/978-3-642-15234-4_15</a>.","chicago":"Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15234-4_15\">https://doi.org/10.1007/978-3-642-15234-4_15</a>."},"publication_identifier":{"isbn":["978-3-642-15233-7"]},"title":"A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)"},"doi":"10.1007/978-3-642-15234-4_15","date_updated":"2023-01-17T11:03:00Z","publisher":"Springer Verlag","date_created":"2023-01-17T11:01:30Z","author":[{"first_name":"Markus","full_name":"Becker, Markus","last_name":"Becker"},{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}]},{"author":[{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"full_name":"Di Guglielmo, Giuseppe","last_name":"Di Guglielmo","first_name":"Giuseppe"},{"first_name":"Franco","full_name":"Fummi, Franco","last_name":"Fummi"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"full_name":"Pravadelli, Graziano","last_name":"Pravadelli","first_name":"Graziano"},{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"}],"date_created":"2023-01-17T10:44:46Z","date_updated":"2025-03-12T16:39:17Z","publisher":"IEEE","doi":"10.1109/DATE.2010.5456965","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"citation":{"ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010."},"year":"2010","place":"Dresden","user_id":"5786","_id":"37039","language":[{"iso":"eng"}],"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"type":"conference","publication":"Proceedings of DATE’10","status":"public","abstract":[{"lang":"eng","text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms."}]},{"status":"public","editor":[{"full_name":"French, Simon","last_name":"French","first_name":"Simon"},{"last_name":"Tomaszewski","full_name":"Tomaszewski, Brian","first_name":"Brian"},{"first_name":"Chris","full_name":"Zobel, Chris","last_name":"Zobel"}],"publication":"ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management","type":"conference","language":[{"iso":"eng"}],"keyword":["Command and control process","Command and control systems","Design and modeling","Domain ontologies","Emergency response","Fire extinguishers","Fire protection","Heterogeneous domains","Information analysis","Information sharing","Information systems","Interoperability","Ontology language","Semantic technologies","Semantic Web","Semantics"],"user_id":"405","_id":"24065","citation":{"apa":"Pottebaum, J., Japs, A. M., Prödel, S., &#38; Koch, R. (2010). Design and modeling of a domain ontology for fire protection. In S. French, B. Tomaszewski, &#38; C. Zobel (Eds.), <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>.","bibtex":"@inproceedings{Pottebaum_Japs_Prödel_Koch_2010, place={Seattle, WA}, title={Design and modeling of a domain ontology for fire protection}, booktitle={ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management}, author={Pottebaum, Jens and Japs, Anna Maria and Prödel, Stephan and Koch, Rainer}, editor={French, Simon and Tomaszewski, Brian and Zobel, Chris}, year={2010} }","short":"J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.","mla":"Pottebaum, Jens, et al. “Design and Modeling of a Domain Ontology for Fire Protection.” <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French et al., 2010.","ama":"Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>. ; 2010.","chicago":"Pottebaum, Jens, Anna Maria Japs, Stephan Prödel, and Rainer Koch. “Design and Modeling of a Domain Ontology for Fire Protection.” In <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French, Brian Tomaszewski, and Chris Zobel. Seattle, WA, 2010.","ieee":"J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of a domain ontology for fire protection,” in <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, 2010."},"year":"2010","place":"Seattle, WA","quality_controlled":"1","main_file_link":[{"url":"http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf","open_access":"1"}],"title":"Design and modeling of a domain ontology for fire protection","date_created":"2021-09-09T12:27:14Z","author":[{"orcid":"http://orcid.org/0000-0001-8778-2989","last_name":"Pottebaum","full_name":"Pottebaum, Jens","id":"405","first_name":"Jens"},{"full_name":"Japs, Anna Maria","last_name":"Japs","first_name":"Anna Maria"},{"last_name":"Prödel","full_name":"Prödel, Stephan","first_name":"Stephan"},{"first_name":"Rainer","full_name":"Koch, Rainer","last_name":"Koch"}],"oa":"1","date_updated":"2026-03-31T03:52:00Z"},{"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":[{"last_name":"Vollmer","full_name":"Vollmer, Anna-Lisa","first_name":"Anna-Lisa"},{"full_name":"Lohan, Katrin Solveig","last_name":"Lohan","first_name":"Katrin Solveig"},{"first_name":"Kerstin","full_name":"Fischer, Kerstin","last_name":"Fischer"},{"full_name":"Nagai, Yukie","last_name":"Nagai","first_name":"Yukie"},{"full_name":"Pitsch, Karola","last_name":"Pitsch","first_name":"Karola"},{"last_name":"Fritsch","full_name":"Fritsch, Jannik","first_name":"Jannik"},{"last_name":"Rohlfing","full_name":"Rohlfing, Katharina","id":"50352","first_name":"Katharina"},{"first_name":"Britta","last_name":"Wrede","full_name":"Wrede, Britta"}],"date_updated":"2023-02-01T13:06:43Z","publisher":"IEEE","page":"1-6","citation":{"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={<a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>}, 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.","mla":"Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, IEEE, 2009, pp. 1–6, doi:<a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>.","ama":"Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior in robot-directed interaction for action learning. In: <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>. IEEE; 2009:1-6. doi:<a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>","apa":"Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch, J., Rohlfing, K., &#38; Wrede, B. (2009). People modify their tutoring behavior in robot-directed interaction for action learning. <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, 1–6. <a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">https://doi.org/10.1109/DEVLRN.2009.5175516</a>","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 <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, 1–6. IEEE, 2009. <a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">https://doi.org/10.1109/DEVLRN.2009.5175516</a>.","ieee":"A.-L. Vollmer <i>et al.</i>, “People modify their tutoring behavior in robot-directed interaction for action learning,” in <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, 2009, pp. 1–6, doi: <a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>."},"year":"2009","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","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"},{"_id":"11820","department":[{"_id":"54"}],"user_id":"44006","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"],"language":[{"iso":"eng"}],"publication":"IEEE Transactions on Audio, Speech, and Language Processing","type":"journal_article","abstract":[{"lang":"eng","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."}],"status":"public","date_updated":"2022-01-06T06:51:10Z","oa":"1","volume":16,"author":[{"full_name":"Ion, Valentin","last_name":"Ion","first_name":"Valentin"},{"first_name":"Reinhold","full_name":"Haeb-Umbach, Reinhold","id":"242","last_name":"Haeb-Umbach"}],"date_created":"2019-07-12T05:28:53Z","title":"A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition","doi":"10.1109/TASL.2008.925879","main_file_link":[{"open_access":"1","url":"https://groups.uni-paderborn.de/nt/pubs/2008/IoHa08-1.pdf"}],"issue":"5","year":"2008","page":"1047-1060","intvolume":"        16","citation":{"ama":"Ion V, Haeb-Umbach R. A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>. 2008;16(5):1047-1060. doi:<a href=\"https://doi.org/10.1109/TASL.2008.925879\">10.1109/TASL.2008.925879</a>","chicago":"Ion, Valentin, and Reinhold Haeb-Umbach. “A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i> 16, no. 5 (2008): 1047–60. <a href=\"https://doi.org/10.1109/TASL.2008.925879\">https://doi.org/10.1109/TASL.2008.925879</a>.","ieee":"V. Ion and R. Haeb-Umbach, “A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition,” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 16, no. 5, pp. 1047–1060, 2008.","apa":"Ion, V., &#38; Haeb-Umbach, R. (2008). A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition. <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, <i>16</i>(5), 1047–1060. <a href=\"https://doi.org/10.1109/TASL.2008.925879\">https://doi.org/10.1109/TASL.2008.925879</a>","bibtex":"@article{Ion_Haeb-Umbach_2008, title={A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition}, volume={16}, DOI={<a href=\"https://doi.org/10.1109/TASL.2008.925879\">10.1109/TASL.2008.925879</a>}, number={5}, journal={IEEE Transactions on Audio, Speech, and Language Processing}, author={Ion, Valentin and Haeb-Umbach, Reinhold}, year={2008}, pages={1047–1060} }","mla":"Ion, Valentin, and Reinhold Haeb-Umbach. “A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition.” <i>IEEE Transactions on Audio, Speech, and Language Processing</i>, vol. 16, no. 5, 2008, pp. 1047–60, doi:<a href=\"https://doi.org/10.1109/TASL.2008.925879\">10.1109/TASL.2008.925879</a>.","short":"V. Ion, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 16 (2008) 1047–1060."}}]
