2,831 Hits in 6.1 sec

Automated Vehicles as a Space for Work & Wellbeing

Bastian Pfleging, Andrew L Kun, Orit Shaer
2022 CHI Conference on Human Factors in Computing Systems Extended Abstracts  
CCS CONCEPTS • Human-centered computing → Human computer interaction (HCI); Ubiquitous and mobile computing.  ...  The objective of this in-person CHI course is to provide CHI attendees with an introduction and overview of the rapidly evolving field of automotive user interfaces (AutomotiveUI).  ...  ACKNOWLEDGMENTS Andrew Kun and Orit Shaer are supported in part by NSF grants CMMI-1840085 and CMMI-1840031.  ... 
doi:10.1145/3491101.3503766 fatcat:xqe5v7il6va6nkgy43ax5nxmqa

Empathic Interactions in Automated Vehicles #EmpathicCHI

Karl Daher, Marine Capallera, Chiara Lucifora, Jacky Casas, Quentin Meteier, Mira El Kamali, Abdallah El Ali, Giorgio Mario Grosso, Gérard Chollet, Omar Abou Khaled, Elena Mugellini
2021 Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems  
and "How to measure the trust between the user and the autonomous vehicle?" will be addressed in this workshop. CCS CONCEPTS • Human-centered computing → Human computer interaction (HCI).  ...  We believe it is essential to investigate the use of emotional conversational agents in the automotive context to build a solid relationship between the driver and the vehicle.  ...  Omar Abou Khaled is a Professor at the University of Applied Sciences and Arts Western Switzerland. His research felds are Human-Computer Interaction and Wearable and Ubiquitous computing.  ... 
doi:10.1145/3411763.3441359 fatcat:52ey6lbbubgtrjmw5j4m36d5fq

Page 1185 of Psychological Abstracts Vol. 91, Issue 3 [page]

2004 Psychological Abstracts  
in this domain.  ...  (Engineering Research Center for Reconfigurable Machining Systems, Department of Mechanical Engi- neering, University of Michigan, Ann Arbor, MI) A study of current logic design practices in the automotive  ... 

BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract)

Alexandre Donzé, Jyotirmoy V. Deshmukh, Sebastian Steinhorst
2020 Design, Automation, and Test in Europe  
It is used in academia as well as for industrial applications, in particular in the automotive domain.  ...  Falsification is a type of approach that goes beyond testing in the direction of a more formal methodology. It has emerged in the recent years with some success.  ...  Stemming from the domains of logic, computation, digital circuits and later software verification, formal methods were developed to automate the process of proving that a given design satisfy a given requirement  ... 
doi:10.4230/oasics.asd.2020.5 dblp:conf/date/Donze20 fatcat:5m65e3zikvd4lji2tekbhe5ys4


1991 Bulletin of the Psychonomic Society  
Transfer was significantly better when (a) analogous structural relations were relatively less embedded in domain-specific detail and language, (b) abstract rather than domain-specific verbs were used  ...  POLSON, University ofColoradn (sponsored by Walter Kintsch)-Learners can acquire planning skills in domains such as computer command production by receiving information in the form of help prompts.  ... 
doi:10.3758/bf03333973 fatcat:rgrc3vz6gbfcfhw5srwul35jr4

Automotive user interface research moves into fast lane

Susanne C.J. Boll, Andrew L. Kun, Peter Fröhlich, James Foley
2013 CHI '13 Extended Abstracts on Human Factors in Computing Systems on - CHI EA '13  
This SIG will explore issues related to the design of invehicle human-computer interfaces.  ...  A modern vehicle's human-computer interface often facilitates the basic operation of the vehicle, but also provides more advanced features, such as assistive cruise control and lane keeping.  ...  Today, due to tremendous advances in ubiquitous computing, invehicle devices provide myriad communication options and sources of information.  ... 
doi:10.1145/2468356.2468821 dblp:conf/chi/BollKFF13 fatcat:tl32cfmfunha5c4bpm7t3z2s54

2013 Abstracts

Joseph Horzempa
2016 Proceedings of the West Virginia Academy of Science  
Abstracts for the 2013 WVAS meeting.  ...  Isoform Cα is found ubiquitously among every tissue in the human body, whereas Cγ is only found in the testes of males.  ...  We computed fractal dimensions of the EEG signals and also converted the time-series EEG data into frequency domain using Discrete Fourier Transformation (DFT).  ... 
doi:10.55632/pwvas.v85i1.146 fatcat:uml2xk4xhvfyba3d7riknjuzn4

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL [chapter]

Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
2013 Lecture Notes in Computer Science  
Abstract resolution generalises resolution to accommodate formula manipulation in an abstract domain. 2.  ...  One approach for smt solvers to improve efficiency is to delegate reasoning to abstract domains.  ...  Introduction Numeric software that manipulates floating-point variables is ubiquitous in automotive, avionic, medical, public transportation and other safety critical systems.  ... 
doi:10.1007/978-3-642-38856-9_22 fatcat:bnvit65lvjdfncvpynv5tzqmga

Magni - A Framework for Developing Context-Aware Mobile Applications [chapter]

Ricardo Queirós, Filipe Portela, José Machado
2017 Advances in Intelligent Systems and Computing  
In order to validate the framework, we present a prototype for an healthcare automotive app.  ...  In this paper we present Magni as an abstract framework for the design and implementation of personalized and context-aware mobile applications.  ...  In addition, none of them abstracts the use of ubiquitous platforms such as wearable and automotive platforms. This paper presents Magni -a framework for developing context-aware mobile applications.  ... 
doi:10.1007/978-3-319-56541-5_43 fatcat:sgenijahyrax5hoct637efeajm

Abstraction Based Model-Checking of Stability of Hybrid Systems [chapter]

Pavithra Prabhakar, Miriam Garcia Soto
2013 Lecture Notes in Computer Science  
We propose a new abstract data structure, namely, finite weighted graphs, and a modification of the predicate abstraction based on the faces in the system description.  ...  We show that the abstraction is sound in that a positive result on the analysis of the graph implies that the original system is stable.  ...  We would like to thank Mahesh Viswanathan for discussions on the topic.  ... 
doi:10.1007/978-3-642-39799-8_20 fatcat:mit7ptmvsrgtdpvnjnly6a4f3q

Human-Centered Explainable AI (HCXAI): Beyond Opening the Black-Box of AI

Upol Ehsan, Philipp Wintersberger, Q. Vera Liao, Elizabeth Anne Watkins, Carina Manger, Hal Daumé III, Andreas Riener, Mark O Riedl
2022 CHI Conference on Human Factors in Computing Systems Extended Abstracts  
We chart the domain and shape the HCXAI discourse with refective discussions from diverse stakeholders.  ...  Explainability of AI systems is crucial to hold them accountable because they are increasingly becoming consequential in our lives by powering high-stakes decisions in domains like healthcare and law.  ...  Before she joined the Human-Computer Interaction Group, she obtained degrees in Psychology and Human Factors Engineering and worked on intelligent user interfaces in the automotive industry.  ... 
doi:10.1145/3491101.3503727 fatcat:gbix2u5a2faihdkfkra4egu3fy

Mid-Air Haptics for Control Interfaces

Marcello Giordano, Orestis Georgiou, Brygida Dzidek, Loic Corenthy, Jin Ryong Kim, Sriram Subramanian, Stephen A. Brewster
2018 Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18  
The goal of this workshop is to bring together the growing mid-air haptic research community to identify and discuss future challenges in control interfaces and their application in AR/VR, automotive,  ...  On the other hand, these controllers inherently lack active or passive haptic feedback to inform users about the results of their interaction.  ...  Stephen Brewster is Professor of HCI in the Department of Computing Science at the University of Glasgow, UK, specializing in Multimodal Human-Computer Interaction, sound and haptics and gestures.  ... 
doi:10.1145/3170427.3170625 dblp:conf/chi/GiordanoGDCKSB18 fatcat:5fzapirczvatriiyv6k4epyiuu

Cyber Physical Vehical System

2017 International Journal of Recent Trends in Engineering and Research  
, stability, robustness, and efficiency in working with physical systems of numerous application domains".  ...  Most relevant to the work in this paper is the application of CPS research to vehicle systems. In this  ...  Typically, controllers are designed in either the digital domain directly or in the continuous-time domain and then discretized .  ... 
doi:10.23883/ijrter.2017.3193.y7u0d fatcat:nj23rflcjza2ncuipllglhrzwy

Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems

Eugene Syriani, Manuel Wimmer
2021 Journal of Software and Systems Modeling  
In total, we accepted five submissions for publication in the theme section after a thorough peer-reviewing process.  ...  This theme section aims to disseminate the latest research results in the area of Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS).  ...  We also thank our reviewers for the timely manner in which they assisted in choosing and making suggestions to improve the selected papers in a especially challenging time period due to COVID-19.  ... 
doi:10.1007/s10270-021-00882-1 pmid:33841064 pmcid:PMC8020369 fatcat:ibzozp4bt5hv5nljfokj7dnsge

MEEC: First Workshop on Momentary Emotion Elicitation and Capture

Abdallah El Ali, Monica Perusquía-Hernández, Pete Denman, Yomna Abdelrahman, Mariam Hassib, Alexander Meschtscherjakov, Denzil Ferreira, Niels Henze
2020 Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems  
., auditory, taste, olfactory) elicitation • emotion elicitation across domains (e.g., automotive, healthcare) • elicitation and immersiveness (e.g., AR, VR) • elicitation over time (e.g., mood) • ethical  ...  Author Keywords CCS Concepts •Human-centered computing → Human computer interaction (HCI); HCI design and evaluation methods; Background In the April 2018 issue of the Communications of the ACM, it  ... 
doi:10.1145/3334480.3375175 dblp:conf/chi/AliPDAHMFH20 fatcat:wnad6obp45eivekrwutipnsnh4
« Previous Showing results 1 — 15 out of 2,831 results