Most Americans do not eat enough fruits and vegetables with significant variation by state. State-level self-reported frequency of fruit and vegetable consumption is available from the Centers for Disease Control and Prevention’s Behavioral Risk Factor Surveillance System (BRFSS). However, BRFSS cannot be used to directly compare states’ progress toward national goals because of incongruence in...

Visual Process Patterns (VPP) is a visual language to describe constraints on the behavior of UML Activities. They have been developed for the sake of formulating and verifying requirements on business process models in a visual, intuitive way (with UML Activities being one possible description language). In the VPP approach, a visual process pattern is translated into an LTL formula, which can...

Four-month-old infants were screened (N = 433) for temperamental patterns thought to predict behavioral inhibition, including motor reactivity and the expression of negative affect. Those selected (N = 153) were assessed at multiple age points across the first 4 years of life for behavioral signs of inhibition as well as psychophysiological markers of frontal electroencephalogram (EEG) asymmetr...

The fight against malaria is currently ongoing in many countries where the disease is still endemic. The overall target is to eliminate malaria in all nations, regardless of their malaria burden, by 2030. Currently, the disease has been eliminated mainly in low-burden and unstable malaria areas globally. However, in high-burden countries, particularly in Africa, the disease is still not elimina...

The basis of the decline in circadian rhythms with aging was addressed by comparing the patterns of three behavioral rhythms in young and old rats with the in vitro rhythm of neuronal activity in the suprachiasmatic nuclei (SCN), the primary circadian pacemaker. In some old rats, rhythms of body temperature, drinking, and activity retained significant 24-h periodicities in entraining light-dark...

Realistic models of locomotion, accounting for both individual pedestrian behavior and crowd dynamics, are crucial for crowd simulation. Most existing pedestrian models have been based on ad-hoc rules of interaction and parameters, or on theoretical frameworks like physics-inspired approaches that are not cognitively grounded. Based on the cognitively-plausible behavioral dynamics approach, we ...

We propose the use of brain inspired machine learning to complement statistical tests currently used in the field of behavioral marketing research. We analyze a data set of facial emotion responses from participants who watched a commercial. Our goal is to predict behavioral intentions of the participants from the temporal patterns of their facial emotions. We suggest interpreting the data as a...

The Object Constraint Language (OCL) is often used for behavioral specification of software components. One current problem in specifying behavioral aspects comes from the fact that editing OCL constraints manually is time consuming and error-prone. To simplify constraint definition we propose to use specification patterns for which OCL constraints can be generated automatically. In this paper ...

Compositional plug-and-play-like reuse of black-box components requires sophisticated techniques to specify the components. One current problem in specifying behavioral aspects comes from the fact that editing OCL constraints manually is time consuming and error-prone. To simplify constraint definition we propose to use specification patterns for which OCL constraints can be generated automatic...