Components as processes: an exercise in coalgebraic modeling

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USASoftware components, arising, typically, in systems ’ analysis and design, are characterized by a public interface and a private encapsulated state. They persist (and evolve) in time, according to some behavioural patterns. This paper is an exercise in modeling such components as coalgebras for some kinds of endofunctors on , capturing both (interface) types and behavioural aspects. The construction of component categories, cofibred over the interface space, emerges by generalizing the usual notion of a coalgebra morphism. A collection of composition operators as well as a generic notion of bisimilarity, are discussed

‘Warrant’ revisited: Integrating mathematics teachers’ pedagogical and epistemological considerations into Toulmin’s model for argumentation

In this paper, we propose an approach to analysing teacher arguments that takes into account field dependence—namely, in Toulmin’s sense, the dependence of warrants deployed in an argument on the field of activity to which the argument relates. Freeman, to circumvent issues that emerge when we attempt to determine the field(s) that an argument relates to, proposed a classification of warrants (a priori, empirical, institutional and evaluative). Our approach to analysing teacher arguments proposes an adaptation of Freeman’s classification that distinguishes between: epistemological and pedagogical a priori warrants, professional and personal empirical warrants, epistemological and curricular institutional warrants, and evaluative warrants. Our proposition emerged from analyses conducted in the course of a written response and interview study that engages secondary mathematics teachers with classroom scenarios from the mathematical areas of analysis and algebra. The scenarios are hypothetical, grounded on seminal learning and teaching issues, and likely to occur in actual practice. To illustrate our proposed approach to analysing teacher arguments here, we draw on the data we collected through the use of one such scenario, the Tangent Task. We demonstrate how teacher arguments, not analysed for their mathematical accuracy only, can be reconsidered, arguably more productively, in the light of other teacher considerations and priorities: pedagogical, curricular, professional and personal

Scientific principles for the identification of endocrine-disrupting chemicals: a consensus statement

Endocrine disruption is a specific form of toxicity, where natural and/or anthropogenic chemicals, known as "endocrine disruptors" (EDs), trigger adverse health effects by disrupting the endogenous hormone system. There is need to harmonize guidance on the regulation of EDs, but this has been hampered by what appeared as a lack of consensus among scientists. This publication provides summary information about a consensus reached by a group of world-leading scientists that can serve as the basis for the development of ED criteria in relevant EU legislation. Twenty-three international scientists from different disciplines discussed principles and open questions on ED identification as outlined in a draft consensus paper at an expert meeting hosted by the German Federal Institute for Risk Assessment (BfR) in Berlin, Germany on 11-12 April 2016. Participants reached a consensus regarding scientific principles for the identification of EDs. The paper discusses the consensus reached on background, definition of an ED and related concepts, sources of uncertainty, scientific principles important for ED identification, and research needs. It highlights the difficulty in retrospectively reconstructing ED exposure, insufficient range of validated test systems for EDs, and some issues impacting on the evaluation of the risk from EDs, such as non-monotonic dose-response and thresholds, modes of action, and exposure assessment. This report provides the consensus statement on EDs agreed among all participating scientists. The meeting facilitated a productive debate and reduced a number of differences in views. It is expected that the consensus reached will serve as an important basis for the development of regulatory ED criteria

Rapidity and Centrality Dependence of Proton and Anti-proton Production from Au+Au Collisions at sqrt(sNN) = 130GeV

We report on the rapidity and centrality dependence of proton and anti-proton transverse mass distributions from Au+Au collisions at sqrt(sNN) = 130GeV as measured by the STAR experiment at RHIC. Our results are from the rapidity and transverse momentum range of |y|<0.5 and 0.35 <p_t<1.00GeV/c. For both protons and anti-protons, transverse mass distributions become more convex from peripheral to central collisions demonstrating characteristics of collective expansion. The measured rapidity distributions and the mean transverse momenta versus rapidity are flat within |y|<0.5. Comparisons of our data with results from model calculations indicate that in order to obtain a consistent picture of the proton(anti-proton) yields and transverse mass distributions the possibility of pre-hadronic collective expansion may have to be taken into account.Comment: 4 pages, 3 figures, 1 table, submitted to PR

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Azimuthal anisotropy and correlations at large transverse momenta in p+pp+p and Au+Au collisions at sNN\sqrt{s_{_{NN}}}= 200 GeV

Results on high transverse momentum charged particle emission with respect to the reaction plane are presented for Au+Au collisions at $\sqrt{s_{_{NN}}}$= 200 GeV. Two- and four-particle correlations results are presented as well as a comparison of azimuthal correlations in Au+Au collisions to those in $p+p$ at the same energy. Elliptic anisotropy, $v_2$, is found to reach its maximum at $p_t \sim 3$ GeV/c, then decrease slowly and remain significant up to $p_t\approx 7$ -- 10 GeV/c. Stronger suppression is found in the back-to-back high-$p_t$ particle correlations for particles emitted out-of-plane compared to those emitted in-plane. The centrality dependence of $v_2$ at intermediate $p_t$ is compared to simple models based on jet quenching.Comment: 4 figures. Published version as PRL 93, 252301 (2004

The cytotoxic T cell proteome and its shaping by the kinase mTOR

High-resolution mass spectrometry maps the cytotoxic T lymphocyte (CTL) proteome and the impact of mammalian target of rapamycin complex 1 (mTORC1) on CTLs. The CTL proteome was dominated by metabolic regulators and granzymes and mTORC1 selectively repressed and promoted expression of subset of CTL proteins (~10%). These included key CTL effector molecules, signaling proteins and a subset of metabolic enzymes. Proteomic data highlighted the potential for mTORC1 negative control of phosphatidylinositol (3,4,5)-trisphosphate (PtdIns(3,4,5)P(3)) production in CTL. mTORC1 was shown to repress PtdIns(3,4,5)P(3) production and to determine the mTORC2 requirement for activation of the kinase Akt. Unbiased proteomic analysis thus provides a comprehensive understanding of CTL identity and mTORC1 control of CTL function

Azimuthal anisotropy in Au+Au collisions at sqrtsNN = 200 GeV

The results from the STAR Collaboration on directed flow (v_1), elliptic flow (v_2), and the fourth harmonic (v_4) in the anisotropic azimuthal distribution of particles from Au+Au collisions at sqrtsNN = 200 GeV are summarized and compared with results from other experiments and theoretical models. Results for identified particles are presented and fit with a Blast Wave model. Different anisotropic flow analysis methods are compared and nonflow effects are extracted from the data. For v_2, scaling with the number of constituent quarks and parton coalescence is discussed. For v_4, scaling with v_2^2 and quark coalescence is discussed.Comment: 26 pages. As accepted by Phys. Rev. C. Text rearranged, figures modified, but data the same. However, in Fig. 35 the hydro calculations are corrected in this version. The data tables are available at http://www.star.bnl.gov/central/publications/ by searching for "flow" and then this pape