515 research outputs found
A coalgebraic perspective on minimization, determinization and behavioural metrics
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebraic view on systems to derive, in a uniform way, abstract procedures for checking behavioural equivalence in coalgebras, which perform (a combination of) minimization and determinization in the system. First, we show that for coalgebras on categories equipped with factorization structures, there exists an abstract procedure for
equivalence checking. For instance, when considering epi-mono factorizations in the category of sets and functions, this procedure corresponds to the usual (coalgebraic) minimization algorithm and two states are behaviourally equivalent iff they are mapped to the same state in the minimized coalgebra. Second, motivated by several examples, we consider coalgebras on categories without suitable factorization structures: under certain conditions, it is possible to apply the above procedure after transforming coalgebras with reflections. This transformation can be thought of as some kind of determinization. Finally, we show that the result of the procedure also induces a pseudo-metric on the states, in such a way that the distance between each pair of states is minimized
Are depressive symptoms linked to a reduced pupillary response to novel positive information?:An eye tracking proof-of-concept study
Introduction:Depressive symptoms have been linked to difficulties in revising established negative beliefs in response to novel positive information. Recent predictive processing accounts have suggested that this bias in belief updating may be related to a blunted processing of positive prediction errors at the neural level. In this proof-of-concept study, pupil dilation in response to unexpected positive emotional information was examined as a psychophysiological marker of an attenuated processing of positive prediction errors associated with depressive symptoms.Methods: Participants (N = 34) completed a modified version of the emotional Bias Against Disconfirmatory Evidence (BADE) task in which scenarios initially suggest negative interpretations that are later either confirmed or disconfirmed by additional information. Pupil dilation in response to the confirmatory and disconfirmatory information was recorded. Results: Behavioral results showed that depressive symptoms were related to difficulties in revising negative interpretations despite disconfirmatory positive information. The eye tracking results pointed to a reduced pupil response to unexpected positive information among people with elevated depressive symptoms. Discussion: Altogether, the present study demonstrates that the adapted emotional BADE task can be appropriate for examining psychophysiological aspects such as changes in pupil size along with behavioral responses. Furthermore, the results suggest that depression may be characterized by deviations in both behavioral (i.e., reduced updating of negative beliefs) and psychophysiological (i.e., decreased pupil dilation) responses to unexpected positive information. Future work should focus on a larger sample including clinically depressed patients to further explore these findings.</p
Molecular Changes in Pre-Metastatic Lymph Nodes of Esophageal Cancer Patients
Lymph node metastasis indicates poor prognosis in esophageal cancer. To understand the underlying mechanisms, most studies so far focused on investigating the tumors themselves and/or invaded lymph nodes. However they neglected the potential events within the metastatic niche, which precede invasion. Here we report the first description of these regulations in patients on transcription level. We determined transcriptomic profiles of still metastasis-free regional lymph nodes for two patient groups: patients classified as pN1 (n = 9, metastatic nodes exist) or pN0 (n = 5, no metastatic nodes exist). All investigated lymph nodes, also those from pN1 patients, were still metastasis-free. The results show that regional lymph nodes of pN1 patients differ decisively from those of pN0 patients--even before metastasis has taken place. In the pN0 group distinct immune response patterns were observed. In contrast, lymph nodes of the pN1 group exhibited a clear profile of reduced immune response and reduced proliferation, but increased apoptosis, enhanced hypoplasia and morphological conversion processes. DKK1 was the most significant gene associated with the molecular mechanisms taking place in lymph nodes of patients suffering from metastasis (pN1). We assume that the two molecular profiles observed constitute different stages of a progressive disease. Finally we suggest that DKK1 might play an important role within the mechanisms leading to lymph node metastasis
Ice sheet model dependency of the simulated Greenland Ice Sheet in the mid-Pliocene
The understanding of the nature and behavior of ice sheets in past warm periods is important for constraining the potential impacts of future climate change. The Pliocene warm period (between 3.264 and 3.025 Ma) saw global temperatures similar to those projected for future climates; nevertheless, Pliocene ice locations and extents are still poorly constrained. We present results from the efforts to simulate mid-Pliocene Greenland Ice Sheets by means of the international Pliocene Ice Sheet Modeling Intercomparison Project (PLISMIP). We compare the performance of existing numerical ice sheet models in simulating modern control and mid-Pliocene ice sheets with a suite of sensitivity experiments guided by available proxy records. We quantify equilibrated ice sheet volume on Greenland, identifying a potential range in sea level contributions from warm Pliocene scenarios. A series of statistical measures are performed to quantify the confidence of simulations with focus on inter-model and inter-scenario differences. We find that Pliocene Greenland Ice Sheets are less sensitive to differences in ice sheet model configurations and internal physical quantities than to changes in imposed climate forcing. We conclude that Pliocene ice was most likely to be limited to the highest elevations in eastern and southern Greenland as simulated with the highest confidence and by synthesizing available regional proxies; however, the extent of those ice caps needs to be further constrained by using a range of general circulation model (GCM) climate forcings
Spin Transistor and Quantum Spin Hall Effects in CdBxF2-x - p-CdF2 - CdBxF2-x Sandwich Nanostructures
Planar CdBxF2-x - p-CdF2 - CdBxF2-x sandwich nanostructures prepared on the
surface of the n-type CdF2 bulk crystal are studied to register the spin
transistor and quantum spin Hall effects. The current-voltage characteristics
of the ultra-shallow p+-n junctions verify the CdF2 gap, 7.8 eV, and the
quantum subbands of the 2D holes in the p-type CdF2 quantum well confined by
the CdBxF2-x delta-barriers. The temperature and magnetic field dependencies of
the resistance, specific heat and magnetic susceptibility demonstrate the high
temperature superconductor properties for the CdBxF2-x delta-barriers. The
value of the superconductor energy gap, 102.06 meV, determined by the tunneling
spectroscopy method appears to be in a good agreement with the relationship
between the zero-resistance supercurrent in superconductor state and the
conductance in normal state at the energies of the 2D hole subbands. The
results obtained are evidence of the important role of the multiple Andreev
reflections in the creation of the high spin polarization of the 2D holes in
the edged channels of the sandwich device. The high spin hole polarization in
the edged channels is shown to identify the mechanism of the spin transistor
and quantum spin Hall effects induced by varying the top gate voltage, which is
revealed by the first observation of the Hall quantum conductance staircase.Comment: 5 pages, 9 figure
Fish Spawning Aggregations: Where Well-Placed Management Actions Can Yield Big Benefits for Fisheries and Conservation
Marine ecosystem management has traditionally been divided between fisheries management and biodiversity conservation approaches, and the merging of these disparate agendas has proven difficult. Here, we offer a pathway that can unite fishers, scientists, resource managers and conservationists towards a single vision for some areas of the ocean where small investments in management can offer disproportionately large benefits to fisheries and biodiversity conservation. Specifically, we provide a series of evidenced-based arguments that support an urgent need to recognize fish spawning aggregations (FSAs) as a focal point for fisheries management and conservation on a global scale, with a particular emphasis placed on the protection of multispecies FSA sites. We illustrate that these sites serve as productivity hotspots - small areas of the ocean that are dictated by the interactions between physical forces and geomorphology, attract multiple species to reproduce in large numbers and support food web dynamics, ecosystem health and robust fisheries. FSAs are comparable in vulnerability, importance and magnificence to breeding aggregations of seabirds, sea turtles and whales yet they receive insufficient attention and are declining worldwide. Numerous case-studies confirm that protected aggregations do recover to benefit fisheries through increases in fish biomass, catch rates and larval recruitment at fished sites. The small size and spatio-temporal predictability of FSAs allow monitoring, assessment and enforcement to be scaled down while benefits of protection scale up to entire populations. Fishers intuitively understand the linkages between protecting FSAs and healthy fisheries and thus tend to support their protection
The role of nucleon structure in finite nuclei
The quark-meson coupling model, based on a mean field description of
non-overlapping nucleon bags bound by the self-consistent exchange of ,
and mesons, is extended to investigate the properties of finite
nuclei. Using the Born-Oppenheimer approximation to describe the interacting
quark-meson system, we derive the effective equation of motion for the nucleon,
as well as the self-consistent equations for the meson mean fields. The model
is first applied to nuclear matter, after which we show some initial results
for finite nuclei.Comment: The revised version. This is tar, compressed and uuencoded (including
3 tables and 8 figures). 45 page
Dynamical Chiral Symmetry Breaking by a Magnetic Field in QED
It is shown that the chiral symmetry is spontaneously broken by a constant
magnetic field in QED. The dynamical mass of fermions (energy gap in the
fermion spectrum) is , where is the
magnetic field, the constant is of order one and is the
renormalized coupling constant. Possible applications of this effect are
discussed.Comment: 12 pages, LaTeX. The final journal version (with minor corrections
Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment
This paper describes an analysis of the angular distribution of W->enu and
W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with
the ATLAS detector at the LHC in 2010, corresponding to an integrated
luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and
the missing transverse energy, the W decay angular distribution projected onto
the transverse plane is obtained and analysed in terms of helicity fractions
f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV
and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw
> 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour,
are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017
+/- 0.030, where the first uncertainties are statistical, and the second
include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables,
revised author list, matches European Journal of Physics C versio
Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS
The chi_b(nP) quarkonium states are produced in proton-proton collisions at
the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS
detector. Using a data sample corresponding to an integrated luminosity of 4.4
fb^-1, these states are reconstructed through their radiative decays to
Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks
corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new
structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is
also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes.
This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table,
corrected author list, matches final version in Physical Review Letter
- …