Elevated arousal at time of decision-making is not the arbiter of risk avoidance in chickens

The somatic marker hypothesis proposes that humans recall previously experienced physiological responses to aid decision-making under uncertainty. However, little is known about the mechanisms used by non-human animals to integrate risk perception with predicted gains and losses. We monitored the behaviour and physiology of chickens when the choice between a high-gain (large food quantity), high-risk (1 in 4 probability of receiving an air-puff) option (HGRAP) or a low-gain (small food quantity), no-risk (of an air-puff) (LGNAP) option. We assessed when arousal increased by considering different stages of the decision-making process (baseline, viewing, anticipation, reward periods) and investigated whether autonomic responses influenced choice outcome both immediately and in the subsequent trial. Chickens were faster to choose and their heart-rate significantly increased between the viewing and anticipation (post-decision, pre-outcome) periods when selecting the HGRAP option. This suggests that they responded physiologically to the impending risk. Additionally, arousal was greater following a HGRAP choice that resulted in an air-puff, but this did not deter chickens from subsequently choosing HGRAP. In contrast to human studies, we did not find evidence that somatic markers were activated during the viewing period, suggesting that arousal is not a good measure of avoidance in non-human animals

Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)

This paper presents Lotus@Runtime, an extensible tool that uses models@runtime to monitor and verify self-adaptive systems. The tool monitors the execution traces generated by a self-adaptive system and annotates the probabilities of occurrence of each system action on their respective transition on the system model, which is created at design time in the tool as a Labelled Transition System (LTS). Then, runtime checks of a set of reachability properties are performed against the updated probabilistic model. If a property is violated, the self-adaptive system can be informed by a notification mechanism provided by Lotus@Runtime. The applicability of the proposed tool has been demonstrated by two service-based self-adaptive systems taken and adapted from the literature

Особливості формування самостійної пізнавальної діяльності майбутніх учителів математики

(uk) У статті зроблено спробу розкрити особливості самостійної пізнавальної діяльності майбутніх вчителів; досліджуються різні підходи до цього поняття; розкриваються такі його складові, як самостійність, пізнавальна самостійність, пізнавальна діяльність.(ru) В статье сделана попытка раскрыть особенности самостоятельной познавательной деятельности будущих учителей; исследуются различные подходы к этому понятию; раскрываются такие его составляющие, как самостоятельность, познавательная самостоятельность, познавательная деятельность

DFT-inspired methods for quantum thermodynamics

In the framework of quantum thermodynamics, we propose a method to quantitatively describe thermodynamic quantities for out-of-equilibrium interacting many-body systems. The method is articulated in various approximation protocols which allow to achieve increasing levels of accuracy, it is relatively simple to implement even for medium and large number of interactive particles, and uses tools and concepts from density functional theory. We test the method on the driven Hubbard dimer at half filling, and compare exact and approximate results. We show that the proposed method reproduces the average quantum work to high accuracy: for a very large region of parameter space (which cuts across all dynamical regimes) estimates are within 10% of the exact results

Search for light bosons in decays of the 125 GeV Higgs boson in proton-proton collisions at root s=8 TeV

Peer reviewe

Search for Evidence of the Type-III Seesaw Mechanism in Multilepton Final States in Proton-Proton Collisions at root s=13 TeV

Peer reviewe

Reconstruction of primary vertices at the ATLAS experiment in Run 1 proton–proton collisions at the LHC

This paper presents the method and performance of primary vertex reconstruction in proton–proton collision data recorded by the ATLAS experiment during Run 1 of the LHC. The studies presented focus on data taken during 2012 at a centre-of-mass energy of √s=8 TeV. The performance has been measured as a function of the number of interactions per bunch crossing over a wide range, from one to seventy. The measurement of the position and size of the luminous region and its use as a constraint to improve the primary vertex resolution are discussed. A longitudinal vertex position resolution of about 30μm is achieved for events with high multiplicity of reconstructed tracks. The transverse position resolution is better than 20μm and is dominated by the precision on the size of the luminous region. An analytical model is proposed to describe the primary vertex reconstruction efficiency as a function of the number of interactions per bunch crossing and of the longitudinal size of the luminous region. Agreement between the data and the predictions of this model is better than 3% up to seventy interactions per bunch crossing

Search for new phenomena with the M-T2 variable in the all-hadronic final state produced in proton-proton collisions at root s=13TeV

Peer reviewe

Search for Supersymmetry in pp Collisions at root s=13 TeV in the Single-Lepton Final State Using the Sum of Masses of Large-Radius Jets

Peer reviewe

Search for a light pseudoscalar Higgs boson produced in association with bottom quarks in pp collisions at root s=8 TeV

Peer reviewe