---
_id: '11818'
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.
author:
- first_name: Manh Kha
  full_name: Hoang, Manh Kha
  last_name: Hoang
- 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
  full_name: Vu, Dang Hai Tran
  last_name: Vu
- first_name: Joerg
  full_name: Schmalenstroeer, Joerg
  id: '460'
  last_name: Schmalenstroeer
- first_name: Reinhold
  full_name: Haeb-Umbach, Reinhold
  id: '242'
  last_name: Haeb-Umbach
citation:
  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>'
  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>
  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} }'
  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>.
  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>.'
  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.'
date_created: 2019-07-12T05:28:51Z
date_updated: 2023-10-26T08:09:36Z
department:
- _id: '54'
doi: 10.1109/WPNC.2013.6533263
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
main_file_link:
- open_access: '1'
  url: https://groups.uni-paderborn.de/nt/pubs/2013/HoScDrTrScHa2013.pdf
oa: '1'
page: 1-6
publication: Positioning Navigation and Communication (WPNC), 2013 10th Workshop on
quality_controlled: '1'
related_material:
  link:
  - description: Poster
    relation: supplementary_material
    url: https://groups.uni-paderborn.de/nt/pubs/2013/HoScDrTrScHa2013_Poster.pdf
status: public
title: Server based indoor navigation using RSSI and inertial sensor information
type: conference
user_id: '460'
year: '2013'
...
---
_id: '9783'
abstract:
- lang: eng
  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.
author:
- first_name: Peter
  full_name: Bornmann, Peter
  last_name: Bornmann
- first_name: Tobias
  full_name: Hemsel, Tobias
  id: '210'
  last_name: Hemsel
- first_name: Walter
  full_name: Sextro, Walter
  id: '21220'
  last_name: Sextro
- first_name: Takafumi
  full_name: Maeda, Takafumi
  last_name: Maeda
- first_name: Takeshi
  full_name: Morita, Takeshi
  last_name: Morita
citation:
  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>'
  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>
  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} }'
  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.
  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.'
date_created: 2019-05-13T13:18:49Z
date_updated: 2022-01-06T07:04:20Z
department:
- _id: '151'
doi: 10.1109/ULTSYM.2012.0284
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
page: 1141-1144
publication: Ultrasonics Symposium (IUS), 2012 IEEE International
publication_identifier:
  issn:
  - 1948-5719
quality_controlled: '1'
status: public
title: Non-perturbing cavitation detection / monitoring in sonochemical reactors
type: conference
user_id: '55222'
year: '2012'
...
---
_id: '9791'
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.'
author:
- first_name: Christoph
  full_name: Sondermann-Wölke , Christoph
  last_name: 'Sondermann-Wölke '
- first_name: Tobias
  full_name: Meyer, Tobias
  last_name: Meyer
- first_name: Rafal
  full_name: Dorociak, Rafal
  last_name: Dorociak
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Walter
  full_name: Sextro, Walter
  id: '21220'
  last_name: Sextro
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.'
  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} }'
  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.
  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.
  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.'
date_created: 2019-05-13T13:41:34Z
date_updated: 2022-01-06T07:04:20Z
department:
- _id: '151'
keyword:
- Mechatronic Systems
- Principle Solution
- Condition Monitoring
- Conceptual Design
language:
- iso: eng
place: Helsinki, Finland
publication: Proceedings of the 11th International Probabilistic Safety Assessment
  and Management Conference (PSAM11) and The Annual European Safety and Reliability
  Conference (ESREL2012)
quality_controlled: '1'
status: public
title: Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System
  based on its Principle Solution
type: conference
user_id: '55222'
year: '2012'
...
---
_id: '36994'
abstract:
- lang: eng
  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.
author:
- first_name: 'Tao '
  full_name: 'Xie, Tao '
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Florian
  full_name: Letombe, Florian
  last_name: Letombe
citation:
  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>'
  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>
  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} }'
  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>.'
  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>.
  short: 'T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE,  Niagara
    Falls, NY, USA , 2012.'
date_created: 2023-01-17T08:46:14Z
date_updated: 2023-01-17T08:46:29Z
department:
- _id: '672'
doi: 10.1109/SOCC.2012.6398362
keyword:
- Analytical models
- Hardware design languages
- Microprocessors
- Cost function
- Data models
- Search problems
- IP networks
language:
- iso: eng
place: ' Niagara Falls, NY, USA '
publication: Proceedings of SOCC2012
publication_identifier:
  eisbn:
  - 978-1-4673-1295-0
publisher: IEEE
status: public
title: Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '4708'
author:
- first_name: Felix
  full_name: Müller-Wienbergen, Felix
  last_name: Müller-Wienbergen
- first_name: Oliver
  full_name: Müller, Oliver
  id: '72849'
  last_name: Müller
- first_name: Stefan
  full_name: Seidel, Stefan
  last_name: Seidel
- first_name: Jörg
  full_name: Becker, Jörg
  last_name: Becker
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>
  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>
  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}
    }'
  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>.'
  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.
  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.
date_created: 2018-10-12T08:37:03Z
date_updated: 2022-01-06T07:01:19Z
doi: 10.1016/S0006-3495(00)76637-9
extern: '1'
issue: '11'
keyword:
- Creativity
- Creativity Support Systems
- convergent thinking
- design theory
- divergent thinking
language:
- iso: eng
page: 714--740
publication: Journal of the Association for Information Systems
publication_identifier:
  isbn:
  - 1536-9323
  issn:
  - '15369323'
status: public
title: Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems that
  Support Convergent and Divergent Thinking
type: journal_article
user_id: '72849'
year: '2011'
...
---
_id: '11845'
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.
author:
- first_name: Alexander
  full_name: Krueger, Alexander
  last_name: Krueger
- first_name: Reinhold
  full_name: Haeb-Umbach, Reinhold
  id: '242'
  last_name: Haeb-Umbach
citation:
  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>'
  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>
  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} }'
  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.
  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.'
date_created: 2019-07-12T05:29:22Z
date_updated: 2022-01-06T06:51:11Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2011.5946256
keyword:
- Gaussian processes
- MAP-based estimation
- maximum a posteriori method
- maximum likelihood estimation
- nonstationary Gaussian processes
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://groups.uni-paderborn.de/nt/pubs/2011/KrHa11.pdf
oa: '1'
page: 3596-3599
publication: IEEE International Conference on Acoustics, Speech and Signal Processing
  (ICASSP 2011)
status: public
title: MAP-based estimation of the parameters of non-stationary Gaussian processes
  from noisy observations
type: conference
user_id: '44006'
year: '2011'
...
---
_id: '11850'
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.
author:
- first_name: Alexander
  full_name: Krueger, Alexander
  last_name: Krueger
- first_name: Ernst
  full_name: Warsitz, Ernst
  last_name: Warsitz
- first_name: Reinhold
  full_name: Haeb-Umbach, Reinhold
  id: '242'
  last_name: Haeb-Umbach
citation:
  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>
  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>
  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} }'
  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>.'
  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.
  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>.
  short: A. Krueger, E. Warsitz, R. Haeb-Umbach, IEEE Transactions on Audio, Speech,
    and Language Processing 19 (2011) 206–219.
date_created: 2019-07-12T05:29:28Z
date_updated: 2022-01-06T06:51:11Z
department:
- _id: '54'
doi: 10.1109/TASL.2010.2047324
intvolume: '        19'
issue: '1'
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
main_file_link:
- open_access: '1'
  url: https://groups.uni-paderborn.de/nt/pubs/2011/KrWaHa11.pdf
oa: '1'
page: 206-219
publication: IEEE Transactions on Audio, Speech, and Language Processing
status: public
title: Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer
  Function Ratios Estimation
type: journal_article
user_id: '44006'
volume: 19
year: '2011'
...
---
_id: '2200'
author:
- first_name: Tobias
  full_name: Kenter, Tobias
  id: '3145'
  last_name: Kenter
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
- first_name: Christian
  full_name: Plessl, Christian
  id: '16153'
  last_name: Plessl
  orcid: 0000-0001-5728-9982
- first_name: Michael
  full_name: Kauschke, Michael
  last_name: Kauschke
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>'
  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>
  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} }'
  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>.'
  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>.'
  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>.
  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.'
date_created: 2018-04-03T15:08:13Z
date_updated: 2023-09-26T13:45:04Z
department:
- _id: '27'
- _id: '518'
- _id: '78'
doi: 10.1145/1950413.1950448
keyword:
- design space exploration
- LLVM
- partitioning
- performance
- estimation
- funding-intel
language:
- iso: eng
page: 177-180
place: New York, NY, USA
publication: Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA)
publication_identifier:
  isbn:
  - 978-1-4503-0554-9
publisher: ACM
quality_controlled: '1'
status: public
title: Performance Estimation Framework for Automated Exploration of CPU-Accelerator
  Architectures
type: conference
user_id: '15278'
year: '2011'
...
---
_id: '37002'
abstract:
- lang: eng
  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.
author:
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Florian
  full_name: Letombe, Florian
  last_name: Letombe
citation:
  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>'
  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>
  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} }'
  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>.'
  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>.
  short: 'T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE,
    Oulu, Finnland, 2011.'
date_created: 2023-01-17T09:02:48Z
date_updated: 2025-02-26T14:44:15Z
department:
- _id: '672'
doi: 10.1109/DSD.2011.83
keyword:
- Hardware design languages
- Cost function
- Computational modeling
- Fault detection
- Data models
- Analytical models
- Testing
language:
- iso: eng
place: Oulu, Finnland
publication: Proceedings of Euromicro DSD 2011
publication_identifier:
  isbn:
  - 978-1-4577-1048-3
publisher: IEEE
status: public
title: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '5690'
abstract:
- lang: eng
  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.
author:
- first_name: Christian
  full_name: Bodenstein, Christian
  last_name: Bodenstein
- first_name: Guido
  full_name: Schryen, Guido
  id: '72850'
  last_name: Schryen
- first_name: Dirk
  full_name: Neumann, Dirk
  last_name: Neumann
citation:
  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>.
  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} }'
  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.
  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.
  short: 'C. Bodenstein, G. Schryen, D. Neumann, in: 18th European Conference on Information
    Systems (ECIS 2010), 2010.'
date_created: 2018-11-14T15:48:39Z
date_updated: 2022-01-06T07:02:34Z
ddc:
- '000'
department:
- _id: '277'
extern: '1'
file:
- access_level: open_access
  content_type: application/pdf
  creator: hsiemes
  date_created: 2018-12-11T15:22:41Z
  date_updated: 2018-12-13T15:20:13Z
  file_id: '6191'
  file_name: Take it or leave it - ECIS - Proof.pdf
  file_size: 247621
  relation: main_file
file_date_updated: 2018-12-13T15:20:13Z
has_accepted_license: '1'
keyword:
- Posted Price
- Ultimatum Game
- Energy Efficiency
- Mechanism Design
language:
- iso: eng
oa: '1'
publication: 18th European Conference on Information Systems (ECIS 2010)
status: public
title: From "Take-it-or-leave-it" offers to "Take-it-or-be-left-out" Ultimatum - A
  trade mechanism for Online Services
type: conference
user_id: '61579'
year: '2010'
...
---
_id: '9760'
abstract:
- lang: eng
  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.
author:
- first_name: Christoph
  full_name: Sondermann-Wölke, Christoph
  last_name: Sondermann-Wölke
- first_name: Tobias
  full_name: Hemsel, Tobias
  id: '210'
  last_name: Hemsel
- first_name: Walter
  full_name: Sextro, Walter
  id: '21220'
  last_name: Sextro
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Sebastian
  full_name: Pook, Sebastian
  last_name: Pook
citation:
  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>'
  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>
  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} }'
  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>.
  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.
  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>.
  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.'
date_created: 2019-05-13T10:25:26Z
date_updated: 2022-01-06T07:04:19Z
department:
- _id: '151'
doi: 10.1109/INDIN.2010.5549490
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
page: 739 -744
publication: Industrial Informatics (INDIN), 2010 8th IEEE International Conference
  on
quality_controlled: '1'
status: public
title: Guideline for the dependability-oriented design of self-optimizing systems
type: conference
user_id: '55222'
year: '2010'
...
---
_id: '11846'
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.
author:
- first_name: Alexander
  full_name: Krueger, Alexander
  last_name: Krueger
- first_name: Reinhold
  full_name: Haeb-Umbach, Reinhold
  id: '242'
  last_name: Haeb-Umbach
citation:
  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>
  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}
    }'
  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.
  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>.
  short: A. Krueger, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language
    Processing 18 (2010) 1692–1707.
date_created: 2019-07-12T05:29:23Z
date_updated: 2022-01-06T06:51:11Z
department:
- _id: '54'
doi: 10.1109/TASL.2010.2049684
intvolume: '        18'
issue: '7'
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
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://groups.uni-paderborn.de/nt/pubs/2010/KrHa10.pdf
oa: '1'
page: 1692-1707
publication: IEEE Transactions on Audio, Speech, and Language Processing
status: public
title: Model-Based Feature Enhancement for Reverberant Speech Recognition
type: journal_article
user_id: '44006'
volume: 18
year: '2010'
...
---
_id: '32168'
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.'
author:
- first_name: Andrea
  full_name: Karsten, Andrea
  id: '53917'
  last_name: Karsten
citation:
  ama: Karsten A. Towards Cultural-Historical and Dialogical Writing Research – Some
    Methodological Considerations. <i>Cultural-Historical Psychology</i>. 2010;4: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.
  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} }'
  chicago: 'Karsten, Andrea. “Towards Cultural-Historical and Dialogical Writing Research
    – Some Methodological Considerations.” <i>Cultural-Historical Psychology</i> 4
    (2010): 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.
  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.
date_created: 2022-06-26T08:39:34Z
date_updated: 2022-07-18T09:26:58Z
department:
- _id: '424'
intvolume: '         4'
keyword:
- writing
- writing research
- dialogue
- dialogical perspective
- auto-confrontation
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://psyjournals.ru/files/32918/kip_2010_4_Karsten.pdf
oa: '1'
page: 91 - 98
publication: Cultural-Historical Psychology
publication_status: published
status: public
title: Towards Cultural-Historical and Dialogical Writing Research – Some Methodological
  Considerations
type: journal_article
user_id: '42165'
volume: 4
year: '2010'
...
---
_id: '46411'
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.
author:
- first_name: Y.T.
  full_name: Azene, Y.T.
  last_name: Azene
- first_name: R.
  full_name: Roy, R.
  last_name: Roy
- first_name: D.
  full_name: Farrugia, D.
  last_name: Farrugia
- first_name: C.
  full_name: Onisa, C.
  last_name: Onisa
- first_name: J.
  full_name: Mehnen, J.
  last_name: Mehnen
- first_name: Heike
  full_name: Trautmann, Heike
  id: '100740'
  last_name: Trautmann
  orcid: 0000-0002-9788-8282
citation:
  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>
  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} }'
  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>.'
  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>.'
  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.
date_created: 2023-08-04T16:09:19Z
date_updated: 2023-10-16T13:57:23Z
department:
- _id: '34'
- _id: '819'
doi: https://doi.org/10.1016/j.cirpj.2010.06.001
intvolume: '         2'
issue: '4'
keyword:
- Roll cooling design
- Uncertainty
- Design optimisation
- Multi-objective optimisation
- Constraint in design
language:
- iso: eng
page: 290-298
publication: CIRP Journal of Manufacturing Science and Technology
publication_identifier:
  issn:
  - 1755-5817
status: public
title: Work roll cooling system design optimisation in presence of uncertainty and
  constrains
type: journal_article
user_id: '15504'
volume: 2
year: '2010'
...
---
_id: '37040'
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.
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Giuseppe
  full_name: Di Guglielmo, Giuseppe
  last_name: Di Guglielmo
- first_name: Franco
  full_name: Fummi, Franco
  last_name: Fummi
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Graziano
  full_name: Pravadelli, Graziano
  last_name: Pravadelli
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
citation:
  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>
  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} }'
  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>.'
  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>.'
  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>.
  short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie,
    in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:47:29Z
date_updated: 2023-01-17T10:47:37Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5456965
keyword:
- Timing
- Hardware
- Operating systems
- Process design
- Accuracy
- Standards development
- Context modeling
- Real time systems
- Communication channels
- Microprogramming
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
  eisbn:
  - 978-3-9810801-6-2
publisher: IEEE
status: public
title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37046'
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.
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>'
  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>
  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} }'
  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>.'
  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>.'
  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>.
  short: 'M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.),
    Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T11:01:30Z
date_updated: 2023-01-17T11:03:00Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_15
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
keyword:
- Application Programming Interface     User Mode     Kernel Space     System Level
  Design     Mixed Level
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37039'
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.
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Giuseppe
  full_name: Di Guglielmo, Giuseppe
  last_name: Di Guglielmo
- first_name: Franco
  full_name: Fummi, Franco
  last_name: Fummi
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Graziano
  full_name: Pravadelli, Graziano
  last_name: Pravadelli
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
citation:
  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>
  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} }'
  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>.'
  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>.'
  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>.
  short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie,
    in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:44:46Z
date_updated: 2025-03-12T16:39:17Z
doi: 10.1109/DATE.2010.5456965
keyword:
- Timing
- Hardware
- Operating systems
- Process design
- Accuracy
- Standards development
- Context modeling
- Real time systems
- Communication channels
- Microprogramming
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
  eisbn:
  - 978-3-9810801-6-2
publisher: IEEE
status: public
title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '24065'
author:
- first_name: Jens
  full_name: Pottebaum, Jens
  id: '405'
  last_name: Pottebaum
  orcid: http://orcid.org/0000-0001-8778-2989
- first_name: Anna Maria
  full_name: Japs, Anna Maria
  last_name: Japs
- first_name: Stephan
  full_name: Prödel, Stephan
  last_name: Prödel
- first_name: Rainer
  full_name: Koch, Rainer
  last_name: Koch
citation:
  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.'
  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} }'
  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.
  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.
  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.'
date_created: 2021-09-09T12:27:14Z
date_updated: 2026-03-31T03:52:00Z
editor:
- first_name: Simon
  full_name: French, Simon
  last_name: French
- first_name: Brian
  full_name: Tomaszewski, Brian
  last_name: Tomaszewski
- first_name: Chris
  full_name: Zobel, Chris
  last_name: Zobel
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
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf
oa: '1'
place: Seattle, WA
publication: ISCRAM 2010 -- 7th International Conference on Information Systems for
  Crisis Response and Management
quality_controlled: '1'
status: public
title: Design and modeling of a domain ontology for fire protection
type: conference
user_id: '405'
year: '2010'
...
---
_id: '17272'
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.
author:
- first_name: Anna-Lisa
  full_name: Vollmer, Anna-Lisa
  last_name: Vollmer
- first_name: Katrin Solveig
  full_name: Lohan, Katrin Solveig
  last_name: Lohan
- first_name: Kerstin
  full_name: Fischer, Kerstin
  last_name: Fischer
- first_name: Yukie
  full_name: Nagai, Yukie
  last_name: Nagai
- first_name: Karola
  full_name: Pitsch, Karola
  last_name: Pitsch
- first_name: Jannik
  full_name: Fritsch, Jannik
  last_name: Fritsch
- first_name: Katharina
  full_name: Rohlfing, Katharina
  id: '50352'
  last_name: Rohlfing
- first_name: Britta
  full_name: Wrede, Britta
  last_name: Wrede
citation:
  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>
  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}
    }'
  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>.'
  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>.
  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.'
date_created: 2020-06-24T13:02:43Z
date_updated: 2023-02-01T13:06:43Z
department:
- _id: '749'
doi: 10.1109/DEVLRN.2009.5175516
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
language:
- iso: eng
page: 1-6
publication: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
  on Development and Learning
publisher: IEEE
status: public
title: People modify their tutoring behavior in robot-directed interaction for action
  learning
type: conference
user_id: '14931'
year: '2009'
...
---
_id: '11820'
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.
author:
- first_name: Valentin
  full_name: Ion, Valentin
  last_name: Ion
- first_name: Reinhold
  full_name: Haeb-Umbach, Reinhold
  id: '242'
  last_name: Haeb-Umbach
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>
  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}
    }'
  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.
  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.
date_created: 2019-07-12T05:28:53Z
date_updated: 2022-01-06T06:51:10Z
department:
- _id: '54'
doi: 10.1109/TASL.2008.925879
intvolume: '        16'
issue: '5'
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
main_file_link:
- open_access: '1'
  url: https://groups.uni-paderborn.de/nt/pubs/2008/IoHa08-1.pdf
oa: '1'
page: 1047-1060
publication: IEEE Transactions on Audio, Speech, and Language Processing
status: public
title: A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust
  Speech Recognition
type: journal_article
user_id: '44006'
volume: 16
year: '2008'
...
