Results 21 to 30 of about 3,028,845 (288)
The Use of Language Projection for Compositional Verification of Discrete Event Systems [PDF]
, 2008 This paper proposes the use of abstraction by language projection to improve the performance of compositional verification to prove or disprove that a large system of composed finite-state machines satisfies a given safety property.
Simon Ware +3 more
core +1 more source
Bioinspired event-driven collision avoidance algorithm based on optic flow [PDF]
, 2015 Any mobile agent, whether biological or robotic, needs to avoid collisions with obstacles. Insects, such as bees and flies, use optic flow to estimate the relative nearness to obstacles. Optic flow induced by ego-motion is composed of a translational and
Benosmanz, Ryad +12 more
core +1 more source
Influence of music on anxiety induced by fear of heights in virtual reality
Frontiers in Psychology, 2016 Music is a potent mood regulator that can induce relaxation and reduce anxiety in different situations. While several studies demonstrate that certain types of music have a subjective anxiolytic effect, the reported results from physiological responses ...
Sofia eSeinfeld +12 more
doaj +1 more source
Safety monitoring of COVID-19 vaccination among adolescents aged 12 to 17 years old in the Republic of Korea [PDF]
Osong Public Health and Research Perspectives, 2022 Objectives This study aimed to disseminate information on coronavirus disease 2019 (COVID-19) vaccine safety among adolescents aged 12 to 17 years in the Republic of Korea.
Seontae Kim +4 more
doaj +1 more source
Journal of the American Heart Association: Cardiovascular and Cerebrovascular Disease, 2021 Background The importance of cardiorespiratory fitness for stratifying risk and guiding clinical decisions in patients with cardiovascular disease is well‐established.
James E. Peterman +7 more
doaj +1 more source
Modeling Events and Events of Events in Software Engineering
CoRR, 2020 12 pages, 15 ...
openaire +2 more sources
The Effect of Brand Equity on Brand Attitude and Brand Loyalty in Exhibition
SHS Web of Conferences, 2014 The purpose of this study is to examine the influential relationships among exhibition brand equity, brand attitude and brand loyalty, focusing on the participants of ‘HANATOUR International Travel Show’ to evaluate brand equity and provide some helpful ...
Shin Namju +3 more
doaj +1 more source
Journal of Innovation in Educational and Cultural Research, 2020 This study investigates the concept of perceived value on the customers' intention to revisit Malaysian green resorts. It is a cultural case that happened in Malaysia.
Nor Rabiatul Adawiyah Nor Azam +3 more
doaj +1 more source
Geomatics, Natural Hazards & Risk, 2017 We focus herein on the location, characterization and the quantification of the most active structural feature of Taiwan: the Longitudinal Valley Fault that corresponds to the suture in between the Philippine and Eurasian Plates.
Benoît Deffontaines +7 more
doaj +1 more source
Participation versus nonparticipation in a charity running event [PDF]
, 2017 Hosting sport events to raise money for charitable causes has become pervasive, yet we know little about why individuals choose to participate or not. This study examined the differences between participants and nonparticipants of a hallmark small-scale ...
Gibson, Heather J. +5 more
core +2 more sources