A Logical Framework for the Representation and Verification of Context-aware Agents

© 2014, Springer Science+Business Media New York. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting logic 𝓛OCRS allows us to describe a set of rule-based reasoning agents with bound on time, memory and communication. The set of rules which are used to model a desired systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We show how Maude rewriting system can be used to encode and verify interesting properties of 𝓛OCRS models using existing model checking techniques

Physical activity, a modulator of aging through effects on telomere biology

Aging is a complex process that is not well understood but involves finite changes at the genetic and epigenetic level. Physical activity is a well-documented modulator of the physiological process of aging. It has been suggested that the beneficial health effects of regular exercise are at least partly mediated through its effects on telomeres and associated regulatory pathways. Telomeres, the region of repetitive nucleotide sequences functioning as a "cap" at the chromosomal ends, play an important role to protect genomic DNA from degradation. Telomeres of dividing cells progressively shorten with age. Leucocyte telomere length (TL) has been associated with age-related diseases. Epidemiologic evidence indicates a strong relationship between physical activity and TL. In addition, TL has also been shown to predict all-cause and cardiovascular mortality. Experimental studies support a functional link between aerobic exercise and telomere preservation through activation of telomerase, an enzyme that adds nucleotides to the telomeric ends. However, unresolved questions regarding exercise modalities, pathomechanistic aspects and analytical issues limit the interpretability of available data. This review provides an overview about the current knowledge in the area of telomere biology, aging and physical activity. Finally, the capabilities and limitations of available analytical methods are addressed

Continuous-wave room-temperature diamond maser

The maser, older sibling of the laser, has been confined to relative obscurity due to its reliance on cryogenic refrigeration and high-vacuum systems. Despite this it has found application in deep-space communications and radio astronomy due to its unparalleled performance as a low-noise amplifier and oscillator. The recent demonstration of a room-temperature solid- state maser exploiting photo-excited triplet states in organic pentacene molecules paves the way for a new class of maser that could find applications in medicine, security and sensing, taking advantage of its sensitivity and low noise. However, to date, only pulsed operation has been observed in this system. Furthermore, organic maser molecules have poor thermal and mechanical properties, and their triplet sub-level decay rates make continuous emission challenging: alternative materials are therefore required. Therefore, inorganic materials containing spin-defects such as diamond and silicon carbide have been proposed. Here we report a continuous-wave (CW) room-temperature maser oscillator using optically pumped charged nitrogen-vacancy (NV) defect centres in diamond. This demonstration unlocks the potential of room-temperature solid-state masers for use in a new generation of microwave devices.Comment: 7 pages, 4 figure

Quantum control of proximal spins using nanoscale magnetic resonance imaging

Quantum control of individual spins in condensed matter systems is an emerging field with wide-ranging applications in spintronics, quantum computation, and sensitive magnetometry. Recent experiments have demonstrated the ability to address and manipulate single electron spins through either optical or electrical techniques. However, it is a challenge to extend individual spin control to nanoscale multi-electron systems, as individual spins are often irresolvable with existing methods. Here we demonstrate that coherent individual spin control can be achieved with few-nm resolution for proximal electron spins by performing single-spin magnetic resonance imaging (MRI), which is realized via a scanning magnetic field gradient that is both strong enough to achieve nanometric spatial resolution and sufficiently stable for coherent spin manipulations. We apply this scanning field-gradient MRI technique to electronic spins in nitrogen-vacancy (NV) centers in diamond and achieve nanometric resolution in imaging, characterization, and manipulation of individual spins. For NV centers, our results in individual spin control demonstrate an improvement of nearly two orders of magnitude in spatial resolution compared to conventional optical diffraction-limited techniques. This scanning-field-gradient microscope enables a wide range of applications including materials characterization, spin entanglement, and nanoscale magnetometry.Comment: 7 pages, 4 figure

Antecedents and consequences of effectuation and causation in the international new venture creation process

The selection of the entry mode in an international market is of key importance for the venture. A process-based perspective on entry mode selection can add to the International Business and International Entrepreneurship literature. Framing the international market entry as an entrepreneurial process, this paper analyzes the antecedents and consequences of causation and effectuation in the entry mode selection. For the analysis, regression-based techniques were used on a sample of 65 gazelles. The results indicate that experienced entrepreneurs tend to apply effectuation rather than causation, while uncertainty does not have a systematic influence. Entrepreneurs using causation-based international new venture creation processes tend to engage in export-type entry modes, while effectuation-based international new venture creation processes do not predetermine the entry mod

Time Pressure Modulates Electrophysiological Correlates of Early Visual Processing

BACKGROUND: Reactions to sensory events sometimes require quick responses whereas at other times they require a high degree of accuracy-usually resulting in slower responses. It is important to understand whether visual processing under different response speed requirements employs different neural mechanisms. METHODOLOGY/PRINCIPAL FINDINGS: We asked participants to classify visual patterns with different levels of detail as real-world or non-sense objects. In one condition, participants were to respond immediately, whereas in the other they responded after a delay of 1 second. As expected, participants performed more accurately in delayed response trials. This effect was pronounced for stimuli with a high level of detail. These behavioral effects were accompanied by modulations of stimulus related EEG gamma oscillations which are an electrophysiological correlate of early visual processing. In trials requiring speeded responses, early stimulus-locked oscillations discriminated real-world and non-sense objects irrespective of the level of detail. For stimuli with a higher level of detail, oscillatory power in a later time window discriminated real-world and non-sense objects irrespective of response speed requirements. CONCLUSIONS/SIGNIFICANCE: Thus, it seems plausible to assume that different response speed requirements trigger different dynamics of processing

Contrasting prefrontal cortex contributions to episodic memory dysfunction in behavioural variant frontotemporal dementia and alzheimer's disease

Recent evidence has questioned the integrity of episodic memory in behavioural variant frontotemporal dementia (bvFTD), where recall performance is impaired to the same extent as in Alzheimer's disease (AD). While these deficits appear to be mediated by divergent patterns of brain atrophy, there is evidence to suggest that certain prefrontal regions are implicated across both patient groups. In this study we sought to further elucidate the dorsolateral (DLPFC) and ventromedial (VMPFC) prefrontal contributions to episodic memory impairment in bvFTD and AD. Performance on episodic memory tasks and neuropsychological measures typically tapping into either DLPFC or VMPFC functions was assessed in 22 bvFTD, 32 AD patients and 35 age- and education-matched controls. Behaviourally, patient groups did not differ on measures of episodic memory recall or DLPFC-mediated executive functions. BvFTD patients were significantly more impaired on measures of VMPFC-mediated executive functions. Composite measures of the recall, DLPFC and VMPFC task scores were covaried against the T1 MRI scans of all participants to identify regions of atrophy correlating with performance on these tasks. Imaging analysis showed that impaired recall performance is associated with divergent patterns of PFC atrophy in bvFTD and AD. Whereas in bvFTD, PFC atrophy covariates for recall encompassed both DLPFC and VMPFC regions, only the DLPFC was implicated in AD. Our results suggest that episodic memory deficits in bvFTD and AD are underpinned by divergent prefrontal mechanisms. Moreover, we argue that these differences are not adequately captured by existing neuropsychological measures

The Nucleus Accumbens: A Switchboard for Goal-Directed Behaviors

Reward intake optimization requires a balance between exploiting known sources of rewards and exploring for new sources. The prefrontal cortex (PFC) and associated basal ganglia circuits are likely candidates as neural structures responsible for such balance, while the hippocampus may be responsible for spatial/contextual information. Although studies have assessed interactions between hippocampus and PFC, and between hippocampus and the nucleus accumbens (NA), it is not known whether 3-way interactions among these structures vary under different behavioral conditions. Here, we investigated these interactions with multichannel recordings while rats explored an operant chamber and while they performed a learned lever-pressing task for reward in the same chamber shortly afterward. Neural firing and local field potentials in the NA core synchronized with hippocampal activity during spatial exploration, but during lever pressing they instead synchronized more strongly with the PFC. The latter is likely due to transient drive of NA neurons by bursting prefrontal activation, as in vivo intracellular recordings in anesthetized rats revealed that NA up states can transiently synchronize with spontaneous PFC activity and PFC stimulation with a bursting pattern reliably evoked up states in NA neurons. Thus, the ability to switch synchronization in a task-dependent manner indicates that the NA core can dynamically select its inputs to suit environmental demands, thereby contributing to decision-making, a function that was thought to primarily depend on the PFC