Combining State- and Event-Based Semantics to Verify Highly Available Programs

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_11 ◽

2020 ◽

pp. 213-232

Author(s):

Peter Zeller ◽

Annette Bieniusa ◽

Arnd Poetzsch-Heffter

Keyword(s):

Event Based

Download Full-text

Supplemental Material for Adult Age Differences, Response Management, and Cue Focality in Event-Based Prospective Memory: A Meta-Analysis on the Role of Task Order Specificity

Psychology and Aging ◽

10.1037/a0033653.supp ◽

2013 ◽

Keyword(s):

Prospective Memory ◽

Age Differences ◽

Meta Analysis ◽

Adult Age ◽

Task Order ◽

Adult Age Differences ◽

Cue Focality ◽

Event Based

Download Full-text

Differential Processing of Ongoing Task Items for Non-Focal Event-Based Prospective Memory

PsycEXTRA Dataset ◽

10.1037/e502412013-147 ◽

2012 ◽

Author(s):

Shayne D. Loft ◽

Michael S. Humphreys

Keyword(s):

Prospective Memory ◽

Ongoing Task ◽

Differential Processing ◽

Focal Event ◽

Event Based

Download Full-text

Individual differences in strength of category-based relations vs. event-based relations

PsycEXTRA Dataset ◽

10.1037/e512592013-435 ◽

2011 ◽

Author(s):

D. Mirman ◽

K. M. Graziano

Keyword(s):

Individual Differences ◽

Event Based

Download Full-text

"This Will Be Tough(er)": Influences of Metacognitive Predictions on Cue Monitoring in Event-Based Prospective Memory

PsycEXTRA Dataset ◽

10.1037/e520602012-666 ◽

2011 ◽

Author(s):

Beatrice G. Kuhlmann ◽

Jan Rummel ◽

Dayna R. Touron

Keyword(s):

Prospective Memory ◽

Event Based

Download Full-text

A Comparison of Time-Based and Event-Based Prospective Memory: Effects of Delay

PsycEXTRA Dataset ◽

10.1037/e528942014-831 ◽

2014 ◽

Author(s):

Angela Conte ◽

Dawn McBride

Keyword(s):

Prospective Memory ◽

Memory Effects ◽

Event Based

Download Full-text

The Effect of "Vigilance" Variables on Strategic Monitoring in Event-Based Prospective Memory

PsycEXTRA Dataset ◽

10.1037/e537052012-641 ◽

2004 ◽

Author(s):

Melissa J. Guynn ◽

Joseph M. Baker

Keyword(s):

Prospective Memory ◽

Strategic Monitoring ◽

Event Based

Download Full-text

136. Event-Based Influences on Outdoor Concentrations of Pencillium and the Potential to Affect Indoor Data Interpretation

10.3320/1.2757804 ◽

2003 ◽

Author(s):

G. Crawford ◽

R. Rottersman ◽

J. Morrison

Keyword(s):

Data Interpretation ◽

Event Based

Download Full-text

Multi-target tracking with an event-based vision sensor and a partial-update GMPHD filter

Electronic Imaging ◽

10.2352/issn.2470-1173.2019.13.coimg-127 ◽

2019 ◽

Vol 2019 (13) ◽

pp. 127-1-127-7

Author(s):

Benjamin J. Foster ◽

Dong Hye Ye ◽

Charles A. Bouman

Keyword(s):

Target Tracking ◽

Vision Sensor ◽

Multi Target Tracking ◽

Event Based

Download Full-text

Event-Based Position Tracking Control for Discrete-Time Surface-Mounted Permanent Magnet Synchronous Motor

2019 Chinese Control Conference (CCC) ◽

10.23919/chicc.2019.8866014 ◽

2019 ◽

Author(s):

Ruipeng Huang ◽

Min Wang

Keyword(s):

Permanent Magnet ◽

Discrete Time ◽

Tracking Control ◽

Permanent Magnet Synchronous Motor ◽

Synchronous Motor ◽

Position Tracking ◽

Position Tracking Control ◽

Event Based

Download Full-text

Event-Based Networked Model Predictive Control With Overclocked Local Nodes

2018 European Control Conference (ECC) ◽

10.23919/ecc.2018.8550141 ◽

2018 ◽

Cited By ~ 1

Author(s):

Patrik Simon Berner ◽

Martin Monnigmann

Keyword(s):

Model Predictive Control ◽

Predictive Control ◽

Event Based

Download Full-text