---
_id: '6067'
abstract:
- lang: eng
text: 'Implicit change detection demonstrates how the visual system can benefit
from stored information that is not immediately available to conscious awareness.
We investigated the role of motor action in this context. In the first two experiments,
using a one-shot implicit change detection paradigm, participants responded to
unperceived changes either with an action (jabbing the screen at the guessed location
of a change) or with words (verbal report), and sat either 60 cm or 300 cm (with
a laser pointer) away from the display. Our observers guessed the locations of
changes at a reachable distance better with an action than with a verbal judgment.
At 300 cm, beyond reach, the motor advantage disappeared. In experiment 3, this
advantage was also unavailable when participants sat at a reachable distance but
responded with hand-held laser pointers near their bodies. We conclude that a
motor system specialized for real-time visually guided behavior has access to
additional visual information. '
author:
- first_name: Philip
full_name: Tseng, Philip
last_name: Tseng
- first_name: Jan
full_name: Tuennermann, Jan
last_name: Tuennermann
- first_name: Nancy
full_name: Roker-Knight, Nancy
last_name: Roker-Knight
- first_name: Dorina
full_name: Winter, Dorina
last_name: Winter
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
- first_name: Bruce
full_name: Bridgeman, Bruce
last_name: Bridgeman
citation:
ama: Tseng P, Tuennermann J, Roker-Knight N, Winter D, Scharlau I, Bridgeman B.
Enhancing implicit change detection through action. Perception. 2010;39(10):1311-1321.
apa: Tseng, P., Tuennermann, J., Roker-Knight, N., Winter, D., Scharlau, I., &
Bridgeman, B. (2010). Enhancing implicit change detection through action. Perception,
39(10), 1311–1321.
bibtex: '@article{Tseng_Tuennermann_Roker-Knight_Winter_Scharlau_Bridgeman_2010,
title={Enhancing implicit change detection through action.}, volume={39}, number={10},
journal={Perception}, author={Tseng, Philip and Tuennermann, Jan and Roker-Knight,
Nancy and Winter, Dorina and Scharlau, Ingrid and Bridgeman, Bruce}, year={2010},
pages={1311–1321} }'
chicago: 'Tseng, Philip, Jan Tuennermann, Nancy Roker-Knight, Dorina Winter, Ingrid
Scharlau, and Bruce Bridgeman. “Enhancing Implicit Change Detection through Action.”
Perception 39, no. 10 (2010): 1311–21.'
ieee: P. Tseng, J. Tuennermann, N. Roker-Knight, D. Winter, I. Scharlau, and B.
Bridgeman, “Enhancing implicit change detection through action.,” Perception,
vol. 39, no. 10, pp. 1311–1321, 2010.
mla: Tseng, Philip, et al. “Enhancing Implicit Change Detection through Action.”
Perception, vol. 39, no. 10, 2010, pp. 1311–21.
short: P. Tseng, J. Tuennermann, N. Roker-Knight, D. Winter, I. Scharlau, B. Bridgeman,
Perception 39 (2010) 1311–1321.
date_created: 2018-12-10T07:02:19Z
date_updated: 2022-06-06T16:47:26Z
department:
- _id: '424'
intvolume: ' 39'
issue: '10'
keyword:
- implicit change detection
- action perception
- visual system
- perceptual judgment
- verbal fluency
- Analysis of Variance
- Awareness
- Female
- Humans
- Male
- Psychomotor Performance
- Random Allocation
- Reaction Time
- Visual Perception
- Visual Memory
- Visual Stimulation
- Implicit Memory
- Judgment
- Perceptual Discrimination
language:
- iso: eng
page: 1311 - 1321
publication: Perception
publication_identifier:
issn:
- 0301-0066
publication_status: published
status: public
title: Enhancing implicit change detection through action.
type: journal_article
user_id: '42165'
volume: 39
year: '2010'
...
---
_id: '37007'
abstract:
- lang: eng
text: UML is widely applied for the specification and modeling of software and some
studies have demonstrated that it is applicable for HW/SW codesign. However, in
this area there is still a big gap from UML modeling to SystemC-based verification
and synthesis environments. This paper presents an efficient approach to bridge
this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework
for the seamless integration of a customized SysML entry with code generation
for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the
SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate
the applicability of our approach.
author:
- first_name: Fabian
full_name: Mischkalla, Fabian
last_name: Mischkalla
- first_name: Da
full_name: He, Da
last_name: He
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and
Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE;
2010. doi:10.1109/DATE.2010.5456990'
apa: Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based
Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10.
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE
2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
bibtex: '@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing
the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems},
DOI={10.1109/DATE.2010.5456990},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian
and He, Da and Müller, Wolfgang}, year={2010} }'
chicago: 'Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between
UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings
of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.'
ieee: 'F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling
and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation
& Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi:
10.1109/DATE.2010.5456990.'
mla: Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and
Simulation of Combined HW/SW Systems.” Proceedings of DATE’10, IEEE, 2010,
doi:10.1109/DATE.2010.5456990.
short: 'F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden,
2010.'
conference:
location: Dresden
name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:12:35Z
date_updated: 2023-01-17T09:12:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5456990
keyword:
- Unified modeling language
- Field programmable gate arrays
- Bridges
- Helium
- Real time systems
- Operating systems
- Documentation
- Application software
- XML
- Space exploration
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
eisbn:
- 978-3-9810801-6-2
publisher: IEEE
status: public
title: Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW
Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37009'
abstract:
- lang: eng
text: Today, mobile and embedded real time systems have to cope with the migration
and allocation of multiple software tasks running on top of a real time operating
system (RTOS) residing on one or several processors. For scaling of each task
set and processor configuration, instruction set simulation and worst case timing
analysis are typically applied. This paper presents a complementary approach for
the verification of RTOS properties based on an abstract RTOS-Model in SystemC.
We apply IEEE P1850 PSL for which we present an approach and first experiences
for the assertion-based verification of RTOS properties.
author:
- first_name: Marcio F. S.
full_name: Oliveira, Marcio F. S.
last_name: Oliveira
- 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: 'Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties.
In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130'
apa: Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification
of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation &
Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457130
bibtex: '@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based
Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio
F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }'
chicago: 'Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based
Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE,
2010. https://doi.org/10.1109/DATE.2010.5457130.'
ieee: 'M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification
of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe
Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.'
mla: Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”
Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.
short: 'M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE,
Dresden, 2010.'
conference:
location: Dresden
name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:15:10Z
date_updated: 2023-01-17T09:15:18Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457130
keyword:
- Operating systems
- Real time systems
- Timing
- Hardware
- Analytical models
- Embedded software
- Software systems
- Processor scheduling
- Software performance
- Performance analysis
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: Assertion-Based Verification of RTOS Properties
type: conference
user_id: '5786'
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: Proceedings of DATE’10. IEEE;
2010. doi:10.1109/DATE.2010.5456965'
apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &
Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings
of DATE’10. Design, Automation & Test in Europe Conference & Exhibition
(DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
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={10.1109/DATE.2010.5456965},
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 Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.'
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 & Test in Europe Conference & Exhibition (DATE 2010), Dresden,
2010, doi: 10.1109/DATE.2010.5456965.'
mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”
Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
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: '37053'
abstract:
- lang: eng
text: Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent
Software (HdS) like drivers, operating systems, and firmware. For early estimation
and verification, the application of SystemC in combination with Instruction Set
Simulators and Software Emulators like QEMU is widely accepted. In this article,
we present an advanced design flow for HW, (RT)OS and HdS refinement and verification
with focus on the transition from abstract RTOS verification to full system RTOS/HdS
emulation. In the context of assertion-based verification, we introduce a set
of generic real-time properties which can be reused and verified at different
abstraction levels and discuss their application. The properties are presented
by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS
models.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Marcio F.
full_name: da S. Oliveira, Marcio F.
last_name: da S. Oliveira
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
citation:
ama: 'Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time
Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010.
IEEE; 2010.'
apa: Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification
of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010.
IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim,
FL, USA.
bibtex: '@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification
of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings
of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira,
Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }'
chicago: Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker.
“Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings
of HLDVT2010. IEEE, 2010.
ieee: W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of
Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International
High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
mla: Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant
Software.” Proceedings of HLDVT2010, IEEE, 2010.
short: 'W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of
HLDVT2010, IEEE, 2010.'
conference:
location: Anaheim, FL, USA
name: IEEE International High Level Design Validation and Test Workshop (HLDVT)
date_created: 2023-01-17T11:28:26Z
date_updated: 2023-01-17T11:28:30Z
department:
- _id: '672'
keyword:
- Hardware
- Microprogramming
- Application software
- Timing
- Protocols
- Virtual prototyping
- Real time systems
- Sampling methods
- Operating systems
- Emulation
language:
- iso: eng
publication: Proceedings of HLDVT2010
publication_identifier:
eisbn:
- 978-1-4244-7806-4
publisher: IEEE
status: public
title: Verification of Real-Time Properties for Hardware-Dependant Software
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: Proceedings of DATE’10. IEEE;
2010. doi:10.1109/DATE.2010.5456965'
apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &
Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings
of DATE’10. Design, Automation & Test in Europe Conference & Exhibition
(DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
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={10.1109/DATE.2010.5456965},
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 Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.'
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 & Test in Europe Conference & Exhibition (DATE 2010), Dresden,
2010, doi: 10.1109/DATE.2010.5456965.'
mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”
Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
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: '11723'
abstract:
- lang: eng
text: In this paper we present a novel vehicle tracking algorithm, which is based
on multi-level sensor fusion of GPS (global positioning system) with Inertial
Measurement Unit sensor data. It is shown that the robustness of the system to
temporary dropouts of the GPS signal, which may occur due to limited visibility
of satellites in narrow street canyons or tunnels, is greatly improved by sensor
fusion. We further demonstrate how the observation and state noise covariances
of the employed Kalman filters can be estimated alongside the filtering by an
application of the Expectation-Maximization algorithm. The proposed time-variant
multi-level Kalman filter is shown to outperform an Interacting Multiple Model
approach while at the same time being computationally less demanding.
author:
- first_name: Maik
full_name: Bevermeier, Maik
last_name: Bevermeier
- first_name: Sven
full_name: Peschke, Sven
last_name: Peschke
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Bevermeier M, Peschke S, Haeb-Umbach R. Robust vehicle localization based
on multi-level sensor fusion and online parameter estimation. In: 6th Workshop
on Positioning Navigation and Communication (WPNC 2009). ; 2009:235-242. doi:10.1109/WPNC.2009.4907833'
apa: Bevermeier, M., Peschke, S., & Haeb-Umbach, R. (2009). Robust vehicle localization
based on multi-level sensor fusion and online parameter estimation. In 6th
Workshop on Positioning Navigation and Communication (WPNC 2009) (pp. 235–242).
https://doi.org/10.1109/WPNC.2009.4907833
bibtex: '@inproceedings{Bevermeier_Peschke_Haeb-Umbach_2009, title={Robust vehicle
localization based on multi-level sensor fusion and online parameter estimation},
DOI={10.1109/WPNC.2009.4907833},
booktitle={6th Workshop on Positioning Navigation and Communication (WPNC 2009)},
author={Bevermeier, Maik and Peschke, Sven and Haeb-Umbach, Reinhold}, year={2009},
pages={235–242} }'
chicago: Bevermeier, Maik, Sven Peschke, and Reinhold Haeb-Umbach. “Robust Vehicle
Localization Based on Multi-Level Sensor Fusion and Online Parameter Estimation.”
In 6th Workshop on Positioning Navigation and Communication (WPNC 2009),
235–42, 2009. https://doi.org/10.1109/WPNC.2009.4907833.
ieee: M. Bevermeier, S. Peschke, and R. Haeb-Umbach, “Robust vehicle localization
based on multi-level sensor fusion and online parameter estimation,” in 6th
Workshop on Positioning Navigation and Communication (WPNC 2009), 2009, pp.
235–242.
mla: Bevermeier, Maik, et al. “Robust Vehicle Localization Based on Multi-Level
Sensor Fusion and Online Parameter Estimation.” 6th Workshop on Positioning
Navigation and Communication (WPNC 2009), 2009, pp. 235–42, doi:10.1109/WPNC.2009.4907833.
short: 'M. Bevermeier, S. Peschke, R. Haeb-Umbach, in: 6th Workshop on Positioning
Navigation and Communication (WPNC 2009), 2009, pp. 235–242.'
date_created: 2019-07-12T05:27:01Z
date_updated: 2022-01-06T06:51:07Z
department:
- _id: '54'
doi: 10.1109/WPNC.2009.4907833
keyword:
- covariance matrices
- expectation-maximisation algorithm
- expectation-maximization algorithm
- global positioning system
- Global Positioning System
- GPS
- inertial measurement unit
- interacting multiple model approach
- Kalman filters
- multilevel sensor fusion
- narrow street canyons
- narrow tunnels
- online parameter estimation
- parameter estimation
- road vehicles
- robust vehicle localization
- sensor fusion
- state noise covariances
- time-variant multilevel Kalman filter
- vehicle tracking algorithm
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2009/BePeHa09.pdf
oa: '1'
page: 235-242
publication: 6th Workshop on Positioning Navigation and Communication (WPNC 2009)
status: public
title: Robust vehicle localization based on multi-level sensor fusion and online parameter
estimation
type: conference
user_id: '44006'
year: '2009'
...
---
_id: '37066'
abstract:
- lang: eng
text: Today, mobile and embedded real-time systems have to cope with the migration
and allocation of multiple software tasks running on top of a real-time operating
system (RTOS) residing on one or multiple system processors. Abstract RTOS simulations
and timing analysis applies for fast and early estimation to configure it towards
the individual needs of the application and environment. In this context, a high
accuracy of the simulation compared to an instruction set simulation (ISS) is
of key importance. In this paper, we investigate the accuracy of abstract RTOS
simulation and compare it to ISS and the behavior of the physical system. We show
that we can reach an increased accuracy of the simulation when we inject noise
into the time model. Our results indicate that it is sufficient to inject uniformly
distributed random time values to the RTOS real-time clock.
author:
- 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: 'Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract
RTOS Simulation. In: Proceedings of DATE’09. ; 2009. doi:10.1109/DATE.2009.5090925'
apa: Zabel, H., & Müller, W. (2009). Increased Accuracy through Noise Injection
in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation
& Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090925
bibtex: '@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased
Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925},
booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang},
year={2009} }'
chicago: Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise
Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice,
France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
ieee: 'H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract
RTOS Simulation,” presented at the Design, Automation & Test in Europe Conference
& Exhibition, 2009, doi: 10.1109/DATE.2009.5090925.'
mla: Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection
in Abstract RTOS Simulation.” Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
short: 'H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.'
conference:
name: Design, Automation & Test in Europe Conference & Exhibition
date_created: 2023-01-17T11:51:44Z
date_updated: 2023-01-17T11:51:48Z
department:
- _id: '672'
doi: 10.1109/DATE.2009.5090925
keyword:
- Timing
- Analytical models
- Clocks
- Performance analysis
- Scheduling
- Operating systems
- Delay
- Real time systems
- Application software
- Context modeling
language:
- iso: eng
place: Nice, France
publication: Proceedings of DATE'09
publication_identifier:
isbn:
- 978-1-4244-3781-8
status: public
title: Increased Accuracy through Noise Injection in Abstract RTOS Simulation
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '37075'
abstract:
- lang: eng
text: Complex control oriented embedded systems with hard real-time constraints
require real-time operation system (RTOS) for predictable timing behavior. To
support the evaluation of different scheduling strategies and task priorities,
we use an abstract RTOS model based on SystemC. In this article, we present an
annotation method for time estimation that supports flexible simulation and validation
of real-time-constraints for task migration between different target processors
without loss of simulation performance and less memory overhead.
author:
- 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: Zabel H, Müller W. An Efficient Time Annotation Technique in Abstract RTOS
Simulations for Multiprocessor Task Migration. Kleinjohann L, Kleinjohann B, eds.
2008;271. doi:10.1007/978-0-387-09661-2_18
apa: Zabel, H., & Müller, W. (2008). An Efficient Time Annotation Technique
in Abstract RTOS Simulations for Multiprocessor Task Migration (L. Kleinjohann
& B. Kleinjohann, Eds.; Vol. 271). Springer Verlag. https://doi.org/10.1007/978-0-387-09661-2_18
bibtex: '@article{Zabel_Müller_2008, place={Dordrecht}, series={ IFIP – The International
Federation for Information Processing}, title={An Efficient Time Annotation Technique
in Abstract RTOS Simulations for Multiprocessor Task Migration}, volume={271},
DOI={10.1007/978-0-387-09661-2_18},
publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann,
L. and Kleinjohann, B.}, year={2008}, collection={ IFIP – The International Federation
for Information Processing} }'
chicago: 'Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique
in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L.
Kleinjohann and B. Kleinjohann. IFIP – The International Federation for Information
Processing. Dordrecht: Springer Verlag, 2008. https://doi.org/10.1007/978-0-387-09661-2_18.'
ieee: 'H. Zabel and W. Müller, “An Efficient Time Annotation Technique in Abstract
RTOS Simulations for Multiprocessor Task Migration,” vol. 271. Springer Verlag,
Dordrecht, 2008, doi: 10.1007/978-0-387-09661-2_18.'
mla: Zabel, Henning, and Wolfgang Müller. An Efficient Time Annotation Technique
in Abstract RTOS Simulations for Multiprocessor Task Migration. Edited by
L. Kleinjohann and B. Kleinjohann, vol. 271, Springer Verlag, 2008, doi:10.1007/978-0-387-09661-2_18.
short: H. Zabel, W. Müller, 271 (2008).
conference:
name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
2008)
date_created: 2023-01-17T12:08:21Z
date_updated: 2023-01-17T12:08:25Z
department:
- _id: '672'
doi: 10.1007/978-0-387-09661-2_18
editor:
- first_name: L.
full_name: Kleinjohann, L.
last_name: Kleinjohann
- first_name: B.
full_name: Kleinjohann, B.
last_name: Kleinjohann
intvolume: ' 271'
keyword:
- Execution Time Schedule Strategy Simulation Speed Task Migration Atomic
Block
language:
- iso: eng
place: Dordrecht
publication_identifier:
isbn:
- 978-0-387-09660-5
publisher: Springer Verlag
series_title: ' IFIP – The International Federation for Information Processing'
status: public
title: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor
Task Migration
type: conference
user_id: '5786'
volume: 271
year: '2008'
...
---
_id: '10646'
author:
- first_name: Klaus
full_name: Danne, Klaus
last_name: Danne
- first_name: Roland
full_name: Mühlenbernd, Roland
last_name: Mühlenbernd
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: Danne K, Mühlenbernd R, Platzner M. Server-based execution of periodic tasks
on dynamically reconfigurable hardware. IET Computers Digital Techniques.
2007;1(4):295-302. doi:10.1049/iet-cdt:20060186
apa: Danne, K., Mühlenbernd, R., & Platzner, M. (2007). Server-based execution
of periodic tasks on dynamically reconfigurable hardware. IET Computers Digital
Techniques, 1(4), 295–302. https://doi.org/10.1049/iet-cdt:20060186
bibtex: '@article{Danne_Mühlenbernd_Platzner_2007, title={Server-based execution
of periodic tasks on dynamically reconfigurable hardware}, volume={1}, DOI={10.1049/iet-cdt:20060186},
number={4}, journal={IET Computers Digital Techniques}, author={Danne, Klaus and
Mühlenbernd, Roland and Platzner, Marco}, year={2007}, pages={295–302} }'
chicago: 'Danne, Klaus, Roland Mühlenbernd, and Marco Platzner. “Server-Based Execution
of Periodic Tasks on Dynamically Reconfigurable Hardware.” IET Computers Digital
Techniques 1, no. 4 (2007): 295–302. https://doi.org/10.1049/iet-cdt:20060186.'
ieee: K. Danne, R. Mühlenbernd, and M. Platzner, “Server-based execution of periodic
tasks on dynamically reconfigurable hardware,” IET Computers Digital Techniques,
vol. 1, no. 4, pp. 295–302, 2007.
mla: Danne, Klaus, et al. “Server-Based Execution of Periodic Tasks on Dynamically
Reconfigurable Hardware.” IET Computers Digital Techniques, vol. 1, no.
4, 2007, pp. 295–302, doi:10.1049/iet-cdt:20060186.
short: K. Danne, R. Mühlenbernd, M. Platzner, IET Computers Digital Techniques 1
(2007) 295–302.
date_created: 2019-07-10T11:10:54Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
doi: 10.1049/iet-cdt:20060186
intvolume: ' 1'
issue: '4'
keyword:
- reconfigurable architectures
- resource allocation
- device reconfiguration time
- dynamic hardware reconfiguration
- dynamically reconfigurable hardware
- light-weight runtime system
- merge server distribute load
- periodic real-time tasks
- runtime system overheads
- schedulability analysis
- scheduling technique
- server-based execution
- synthesis tool flow
language:
- iso: eng
page: 295-302
publication: IET Computers Digital Techniques
publication_identifier:
issn:
- 1751-8601
status: public
title: Server-based execution of periodic tasks on dynamically reconfigurable hardware
type: journal_article
user_id: '3118'
volume: 1
year: '2007'
...
---
_id: '11785'
abstract:
- lang: eng
text: 'In this paper we present a novel channel impulse response estimation technique
for block-oriented OFDM transmission based on combining estimators: the estimates
provided by a Kalman filter operating in the time domain and a Wiener filter in
the frequency domain are optimally combined by taking into account their estimated
error covariances. The resulting estimator turns out to be identical to the MAP
estimator of correlated jointly Gaussian mean vectors. Different variants of the
proposed scheme are experimentally investigated in an EEEE 802.11a-like system
setup. They compare favourably with known approaches from the literature resulting
in reduced mean square estimation error and bit error rate. Further, robustness
and complexity issues are discussed'
author:
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
- first_name: Maik
full_name: Bevermeier, Maik
last_name: Bevermeier
citation:
ama: 'Haeb-Umbach R, Bevermeier M. OFDM Channel Estimation Based on Combined Estimation
in Time and Frequency Domain. In: IEEE International Conference on Acoustics,
Speech and Signal Processing (ICASSP 2007). Vol 3. ; 2007:III-277-III-280.
doi:10.1109/ICASSP.2007.366526'
apa: Haeb-Umbach, R., & Bevermeier, M. (2007). OFDM Channel Estimation Based
on Combined Estimation in Time and Frequency Domain. In IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2007) (Vol.
3, pp. III-277-III–280). https://doi.org/10.1109/ICASSP.2007.366526
bibtex: '@inproceedings{Haeb-Umbach_Bevermeier_2007, title={OFDM Channel Estimation
Based on Combined Estimation in Time and Frequency Domain}, volume={3}, DOI={10.1109/ICASSP.2007.366526},
booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2007)}, author={Haeb-Umbach, Reinhold and Bevermeier, Maik}, year={2007},
pages={III-277-III–280} }'
chicago: Haeb-Umbach, Reinhold, and Maik Bevermeier. “OFDM Channel Estimation Based
on Combined Estimation in Time and Frequency Domain.” In IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2007), 3:III-277-III–280,
2007. https://doi.org/10.1109/ICASSP.2007.366526.
ieee: R. Haeb-Umbach and M. Bevermeier, “OFDM Channel Estimation Based on Combined
Estimation in Time and Frequency Domain,” in IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2007), 2007, vol. 3, pp.
III-277-III–280.
mla: Haeb-Umbach, Reinhold, and Maik Bevermeier. “OFDM Channel Estimation Based
on Combined Estimation in Time and Frequency Domain.” IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2007), vol. 3, 2007, pp.
III-277-III–280, doi:10.1109/ICASSP.2007.366526.
short: 'R. Haeb-Umbach, M. Bevermeier, in: IEEE International Conference on Acoustics,
Speech and Signal Processing (ICASSP 2007), 2007, pp. III-277-III–280.'
date_created: 2019-07-12T05:28:13Z
date_updated: 2022-01-06T06:51:08Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2007.366526
intvolume: ' 3'
keyword:
- bit error rate
- block-oriented OFDM transmission
- channel estimation
- channel impulse response estimation
- combining estimators
- error statistics
- frequency domain estimation
- Gaussian mean vectors
- Gaussian processes
- Kalman filter
- Kalman filters
- MAP estimator
- maximum likelihood estimation
- OFDM channel estimation
- OFDM modulation
- time domain estimation
- time-frequency analysis
- Wiener filter
- Wiener filters
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2007/HaBe07.pdf
oa: '1'
page: III-277-III-280
publication: IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2007)
status: public
title: OFDM Channel Estimation Based on Combined Estimation in Time and Frequency
Domain
type: conference
user_id: '44006'
volume: 3
year: '2007'
...
---
_id: '6070'
abstract:
- lang: eng
text: 'The Fehrer-Raab effect (simple reaction time is unaffected by metacontrast
masking of the test stimulus) seems to imply that a stimulus can trigger a voluntary
reaction without reaching a conscious representation. However, it is also possible
that the mask triggers the reaction, and that the masked test stimulus causes
a focussing of attention from which processing of the mask profits, thus reaching
conscious representation earlier. This is predicted by the Weather Station Model
of visual masking. Three experiments tested this explanation. Experiment 1 showed
that the masked test stimulus caused a temporal shift of the mask. Experiment
2 showed that the reaction in the Fehrer-Raab effect was not exclusively triggered
by a conscious representation of the test stimulus: the mask was involved in evoking
the reaction. Experiment 3 again revealed a temporal shift of the mask. However,
the shift was only about half as large as the Fehrer-Raab effect. The psychometric
functions suggested tha'
author:
- first_name: Odmar
full_name: Neumann, Odmar
last_name: Neumann
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
citation:
ama: Neumann O, Scharlau I. Experiments on the Fehrer-Raab effect and the “Weather
Station Model” of visual backward masking. Psychological Research. 2007;71(6):667-677.
apa: Neumann, O., & Scharlau, I. (2007). Experiments on the Fehrer-Raab effect
and the “Weather Station Model” of visual backward masking. Psychological Research,
71(6), 667–677.
bibtex: '@article{Neumann_Scharlau_2007, title={Experiments on the Fehrer-Raab effect
and the “Weather Station Model” of visual backward masking.}, volume={71}, number={6},
journal={Psychological Research}, author={Neumann, Odmar and Scharlau, Ingrid},
year={2007}, pages={667–677} }'
chicago: 'Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect
and the ‘Weather Station Model’ of Visual Backward Masking.” Psychological
Research 71, no. 6 (2007): 667–77.'
ieee: O. Neumann and I. Scharlau, “Experiments on the Fehrer-Raab effect and the
‘Weather Station Model’ of visual backward masking.,” Psychological Research,
vol. 71, no. 6, pp. 667–677, 2007.
mla: Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect
and the ‘Weather Station Model’ of Visual Backward Masking.” Psychological
Research, vol. 71, no. 6, 2007, pp. 667–77.
short: O. Neumann, I. Scharlau, Psychological Research 71 (2007) 667–677.
date_created: 2018-12-10T07:04:01Z
date_updated: 2022-06-07T00:19:52Z
department:
- _id: '424'
extern: '1'
intvolume: ' 71'
issue: '6'
keyword:
- Fehrer-Raab effect
- Weather Station Model
- visual backward masking
- reaction time
- metacontrast masking
- conscious representation
- Cognition
- Humans
- Perceptual Masking
- Pilot Projects
- Psychology
- Experimental
- Psychometrics
- Reaction Time
- Visual Perception
- Models
- Reaction Time
- Visual Contrast
- Visual Masking
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/NeumannScharlau2006A.pdf
oa: '1'
page: 667 - 677
publication: Psychological Research
publication_identifier:
issn:
- 0340-0727
publication_status: published
status: public
title: Experiments on the Fehrer-Raab effect and the 'Weather Station Model' of visual
backward masking.
type: journal_article
user_id: '42165'
volume: 71
year: '2007'
...
---
_id: '6079'
abstract:
- lang: eng
text: The present paper reviews recent research on perceptual latency priming (PLP).
PLP is the relative latency advantage--earlier perception--of a visual stimulus
that is preceded by another, masked stimulus at its location. The first stimulus
attracts attention which accelerates perception of the second stimulus. This facilitation
arises even if the first stimulus is visually backward-masked by the second one.
The paper summarises research on temporal and spatial properties of PLP and the
question whether intentions mediate shifts of attention to external events. Possible
sources of PLP besides visuo-spatial attention are discussed. Finally, I give
a review of feedforward and reentrant models of PLP and compare them to the empirical
evidence. (PsycINFO Database Record (c) 2016 APA, all rights reserved)
author:
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
citation:
ama: 'Scharlau I. Perceptual latency priming: A measure of attentional facilitation.
Psychological Research. 2007;71(6):678-686.'
apa: 'Scharlau, I. (2007). Perceptual latency priming: A measure of attentional
facilitation. Psychological Research, 71(6), 678–686.'
bibtex: '@article{Scharlau_2007, title={Perceptual latency priming: A measure of
attentional facilitation.}, volume={71}, number={6}, journal={Psychological Research},
author={Scharlau, Ingrid}, year={2007}, pages={678–686} }'
chicago: 'Scharlau, Ingrid. “Perceptual Latency Priming: A Measure of Attentional
Facilitation.” Psychological Research 71, no. 6 (2007): 678–86.'
ieee: 'I. Scharlau, “Perceptual latency priming: A measure of attentional facilitation.,”
Psychological Research, vol. 71, no. 6, pp. 678–686, 2007.'
mla: 'Scharlau, Ingrid. “Perceptual Latency Priming: A Measure of Attentional Facilitation.”
Psychological Research, vol. 71, no. 6, 2007, pp. 678–86.'
short: I. Scharlau, Psychological Research 71 (2007) 678–686.
date_created: 2018-12-10T07:05:56Z
date_updated: 2022-06-07T00:20:49Z
department:
- _id: '424'
extern: '1'
intvolume: ' 71'
issue: '6'
keyword:
- perceptual latency priming
- attentional facilitation
- visuospatial attention
- visual backward masking
- prior entry
- Attention
- Humans
- Judgment
- Reaction Time
- Space Perception
- Attention
- Priming
- Response Latency
- Visual Masking
- Visuospatial Ability
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/Scharlau2006PsychResPLP.pdf
oa: '1'
page: 678 - 686
publication: Psychological Research
publication_identifier:
issn:
- 0340-0727
publication_status: published
status: public
title: 'Perceptual latency priming: A measure of attentional facilitation.'
type: journal_article
user_id: '42165'
volume: 71
year: '2007'
...
---
_id: '6073'
abstract:
- lang: eng
text: 'The paper is concerned with two models of early visual processing which predict
that priming of a visual mask by a preceding masked stimulus speeds up conscious
perception of the mask (perceptual latency priming). One model ascribes this speed-up
to facilitation by visuo-spatial attention [Scharlau, I., & Neumann, O. (2003a).
Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional
explanation. Psychological Research 67, 184-197], the other attributes it to nonspecific
upgrading mediated by retino-thalamic and thalamo-cortical pathways [Bachmann,
T. (1994). Psychophysiology of visual masking: The fine structure of conscious
experience. Commack, NY: Nova Science Publishers]. The models make different predictions
about the time course of perceptual latency priming. Four experiments test these
predictions. The results provide more support for the attentional than for the
upgrading model. The experiments further demonstrate that testing latency facilitation
w'
author:
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
- first_name: Ulrich
full_name: Ansorge, Ulrich
last_name: Ansorge
- first_name: Gernot
full_name: Horstmann, Gernot
last_name: Horstmann
citation:
ama: 'Scharlau I, Ansorge U, Horstmann G. Latency facilitation in temporal-order
judgments: Time course of facilitation as a function of judgment type. Acta
Psychologica. 2006;122(2):129-159.'
apa: 'Scharlau, I., Ansorge, U., & Horstmann, G. (2006). Latency facilitation
in temporal-order judgments: Time course of facilitation as a function of judgment
type. Acta Psychologica, 122(2), 129–159.'
bibtex: '@article{Scharlau_Ansorge_Horstmann_2006, title={Latency facilitation in
temporal-order judgments: Time course of facilitation as a function of judgment
type.}, volume={122}, number={2}, journal={Acta Psychologica}, author={Scharlau,
Ingrid and Ansorge, Ulrich and Horstmann, Gernot}, year={2006}, pages={129–159}
}'
chicago: 'Scharlau, Ingrid, Ulrich Ansorge, and Gernot Horstmann. “Latency Facilitation
in Temporal-Order Judgments: Time Course of Facilitation as a Function of Judgment
Type.” Acta Psychologica 122, no. 2 (2006): 129–59.'
ieee: 'I. Scharlau, U. Ansorge, and G. Horstmann, “Latency facilitation in temporal-order
judgments: Time course of facilitation as a function of judgment type.,” Acta
Psychologica, vol. 122, no. 2, pp. 129–159, 2006.'
mla: 'Scharlau, Ingrid, et al. “Latency Facilitation in Temporal-Order Judgments:
Time Course of Facilitation as a Function of Judgment Type.” Acta Psychologica,
vol. 122, no. 2, 2006, pp. 129–59.'
short: I. Scharlau, U. Ansorge, G. Horstmann, Acta Psychologica 122 (2006) 129–159.
date_created: 2018-12-10T07:04:39Z
date_updated: 2022-06-07T00:24:32Z
department:
- _id: '424'
extern: '1'
intvolume: ' 122'
issue: '2'
keyword:
- latency facilitation
- temporal order judgments
- visual processing
- priming
- conscious perception
- visual mask
- Adult
- Attention
- Female
- Humans
- Judgment
- Male
- Perceptual Masking
- Reaction Time
- Space Perception
- Time Perception
- Visual Perception
- Consciousness States
- Judgment
- Priming
- Visual Masking
- Temporal Order (Judgment)
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/ScharlauAnsorgeHorstmann2006TimeCourse.pdf
oa: '1'
page: 129 - 159
publication: Acta Psychologica
publication_identifier:
issn:
- 0001-6918
publication_status: published
status: public
title: 'Latency facilitation in temporal-order judgments: Time course of facilitation
as a function of judgment type.'
type: journal_article
user_id: '42165'
volume: 122
year: '2006'
...
---
_id: '39029'
abstract:
- lang: eng
text: UML 2.0 provides a rich set of diagrams for systems documentation and specification.
Much effort has been undertaken to employ different aspects of UML for multiple
domains, mainly in the area of software systems. Considering the area of electronic
design automation, however, we currently see only very few approaches which investigate
UML for hardware design and hardware/software co-design. We present an approach
for executable UML closing the gap from system specification to its model-based
execution on reconfigurable hardware. For this purpose, we present our abstract
execution platform (AEP), which is based on a virtual machine running an executable
UML subset for embedded software and reconfigurable hardware. This subset combines
UML 2.0 classes, state-machines and sequence diagrams for a complete system specification.
We describe how these binary encoded UML specifications can be directly executed
and give the implementation of such a virtual machine on a Virtex II FPGA. Finally,
we present evaluation results comparing the AEP implementation with C code on
a C167 microcontroller.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable
Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE;
2005. doi:10.1109/DATE.2005.20'
apa: Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach
for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05.
https://doi.org/10.1109/DATE.2005.20
bibtex: '@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany
}, title={A Model-Based Approach for Executable Specification on Reconfigurable
Hardware}, DOI={10.1109/DATE.2005.20},
booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim
and Müller, Wolfgang and Rettberg, Achim}, year={2005} }'
chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based
Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings
of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.'
ieee: 'T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for
Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.'
mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification
on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE,
Munich, Germany , 2005.'
date_created: 2023-01-24T08:10:40Z
date_updated: 2023-01-24T08:10:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2005.20
keyword:
- Hardware
- Unified modeling language
- Virtual machining
- Object oriented modeling
- Field programmable gate arrays
- Java
- Microcontrollers
- Embedded software
- Real time systems
- Documentation
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of DATE’05
publication_identifier:
isbn:
- 0-7695-2288-2
publisher: IEEE
status: public
title: A Model-Based Approach for Executable Specification on Reconfigurable Hardware
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '6068'
abstract:
- lang: eng
text: Attending to a location shortens the perceptual latency of stimuli appearing
at this location (perceptual latency priming). According to attentional explanations,
perceptual latency priming relies on the speeded transfer of attended visual information
into an internal model. However, doubts about the attentional origin have repeatedly
been raised because efforts to minimize response bias have been insufficient in
most studies. Five experiments investigated the contribution of a response bias
to perceptual latency priming (judgment bias due to the two-alternative forced-choice
method and due to the existence of the prime, criterion effects or second-order
bias, sensorimotor priming). If any, only small response biases were found. The
results thus support the attentional explanation. (PsycINFO Database Record (c)
2016 APA, all rights reserved)
author:
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
citation:
ama: Scharlau I. Evidence against response bias in temporal order tasks with attention
manipulation by masked primes. Psychological Research. 2004;68(4):224-236.
apa: Scharlau, I. (2004). Evidence against response bias in temporal order tasks
with attention manipulation by masked primes. Psychological Research, 68(4),
224–236.
bibtex: '@article{Scharlau_2004, title={Evidence against response bias in temporal
order tasks with attention manipulation by masked primes.}, volume={68}, number={4},
journal={Psychological Research}, author={Scharlau, Ingrid}, year={2004}, pages={224–236}
}'
chicago: 'Scharlau, Ingrid. “Evidence against Response Bias in Temporal Order Tasks
with Attention Manipulation by Masked Primes.” Psychological Research 68,
no. 4 (2004): 224–36.'
ieee: I. Scharlau, “Evidence against response bias in temporal order tasks with
attention manipulation by masked primes.,” Psychological Research, vol.
68, no. 4, pp. 224–236, 2004.
mla: Scharlau, Ingrid. “Evidence against Response Bias in Temporal Order Tasks with
Attention Manipulation by Masked Primes.” Psychological Research, vol.
68, no. 4, 2004, pp. 224–36.
short: I. Scharlau, Psychological Research 68 (2004) 224–236.
date_created: 2018-12-10T07:03:30Z
date_updated: 2022-06-07T00:25:03Z
department:
- _id: '424'
extern: '1'
intvolume: ' 68'
issue: '4'
keyword:
- response bias
- temporal order tasks
- attention manipulation
- masked primes
- perceptual latency priming
- Adult
- Attention
- Discrimination Learning
- Female
- Humans
- Male
- Memory
- Short-Term
- Orientation
- Pattern Recognition
- Visual
- Perceptual Masking
- Psychomotor Performance
- Psychophysics
- Reaction Time
- Serial Learning
- Attention
- Latent Learning
- Priming
- Response Bias
- Visual Perception
- Response Latency
- Temporal Order (Judgment)
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/Scharlau2004PsychResResponseBiasFinal.pdf
oa: '1'
page: 224 - 236
publication: Psychological Research
publication_identifier:
issn:
- 0340-0727
publication_status: published
status: public
title: Evidence against response bias in temporal order tasks with attention manipulation
by masked primes.
type: journal_article
user_id: '42165'
volume: 68
year: '2004'
...
---
_id: '39069'
abstract:
- lang: eng
text: We present the syntax and semantics of a past- and future-oriented temporal
extension of the Object Constraint Language (OCL). Our extension supports designers
to express time-bounded properties over a state-oriented UML model of a system
under development. The semantics is formally defined over the system states of
a mathematical object model. Additionally, we present a mapping to Clocked Linear
Temporal Logic (Clocked LTL) formulae, which is the basis for further application
in verification with model checking. We demonstrate the applicability of the approach
by the example of a buffer specification in the context of a production system.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties
with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516'
apa: Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal
Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second
International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
bibtex: '@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past-
and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516},
booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and
Müller, Wolfgang}, year={2004} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China:
IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.'
ieee: 'S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties
with OCL,” presented at the Proceedings of the Second International Conference
on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.'
mla: Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
short: 'S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.'
conference:
name: ' Proceedings of the Second International Conference on Software Engineering
and Formal Methods'
date_created: 2023-01-24T09:03:36Z
date_updated: 2023-01-24T09:03:41Z
department:
- _id: '672'
doi: 10.1109/SEFM.2004.1347516
keyword:
- Unified modeling language
- Logic
- Clocks
- Boolean functions
- Application software
- Time factors
- Real time systems
- Formal verification
- Buffer storage
- Software packages
language:
- iso: eng
place: Beijing, China
publication: Proceedings of SEFM´04
publication_identifier:
isbn:
- 0-7695-2222-X
publisher: IEEE
status: public
title: Past- and Future-Oriented Time-Bound Temporal Properties with OCL
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '34565'
abstract:
- lang: eng
text: "The textual Object Constraint Language (OCL) is primarily intended to specify
restrictions over UML class diagrams, in particular class invariants, operation
pre-, and postconditions. Based on several improvements in the definition of the
language concepts in last years, a proposal for a new version of OCL has recently
been published [43]. That document provides an extensive OCL semantic description
that constitutes a tight integration into UML. However, OCL still lacks a semantic
integration of UML Statecharts, although it can already be used to refer to states
in OCL expressions.\r\n\r\nThis article presents an approach that closes this
gap and introduces a formal semantics for such integration through a mathematical
model. It also presents the definition of a temporal OCL extension by means of
a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension
enables modelers to specify behavioral state-oriented real-time constraints. It
provides an intuitive understanding and readability at application level since
common OCL syntax and concepts are preserved. A well-defined formal semantics
is given through the mapping of temporal OCL expressions to temporal logics formulae. "
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL
Constraints. Journal on Software and System Modeling (SoSyM). 2003;2(3):164-186.
doi:10.1007/s10270-003-0026-x
apa: Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal
State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM),
2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
bibtex: '@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal
State-Oriented OCL Constraints}, volume={2}, DOI={10.1007/s10270-003-0026-x},
number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag},
author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal
State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM)
2, no. 3 (2003): 164–86. https://doi.org/10.1007/s10270-003-0026-x.'
ieee: 'S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented
OCL Constraints,” Journal on Software and System Modeling (SoSyM), vol.
2, no. 3, pp. 164–186, 2003, doi: 10.1007/s10270-003-0026-x.'
mla: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal
State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM),
vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:10.1007/s10270-003-0026-x.
short: S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003)
164–186.
date_created: 2022-12-19T12:26:46Z
date_updated: 2022-12-19T12:27:00Z
department:
- _id: '672'
doi: 10.1007/s10270-003-0026-x
intvolume: ' 2'
issue: '3'
keyword:
- Object Constraint Language UML Statecharts UML Profile Real-time constraints Temporal
logics
language:
- iso: eng
page: 164-186
publication: Journal on Software and System Modeling (SoSyM)
publisher: Springer-Verlag
status: public
title: Formal Semantics of Static and Temporal State-Oriented OCL Constraints
type: journal_article
user_id: '5786'
volume: 2
year: '2003'
...
---
_id: '6065'
abstract:
- lang: eng
text: 'In the direct parameter specification (DPS) mode of sensorimotor control,
response parameters can be specified by stimuli that are not consciously perceived
[Psychological Research/Psychologische Forschung 52 (1990) 207]. DPS is contingent
on the current intentions. The invisible stimuli can be processed for the purposes
of sensorimotor control only if they match the actual intentions, for example,
share task-relevant features. The present experiments explore whether attentional
capture by masked abrupt-onset stimuli is mediated via DPS. Participants judged
which of two visual targets appeared first. Masked primes preceded one of the
targets. The primes were either similar to the targets or not, in shape, or in
color. Target-like (task-relevant), but not distractor-like (task-irrelevant),
primes facilitated perceptual latencies of targets trailing at their positions.
Thus, the latency effects resulted from DPS of an attention shift, rather than
from bottom-up capture or from top-down '
author:
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
- first_name: Ulrich
full_name: Ansorge, Ulrich
last_name: Ansorge
citation:
ama: 'Scharlau I, Ansorge U. Direct parameter specification of an attention shift:
Evidence from perceptual latency priming. Vision Research. 2003;43(12):1351-1363.'
apa: 'Scharlau, I., & Ansorge, U. (2003). Direct parameter specification of
an attention shift: Evidence from perceptual latency priming. Vision Research,
43(12), 1351–1363.'
bibtex: '@article{Scharlau_Ansorge_2003, title={Direct parameter specification of
an attention shift: Evidence from perceptual latency priming.}, volume={43}, number={12},
journal={Vision Research}, author={Scharlau, Ingrid and Ansorge, Ulrich}, year={2003},
pages={1351–1363} }'
chicago: 'Scharlau, Ingrid, and Ulrich Ansorge. “Direct Parameter Specification
of an Attention Shift: Evidence from Perceptual Latency Priming.” Vision Research
43, no. 12 (2003): 1351–63.'
ieee: 'I. Scharlau and U. Ansorge, “Direct parameter specification of an attention
shift: Evidence from perceptual latency priming.,” Vision Research, vol.
43, no. 12, pp. 1351–1363, 2003.'
mla: 'Scharlau, Ingrid, and Ulrich Ansorge. “Direct Parameter Specification of an
Attention Shift: Evidence from Perceptual Latency Priming.” Vision Research,
vol. 43, no. 12, 2003, pp. 1351–63.'
short: I. Scharlau, U. Ansorge, Vision Research 43 (2003) 1351–1363.
date_created: 2018-12-10T07:01:37Z
date_updated: 2022-06-07T00:26:34Z
department:
- _id: '424'
extern: '1'
intvolume: ' 43'
issue: '12'
keyword:
- direct parameter specification
- DPS
- attention shift
- latency priming
- sensorimotor control
- stimuli
- task-relevant features
- visual targets
- color
- shape
- latency effects
- Adult
- Attention
- Discrimination (Psychology)
- Female
- Humans
- Judgment
- Male
- Perceptual Masking
- Reaction Time
- Visual Perception
- Attention
- Perceptual Motor Processes
- Response Latency
- Stimulus Onset
- Visual Stimulation
- Form and Shape Perception
- Sensory Adaptation
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/ScharlauAnsorge2003VisResDPS.pdf
oa: '1'
page: 1351 - 1363
publication: Vision Research
publication_identifier:
issn:
- 0042-6989
publication_status: published
status: public
title: 'Direct parameter specification of an attention shift: Evidence from perceptual
latency priming.'
type: journal_article
user_id: '42165'
volume: 43
year: '2003'
...
---
_id: '6078'
abstract:
- lang: eng
text: Four experiments investigated the influence of a metacontrast-masked prime
on temporal order judgments. The main results were (1) that a masked prime reduced
the latency of the mask's conscious perception (perceptual latency priming), (2)
that this effect was independent of whether the prime suffered strong or weak
masking, (3) that it was unaffected by the degree of visual similarity between
the prime and the mask, and that (4) there was no difference between congruent
and incongruent primes. Finding (1) suggests that location cueing affects not
only response times but also the latency of conscious perception. (2) The finding
that priming was unaffected by the prime's detectability argues against a response
bias interpretation of this effect. (3) Since visual similarity had no effect
on the prime's efficiency, it is unlikely that sensory priming was involved. (4)
The lack of a divergence between the effects of congruent and incongruent primes
implies a functional difference between t
author:
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
- first_name: Odmar
full_name: Neumann, Odmar
last_name: Neumann
citation:
ama: 'Scharlau I, Neumann O. Perceptual latency priming by masked and unmasked stimuli:
Evidence for an attentional interpretation. Psychological Research. 2003;67(3):184-196.'
apa: 'Scharlau, I., & Neumann, O. (2003). Perceptual latency priming by masked
and unmasked stimuli: Evidence for an attentional interpretation. Psychological
Research, 67(3), 184–196.'
bibtex: '@article{Scharlau_Neumann_2003, title={Perceptual latency priming by masked
and unmasked stimuli: Evidence for an attentional interpretation.}, volume={67},
number={3}, journal={Psychological Research}, author={Scharlau, Ingrid and Neumann,
Odmar}, year={2003}, pages={184–196} }'
chicago: 'Scharlau, Ingrid, and Odmar Neumann. “Perceptual Latency Priming by Masked
and Unmasked Stimuli: Evidence for an Attentional Interpretation.” Psychological
Research 67, no. 3 (2003): 184–96.'
ieee: 'I. Scharlau and O. Neumann, “Perceptual latency priming by masked and unmasked
stimuli: Evidence for an attentional interpretation.,” Psychological Research,
vol. 67, no. 3, pp. 184–196, 2003.'
mla: 'Scharlau, Ingrid, and Odmar Neumann. “Perceptual Latency Priming by Masked
and Unmasked Stimuli: Evidence for an Attentional Interpretation.” Psychological
Research, vol. 67, no. 3, 2003, pp. 184–96.'
short: I. Scharlau, O. Neumann, Psychological Research 67 (2003) 184–196.
date_created: 2018-12-10T07:05:43Z
date_updated: 2022-06-07T00:27:08Z
department:
- _id: '424'
extern: '1'
intvolume: ' 67'
issue: '3'
keyword:
- perceptual latency priming
- temporal order judgments
- masked stimuli
- unmasked stimuli
- attentional interpretation
- response times
- location cueing
- visual perception
- Adult
- Attention
- Female
- Humans
- Male
- Models
- Psychological
- Perceptual Masking
- Psychometrics
- Reaction Time
- Task Performance and Analysis
- Time Perception
- Masking
- Reaction Time
- Response Latency
- Stimulus Parameters
- Visual Contrast
- Attention
- Cues
- Priming
- Temporal Frequency
- Temporal Order (Judgment)
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/ScharlauNeumann2003PsychResPLP.pdf
oa: '1'
page: 184 - 196
publication: Psychological Research
publication_identifier:
issn:
- 0340-0727
publication_status: published
status: public
title: 'Perceptual latency priming by masked and unmasked stimuli: Evidence for an
attentional interpretation.'
type: journal_article
user_id: '42165'
volume: 67
year: '2003'
...