Context-bounded model checking of LTL properties for ANSI-C software
, 2011 Context-bounded model checking has successfully been used to verify safety properties in multi-threaded systems automatically, even if they are implemented in low-level programming languages like ANSI-C.
Denis Nicole +8 more
core +1 more source
A multi-dimensional framework for improving data reliability in mobile crowd sensing
Egyptian Informatics JournalMobile Crowd Sensing (MCS) has become a promising new data perception paradigm. It is to be able to easily submit the wrong or untrusted data for the malicious attackers in such an environment.
Xu Wu, Yanjun Song, Junyu Lai
doaj +1 more source
A Robotic Context Query-Processing Framework Based on Spatio-Temporal Context Ontology
Sensors, 2018 Service robots operating in indoor environments should recognize dynamic changes from sensors, such as RGB-depth (RGB-D) cameras, and recall the past context.
Seokjun Lee, Incheol Kim
doaj +1 more source
Artificial molecular machines and motors—Design and control of nanoscale motion
FEBS Letters, EarlyView.Molecules are constantly moving because of thermal fluctuations, but random motion alone cannot be exploited to perform directional tasks. Artificial molecular machines use chemical, electrical, or light energy to bias this motion. Molecular shuttles, rotary motors, and supramolecular pumps illustrate how nanoscale movement can be controlled and ...
Leonardo Andreoni, Alberto Credi
wiley +1 more source
Attention Dynamics in Spatial-Temporal Contexts
Behavioral SciencesThis study systematically explored the impact of the spatial metaphor of time on attentional bias using visual order stimuli, ranging from fully order to 50% disorder, highlighting the regulatory roles of short-term memory and Gestalt perceptual grouping. Three experiments were conducted.
Wang, Yuying +2 more
openaire +4 more sources
Context-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network [PDF]
Journal of Artificial Intelligence and Data Mining, 2019 Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation ...
N. Khozouie +2 more
doaj +1 more source
Leucine‐rich glioma inactivated 1 (LGI1) is a ganglioside‐binding protein
FEBS Letters, EarlyView.Neuronal hyperexcitability associated with a decrease/absence of the extracellular protein LGI1 has been suggested to be primarily due to the downregulation of Kv1 channel expression. The molecular mechanisms underlying this decrease have not yet been elucidated.
Kévin Debreux +7 more
wiley +1 more source
Changing temporal context in human temporal lobe promotes memory of distinct episodes
Nature Communications, 2019 Memories formed around the same time are linked together by a shared temporal context. Here, the authors show that the ability to selectively retrieve distinct episodic memories formed close together in time is related to how quickly neural ...
Mostafa M. El-Kalliny +5 more
doaj +1 more source
The ubiquitin system in normal and infected germinal center B cells
FEBS Letters, EarlyView.The ubiquitin system plays a central role in germinal center (GC) B cells, influencing differentiation to long‐lived memory B cells. Oncogenic gammaherpesviruses gain access to memory B cells by establishing latency in GC B cells. Mapping ubiquitin mechanisms in normal and infected GC B cells will define specific molecular circuits in B cells germane ...
Destiny Davis +2 more
wiley +1 more source
The effects of global temporal context on choice in concurrent chain schedules of reinforcement
, 2013 Eleven pigeons responded on a concurrent chain schedule of reinforcement in order to\ud examine the effects of global temporal context on initial link choice proportion.
Cozine, Alyssa J.
core