122,383 research outputs found
Distinct Neural Circuits Underlie Prospective and Concurrent Memory-Guided Behavior
The past is the best predictor of the future. This simple postulate belies the complex neurobiological mechanisms that facilitate an individual’s use of memory to guide decisions. Previous research has shown integration of memories bias decision-making. Alternatively, memories can prospectively guide our choices. Here, we elucidate the mechanisms and timing of hippocampal (HPC), medial prefrontal cortex (mPFC), and striatal contributions during prospective memory-guided decision-making. We develop an associative learning task in which the correct choice is conditional on the preceding stimulus. Two distinct networks emerge: (1) a prospective circuit consisting of the HPC, putamen, mPFC, and other cortical regions, which exhibit increased activation preceding successful conditional decisions and (2) a concurrent circuit comprising the caudate, dorsolateral prefrontal cortex (dlPFC), and additional cortical structures that engage during the execution of correct conditional choices. Our findings demonstrate distinct neurobiological circuits through which memory prospectively biases decisions and influences choice execution
Comparing The Effects Of Menthol Status On The Behavioral Pharmacology Of Smoking Reduced Nicotine Content Cigarettes
Introduction: An active area of tobacco regulatory science research focuses on examining the effects of varying the nicotine content of cigarettes as part of a potential national policy to lower their nicotine content levels to reduce addiction potential. The present study examines differences in the behavioral effects of reduced nicotine content cigarettes related to their menthol status. Menthol is the only cigarette flavoring that is still legally permissible according to Food and Drug administration regulations.
Methods: Participants were 26 current adult smokers from three populations especially vulnerable to tobacco use and addiction (economically disadvantaged women, opioid-dependent individuals, individuals with affective disorders) dichotomized as menthol (n=11) or non-menthol (n=15) smokers. Participants completed 14 experimental sessions following acute smoking abstinence (CO\u3c50% baseline level). Across sessions, participants smoked four Spectrum research cigarettes (22nd Century Group, Clarence, NY) with varying nicotine content levels (0.4mg/g, 2.4 mg/g, 5.2 mg/g, 15.8 mg/g) or their usual brand cigarette. Research cigarettes were mentholated or non-mentholated corresponding to participants usual brand. Upon completion of smoking, participants completed tasks measuring reinforcing efficacy, subjective effects, topography, and withdrawal and craving measures. Repeated Measures Analysis of Variance was used for all analyses (p\u3c.05).
Results: Main effects of menthol status, as well as interactions of nicotine dose and menthol were noted across subscales of subjective effects and direct assessments of reinforcing efficacy. Usual brand mentholated cigarettes produced a profile of equal or greater relative reinforcing effects than usual brand non-mentholated cigarettes, while mentholated research cigarettes produced a profile of effects that fell below (i.e., lower relative reinforcing effects compared to usual brand or non-mentholated cigarettes) those of non-mentholated research cigarettes.
Conclusions: Mentholated research cigarettes produce a lower profile of reinforcing and subjective effects, without discernible differences in smoking topography. The potential impact of mentholation on reinforcing efficacy and subjective effects should be considered when using Spectrum research cigarettes
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games
Probabilistic model checking for stochastic games enables formal verification
of systems that comprise competing or collaborating entities operating in a
stochastic environment. Despite good progress in the area, existing approaches
focus on zero-sum goals and cannot reason about scenarios where entities are
endowed with different objectives. In this paper, we propose probabilistic
model checking techniques for concurrent stochastic games based on Nash
equilibria. We extend the temporal logic rPATL (probabilistic alternating-time
temporal logic with rewards) to allow reasoning about players with distinct
quantitative goals, which capture either the probability of an event occurring
or a reward measure. We present algorithms to synthesise strategies that are
subgame perfect social welfare optimal Nash equilibria, i.e., where there is no
incentive for any players to unilaterally change their strategy in any state of
the game, whilst the combined probabilities or rewards are maximised. We
implement our techniques in the PRISM-games tool and apply them to several case
studies, including network protocols and robot navigation, showing the benefits
compared to existing approaches
Communications in Choreographies, Revisited
Choreographic Programming is a paradigm for developing
correct-by-construction concurrent programs, by writing high-level descriptions
of the desired communications and then synthesising process implementations
automatically. So far, choreographic programming has been explored in the
monadic setting: interaction terms express point-to-point communications of a
single value. However, real-world systems often rely on interactions of
polyadic nature, where multiple values are communicated among two or more
parties, like multicast, scatter-gather, and atomic exchanges. We introduce a
new model for choreographic programming equipped with a primitive for grouped
interactions that subsumes all the above scenarios. Intuitively, grouped
interactions can be thought of as being carried out as one single interaction.
In practice, they are implemented by processes that carry them out in a
concurrent fashion. After formalising the intuitive semantics of grouped
interactions, we prove that choreographic programs and their implementations
are correct and deadlock-free by construction
The role of concurrency in an evolutionary view of programming abstractions
In this paper we examine how concurrency has been embodied in mainstream
programming languages. In particular, we rely on the evolutionary talking
borrowed from biology to discuss major historical landmarks and crucial
concepts that shaped the development of programming languages. We examine the
general development process, occasionally deepening into some language, trying
to uncover evolutionary lineages related to specific programming traits. We
mainly focus on concurrency, discussing the different abstraction levels
involved in present-day concurrent programming and emphasizing the fact that
they correspond to different levels of explanation. We then comment on the role
of theoretical research on the quest for suitable programming abstractions,
recalling the importance of changing the working framework and the way of
looking every so often. This paper is not meant to be a survey of modern
mainstream programming languages: it would be very incomplete in that sense. It
aims instead at pointing out a number of remarks and connect them under an
evolutionary perspective, in order to grasp a unifying, but not simplistic,
view of the programming languages development process
Change Support in Process-Aware Information Systems - A Pattern-Based Analysis
In today's dynamic business world the economic success of an enterprise increasingly depends on its ability to react to changes in its environment in a quick and flexible way. Process-aware information systems (PAIS) offer promising perspectives in this respect and are increasingly employed for operationally supporting business processes. To provide effective business process support, flexible PAIS are needed
which do not freeze existing business processes, but allow for loosely specified processes, which can be detailed during run-time. In addition, PAIS should enable authorized users to flexibly deviate from the predefined processes if required (e.g., by allowing them to dynamically add, delete, or move process activities) and to evolve business processes over time. At the same time PAIS must ensure consistency and robustness. The emergence of different process support paradigms and the lack of methods for comparing existing change approaches have made it difficult for PAIS engineers to choose the adequate technology. In this paper we suggest a set of changes patterns and change support features to foster the systematic comparison of existing process management technology with respect to process change support. Based on these change patterns and features, we provide a detailed analysis and evaluation of selected systems from both academia and industry. The identified change patterns and change support features facilitate the comparison of change support frameworks, and consequently will support PAIS engineers in selecting the right technology for realizing flexible PAIS. In addition, this work can be used as a reference for implementing more
flexible PAIS
- …