pinecone/core-2020-05-10-deduplication huggingface dataset:
Resonance searches with an updated top tagger

The performance of top taggers, for example in resonance searches, can be significantly enhanced through an increased set of variables, with a special focus on final-state radiation. We study the production and the decay of a heavy gauge boson in the upcoming LHC run. For constant signal efficiency, the multivariate analysis achieves an increased background rejection by up to a factor 30 compared to our previous tagger. Based on this study and the documentation in the appendix we release a new HEPTopTagger2 for the upcoming LHC run. It now includes an optimal choice of the size of the fat jet, N-subjettiness, and different modes of Qjets
Defect branes as Alice strings

There exist various defect-brane backgrounds in supergravity theories which arise as the low energy limit of string theories. These backgrounds typically have non-trivial monodromies, and if we move a charged probe around the center of a defect, its charge will be changed by the action of the monodromy. During the process, the charge conservation law seems to be violated. In this paper, to resolve this puzzle, we examine a dynamics of the charge changing process and show that the missing charge of the probe is transferred to the background. We then explicitly construct the resultant background after the charge transfer process by utilizing dualities. This background has the same monodromy as the original defect brane, but has an additional charge which does not have any localized source. In the literature, such a charge without localized source is known to appear in the presence of Alice strings. We argue that defect branes can in fact be regarded as a realization of Alice strings in string theory and examine the charge transfer process from that perspective
Open intersection numbers, matrix models and MKP hierarchy

In this paper we conjecture that the generating function of the intersection numbers on the moduli spaces of Riemann surfaces with boundary, constructed recently by R. Pandharipande, J. Solomon and R. Tessler and extended by A. Buryak, is a tau-function of the KP integrable hierarchy. Moreover, it is given by a simple modification of the Kontsevich matrix integral so that the generating functions of open and closed intersection numbers are described by the MKP integrable hierarchy. Virasoro constraints for the open intersection numbers naturally follow from the matrix integral representation
Thermoelectric properties of zinc based pnictide semiconductors

We report a detailed first principles density functional calculations to understand the electronic\ud
structure and transport properties of Zn-based pnictides ZnXPn\ud
2\ud
(X: Si, Ge, and Sn; Pn: P and As)\ud
and ZnSiSb\ud
2\ud
. The electronic properties calculated using Tran-Blaha modified Becke-Johnson func-\ud
tional reveals the semi-conducting nature, and the resulting band gaps are in good agreement with\ud
experimental and other theoretical reports. We find a mixture of heavy and light bands in the band\ud
structure which is an advantage for good thermoelectric (TE) properties. The calculated transport\ud
properties unveils the favour p-type conduction in ZnXP\ud
2\ud
(X: Si, Ge, and Sn) and n-type conduc-\ud
tion in ZnGeP\ud
2\ud
and ZnSiAs\ud
2\ud
. Comparison of transport properties of Zn-based pnictides with the\ud
prototype chalcopyrite thermoelectric materials implies that the thermopower values of the investi-\ud
gated compounds to be higher when compared with the prototype chalcopyrite thermoelectric\ud
materials, together with the comparable values for electrical conductivity scaled by relaxation time.\ud
In addition to this, Zn-based pnictides are found to possess higher thermopower than well known\ud
traditional TE materials at room temperature and above which motivates further research in these\ud
compounds
Simulation aided testing of hydro-mechanical processes on clay

This paper presents a study focused on the hydro-mechanical behaviour of a plastic clay under partially saturated conditions. Clay remoulded samples were dried using vapour transfer under one-dimensional conditions. Samples underwent an important vertical shrinkage on drying, which progressed along more than one week. To study the time evolution of this phenomenon, simulation aided techniques were used to analyse the progression of suction at local scale and to determine the time required to equilibrate homogeneously the sample. In this case the fully coupled thermo-hydromechanical finite element code Code_Bright [1] was used to analyse this process. The simulation adequately followed the evolution of sample shrinkage measured experimentally. The determination of the suction equalisation time also agreed with the experimental information.Postprint (published version
Dirac Quantization of Parametrized Field Theory

Parametrized field theory (PFT) is free field theory on flat spacetime in a diffeomorphism invariant disguise. It describes field evolution on arbitrary foliations of the flat spacetime instead of only the usual flat ones, by treating the `embedding variables' which describe the foliation as dynamical variables to be varied in the action in addition to the scalar field. A formal Dirac quantization turns the constraints of PFT into functional Schrodinger equations which describe evolution of quantum states from an arbitrary Cauchy slice to an infinitesimally nearby one.This formal Schrodinger picture- based quantization is unitarily equivalent to the standard Heisenberg picture based Fock quantization of the free scalar field if scalar field evolution along arbitrary foliations is unitarily implemented on the Fock space. Torre and Varadarajan (TV) showed that for generic foliations emanating from a flat initial slice in spacetimes of dimension greater than 2, evolution is not unitarily implemented, thus implying an obstruction to Dirac quantization. We construct a Dirac quantization of PFT,unitarily equivalent to the standard Fock quantization, using techniques from Loop Quantum Gravity (LQG) which are powerful enough to super-cede the no- go implications of the TV results. The key features of our quantization include an LQG type representation for the embedding variables, embedding dependent Fock spaces for the scalar field, an anomaly free representation of (a generalization of) the finite transformations generated by the constraints and group averaging techniques. The difference between 2 and higher dimensions is that in the latter, only finite gauge transformations are defined in the quantum theory, not the infinitesimal ones
Thin and Thick Timed Regular Languages

International audienceIn previous literature on timed automata, it was noticed that they are in several aspects too precise, which leads sometimes to strange artifacts, mathematical pathologies or unrealistic models. In particular, some timed automata are non-implementable, non-robust, behave badly under discretization, have many Zeno runs etc. In this paper, we propose a unifying approach to most of these issues for deterministic timed automata. We classify these automata either as thin or as thick. In thin automata, all the infinite trajectories are, in some weak sense, Zeno; the discretization of long trajectories is difficult, since it requires very small discretization step. In thick automata, most of trajectories are non-Zeno and behave well under discretization; such automata satisfy a sort of pumping lemma. Formally, the thin-thick alternative is based on the notion of entropy of timed regular languages introduced by E. Asarin and A. Degorre in [3,4]. Thin languages have the entropy = − ∞ while thick have a larger one. An important application of thin-thick alternative is again the entropy theory of timed languages. We show that the entropy can be computed with a desired precision using discretization and thus it is computable, which closes a question left open in [3,4]
The von Karman Sodium experiment: Turbulent dynamical dynamos

International audienceThe von Karman Sodium (VKS) experiment studies dynamo action in the flow generated inside a cylinder filled with liquid sodium by the rotation of coaxial impellers (the von Karman geometry). We first report observations related to the self-generation of a stationary dynamo when the flow forcing is R-pi-symmetric, i.e., when the impellers rotate in opposite directions at equal angular velocities. The bifurcation is found to be supercritical with a neutral mode whose geometry is predominantly axisymmetric. We then report the different dynamical dynamo regimes observed when the flow forcing is not symmetric, including magnetic field reversals. We finally show that these dynamics display characteristic features of low dimensional dynamical systems despite the high degree of turbulence in the flow
Shaping the landscape: agricultural policies and local biodiversity schemes

This paper analyses the potential effect of local agro-environmental policies in promoting multifunctionality in a rural landscape, with a two-scale modelling framework: a regional scale for food demand and a local scale for the forces driving land use. The framework has been designed in four steps. First, the relative influence of the driving factors on the current land use pattern has been analysed. Two scenarios are designed that vary the external demand for the total land use, and alter more or less quickly the specific location factors that drive the landscape pattern. The first scenario considers trends in the external and internal driving forces. The second relies both on totally decoupled farm subsidies and unregulated housing growth. In both scenarios a local agro-environmental policy is introduced and we compare its consequences with the previous scenario's landscape pattern. The third step consists of a modelling exercise that analyses the likely outcome of each scenario on the development of land use patterns on a local scale. Last, these landscape patterns have been translated into ecological indexes that assess the effect of the policy options on the multifunctionality of the local landscape
Synmetamorphic Cu remobilization during the Pan-African orogeny:Microstructural, petrological and geochronological data on the kyanite-micaschistshosting the Cu(–U) Lumwana deposit in the Western ZambianCopperbelt of the Lufilian belt

International audienceThe Pan-African Lufilian orogenic belt hosts world-class Cu deposits. In the CongoleseCopperbelt (DRC), Cu(-Co) deposits, are mostly hosted within evaporitic and siliciclasticNeoproterozoic metasedimentary rocks (Mines Subgroup) and are interpreted as syn- to latediageneticdeposits. In this paper, we present new data on Cu(-U) deposit hosted inmetamorphic rocks of the internal zone of the Lufilian belt known as the Western ZambianCopperbelt in which a primary Cu mineralization is overprinted by a second syn-metamorphicCu mineralizing event. This mineralizing event is synchronous with the Pan-Africanmetamorphism affecting both the pre-Katanga basement and the Katanga metasedimentarysequence. Cu(-U) occurrences in the Western Zambian Copperbelt are hosted by kyanitemicaschistsmetamorphosed in the upper amphibolite facies.Mineral inclusions of graphite, micas and sulfides in kyanite porphyroblasts of the Cubearingkyanite-micaschists in the Lumwana Cu deposit point to a sedimentary protolith withrelics of an inherited Cu stock. Based on petrologic, microstructural and geochronologicalevidence, we propose that this initial Cu-stock was remobilized during the Pan-Africanorogeny. Graphite, micas and sulfides preserved in a first generation of kyanite poikiloblasts(Ky1) define an inherited S0/1 foliation developed during the prograde part of the P-T path (D1deformation-metamorphic stage) reaching HP-MT metamorphic conditions.Remobilization during the retrograde part of the P-T path is evidenced bychalcopyrite-pyrrhotite and chalcopyrite-bornite delineating a steep-dipping S2 schistosity andby chalcopyrite and bornite delineating a shallow-dipping S3 schistosity associated with top tothe south kinematic criteria. This retrograde path is coeval with ductile deformation in thekyanite field as evidenced by a second generation of synkinematic kyanite porphyroblasts(Ky2) transposed in the S3 schistosity (Ky2-3), and is marked by progressive cooling from ca 620°C down to 580°C (rutile geothermometry). Syn-S2-3 metamorphic monazite grains yieldU-Th-Pb ages ranging from ca. 540 to 500 Ma.Final retrogression and remobilization of Cu is marked by recrystallization of thesulfides in top to the north C3 shear bands associated with rutile crystals yielding temperaturesfrom ca. 610 to 540°C. This final remobilization is younger than ca. 500 Ma (youngest U-Th-Pb age on syn-S3 recrystallized monazite). These data are consistent with successive Curemobilization for more than 40 Ma during Pan-African reworking of sediment-hosteddeposits either from the basement of the Katanga sedimentary sequence or from the Katangasequence itself marked by burial (D1), syn-orogenic exhumation (D2), and post-orogenicexhumation during gravitational collapse (D3)
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [8, 9]. The paper gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, the existence of winning strategies, and then statistical model checking
Impact of basin burial and exhumation on Jurassic carbonates diagenesis on both sides of a thick clay barrier (Paris Basin, NE France).

27 pagesInternational audienceSeveral diagenetic models have been proposed for Middle and Upper Jurassic carbonates of the eastern Paris Basin. The paragenetic sequences are compared in both aquifers to propose a diagenetic model for the Middle and Late Jurassic deposits as a whole. Petrographic (optical and cathodoluminescence microscopy), structural (fracture orientations) and geochemical (δ18O, δ13C, REE) studies were conducted to characterize diagenetic cements, with a focus on blocky calcite cements, and their connection with fracturation events. Four generations of blocky calcite (Cal1-Cal4) are identified. Cal1 and Cal2 are widespread in the dominantly grain-supported facies of the Middle Jurassic limestones (about 90% of the cementation), whereas they are limited in the Oxfordian because grain-supported facies are restricted to certain stratigraphic levels. Cal1 and Cal2 blocky spars precipitated during burial in a reducing environment from mixed marine-meteoric waters and/or buffered meteoric waters. The meteoric waters probably entered aquifers during the Late Cimmerian (Jurassic/Cretaceous boundary) and Late Aptian (Early Cretaceous) unconformities. The amount of Cal2 cement is thought to be linked to the intensity of burial pressure dissolution, which in turn was partly controlled by the clay content of the host rocks. Cal3 and Cal4 are associated with telogenetic fracturing phases. The succession of Cal3 and Cal4 calcite relates to the transition towards oxidizing conditions during an opening of the system to meteoric waters at higher water/rock ratios. These meteoric fluids circulated along Pyrenean, Oligocene and Alpine fractures and generated both dissolution and subsequent cementation in Oxfordian vugs in mud-supported facies and in poorly stylolitized grainstones. However, these cements filled only the residual porosity in Middle Jurassic limestones. In addition to fluorine inputs, fracturation also permitted inputs of sulphur possibly due to weathering of Triassic or Purbeckian evaporites or H2S input during Paleogene times
Fabrication and electrical characterization of silicon nanowires based resistors

International audienceSilicon nanowires (SiNWs) are synthesized via the Vapor-Liquid-Solid (VLS) mechanism using gold (Au) as metal catalyst and silane (SiH4) as precursor gas. Au nanoparticles are employed as liquid droplets catalysis during the SiNWs growth performed in a hot wall LPCVD reactor at 480°C and 40 Pa. SiNWs local synthesis at micron scale is demonstrated using classical optical photolithography process. SiNWs grow with high density anchored at the dedicated catalyst islands. This resulting network is used to interconnect two heavily doped polysilicon interdigitated electrodes leading to the formation of electrical resistors in a coplanar structure. Current-voltage (I-V) characteristics highlight a symmetric shape. The temperature dependence of the electrical resistance is activated, with activation energy of 0.47 eV at temperatures greater than 300K
Pulsed laser deposited KNbO$_3$ thin films for applications in high frequency range

Potassium niobate thin films were grown by pulsed laser deposition on various substrates. Influence of deposition conditions on film characteristics was studied. Structural investigation evidenced that single phase polycrystalline randomly oriented films were grown on sintered alumina whereas epitaxial films were grown on (100)SrTiO$_3$ and (100)MgO substrates. The microstructure was highly controlled by the structural characteristics. Interdigited capacitors built from KNbO3 films on two different substrates (alumina and MgO) showed the strong influence of the structural characteristics on the dielectric behavior. The variation of the equivalent capacitance measured on the interdigital capacitor on MgO was 6.4% at 2.5 GHz while it was 1.5% on alumina, in both cases for a moderate applied field of $\sim$15 kV cm$^{-1}$. The results show the potentiality of these ferroelectric materials for use in frequency agile microwave electronics
Using finite transducers for describing and synthesising structural time-series constraints

International audienceWe describe a large family of constraints for structural time series by means of function composition. These constraints are on aggregations of features of patterns that occur in a time series, such as the number of its peaks, or the range of its steepest ascent. The patterns and features are usually linked to physical properties of the time series generator, which are important to capture in a constraint model of the system, i.e. a conjunction of constraints that produces similar time series. We formalise the patterns using finite transducers, whose output alphabet corresponds to semantic values that precisely describe the steps for identifying the occurrences of a pattern. Based on that description, we automatically synthesise automata with accumulators, as well as constraint checkers. The description scheme not only unifies the structure of the existing 30 time-series constraints in the Global Constraint Catalogue, but also leads to over 600 new constraints, with more than 100,000 lines of synthesised code
Applying model-driven engineering in small software enterprises

International audienceModel-Driven Engineering (MDE) is increasingly gaining acceptance in the software engineering community, however its adoption by the industry is far from successful. The number of companies applying MDE is still very limited. Although several case studies and reports have been published on MDE adoption in large companies, experience reports on small enterprises are still rare, despite the fact that they represent a large part of the software companies ecosystem. In this paper we report on our practical experience in two transfer of technology projects on two small companies. In order to determine the degree of success of these projects we present some factors that have to be taken into account in transfer of technology projects. Then, we assess both projects analyzing these factors and applying some metrics to give hints about the potential productivity gains that MDE could bring. We also comment on some lessons learned. These experiences suggest that MDE has the potential to make small companies more competitive, because it enables them to build powerful automation tools at modest cost. We will also present the approach followed to train these companies in MDE, and we contribute the teaching material so that it can be used or adapted by others projects of this nature
Modelling the fate of nonylphenolic compounds in the Seine River -- part 1: Determination of in-situ attenuation rate constants

International audienceAssessing the fate of endocrine disrupting compounds (EDCs) in the environment is currently a key issue for determining their impacts on aquatic ecosystems. The 4-nonylphenol (4-NP) is a well known EDC and results from the biodegradation of surfactant nonylphenol ethoxylates (NPnEOs). Fate mechanisms of NPnEO are well documented but their rate constants have been mainly determined through laboratory experiments. This study aims at evaluating the in-situ fate of 4-NP, nonylphenol monoethoxylate (NP1EO) and nonylphenolic acetic acid (NP1EC). Two sampling campaigns were carried out on the Seine River in July and September 2011, along a 28 km-transect downstream Paris City. The field measurements are used for the calibration of a sub-model of NPnEO fate, included into a hydro-ecological model of the Seine River (ProSe). The timing of the sampling is based on the Seine River velocity in order to follow a volume of water. Based on our results, in-situ attenuation rate constants of 4-NP, NP1EO and NP1EC for both campaigns are evaluated. These rate constants vary greatly. Although the attenuation rate constants in July are especially high (higher than 1 d− 1), those obtained in September are lower and consistent with the literature. This is probably due to the biogeochemical conditions in the Seine River. Indeed, the July sampling campaign took place at the end of an algal bloom leading to an unusual bacterial biomass while the September campaign was carried out during common biogeochemical status. Finally, the uncertainties on measurements and on the calibration parameters are estimated through a sensitivity analysis. This study provides relevant information regarding the fate of biodegradable pollutants in an aquatic environment by coupling field measurements and a biogeochemical model. Such data may be very helpful in the future to better understand the fate of nonylphenolic compounds or any other pollutants at the basin scale
Hilbert-Post completeness for the state and the exception effects

International audienceIn this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the " core " language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq