Temporal team semantics revisited

In this paper, we study a novel approach to asynchronous hyperproperties by reconsidering the foundations of temporal team semantics. We consider three logics: , and , which are obtained by adding quantification over so-called time evaluation functions controlling the asynchronous progress of traces. We then relate synchronous to our new logics and show how it can be embedded into them. We show that the model checking problem for with Boolean disjunctions is highly undecidable by encoding recurrent computations of non-deterministic 2-counter machines. Finally, we present a translation from to Alternating Asynchronous Büchi Automata and obtain decidability results for the path checking problem as well as restricted variants of the model checking and satisfiability problems

Identification of parvalbumin interneurons as cellular substrate of fear memory persistence

Parvalbumin-positive (PV) basket cells provide perisomatic inhibition in the cortex and hippocampus and control generation of memory-related network activity patterns, such as sharp wave ripples (SPW-R). Deterioration of this class of fast-spiking interneurons has been observed in neuropsychiatric disorders and evidence from animal models suggests their involvement in the acquisition and extinction of fear memories. Here, we used mice with neuron type-targeted expression of the presynaptic gain-of-function glycine receptor RNA variant GlyR {beta}3L(185L) to genetically enhance the network activity of PV interneurons. These mice showed reduced extinction of contextual fear memory but normal auditory cued fear memory. They furthermore displayed increase of SPW-R activity in area CA3 and CA1 and facilitated propagation of this particular network activity pattern, as determined in ventral hippocampal slice preparations. Individual freezing levels during extinction and SPW-R propagation were correlated across genotypes. The same was true for parvalbumin immunoreactivity in the ventral hippocampus, which was generally augmented in the GlyR mutant mice and correlated with individual freezing levels. Together, these results identify PV interneurons as critical cellular substrate of fear memory persistence and associated SPW-R activity in the hippocampus. Our findings may be relevant for the identification and characterization of physiological correlates for posttraumatic stress and anxiety disorders

The Role of Cutaneous Receptors in the Menton Tap Silent Period

The neuromuscular mechanisms of the electromyographic silent period are poorly understood but clinically significant. Our purpose was to isolate the contribution of cutaneous afferents from the chin to the latency and the duration of the EMG silent period. Under the conditions of our experiment, the afferents of the mental nerve have no observable influence on the latency or the duration of the silent period educed by a menton tap.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66492/2/10.1177_00220345790580011001.pd

Separated spectral functions for the quasifree 12C(e,e′p) reaction

A separation of the longitudinal and transverse 12C(e,e′p) cross sections in the quasifree region has been performed in parallel kinematics at Q2 of 0.64 and 1.8 GeV2 for initial proton momentum <80 MeV. The separated transverse and longitudinal spectral functions at Q2=0.64GeV2 show significant differences for missing energy between 25 and 60 MeV indicating a breakdown in the single nucleon knockout picture. The transverse spectral functions exhibit definite momentum transfer dependence

The sensorium at work: the sensory phenomenology of the working body

The sociology of the body and the sociology of work and occupations have both neglected to some extent the study of the ‘working body’ in paid employment, particularly with regard to empirical research into the sensory aspects of working practices. This gap is perhaps surprising given how strongly the sensory dimension features in much of working life. This article is very much a first step in calling for a more phenomenological, embodied and ‘fleshy’ perspective on the body in employment, and examines some of the theoretical and conceptual resources available to researchers wishing to focus on the lived working-body experiences of the sensorium. We also consider some possible representational forms for a more evocative, phenomenologically-inspired portrayal of sensory, lived-working-body experiences, and offer suggestions for future avenues of research

Search for jet extinction in the inclusive jet-pT spectrum from proton-proton collisions at s=8 TeV

Published by the American Physical Society under the terms of the Creative Commons Attribution 3.0 License. Further distribution of this work must maintain attribution to the author(s) and the published articles title, journal citation, and DOI.The first search at the LHC for the extinction of QCD jet production is presented, using data collected with the CMS detector corresponding to an integrated luminosity of 10.7  fb−1 of proton-proton collisions at a center-of-mass energy of 8 TeV. The extinction model studied in this analysis is motivated by the search for signatures of strong gravity at the TeV scale (terascale gravity) and assumes the existence of string couplings in the strong-coupling limit. In this limit, the string model predicts the suppression of all high-transverse-momentum standard model processes, including jet production, beyond a certain energy scale. To test this prediction, the measured transverse-momentum spectrum is compared to the theoretical prediction of the standard model. No significant deficit of events is found at high transverse momentum. A 95% confidence level lower limit of 3.3 TeV is set on the extinction mass scale

Commissioning and performance of the CMS pixel tracker with cosmic ray muons

This is the Pre-print version of the Article. The official published verion of the Paper can be accessed from the link below - Copyright @ 2010 IOPThe pixel detector of the Compact Muon Solenoid experiment consists of three barrel layers and two disks for each endcap. The detector was installed in summer 2008, commissioned with charge injections, and operated in the 3.8 T magnetic field during cosmic ray data taking. This paper reports on the first running experience and presents results on the pixel tracker performance, which are found to be in line with the design specifications of this detector. The transverse impact parameter resolution measured in a sample of high momentum muons is 18 microns.This work is supported by FMSR (Austria); FNRS and FWO (Belgium); CNPq, CAPES, FAPERJ, and FAPESP (Brazil); MES (Bulgaria); CERN; CAS, MoST, and NSFC (China); COLCIENCIAS (Colombia); MSES (Croatia); RPF (Cyprus); Academy of Sciences and NICPB (Estonia); Academy of Finland, ME, and HIP (Finland); CEA and CNRS/IN2P3 (France); BMBF, DFG, and HGF (Germany); GSRT (Greece); OTKA and NKTH (Hungary); DAE and DST (India); IPM (Iran); SFI (Ireland); INFN (Italy); NRF (Korea); LAS (Lithuania); CINVESTAV, CONACYT, SEP, and UASLP-FAI (Mexico); PAEC (Pakistan); SCSR (Poland); FCT (Portugal); JINR (Armenia, Belarus, Georgia, Ukraine, Uzbekistan); MST and MAE (Russia); MSTDS (Serbia); MICINN and CPAN (Spain); Swiss Funding Agencies (Switzerland); NSC (Taipei); TUBITAK and TAEK (Turkey); STFC (United Kingdom); DOE and NSF (USA)

Alignment of the CMS silicon tracker during commissioning with cosmic rays

This is the Pre-print version of the Article. The official published version of the Paper can be accessed from the link below - Copyright @ 2010 IOPThe CMS silicon tracker, consisting of 1440 silicon pixel and 15 148 silicon strip detector modules, has been aligned using more than three million cosmic ray charged particles, with additional information from optical surveys. The positions of the modules were determined with respect to cosmic ray trajectories to an average precision of 3–4 microns RMS in the barrel and 3–14 microns RMS in the endcap in the most sensitive coordinate. The results have been validated by several studies, including laser beam cross-checks, track fit self-consistency, track residuals in overlapping module regions, and track parameter resolution, and are compared with predictions obtained from simulation. Correlated systematic effects have been investigated. The track parameter resolutions obtained with this alignment are close to the design performance.This work is supported by FMSR (Austria); FNRS and FWO (Belgium); CNPq, CAPES, FAPERJ, and FAPESP (Brazil); MES (Bulgaria); CERN; CAS, MoST, and NSFC (China); COLCIENCIAS (Colombia); MSES (Croatia); RPF (Cyprus); Academy of Sciences and NICPB (Estonia); Academy of Finland, ME, and HIP (Finland); CEA and CNRS/IN2P3 (France); BMBF, DFG, and HGF (Germany); GSRT (Greece); OTKA and NKTH (Hungary); DAE and DST (India); IPM (Iran); SFI (Ireland); INFN (Italy); NRF (Korea); LAS (Lithuania); CINVESTAV, CONACYT, SEP, and UASLP-FAI (Mexico); PAEC (Pakistan); SCSR (Poland); FCT (Portugal); JINR (Armenia, Belarus, Georgia, Ukraine, Uzbekistan); MST and MAE (Russia); MSTDS (Serbia); MICINN and CPAN (Spain); Swiss Funding Agencies (Switzerland); NSC (Taipei); TUBITAK and TAEK (Turkey); STFC (United Kingdom); DOE and NSF (USA)

Performance of the CMS drift-tube chamber local trigger with cosmic rays

The performance of the Local Trigger based on the drift-tube system of the CMS experiment has been studied using muons from cosmic ray events collected during the commissioning of the detector in 2008. The properties of the system are extensively tested and compared with the simulation. The effect of the random arrival time of the cosmic rays on the trigger performance is reported, and the results are compared with the design expectations for proton-proton collisions and with previous measurements obtained with muon beams

Measurement of the inclusive production cross sections for forward jets and for dijet events with one forward and one central jet in pp collisions at sqrt(s) = 7 TeV

The inclusive production cross sections for forward jets, as well for jets in dijet events with at least one jet emitted at central and the other at forward pseudorapidities, are measured in the range of transverse momenta pt = 35-150 GeV/c in proton-proton collisions at sqrt(s) = 7 TeV by the CMS experiment at the LHC. Forward jets are measured within pseudorapidities 3.2<|eta|<4.7, and central jets within the |eta|<2.8 range. The double differential cross sections with respect to pt and eta are compared to predictions from three approaches in perturbative quantum chromodynamics: (i) next-to-leading-order calculations obtained with and without matching to parton-shower Monte Carlo simulations, (ii) PYTHIA and HERWIG parton-shower event generators with different tunes of parameters, and (iii) CASCADE and HEJ models, including different non-collinear corrections to standard single-parton radiation. The single-jet inclusive forward jet spectrum is well described by all models, but not all predictions are consistent with the spectra observed for the forward-central dijet events.Comment: Submitted to the Journal of High Energy Physic