A Reflection on Types

The ability to perform type tests at runtime blurs the line between statically-typed and dynamically-checked languages. Recent developments in Haskell’s type system allow even programs that use reflection to themselves be statically typed, using a type-indexed runtime representation of types called \{}\textit{TypeRep}. As a result we can build dynamic types as an ordinary, statically-typed library, on top of \{}\textit{TypeRep} in an open-world context

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

Selectivity of saflufenacil applied alone or mixed to glyphosate in maize.

The use of selective herbicides is important for weed management in agricultural crops. Selectivity studies of new molecules are really important to expand the control options of glyphosate-resistant and -tolerant eudicotyledons in corn. The objective of this work was to evaluate the selectivity of the herbicide saflufenacil applied alone in different doses in post-emergence of corn and in a mixture with glyphosate. The design used was randomized blocks, with four replications, with treatments consisting of five doses of saflufenacil, applied alone and in a mixture with a fixed dose of glyphosate, in addition to the weeded control and only glyphosate. At 7, 14, 21 and 28 days after application (DAT), the phytotoxicity of the herbicides to the crop was evaluated. The physiological variables were measured at 35 DAT. At harvest, yield components were determined, in addition to the mass of 1,000 grains and grain yield. The application of the mixture of glyphosate with saflufenacil increases phytotoxicity symptoms and yield losses. Doses of up to 70 g ha-1, applied alone, caused low phytotoxicity to corn and did not interfere in yield. The use of glyphosate + saflufenacil tank mixtures caused decreases in yield of 43.96 and 40.81% when compared, respectively, with the weeded control and the averages of the applications of the herbicides alone. Saflufenacil has the potential to be used in the management of eudicotyledonous weeds, as long as it is not mixed with glyphosate and the dose limit is respected

Conservação e uso dos recursos florestais não madeiráveis da floresta com araucária: Programa Conservabio.

bitstream/item/123223/1/Doc.-238-Conservabio.pd

Evidence for susceptibility genes to familial Wilms tumour in addition to WT1, FWT1 and FWT2

Three loci have been implicated in familial Wilms tumour: WT1 located on chromosome 11p13, FWT1 on 17q12-q21, and FWT2 on 19q13. Two out of 19 Wilms tumour families evaluated showed strong evidence against linkage at all three loci. Both of these families contained at least three cases of Wilms tumour indicating that they were highly likely to be due to genetic susceptibility and therefore that one or more additional familial Wilms tumour susceptibility genes remain to be found. © 2000 Cancer Research Campaig

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Search for chargino-neutralino production with mass splittings near the electroweak scale in three-lepton final states in √s=13 TeV pp collisions with the ATLAS detector

A search for supersymmetry through the pair production of electroweakinos with mass splittings near the electroweak scale and decaying via on-shell W and Z bosons is presented for a three-lepton final state. The analyzed proton-proton collision data taken at a center-of-mass energy of √s=13  TeV were collected between 2015 and 2018 by the ATLAS experiment at the Large Hadron Collider, corresponding to an integrated luminosity of 139  fb−1. A search, emulating the recursive jigsaw reconstruction technique with easily reproducible laboratory-frame variables, is performed. The two excesses observed in the 2015–2016 data recursive jigsaw analysis in the low-mass three-lepton phase space are reproduced. Results with the full data set are in agreement with the Standard Model expectations. They are interpreted to set exclusion limits at the 95% confidence level on simplified models of chargino-neutralino pair production for masses up to 345 GeV

Search for direct stau production in events with two hadronic tau-leptons in root s=13 TeV pp collisions with the ATLAS detector

A search for the direct production of the supersymmetric partners ofτ-leptons (staus) in final stateswith two hadronically decayingτ-leptons is presented. The analysis uses a dataset of pp collisions corresponding to an integrated luminosity of139fb−1, recorded with the ATLAS detector at the LargeHadron Collider at a center-of-mass energy of 13 TeV. No significant deviation from the expected StandardModel background is observed. Limits are derived in scenarios of direct production of stau pairs with eachstau decaying into the stable lightest neutralino and oneτ-lepton in simplified models where the two staumass eigenstates are degenerate. Stau masses from 120 GeV to 390 GeV are excluded at 95% confidencelevel for a massless lightest neutralino