Data Preservation at MINERvA

Over the past ten years, MINERvA has collected an accelerator neutrino interaction dataset that is uniquely relevant to the energy range of DUNE. These are the only currently available data at intermediate and high momentum transfers for multiple nuclear targets in the same beam. MINERvA is undertaking a campaign to preserve these data and make them publicly available so that they may be analyzed beyond the end of the MINERvA collaboration. We encourage the community to consider the development of centralized resources to enable long-term access to these data and analysis tools for the entire HEP community.Comment: Snowmass 2021 Letter of Interes

Model theory for modal logic—Part III existence and predication

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43175/1/10992_2004_Article_BF00293421.pd

Lysosomal enzyme precursors in coated vesicles derived from the exocytic and endocytic pathways.

The molecular forms of two lysosomal enzymes, cathepsin C and cathepsin D, have been examined in lysosomes and coated vesicles (CVs) of rat liver. In addition, the relative proportion of these lysosomal enzymes residing in functionally distinct CV subpopulations was quantitated. CVs contained newly synthesized precursor forms of the enzymes in contrast to lysosomes where only the mature forms were detected. Exocytic and endocytic CV subpopulations were prepared by two completely different protocols. One procedure, a density shift method, uses cholinesterase to alter the density of CVs derived from exocytic or endocytic pathways. The other relies on electrophoretic heterogeneity to accomplish the CV subfractionation. Subpopulations of CVs prepared by either procedure showed similar results, when examined for their relative proportion of cathepsin C and cathepsin D precursors. Within the starting CV preparation, exocytic CVs contained approximately 80-90% of the total steady-state levels of these enzymes while the level in the endocytic population was approximately 10-13%. The implications of these findings are discussed with regard to lysosome trafficking

Depressive disorder in children and adolescents: Dysthymic disorder and the use of self-rating scales in assessment

The authors describe a pilot study on depressed children and adolescents, where the DSM-III diagnosis on clinical interviews is compared to the results from two self-rating scales on 35 children and adolescents referred to the researchers. These 35 subjects were seen as depressed by their primary helpers. The value of the self-rating scales is mentioned and the usefulness of the category “dysthymic disorder” is commented upon

Numerical Simulation of Vortex Crystals and Merging in N-Point Vortex Systems with Circular Boundary

In two-dimensional (2D) inviscid incompressible flow, low background vorticity distribution accelerates intense vortices (clumps) to merge each other and to array in the symmetric pattern which is called ``vortex crystals''; they are observed in the experiments on pure electron plasma and the simulations of Euler fluid. Vortex merger is thought to be a result of negative ``temperature'' introduced by L. Onsager. Slight difference in the initial distribution from this leads to ``vortex crystals''. We study these phenomena by examining N-point vortex systems governed by the Hamilton equations of motion. First, we study a three-point vortex system without background distribution. It is known that a N-point vortex system with boundary exhibits chaotic behavior for N\geq 3. In order to investigate the properties of the phase space structure of this three-point vortex system with circular boundary, we examine the Poincar\'e plot of this system. Then we show that topology of the Poincar\'e plot of this system drastically changes when the parameters, which are concerned with the sign of ``temperature'', are varied. Next, we introduce a formula for energy spectrum of a N-point vortex system with circular boundary. Further, carrying out numerical computation, we reproduce a vortex crystal and a vortex merger in a few hundred point vortices system. We confirm that the energy of vortices is transferred from the clumps to the background in the course of vortex crystallization. In the vortex merging process, we numerically calculate the energy spectrum introduced above and confirm that it behaves as k^{-\alpha},(\alpha\approx 2.2-2.8) at the region 10^0<k<10^1 after the merging.Comment: 30 pages, 11 figures. to be published in Journal of Physical Society of Japan Vol.74 No.

The Stripe 82 1-2 GHz Very Large Array Snapshot Survey: Multiwavelength Counterparts

We have combined spectrosopic and photometric data from the Sloan Digital Sky Survey (SDSS) with $1.4$ GHz radio observations, conducted as part of the Stripe 82 $1-2$ GHz Snapshot Survey using the Karl G. Jansky Very Large Array (VLA), which covers $\sim100$ sq degrees, to a flux limit of 88 $\mu$Jy rms. Cross-matching the $11\,768$ radio source components with optical data via visual inspection results in a final sample of $4\,795$ cross-matched objects, of which $1\,996$ have spectroscopic redshifts and $2\,799$ objects have photometric redshifts. Three previously undiscovered Giant Radio Galaxies (GRGs) were found during the cross-matching process, which would have been missed using automated techniques. For the objects with spectroscopy we separate radio-loud Active Galactic Nuclei (AGN) and star-forming galaxies (SFGs) using three diagnostics and then further divide our radio-loud AGN into the HERG and LERG populations. A control matched sample of HERGs and LERGs, matched on stellar mass, redshift and radio luminosity, reveals that the host galaxies of LERGs are redder and more concentrated than HERGs. By combining with near-infrared data, we demonstrate that LERGs also follow a tight $K-z$ relationship. These results imply the LERG population are hosted by population of massive, passively evolving early-type galaxies. We go on to show that HERGs, LERGs, QSOs and star-forming galaxies in our sample all reside in different regions of a WISE colour-colour diagram. This cross-matched sample bridges the gap between previous `wide but shallow' and `deep but narrow' samples and will be useful for a number of future investigations.Comment: 17 pages, 19 figures. Resubmitted to MNRAS after the initial comment

Towards a Conceptualization of Sociomaterial Entanglement

In knowledge representation, socio-technical systems can be modeled as multiagent systems in which the local knowledge of each individual agent can be seen as a context. In this paper we propose formal ontologies as a means to describe the assumptions driving the construction of contexts as local theories and to enable interoperability among them. In particular, we present two alternative conceptualizations of the notion of sociomateriality (and entanglement), which is central in the recent debates on socio-technical systems in the social sciences, namely critical and agential realism. We thus start by providing a model of entanglement according to the critical realist view, representing it as a property of objects that are essentially dependent on different modules of an already given ontology. We refine then our treatment by proposing a taxonomy of sociomaterial entanglements that distinguishes between ontological and epistemological entanglement. In the final section, we discuss the second perspective, which is more challenging form the point of view of knowledge representation, and we show that the very distinction of information into modules can be at least in principle built out of the assumption of an entangled reality

Decidability of quantified propositional intuitionistic logic and S4 on trees

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page

Post-Truth: An Alumni Economist’s Perspective

Drawing upon 50 years as an academic economist, this lecture to alumni of SOAS’s Department of Economics reflects upon the continual ‘post-truth’ aspects of mainstream economics, ranging over its substantive, if shifting, content, and its treatment of methodology and interdisciplinarity. It draws upon a wide range of theory, empirical analysis, policy and anecdote to highlight both the need for alternatives and the continuing, even increased, failure of the mainstream to engage with criticism and alternatives