cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Light Mediators in Anomaly Free $U(1)_X$ Models II - Constraints on Dark Gauge Bosons
Creators: name: Correia, F. C.
name: Fajfer, Svjetlana
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We consider experimental constraints in the MeV region in order to determine the parameter space for the $U(1)_X$ extension of the Standard Model, presented in the first part of our work. In particular, we focus on the model UV-completed by cold WIMPs. We conclude that the electron anomalous magnetic moment, the neutrino trident production and the relic abundance $Ω_{CDM}$ provide the most stringent bounds and, in particular cases, they are sufficient to exclude dark-photon ($A'$) models. By allowing the axial-vector coupling of the dark gauge boson $Z'$, the interference effect with the SM gauge bosons may reduce the bounds coming from the trident neutrino production. At the same time, such coupling allows a region of the parameter space already favored both by the relic abundance and by the discrepancy between experimental result and theoretical prediction for the muon anomalous magnetic moment. We emphasize that light-$Z'$ interactions, non-universal for the two first lepton families, necessarily create a difference in the proton charge radius measured in the Lamb shift of the $e$-hydrogen and $μ$-hydrogen. Finally, we determine the effects of the new gauge boson on the forward-backward asymmetry in $e^+ e^- \rightarrow \bar{f} f$, $f = μ, τ$, and on the leptonic decays $M \rightarrow j ν_j l^+ l^-$, where $M = π, K, D, D_s, B$ and $j,l = e, μ$.
description: 30 pages, 12 figures
Additional file 3 of Paired-end small RNA sequencing reveals a possible overestimation in the isomiR sequence repertoire previously reported from conventional single read data analysis
Creators: name: Herrero, Jose Francisco Sanchez
name: Pluvinet, Raquel
name: De Haro, Antonio Luna
name: Sumoy, Lauro
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 3: Figure S2 B: Simulation statistics for three different softwares, from left to right (miraligner, OPTIMIR and sRNAbench) and in colors for different read types: red, Paired-end (PE); green, Single-end R1 (R1) and blue, SE R2 (R2). Statistics are from top to bottom, Sensitivity, calculated as TP/(TP+FN); Precision or specificity, calculated as TP/(TP+FP); and New Generation as the total count of new non-expected isomiRs detected. We show results using PE reads joined with 0% fastq.
Electron Bubbles and the Structure of the Orbital Wavefunction
Creators: name: Ro, Dohyung
name: Deng, N.
name: Watson, J. D.
name: Manfra, M. J.
name: Pfeiffer, L. N
name: West, K. W.
name: Csáthy, G. A.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Stripe-like and bubble-like patterns spontaneously form in numerous physical, chemical, and biological systems when competing long-range and short-range interactions banish uniformity. Stripe-like and the related nematic morphology are also under intense scrutiny in various strongly correlated electron systems. In contrast, the electronic bubble morphology is rare. Some of the most intriguing electron bubbles develop in the two-dimensional electron gas subjected to a perpendicular magnetic field. However, in contrast to bubbles forming in classical systems such as the Turing activator-inhibitor reaction or Langmuir films, bubbles in electron gases owe their existence to elementary quantum mechanics: they are stabilized as wavefunctions of individual electrons overlap. Here we report a rich pattern of multi-electron bubble phases in a high Landau level and we conclude that this richness is due to the nodal structure of the orbital component of the electronic wavefunction.
Relational Verification via Invariant-Guided Synchronization
Creators: name: Zhou, Qi
name: Heath, David
name: Harris, William
Publisher: name: arXiv
Year: 2019
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Relational properties describe relationships that hold over multiple executions of one or more programs, such as functional equivalence. Conventional approaches for automatically verifying such properties typically rely on syntax-based, heuristic strategies for finding synchronization points among the input programs. These synchronization points are then annotated with appropriate relational invariants to complete the proof. However, when suboptimal synchronization points are chosen the required invariants can be complicated or even inexpressible in the target theory. In this work, we propose a novel approach to verifying relational properties. This approach searches for synchronization points and synthesizes relational invariants simultaneously. Specifically, the approach uses synthesized invariants as a guide for finding proper synchronization points that lead to a complete proof. We implemented our approach as a tool named PEQUOD, which targets Java Virtual Machine (JVM) bytecode. We evaluated PEQUOD by using it to solve verification challenges drawn from the from the research literature and by verifying properties of student-submitted solutions to online challenge problems. The results show that PEQUOD solve verification problems that cannot be addressed by current techniques.
description: In Proceedings HCVS/PERR 2019, arXiv:1907.03523
Existence of Curves with Prescribed Topological Singularities
Creators: name: Keilen, Thomas
name: Tyomkin, Ilya
Publisher: name: arXiv
Year: 2001
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14H10, 14H15 (Primary) 14J26, 14J27, 14J28, 14J70 (Secondary)

description: Throughout this paper we study the existence of irreducible curves C on smooth projective surfaces S with singular points of prescribed topological types S_1,...,S_r. There are necessary conditions for the existence of the type \sum_{i=1}^r μ(S_i) < aC^2+bC.K+c+1 for some fixed divisor K on S and suitable coefficients a, b and c, and the main sufficient condition that we find is of the same type, saying it is asymptotically optimal. Even for the case where S is the projective plane, ten years ago general results of this quality have not been known. An important ingredient for the proof is a vanishing theorem for invertible sheaves on the blown up S of the form O_{S'}(π^*D-\sum_{i=1}^r m_iE_i), deduced from the Kawamata-Vieweg Vanishing Theorem. Its proof covers the first part of the paper, while the middle part is devoted to the existence theorems. In the last part we investigate our conditions on ruled surfaces, products of elliptic curves, surfaces in projective 3-space, and K3-surfaces.
description: 58 pages; contains many details missing in the version to be published in the Transactions of the AMS; revised version
MOESM1 of Maternal pre-pregnancy body mass index, smoking in pregnancy, and alcohol intake in pregnancy in relation to pubertal timing in the children
Creators: name: Brix, Nis
name: Ernst, Andreas
name: Lauridsen, Lea
name: Parner, Erik
name: Onyebuchi Arah
name: Olsen, Jørn
name: Henriksen, Tine
name: Ramlau-Hansen, Cecilia
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Cell Biology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1: Table S1. Sub-analysis: Prenatal exposures and pubertal timing, measured by HD:SDSa, when including children with height data +/− 4 years around the man age at peak height velocity in children born 2000–2003, the Danish National Birth Cohort, Denmark.
Ultimate TreeAutomizer (CHC-COMP Tool Description)
Creators: name: Dietsch, Daniel
name: Heizmann, Matthias
name: Hoenicke, Jochen
name: Nutz, Alexander
name: Podelski, Andreas
Publisher: name: arXiv
Year: 2019
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present Ultimate TreeAutomizer, a solver for satisfiability of sets of constrained Horn clauses. Constrained Horn clauses (CHC) are a fragment of first order logic with attractive properties in terms of expressiveness and accessibility to algorithmic solving. Ultimate TreeAutomizer is based on the techniques of trace abstraction, tree automata and tree interpolation. This paper serves as a tool description for TreeAutomizer in CHC-COMP 2019.
description: In Proceedings HCVS/PERR 2019, arXiv:1907.03523
MOESM1 of Gut microbiome associated with chemotherapy-induced diarrhea from the CapeOX regimen as adjuvant chemotherapy in resected stage III colorectal cancer
Creators: name: Fei, Zuo
name: Lijuan, Yin
name: Xi, Yang
name: Wei, Wu
name: Jing, Zhong
name: Miao, Da
name: Shuwen, Han
Publisher: name: figshare
Year: 2019
Subjects: subject: Biochemistry
subject: Pharmacology
subject: Ecology
subject: FOS: Biological sciences
subject: Information Systems not elsewhere classified
subject: Cancer
subject: Inorganic Chemistry
subject: FOS: Chemical sciences

description: Additional file 1. Alpha diversity analysis.
Differences in Whole Blood Gene ExpressionAssociated with Infection Time-Course andExtent of Fetal Mortality in a ReproductiveModel of Type 2 Porcine Reproductive andRespiratory Syndrome Virus (PRRSV)Infection
Creators: name: Wilkinson, Jamie M.; Ladinig, Andrea; Bao, Hua; Kommadath, Arun; Stothard, Paul; Lunney, Joan K.; Harding, John C. S.; Plastow, Graham S.
Publisher: name: University of Alberta Libraries
Year: 2016

Abstract
Phyllophaga fervida
Creators: name: Freese, Edwin L.
name: Veal, Doug A.
name: Lago, Paul K.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Melolonthidae
Phyllophaga
Phyllophaga fervida

description: Phyllophaga fervida (Fabricius, 1775)
Wickham 1911; Travis 1934; ISIC; DAVC; ELFC.
Collection dates: May–June.
Collected at light.
Travis (1934) reported 28 specimens collected from Iowa indicating it was rare in the state.
Specimen label data: Sharon Bluffs State Park, Appanoose Co., Iowa, 20 May 2006 [4], light, ELF (ELFC).
County records (Figure 127): Appanoose, Decatur, Henry, Howard, Lee, Linn, Mahaska, Van Buren.
description: Published as part of Freese, Edwin L., Veal, Doug A. & Lago, Paul K., 2020, The Scarabaeoidea (Coleoptera) of Iowa: An annotated checklist, pp. 1-83 in Insecta Mundi 2020 (787) on page 36, DOI: 10.5281/zenodo.5353792
Health Insurance and Joint Off‐Farm Labor Allocation Decisions of Farm Families
Creators: name: D'Antoni, Jeremy M.
name: Mishra, Ashok K.
name: D'Antoni, Jeremy M.
name: Mishra, Ashok K.
Publisher: name: Unknown
Year: 2012
Subjects: subject: Agribusiness
subject: Farm Management
subject: Food Security and Poverty
subject: Labor and Human Capital
subject: Public Economics
subject: Health insurance coverage
subject: endogeneity
subject: copula
subject: off-farm labor supply
subject: dependence
subject: bivariate tobit
subject: coupled farm programs payments
subject: decoupled farm program payments

description: Farm operators and spouses have increasingly engaged in off-farm work in recent years. Many studies have analyzed the role of government payments; however, little is known about the impact of health insurance coverage. This study builds on previous literature by using copulas to test for dependence in the labor allocation decisions of the operator and spouse, addressing the importance of fringe benefits to the farm household, and determining how these considerations affect our knowledge of the impact of government payments on off-farm labor. The results indicate that the off-farm hours worked by the operator and spouse are dependent. We then find significant evidence of endogeneity in the health insurance coverage variable. Using the predicted probability of insurance coverage, we find a positive and highly significant relationship with the hours worked off-farm. Further, we find that both coupled and decoupled payments are negatively correlated with the hours worked off-farm.
description: Contact author to request a copy of this paper.
The Problems Existing in Building of Rural Community in Jilin Province and Corresponding Countermeasures
Creators: name: Li, Lei
name: Li, Lei
Publisher: name: Unknown
Year: 2011
Subjects: subject: Agribusiness
subject: Building of rural community
subject: Infrastructure
subject: Organizational construction
subject: China

description: This paper analyses some problems existing in building of rural community in Jilin Province as follows, the funds for community building are short; the residents show sluggish participation in community; the infrastructure community building is backward; the organizational building of community lags behind; the operating mechanism is in chaos. Finally, corresponding countermeasures and suggestions are put forward as follows, we should strengthen the funds guarantee of government for community building; we should reinforce the quality education for the rural residents; we should speed up the construction of rural infrastructure; we should improve organizational building of rural community.
Additional file 1: of Prevalence of hypertension and prehypertension in Nepal: a systematic review and meta-analysis
Creators: name: Huang, Yun
name: Guo, Pi
name: Karmacharya, Biraj
name: Seeruttun, Sharvesh
name: Xu, Dong
name: Hao, Yuantao
Publisher: name: figshare
Year: 2019
Subjects: Biological Sciences not elsewhere classified
Science Policy

description: Prisma Checklist. (DOC 64 kb)
Efficient solutions for nonlocal diffusion problems via boundary-adapted spectral methods
Creators: name: Jafarzadeh, Siavash
name: Larios, Adam
name: Bobaru, Florin
Publisher: name: arXiv
Year: 2019
Subjects: subject: Numerical Analysis (math.NA)
subject: Computational Engineering, Finance, and Science (cs.CE)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 31B10, 45A05, 35K20, 35R09, 65N35, 65R20

description: We introduce an efficient boundary-adapted spectral method for peridynamic diffusion problems with arbitrary boundary conditions. The spectral approach transforms the convolution integral in the peridynamic formulation into a multiplication in the Fourier space, resulting in computations that scale as O(NlogN). The limitation of regular spectral methods to periodic problems is eliminated using the volume penalization method. We show that arbitrary boundary conditions or volume constraints can be enforced in this way to achieve high levels of accuracy. To test the performance of our approach we compare the computational results with analytical solutions of the nonlocal problem. The performance is tested with convergence studies in terms of nodal discretization and the size of the penalization parameter in problems with Dirichlet and Neumann boundary conditions.
description: 26 pages, 12 figures
Power, Efficiency and Fluctuations in a Quantum Point Contact as Steady-State Thermoelectric Heat Engine
Creators: name: Kheradsoud, Sara
name: Dashti, Nastaran
name: Misiorny, Maciej
name: Potts, Patrick P.
name: Splettstoesser, Janine
name: Samuelsson, Peter
Publisher: name: arXiv
Year: 2019
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The trade-off between large power output, high efficiency and small fluctuations in the operation of heat engines has recently received interest in the context of thermodynamic uncertainty relations (TURs). Here we provide a concrete illustration of this trade-off by theoretically investigating the operation of a quantum point contact (QPC) with an energy-dependent transmission function as a steady-state thermoelectric heat engine. As a starting point, we review and extend previous analysis of the power production and efficiency. Thereafter the power fluctuations and the bound jointly imposed on the power, efficiency and fluctuations by the TURs are analyzed as additional performance quantifiers. We allow for arbitrary smoothness of the transmission probability of the QPC, which exhibits a close to step-like dependence in energy, and consider both the linear and the non-linear regime of operation. It is found that for a broad range of parameters, the power production reaches nearly its theoretical maximum value, with efficiencies more than half of the Carnot efficiency and at the same time with rather small fluctuations. Moreover, we show that by demanding a non-zero power production, in the linear regime a stronger TUR can be formulated in terms of the thermoelectric figure of merit. Interestingly, this bound holds also in a wide parameter regime beyond linear response for our QPC device.
description: To be submitted to Entropy, Special Issue "Quantum Transport in Mesoscopic Systems", comments are welcome
MOESM1 of Health risk assessment of potentially toxic elements via consumption of vegetables irrigated with polluted river water in Addis Ababa, Ethiopia
Creators: name: Minbale Aschale
name: Yilma Sileshi
name: Kelly-Quinn, Mary
Publisher: name: figshare
Year: 2019
Subjects: subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Inorganic Chemistry

description: Additional file 1: Figure S1. Pictures of vegetable samples analyzed in the study. Figure S2. Sample digestion and analysis in the Inland Fisheries Laboratory of Ireland.
ESR investigation of the spin dynamics in (Gd_{1-x}Y_{x})_2PdSi_{3}
Creators: name: Deisenhofer, J.
name: von Nidda, H. -A. Krug
name: Loidl, A.
name: Sampathkumaran, E. V.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We report electron-spin resonance measurements in polycrystalline samples of (Gd_{1-x}Y_{x})_2PdSi_{3}. We observe the onset of a broadening of the linewidth and of a decrease of the resonance field at approximately twice the Neel temperature in the paramagnetic state, this characteristic temperature coincides with the electrical resistivity minimum. The high-temperature behaviour of the linewidth is governed by a strong bottleneck effect.
Progress report on the feasibility of using the ISR magnets in a TRIUMF Kaon factory
Creators: name: Blackmore, Ewart William
name: Botman, J.
name: Bugg, D. V. (David Vernon)
name: Craddock, M. K. (Michael Kevin)
name: Hereward, H. G.
name: Joho, W.
name: Laxdal, R.
name: McKenzie, G. H.
name: Reeve, P. A.
name: Reiniger, K.
name: Richardson, J. Reginald
name: Teng, L. C.
Publisher: name: TRIUMF
Year: 2017

description: TRIUMF is considering the construction of a "kaon factory" post-accelerator to take the present 100 ~ proton beam (6 x 10¹⁴ p/s) f rom 500 MeV to energies in the tens of GeV. This would provide beams of kaons, antiprotons, neutrinos, etc., 100-1000 times more intense - or alternatively cl eaner - than those available at present. Such beams would open up new fields in both nuclear and particle physics in the same way that the pion factories LAMPF, SIN and TRIUMF have done at lower energies; in particular the enhanced ability to study rare processes could throw light on mass regions far beyond those accessible with any presently conceivable super-high energy accelerator. Since it is understood that there are no definite plans to use the dipole magnets from the Intersecting Storage Rings at CERN af t er closure of the ISR in 1984, a study has been undertaken to assess the feasibility of incorporating them in a TRIUMF kaon factory. If these magnets were available at nominal cost, then for the same total funds it should be possible to build a kaon factory of considerably higher energy and physics capability. Out of various options the one selected as most suitable in terms of its physics capability, site requirements and cost would use one ring of magnets for a 30 GeV 50 ~ synchrotron and the other for a 30 GeV dc stretcher ring.. The magnets would be reconfigured in a regular 48 cell FFODDO lattice, apart from 4 straight sections. The two rings would be mounted one above the other in the same tunnel, along with a dc accumulator ring at the injection energy. This arrangement would have the advantage of providing both low and high duty factor beams from the outset. The synchrotron magnets would operate with a triangular waveform at 0.5 Hz, using flywheel/motor generator energy storage. In the longer term a 60 GeV superferric or 120 GeV superconducting ring could be added in the tunnel.
Additional file 1: of Vibration of effects from diverse inclusion/exclusion criteria and analytical choices: 9216 different ways to perform an indirect comparison meta-analysis
Creators: name: ClĂŠment Palpacuer
name: Hammas, Karima
name: Duprez, Renan
name: Laviolle, Bruno
name: Ioannidis, John
name: Naudet, Florian
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Pharmacology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: References S1. References of articles excluded after review of full-texts. Table S1. Main characteristics of the included studies. Figure S1. Quality evaluation of studies included according to the Cochrane Collaboration tool for assessing risk of bias. Table S2. Analytical scenario resulting in superiority of nalmefene over naltrexone. Table S3. Analytical scenario resulting in superiority of naltrexone over nalmefene. Figure S2. Heterogeneity of the indirect comparison: nalmefene versus naltrexone. Figure S3. Sensitivity analysis excluding meta-analyses with I2â >â 25% and based on a fixed effect model for the indirect comparison between nalmefene and naltrexone. Figure S4. Heterogeneity of the direct comparison: nalmefene versus placebo. Figure S5. Heterogeneity of the direct comparison: naltrexone versus placebo. Checklist S1. PRISMA checklist. (PDF 562 kb)
O parecer 1/17 e a reforma da arbitragem investidor-Estado: autonomia a quanto (mais) obrigas?
Creators: name: Vicente, Marta
Publisher: name: Católica Law Review
Year: 2021

description: O presente texto pretende explicitar a ligação entre o princípio da autonomia da ordem jurídica da União Europeia, tal como desenvolvido pelo Tribunal de Justiça, e o processo de reforma da arbitragem investidor-Estado. O desenho dos API concluídos pela União – em especial, do Comprehensive Economic Trade Agreement (vulgo, CETA) – é revelador de uma estratégia cujo propósito passa pela redução das possibilidades de diálogo judicial entre o direito da União e o direito internacional do investimento estrangeiro, bem como pela predeterminação dos resultados ponderativos entre os direitos dos investidores estrangeiros e o “direito de regular”, isto é, o poder soberano de o Estado de acolhimento emanar normas que afetam a entrada e o desenvolvimento das atividades de investimento. É nosso propósito demonstrar que as propostas de reforma da arbitragem do investimento veiculadas pela União são também uma forma de assegurar as condições da autonomia da ordem jurídica da União, e que dessas propostas resulta um modelo caracterizado pela subtração, aos tribunais de investimento, da “competência” para pôr em causa o nível de proteção do interesse público definido por ato legislativo da União.
description: Católica Law Review, v. 5 n. 1 (2021): Direito público
Soft Information, Core Competitive Edge and Private Relationship Lending - A Case of Village Banks
Creators: name: Liu, Song
name: Lin, Xian-Ming
name: Liu, Song
name: Lin, Xian-Ming
Publisher: name: Unknown
Year: 2011
Subjects: subject: Agribusiness
subject: Soft information
subject: Private relationship lending
subject: Core competitive edge
subject: Village banks
subject: China

description: In view of the development problems of village banks, through introducing the concept of private relationship lending, the functions of soft information. the channels of village banks for collecting soft information. and the private relationship lending of village banks under Chinese rural human environment of highlighting relationship while despising rationality are proved. According to the recognition standard of core competitive edge, it can be concluded that me core competitive edge of village banks is private relationship lending. In the first place, these lands of small and medium- sired quarter banks have competitive advantages in launching private relationship lending; in the second place, the lending businesses of village banks based on soft information attracts small and medium clients; in the third place, the private relationship lending has realized the scale economy. Furthermore, the reasons why village banks can not display the core competitive edge have been analyzed, firstly, village banks have not found that private relationship lending is their core competitive edge; secondly, the internal motivation on establishing private relationship lending of village banks is insufficient; thirdly, village banks have not prepared well in developing private relationship lending; The relevant policies and countermeasures are put forward, including transforming idea and vigorously developing private relationship lending; intensifying training and improving the quality of personnel involved; strengthening supervision and avoiding the violation behaviors of personnel involved; emulating experiences and perfecting the private relationship lending mechanism of village banks.
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Creators: name: De Angelis, Emanuele
name: Fioravanti, Fabio
name: Pettorossi, Alberto
name: Proietti, Maurizio
Publisher: name: arXiv
Year: 2019
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: The proof of a program property can be reduced to the proof of satisfiability of a set of constrained Horn clauses (CHCs) which can be automatically generated from the program and the property. In this paper we have conducted a case study in Horn clause verification by considering several sorting programs with the aim of exploring the effectiveness of a transformation technique which allows us to eliminate inductive data structures such as lists or trees. If this technique is successful, we derive a set of CHCs with constraints over the integers and booleans only, and the satisfiability check can often be performed in an effective way by using state-of-the-art CHC solvers, such as Eldarica or Z3. In this case study we have also illustrated the usefulness of a companion technique based on the introduction of the so-called difference predicates, whose definitions correspond to lemmata required during the verification. We have considered functional programs which implement the following kinds of sorting algorithms acting on lists of integers: (i) linearly recursive sorting algorithms, such as insertion sort and selection sort, and (ii) non-linearly recursive sorting algorithms, such as quicksort and mergesort, and we have considered the following properties: (i) the partial correctness properties, that is, the orderedness of the output lists, and the equality of the input and output lists when viewed as multisets, and (ii) some arithmetic properties, such as the equality of the sum of the elements before and after sorting.
description: In Proceedings HCVS/PERR 2019, arXiv:1907.03523
Ermioni Xanthopoulou. Fundamental rights and mutual trust in the area of freedom, security and justice – a role for proportionality? Oxford: Hart Publishing, 2020. ISBN: 978-1-5099-2225-3
Creators: name: Sousa, Inês Pereira De
Publisher: name: Católica Law Review
Year: 2021

description: Católica Law Review, v. 5 n. 1 (2021): Direito público
Phyllophaga forsteri
Creators: name: Freese, Edwin L.
name: Veal, Doug A.
name: Lago, Paul K.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Melolonthidae
Phyllophaga
Phyllophaga forsteri

description: Phyllophaga forsteri (Burmeister, 1855)
Wickham 1911; King 1914; Travis 1934; Luginbill and Painter 1953; ISIC; IWUC; ELFC.
Collection dates: May– July.
Travis (1934) reported only eleven specimens collected from the state indicating it was rare in Iowa.
Specimen label data: Dyersville, Dubuque Co., Iowa 2 June 1914 [3], collected from hazel [2] and from white oak [1], R. L. Webster (ISIC); Leon, Decatur Co., Iowa, 14 June [3], 15 June [1], 1932, B. V. Travis (ISIC); Warren Co., Iowa, 14 June 1940, H. E. Jaques, determined Luginbill 1941 (IWUC); Timberhill Savanna, Decatur Co., Iowa, 7 July 2011, light, ELF (ELFC).
County records (Figure 128): Decatur, Delaware, Dubuque, Henry, Warren.
description: Published as part of Freese, Edwin L., Veal, Doug A. & Lago, Paul K., 2020, The Scarabaeoidea (Coleoptera) of Iowa: An annotated checklist, pp. 1-83 in Insecta Mundi 2020 (787) on page 36, DOI: 10.5281/zenodo.5353792
Superhydrophobic frictions
Creators: name: Mouterde, Timothée
name: Raux, Pascal S.
name: Clanet, Christophe
name: Quéré, David
Publisher: name: arXiv
Year: 2019
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Contrasting with its sluggish behavior on standard solids, water is extremely mobile on superhydrophobic materials, as shown for instance by the continuous acceleration of drops on tilted water-repellent leaves. For much longer substrates, however, drops reach a terminal velocity that results from a balance between weight and friction, allowing us to question the nature of this friction. We report that the relationship between force and terminal velocity is non-linear. This is interpreted by showing that classical sources of friction are minimized, so that the aerodynamical resistance to motion becomes dominant, which eventually explains the matchless mobility of water. Our results are finally extended to viscous liquids, also known to be unusually quick on these materials.
Monitoring, Reporting, and Verification of Soil Organic Carbon and Greenhouse Gas Balance. The MRV4SOC project in a nutshell.
Creators: name: Gómez-Giménez, Marta
name: van Wesemael, Bas
name: Guenet, Bertrand
name: Van den Broeck, Goedele
name: Fantappiè, Maria
name: De Amicis, Luisa
name: Colonnello, Claudia
Publisher: name: Zenodo
Year: 2023

description: MRV4SOC aims at designing a comprehensive and robust Tier 3 approach accounting for changes in as many C pools as possible (above-ground biomass, below ground-biomass, litter, dead wood, soil organic carbon, and harvested wood products) fully aligned with national GHG reporting. We seek to develop solutions applicable for different spatio-temporal scales and climate change scenarios and validated for a wide variety of ecosystems (arid, temperate, and continental climate zones) in collaboration with local stakeholders. The proposed approach will help establish a reliable, transparent, and cost-effective monitoring, reporting, and verification (MRV) methodological framework for the EU land sector.
THE STATUS OF A PEDAGOGUE IN NEW UZBEKISTAN: SOCIO-PHILOSOPHICAL CLASSIFICATION AND SPECIFIC FEATURES
Creators: name: Ergashev, Azizjon
Publisher: name: Zenodo
Year: 2024

description: In the article, the socio-philosophical aspects of securing the status of a pedagogue in New Uzbekistan, its necessity, current issue, and its socio-philosophical classification and specific features were analyzed in this process.
The Ground State of the Bose Gas
Creators: name: Lieb, Elliott H.
name: Seiringer, Robert
name: Solovej, Jan Philip
name: Yngvason, Jakob
Publisher: name: arXiv
Year: 2002
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: 81V70, 35Q55, 46N50

description: Now that the low temperature properties of quantum-mechanical many-body systems (bosons) at low density, $ρ$, can be examined experimentally it is appropriate to revisit some of the formulas deduced by many authors 4-5 decades ago. For systems with repulsive (i.e. positive) interaction potentials the experimental low temperature state and the ground state are effectively synonymous -- and this fact is used in all modeling. In such cases, the leading term in the energy/particle is $2π\hbar^2 a ρ/m$ where $a$ is the scattering length of the two-body potential. Owing to the delicate and peculiar nature of bosonic correlations (such as the strange $N^{7/5}$ law for charged bosons), four decades of research failed to establish this plausible formula rigorously. The only previous lower bound for the energy was found by Dyson in 1957, but it was 14 times too small. The correct asymptotic formula has recently been obtained by us and this work will be presented. The reason behind the mathematical difficulties will be emphasized. A different formula, postulated as late as 1971 by Schick, holds in two-dimensions and this, too, will be shown to be correct. With the aid of the methodology developed to prove the lower bound for the homogeneous gas, two other problems have been successfully addressed. One is the proof by us that the Gross-Pitaevskii equation correctly describes the ground state in the `traps' actually used in the experiments. For this system it is also possible to prove complete Bose condensation, as we have shown. Another topic is a proof that Foldy's 1961 theory of a high density Bose gas of charged particles correctly describes its ground state energy.
description: 54 pages, latex
Corynoneura capitanea Fu & Saether 2012, sp. n.
Creators: name: Fu, Yue
name: Saether, Ole A.
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Chironomidae
Corynoneura
Corynoneura capitanea

description: Corynoneura capitanea sp. n.
(Figs 5 A–B)
 Type material. Holotype male, USA: Fliclay County, unnamed creek, 1 pharate male, 13.i.1995, J.H. Epler (ZMBN Type no. 454).
 Etymology. From Latin, capitaneus, chief in size, large, referring to gonostylus bearing a huge megaseta.
 Diagnostic characters. The pharate male is characterized by antenna with 11 flagellomeres, AR 0.61, apically acute; hind tibia without S-shaped seta; gonostylus with well developed megaseta.
 Pharate male (n = 1)
 Coloration. Head brown, other parts yellowish brown.
The limited characters known: Antenna (Fig. 5 B) with 11 flagellomeres, ultimate flagellomere 212 µm, AR 0.61, apically acute, with about 8 apical sensilla chaetica. Hind tibia slightly expanded, with comb of 11 setae, without S-shaped seta. Laterosternites IX with 2 long setae. Superior volsella triangular, anteromedially separated. Inferior volsella small, rectangular, placed caudally. Phallapodeme slightly curved, 44 µm long, in caudal position of sternapodeme. Transverse sternapodeme 20 µm wide. Gonocoxite 95 µm long. Gonostylus apically curved, 34 µm long; megaseta 14 µm long. HR 2.8 (Fig. 5 A).
description: Published as part of Fu, Yue & Saether, Ole A., 2012, 3536, pp. 1-61 in Zootaxa 3536 on page 12
Analysis of the Ecological Migration Pattern in Ethnic Minority Areas - A Case Study of Ningxia Hui Autonomous Region
Creators: name: Zhang, Yun-Yan
name: Zhang, Yun-Yan
Publisher: name: Unknown
Year: 2011
Subjects: subject: Agribusiness
subject: Ethnic minority areas
subject: Ecological migration
subject: Pattern
subject: Ningxia
subject: China

description: By taking Ningxia Hui Autonomous Region as an example, this paper analyzes the ecological migration pattern in ethnic minority areas. The basic patterns of development for poverty relief in Ningxia are in-situ migration and new area development pattern. The new area development pattern includes three types, namely small town development pattern around urban radiation districts, urban labor migration pattern, and large-scale ecological migration pattern. Finally, successful experience of ecological migration in Ningxia is summarized. First, scientific industrial planning shall be made on the basis of proper selection of ecological migration location in immigrant settlement regions. Second, scientific and comprehensive ecological migration policies should be formulated.
Discovery of a Black-hole Mass - Period Correlation in Soft X-ray Transients and its Implication for Gamma-Ray Burst and Hypernova Mechanisms
Creators: name: Lee, Chang-Hwan
name: Brown, G. E.
name: Wijers, R. A. M. J.
Publisher: name: arXiv
Year: 2001
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We investigate the soft X-ray transients with black hole primaries which may have been the sources of gamma-ray bursts and hypernovae earlier in their evolution. We find that the black-hole mass increases with the orbital period of the binary, both for systems with main-sequence donors and for those with evolved donors. This correlation can be understood in terms of angular-momentum support in the helium star progenitor of the black hole, if the systems with shorter periods had more rapidly rotating primaries prior to their explosion: centrifugal support will then prevent more of its mass from collapsing into the black hole. This trend of more rapidly rotating stars in closer binaries is very generally seen, and in the present case can be understood in terms of spin-up during spiral in and subsequent tidal coupling. We investigate the relation quantitatively and obtain reasonable agreement with the observed mass-period correlation. A natural consequence of this observation is that black holes formed in soft X-ray transients acquire significant Kerr parameters. This makes them good sources of power for gamma-ray bursts and hypernovae, via the Blandford-Znajek mechanism, and thus supports our model for the origin of gamma-ray bursts in soft X-ray transients.
description: 33 pages, 12 figures,substantial changes
MOESM1 of A near infrared light-triggerable modular formulation for the delivery of small biomolecules
Creators: name: Vitor Francisco
name: Lino, Miguel
name: Ferreira, Lino
Publisher: name: figshare
Year: 2019
Subjects: subject: Biophysics
subject: Space Science
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Molecular Biology
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Cancer

description: Additional file 1. Data relative to the characterization of RA and AuNRs conjugates, cytotoxicity, AuNRs heating profile, internalization and binding affinities of RAn to AuNRs.
Production of exotic tetraquarks $QQ\bar{q}\bar{q}$ in heavy-ion collisions at the LHC
Creators: name: Fontoura, C. E.
name: Krein, G.
name: Valcarce, A.
name: Vijande, J.
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We investigate the production of exotic tetraquarks, $QQ\bar{q}\bar{q} \equiv T_{QQ}$ ($Q=c$ or $b$ and $q=u$ or $d$), in relativistic heavy-ion collisions using the quark coalescence model. The $T_{QQ}$ yield is given by the overlap of the density matrix of the constituents in the emission source with the Wigner function of the produced tetraquark. The tetraquark wave function is obtained from exact solutions of the four-body problem using realistic constituent models. The production yields are typically one order of magnitude smaller than previous estimations based on simplified wave functions for the tetraquarks. We also evaluate the consequences of the partial restoration of chiral symmetry at the hadronization temperature on the coalescence probability. Such effects, in addition to increasing the stability of the tetraquarks, lead to an enhancement of the production yields, pointing towards an excellent discovery potential in forthcoming experiments. We discuss further consequences of our findings for the search of exotic tetraquarks in central Pb+Pb collisions at the LHC.
The Mode Reform of Cultivating Marketing Talents in Agricultural Vocational Colleges Based on the Perspective of Agricultural Enterprises - A Case Study of Wenzhou Vocational College of Science and Technology
Creators: name: Chen, Fang-Li
name: Wang, Yang
name: Chen, Fang-Li
name: Wang, Yang
Publisher: name: Unknown
Year: 2011
Subjects: subject: Agribusiness
subject: Agricultural enterprises
subject: Talent cultivation mode
subject: Agricultural marketing talents
subject: Marketing technique
subject: Technique marketing
subject: China

description: We conduct survey on the characteristics of demand of agricultural enterprises for agricultural marketing talents from the following 6 aspects: the professional marketing talents needed urgently by the agricultural enterprises, the amount of demand of agricultural enterprises for the marketing talents, the jobs offered by the agricultural enterprises, the educational background of agricultural marketing talents favored by the agricultural enterprises. the requirements Dosed by the agricultural enterprises on the work experience of agricultural marketing talents. and the quality requirements posed by the agricultural enterprises on the agricultural marketing talents. We analyse the problems existing in the cultivation mode of marketing talents in agricultural vocational colleges as follows, the feature of major is not outstanding; the contradiction between supply and demand is prominent; it is disconnected with the practical needs of agricultural enterprises; the cultivation form of practical ability is simple. On the basis of this, taking Wenzhou Vocational College of Science and Technology as an example, we advance the new mode of cultivating inter-disciplinary talents integrating marketing technique + technique marketing , and establish characteristic agricultural course combo system on the basis of vocational position orientation. In the meantime, we propose that we should conduct close college-enterprise cooperation with the local leading agricultural enterprises. This cultivation mode reform of talents is favorable for the agricultural enterprises, especially small and medium-sired agricultural enterprises to foster ' marketable agricultural marketing talents, elevate the comprehensive competitiveness of small and medium-sired agricultural enterprises, serve the local economy, and promote the development of modern agriculture, and China's agriculture, farmer, and countryside.
Additional file 4 of Paired-end small RNA sequencing reveals a possible overestimation in the isomiR sequence repertoire previously reported from conventional single read data analysis
Creators: name: Herrero, Jose Francisco Sanchez
name: Pluvinet, Raquel
name: De Haro, Antonio Luna
name: Sumoy, Lauro
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 4: Figure S3 A: Classification and comparison of miRTOP sequences from simulations results using miraligner software, for each isomiR class and each category of analysis: PE_0 (PE analysis, parameter fastq-join 0% percentage difference); PE_8 (PE analysis, parameter fastq-join 8% percentage difference); SR1 (single end reads R1) and SR2 (SE reads R2). We represented the total average read counts (A) and the count of unique isomiRs detected (B).
Experimental realization of a relativistic fluxon ratchet
Creators: name: Carapella, G.
name: Costabile, G.
name: Latempa, R.
name: Martucciello, N.
name: Cirillo, M.
name: Polcari, A.
name: Filatrella, G.
Publisher: name: arXiv
Year: 2001
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We report the observation of the ratchet effect for a relativistic flux quantum trapped in an annular Josephson junction embedded in an inhomogeneous magnetic field. In such a solid state system mechanical quantities are proportional to electrical quantities, so that the ratchet effect represents the realization of a relativistic-flux-quantum-based diode. Mean static voltage response, equivalent to directed fluxon motion, is experimentally demonstrated in such a diode for deterministic current forcing both in the overdamped and in the underdamped dynamical regime. In the underdamped regime, the recently predicted phenomenon of current reversal is also recovered in our fluxon ratchet.
description: 4 pages, 6 figures. To appear in PHYSICA C
Polarization of changing-look quasars
Creators: name: Hutsemékers, D.
name: González, B. Agís
name: Marin, F.
name: Sluse, D.
name: Almeida, C. Ramos
name: Pulido, J. -A. Acosta
Publisher: name: arXiv
Year: 2019
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: If the disappearance of the broad emission lines observed in changing-look quasars originates from the obscuration of the quasar core by dusty clouds moving in the torus, high linear optical polarization would be expected in those objects. We then measured the rest-frame UV-blue linear polarization of a sample of 13 changing-look quasars, 7 of them being in a type 1.9-2 state. For all quasars but one the polarization degree is lower than 1%. This suggests that the disappearance of the broad emission lines cannot be attributed to dust obscuration, and supports the scenario in which changes of look are caused by a change in the rate of accretion onto the supermassive black hole. Such low polarization degrees also indicate that these quasars are seen under inclinations close to the system axis. One type 1.9-2 quasar in our sample shows a high polarization degree of 6.8%. While this polarization could be ascribed to obscuration by a moving dusty cloud, we argue that this is unlikely given the very long time needed for a cloud from the torus to eclipse the broad emission line region of that object. We propose that the high polarization is due to the echo of a past bright phase seen in polar-scattered light. This interpretation raises the possibility that broad emission lines observed in the polarized light of some type 2 active galactic nuclei can be echoes of past type 1 phases and not evidence of hidden broad emission line regions.
description: Accepted for publication in Astronomy and Astrophysics
On The Construction of Generalized Coherent States for Generalized Harmonic Oscillators
Creators: name: Baz, M. El
name: Hassouni, Y.
name: Madouri, F.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: 81R30

description: A dynamical algebra ${\cal A}_q$, englobing many of the deformed harmonic oscillator algebras is introduced. One of its special cases is extensively developed. A general method for constructing coherent states related to any algebra of the type ${\cal A}_q$ is discussed. The construction following this method is carried out for the special case.
description: 14 pages, no figures
Phyllophaga fraterna Harris 1842
Creators: name: Freese, Edwin L.
name: Veal, Doug A.
name: Lago, Paul K.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Melolonthidae
Phyllophaga
Phyllophaga fraterna

description: Phyllophaga fraterna Harris, 1842
Putnam 1876; Horn 1887; Wickham 1911; Travis 1934; ISIC; IWUC; ELFC.
Collection dates: March–July.
Collected at light.
County records (Figure 129): Dubuque, Harrison, Henry, Jackson, Jefferson, Johnson, Louisa, Story, Van Buren, Wapello.
description: Published as part of Freese, Edwin L., Veal, Doug A. & Lago, Paul K., 2020, The Scarabaeoidea (Coleoptera) of Iowa: An annotated checklist, pp. 1-83 in Insecta Mundi 2020 (787) on page 36, DOI: 10.5281/zenodo.5353792