cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Lacticaseibacillus baoqingensis Zheng, Wittouck, Salvetti, Franz, Harris, Mattarelli, O'Toole, Pot, Vandamme, Walter, Watanabe, Wuyts, Felis, Gänzle & Lebeer, 2020, COMB. NOV.
Creators: name: Zheng, Jinshui
name: Wittouck, Stijn
name: Salvetti, Elisa
name: Franz, Charles M. A. P.
name: Harris, Hugh M. B.
name: Mattarelli, Paola
name: O'Toole, Paul W.
name: Pot, Bruno
name: Vandamme, Peter
name: Walter, Jens
name: Watanabe, Koichi
name: Wuyts, Sander
name: Felis, Giovanna E.
name: Gänzle, Michael G.
name: Lebeer, Sarah
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Bacteria
Firmicutes
Bacilli
Lactobacillales
Lactobacillaceae
Lacticaseibacillus
Lacticaseibacillus baoqingensis

description: DESCRIPTION OF LACTICASEIBACILLUS BAOQINGENSIS COMB. NOV.
 Lacticaseibacillus baoqingensis (boa.qing.en’sis. N.L. masc. adj. boaqingensis of Boaqing, from where the type strain was isolated).
 Basonym: Lactobacillus baoqingensis Long and Gu 2019, 2347 VP
 Original characteristics of L. baoqingensis strains are as provided by Long and Gu [158].
The genome size of the type strain is 2.86 Mbp. The mol% G+C content of DNA is 50.9.
Isolated from a vegetable fermentation.
 The type strain is 47–3 T = NCIMB 15165 T = CCM 8903 T = LMG 31064 T.
Genome sequence accession number: RHOI00000000.
16S rRNA gene accession number: MK 110840.
description: Published as part of Zheng, Jinshui, Wittouck, Stijn, Salvetti, Elisa, Franz, Charles M. A. P., Harris, Hugh M. B., Mattarelli, Paola, O'Toole, Paul W., Pot, Bruno, Vandamme, Peter, Walter, Jens, Watanabe, Koichi, Wuyts, Sander, Felis, Giovanna E., Gänzle, Michael G. & Lebeer, Sarah, 2020, A taxonomic note on the genus Lactobacillus: Description of 23 novel genera, emended description of the genus Lactobacillus Beijerinck 1901, and union of Lactobacillaceae and Leuconostocaceae, pp. 2782-2858 in International Journal of Systematic and Evolutionary Microbiology 70 (4) on page 2811, DOI: 10.1099/ijsem.0.004107, http://zenodo.org/record/10114954
Finite conformal modules over the N=2,3,4 superconformal algebras
Creators: name: Cheng, Shun-Jen
name: Lam, Ngau
Publisher: name: arXiv
Year: 2000
Subjects: subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics
subject: 17B65

description: In this paper we continue the study of representation theory of formal distribution Lie superalgebras initiated in q-alg/9706030. We study finite Verma-type conformal modules over the N=2, N=3 and the two N=4 superconformal algebras and also find explicitly all singular vectors in these modules. From our analysis of these modules we obtain a complete list of finite irreducible conformal modules over the N=2, N=3 and the two N=4 superconformal algebras.
description: 36 pages, no figures, LaTeX format
Pinning, diffusive fluctuations, and Gaussian limits for half-space directed polymer models
Creators: name: Ginsburg, Victor
Publisher: name: arXiv
Year: 2023
Subjects: subject: Probability (math.PR)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 60K37, 60K35 (Primary) 82D60, 82B43 (Secondary)

description: Half-space directed polymers in random environments are models of interface growth in the presence of an attractive hard wall. They arise naturally in the study of wetting and entropic repulsion phenomena. In 1985, Kardar predicted a "depinning" phase transition as the attractive force of the wall is weakened. This phase transition has been rigorously established for integrable models of half-space last passage percolation, i.e. half-space directed polymers at zero temperature, in a line of study tracing back to work of Baik--Rains. On the other hand, for integrable positive temperature models, the first rigorous proof of this phase transition has only been obtained very recently through a series of works of Barraquand--Wang, Imamura--Mucciconi--Sasamoto [IMS], Barraquand--Corwin--Das, and Das--Zhu [DZ] on the half-space log-Gamma polymer. In this paper we study a broad class of half-space directed polymer models with minimal assumptions on the random environment. We prove that an attractive force on the wall strong enough to macroscopically increase the free energy induces phenomena characteristic of the subcritical "bound phase," namely the pinning of the polymer to the wall and the diffusive fluctuations and limiting Gaussianity of the free energy. Our arguments are geometric in nature and allow us to analyze the positive temperature and zero temperature models simultaneously. Moreover, given the macroscopic free energy increase proven in [IMS] for the half-space log-Gamma polymer, our arguments can be used to reprove the results of [IMS, DZ] on polymer geometry and free energy fluctuations in the bound phase.
description: 31 pages, 3 figures. Final version, to appear in Electronic Journal of Probability
Manufacturing quality prediction using smooth spatial variable selection estimator with applications in aerosol jet® printed electronics manufacturing
Creators: name: Yifu Li
name: Hongyue Sun
name: Xinwei Deng
name: Zhang, Chuck
name: Hsu-Pin (Ben) Wang
name: Jin, Ran
Publisher: name: Taylor & Francis
Year: 2019
Subjects: subject: Space Science
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Additive manufacturing (AM) has advantages in terms of production cycle time, flexibility, and precision compared with traditional manufacturing. Spatial data, collected from optical cameras or in situ sensors, are widely used in various AM processes to quantify the product quality and reduce variability. However, it is challenging to extract useful information and features from spatial data for modeling, because of the increasing spatial resolutions and feature complexities due to the highly diversified nature of AM processes. Motivated by the aerosol jet® printing process in printed electronics, we propose a smooth spatial variable selection procedure to extract meaningful predictors from spatial contrast information in high-definition microscopic images to model the resistances of printed wires. The proposed method does not rely on extensive feature engineering, and has the generality to be applied to a variety of spatial data modeling problems. The performance of the proposed method in prediction and variable selection through simulations and a real case study has proven to be both accurate and easy to be interpreted.
Timescale Separation in Autonomous Optimization
Creators: name: Hauswirth, Adrian
name: Bolognani, Saverio
name: Hug, Gabriela
name: Dörfler, Florian
Publisher: name: arXiv
Year: 2019
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: Autonomous optimization refers to the design of feedback controllers that steer a physical system to a steady state that solves a predefined, possibly constrained, optimization problem. As such, no exogenous control inputs such as setpoints or trajectories are required. Instead, these controllers are modeled after optimization algorithms that take the form of dynamical systems. The interconnection of this type of optimization dynamics with a physical system is however not guaranteed to be stable unless both dynamics act on sufficiently different timescales. In this paper, we quantify the required timescale separation and give prescriptions that can be directly used in the design of this type of feedback controllers. Using ideas from singular perturbation analysis, we derive stability bounds for different feedback laws that are based on common continuous-time optimization schemes. In particular, we consider gradient descent and its variations, including projected gradient, and Newton gradient. We further give stability bounds for momentum methods and saddle-point flows. Finally, we discuss how optimization algorithms like subgradient and accelerated gradient descent, while well-behaved in offline settings, are unsuitable for autonomous optimization due to their general lack of robustness.
Additional file 1 of Tumor microenvironment-responsive fenton nanocatalysts for intensified anticancer treatment
Creators: name: Wang, Yandong
name: Gao, Fucheng
name: Li, Xiaofeng
name: Niu, Guiming
name: Yang, Yufei
name: Li, Hui
name: Jiang, Yanyan
Publisher: name: figshare
Year: 2022
Subjects: Biological Sciences not elsewhere classified
Cancer

description: Additional file 1: Table S1. Typical Fe-based NCs with Fenton effect. Table S2. Representative Mn-based F-NCs with Fenton-like effect. Table S3. Other F-NCs with Fenton-like effect
The Stylistic features of set expressions in English language
Creators: name: Kaipanova Fatima Ganibayevna
Publisher: name: Zenodo
Year: 2024

description: Abstract

            The main purpose of this article is to consider the study of Phrseological word combinations , stable word groups, and the use of  stylistic way. In addition, to organise the information about English proverbs, and types of stylistic device is Englis clishӗ.

Keywords: Phraeology, phraseological word combinaions, English proverbs, clishӗ.
A splitting/polynomial chaos expansion approach for stochastic evolution equations
Creators: name: Kofler, Andreas
name: Levajković, Tijana
name: Mena, Hermann
name: Ostermann, Alexander
Publisher: name: arXiv
Year: 2019
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 60H15, 65J10, 60H40, 60H35, 65M75, 11B83

description: In this paper, we combine deterministic splitting methods with a polynomial chaos expansion method for solving stochastic parabolic evolution problems. The stochastic differential equation is reduced to a system of deterministic equations that we solve explicitly by splitting methods. The method can be applied to a wide class of problems where the related stochastic processes are given uniquely in terms of stochastic polynomials. A comprehensive convergence analysis is provided and numerical experiments validate our approach.
description: 28 pages, 3 figures, 1 table
From Waste to Plate: Examining the Role of Urban Biosolids in Recycling Phosphorus
Creators: Weinstein, Marla
Publisher: name: Columbia University
Year: 2013
Subjects: Land use--Planning
Sustainability
City planning

description: Phosphorus, a nutrient found in soil, is vital to plant life and therefore essential to our global food supply. Naturally recycled by ecosystem services, human cities have interrupted this cycle as phosphorus now accumulates in urban areas rather than returning to the land. In turn, we have turned to mined phosphates
to supplement fertilizers and ensure our global food supply. As phosphorus deposits are a limited resource, however, we face future phosphorus shortages and threats to the security of our food supply. Biosolids, or treated waste, is a byproduct of our sewage treatment system and represent an opportunity
for phosphorus recovery and recycling. This research (1) examines the role of biosolids in replenishing the natural phosphorus cycle and reducing our dependence on mined-phosphates by (2) examining the case study of NYC biosolid management in order to gain insight that can be extracted and applied to other global cities. Ultimately findings suggest biosolids can relink the natural cycle, framing biosolids as a resource, rather than a waste, for urban areas and recommend cities promote biosolid demand through contracting, land application siting, and investments in nutrient recovery technologies.
Tropical Grassmannians, cluster algebras and scattering amplitudes
Creators: name: Drummond, James
name: Foster, Jack
name: Gürdoğan, Ömer
name: Kalousios, Chrysostomos
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We provide a cluster-algebraic approach to the computation of the recently introduced generalised biadjoint scalar amplitudes related to Grassmannians ${\rm Gr}(k,n)$. A finite cluster algebra provides a natural triangulation for the tropical Grassmannian whose volume computes the scattering amplitudes. Using this method one can construct the entire colour-ordered amplitude via mutations starting from a single term.
description: 27 pages; v2 published version
Searching for Axial Neutral Current Non-Standard Interactions of neutrinos by DUNE-like experiments
Creators: name: Abbaslu, Saeed
name: Dehpour, Mehran
name: Farzan, Yasaman
name: Safari, Sahar
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The increasingly precise neutrino experiments raise the hope for searching for new physics through studying the impact of Neutral Current (NC) Non-Standard Interactions (NSI) of neutrinos with matter fields. Neutrino oscillation experiments along with the Elastic Coherent $ν$ Nucleus Scattering (CE$ν$NS) experiments already set strong bounds on all the flavor elements of the "vector" NC NSI. However, "axial" NC NSI can hide from these experiments. We show how a DUNE-like experiment can probe these couplings by studying NC Deep Inelastic Scattering (DIS) events. We find that strong bounds can be set on the axial NC NSI of neutrinos with the $u$, $d$, and $s$ quarks. We show that using both the near and far detectors, a DUNE-like experiment can significantly improve the present bounds on all the flavor elements.
description: 42 pages, 16 figures
Robust beamforming and jamming for enhancing the physical layer security of full duplex radios
Creators: name: Kong, Zhengmin
name: Yang, Shaoshi
name: Wang, Die
name: Hanzo, Lajos
Publisher: name: arXiv
Year: 2019
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: In this paper, we investigate the physical layer security of a full-duplex base station (BS) aided system in the worst case, where an uplink transmitter (UT) and a downlink receiver (DR) are both equipped with a single antenna, while a powerful eavesdropper is equipped with multiple antennas. For securing the confidentiality of signals transmitted from the BS and UT, an artificial noise (AN) aided secrecy beamforming scheme is proposed, which is robust to the realistic imperfect state information of both the eavesdropping channel and the residual self-interference channel. Our objective function is that of maximizing the worst-case sum secrecy rate achieved by the BS and UT, through jointly optimizing the beamforming vector of the confidential signals and the transmit covariance matrix of the AN. However, the resultant optimization problem is non-convex and non-linear. In order to efficiently obtain the solution, we transform the non-convex problem into a sequence of convex problems by adopting the block coordinate descent algorithm. We invoke a linear matrix inequality for finding its Karush-Kuhn-Tucker (KKT) solution. In order to evaluate the achievable performance, the worst-case secrecy rate is derived analytically. Furthermore, we construct another secrecy transmission scheme using the projection matrix theory for performance comparison. Our simulation results show that the proposed robust secrecy transmission scheme achieves substantial secrecy performance gains, which verifies the efficiency of the proposed method.
description: 10 pages, 5 figures, accepted to appear on IEEE Transactions on Information Forensics and Security, Mar. 2019
From at-risk to disconnected: Federal youth policy from 1973 to 2008
Creators: Bork, Rachel
Publisher: name: Columbia University
Year: 2012
Subjects: subject: Education and state
subject: Political science
subject: FOS: Political science
subject: Youth--Government policy
subject: Legislative hearings

description: Traditionally youth policy has been studied from a psycho-social perspective that treats the concept of youth as a natural developmental stage. This dissertation adopts a political perspective and analyzes how political actors shape the social construction of youth. It documents the extent to which five sub-issues of youth policy--education, criminal justice, public health, social services, and workforce development--were present on the congressional agenda from 1973-2008. This research question is addressed through an analysis of congressional hearing data from a researcher-designed database of all congressional hearings held on youth-related issues during this 35 year-period (n = 986). This descriptive analysis provides a longitudinal picture of what Congress chose to consider with regard to youth issues. The dissertation then empirically probes possible explanations as to why the five sub-issues of youth policy were more or less prevalent on the congressional agenda. Drawing from existing literature, this research posits two competing theories that may explain congressional attention to youth issues over time. The external events hypothesis argues that youth issues are present on the agenda as a result of external events catalyzing an increase in attention to youth issues, whereas the internal actors hypothesis asserts that internal actors such as congressional leaders and interest groups are responsible for promoting youth issues. These competing explanations are then tested with a content analysis of the hearings, supplemented with data from a small number of elite interviews. Results suggest that both hypotheses are partially correct, but that the first theory better explains the peaks in the number of hearings, signifying the role external conditions played in motivating Congress to hold more youth hearings.
Estimating SARS-CoV-2 seroprevalence
Creators: name: Rosin, Samuel P.
name: Cole, Stephen R.
name: Hudgens, Michael G.
name: Shook-Sa, Bonnie E.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2023

description: Governments and public health authorities use seroprevalence studies to guide responses to the COVID-19 pandemic. Seroprevalence surveys estimate the proportion of individuals who have detectable SARS-CoV-2 antibodies. However, serologic assays are prone to misclassification error, and non-probability sampling may induce selection bias. In this paper, non-parametric and parametric seroprevalence estimators are considered that address both challenges by leveraging validation data and assuming equal probabilities of sample inclusion within covariate-defined strata. Both estimators are shown to be consistent and asymptotically normal, and consistent variance estimators are derived. Simulation studies are presented comparing the estimators over a range of scenarios. The methods are used to estimate severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) seroprevalence in New York City, Belgium, and North Carolina.
Acoustic modes in M67 cluster stars trace deepening convective envelopes
Creators: name: Reyes, Claudia
name: Stello, Dennis
name: Ong, Joel
name: Lindsay, Christopher
name: Hon, Marc
name: Bedding, Timothy R.
Publisher: name: arXiv
Year: 2025
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Acoustic oscillations in stars are sensitive to stellar interiors. Frequency differences between overtone modes -- large separations -- probe stellar density, while differences between low-degree modes -- small separations -- probe the sound speed gradient in the energy-generating core of main sequence Sun-like stars, and hence their ages. At later phases of stellar evolution, characterised by inert cores, small separations are believed to lose much of their power to probe deep interiors and simply become proportional to large separations. Here, we present clear evidence of a rapidly evolving convective zone as stars evolve from the subgiant phase into red giants. By measuring acoustic oscillations in 27 stars from the open cluster M67, we observe deviations of proportionality between small and large separations, which are caused by the influence of the bottom of the convective envelope. These deviations become apparent as the convective envelope penetrates deep into the star during subgiant and red giant evolution, eventually entering an ultra-deep regime that leads to the red giant branch luminosity bump. The tight sequence of cluster stars, free of large spreads in ages and fundamental properties, is essential for revealing the connection between the observed small separations and the chemical discontinuities occurring at the bottom of the convective envelope. We use this sequence to show that combining large and small separations can improve estimations of the masses and ages of field stars well after the main sequence.
Additional file 1 of Exploring the total flavones of Abelmoschus manihot against IAV-induced lung inflammation by network pharmacology
Creators: name: Gao, Yanan
name: Liang, Zihao
name: Lv, Nianyin
name: Shan, Jinjun
name: Zhou, Huihui
name: Zhang, Junfeng
name: Shi, Liyun
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Virology

description: Additional file 1: Supplementary Figure 1. HPLC fingerprint of total Total flavones of Abelmoschus manihot (L.) medicus. 1 Rutin, 2 hyperoside, 3 isoquercetin, 4 Myricetin, 5 quercetin-3′-O-glucoside, 6 quercetin. Supplementary Figure 2. The proportions of dentric cells in BALF. TFA (125, 250, 500 mg/kg) or PBS was gavage daily for 7 days, and PR8 was intranasally administrated at a dose of 5000 TCID50 per mouse (n = 3 mice per group). The proportions of CD11c + dentric cells in BALF were detected by flow cytometry. The value are shown as means ± SD of three individual experiments.
Angular Projections of Fractal Sets
Creators: name: Durrer, Ruth
name: Eckmann, Jean-Pierre
name: Labini, Francesco Sylos
name: Montuori, Marco
name: Pietronero, Luciano
Publisher: name: arXiv
Year: 1997
Subjects: subject: Astrophysics (astro-ph)
subject: Chaotic Dynamics (nlin.CD)
subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: We discuss various questions which arise when one considers the central projection of three dimensional fractal sets (galaxy catalogs) onto the celestial globe. The issues are related to how fractal such projections look. First we show that the lacunarity in the projection can be arbitrarily small. Further characteristics of the projected set---in particular scaling---depend sensitively on how the apparent sizes of galaxies are taken into account. Finally, we discuss the influence of opacity of galaxies. Combining these ideas, seemingly contradictory statements about lacunarity and apparent projections can be reconciled.
description: 10 pages, latex, 7 figures, available at http://www.phys.uniroma1.it/DOCS/PIL/pil.html. Final version accepted for publication in Europhyscs Letters. Due to size restrictions the original ps-files of figs. 3 to 6 could not be included. Instead we provide jpg-files. The ps-files are available directly from the authors or from the http site mentioned above
The number of solutions of phi(x)=m
Creators: name: Ford, Kevin
Publisher: name: arXiv
Year: 1999
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics

description: An old conjecture of Sierpinski asserts that for every integer k \ge 2, there is a number m for which the equation ϕ(x)=m has exactly k solutions. Here ϕis Euler's totient function. In 1961, Schinzel deduced this conjecture from his Hypothesis H. The purpose of this paper is to present an unconditional proof of Sierpinski's conjecture. The proof uses many results from sieve theory, in particular the famous theorem of Chen.
description: 29 pages, published version
Lacticaseibacillus brantae Zheng, Wittouck, Salvetti, Franz, Harris, Mattarelli, O'Toole, Pot, Vandamme, Walter, Watanabe, Wuyts, Felis, Gänzle & Lebeer, 2020, COMB. NOV.
Creators: name: Zheng, Jinshui
name: Wittouck, Stijn
name: Salvetti, Elisa
name: Franz, Charles M. A. P.
name: Harris, Hugh M. B.
name: Mattarelli, Paola
name: O'Toole, Paul W.
name: Pot, Bruno
name: Vandamme, Peter
name: Walter, Jens
name: Watanabe, Koichi
name: Wuyts, Sander
name: Felis, Giovanna E.
name: Gänzle, Michael G.
name: Lebeer, Sarah
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Bacteria
Firmicutes
Bacilli
Lactobacillales
Lactobacillaceae
Lacticaseibacillus
Lacticaseibacillus brantae

description: DESCRIPTION OF LACTICASEIBACILLUS BRANTAE COMB. NOV.
 Lacticaseibacillus brantae (bran′ tae. N.L. gen. n. brantae, of Branta, isolated from Branta canadensis, Canada goose).
 Basonym: Lactobacillus brantae Volokhov et al. 2012, 2068 VP
 Original characteristics of L. brantae strains are provided by [159]. The genome size of the type strain is 1.93 Mbp. The mol% G+C content of DNA is 47.5.
 Isolated from the faeces of wild Canada goose (Branta canadensis) and from experimental sourdoughs.
 The type strain is SL1108 T = ATCC BAA-2142 T = DSM 23927 T = LMG 26001 T.
Genome sequence accession number: AYZQ00000000.
16S rRNA gene accession number: HQ022861.
description: Published as part of Zheng, Jinshui, Wittouck, Stijn, Salvetti, Elisa, Franz, Charles M. A. P., Harris, Hugh M. B., Mattarelli, Paola, O'Toole, Paul W., Pot, Bruno, Vandamme, Peter, Walter, Jens, Watanabe, Koichi, Wuyts, Sander, Felis, Giovanna E., Gänzle, Michael G. & Lebeer, Sarah, 2020, A taxonomic note on the genus Lactobacillus: Description of 23 novel genera, emended description of the genus Lactobacillus Beijerinck 1901, and union of Lactobacillaceae and Leuconostocaceae, pp. 2782-2858 in International Journal of Systematic and Evolutionary Microbiology 70 (4) on page 2811, DOI: 10.1099/ijsem.0.004107, http://zenodo.org/record/10114954
From Code Generation to Software Testing: AI Copilot with Context-Based RAG
Creators: name: Wang, Yuchen
name: Guo, Shangxin
name: Tan, Chee Wei
Publisher: name: arXiv
Year: 2025
Subjects: subject: Software Engineering (cs.SE)
subject: Artificial Intelligence (cs.AI)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: The rapid pace of large-scale software development places increasing demands on traditional testing methodologies, often leading to bottlenecks in efficiency, accuracy, and coverage. We propose a novel perspective on software testing by positing bug detection and coding with fewer bugs as two interconnected problems that share a common goal, which is reducing bugs with limited resources. We extend our previous work on AI-assisted programming, which supports code auto-completion and chatbot-powered Q&A, to the realm of software testing. We introduce Copilot for Testing, an automated testing system that synchronizes bug detection with codebase updates, leveraging context-based Retrieval Augmented Generation (RAG) to enhance the capabilities of large language models (LLMs). Our evaluation demonstrates a 31.2% improvement in bug detection accuracy, a 12.6% increase in critical test coverage, and a 10.5% higher user acceptance rate, highlighting the transformative potential of AI-driven technologies in modern software development practices.
description: This work has been accepted for publication in IEEE Software (DOI: 10.1109/MS.2025.3549628)
Generalized Entanglement Monogamy and Polygamy Relations for N -Qubit Systems
Creators: name: Jin, Zhi-Xiang
name: Fei, Shao-Ming
name: Li-Jost, Xianqing
Publisher: name: arXiv
Year: 2019
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We investigate the generalized monogamy and polygamy relations $N$-qubit systems. We give a general upper bound of the $α$th ($0\leqα\leq2$) power of concurrence for $N$-qubit states. The monogamy relations satisfied by the $α$th ($0\leqα\leq2$) power of concurrence are presented for $N$-qubit pure states under the partition $AB$ and $C_1 . . . C_{N-2}$, as well as under the partition $ABC_1$ and $C_2\cdots C_{N-2}$. These inequalities give rise to the restrictions on entanglement distribution and the trade off of entanglement among the subsystems. Similar results are also derived for negativity.
description: 7 pages, 5 figures
Quantum interference test of the equivalence principle on antihydrogen
Creators: name: Crépin, P. -P.
name: Christen, C.
name: Guérout, R.
name: Nesvizhevsky, V. V.
name: Voronin, A. Yu.
name: Reynaud, S.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose to use quantum interferences to improve the accuracy of the measurement of the free fall acceleration g of antihydrogen in the GBAR experiment. This method uses most antiatoms prepared in the experiment and it is simple in its principle as interferences between gravitational quantum states are readout without transitions between them. We use a maximum likelihood method for estimating the value of g and assess the accuracy of this estimation by a Monte-Carlo simulation. We find that the accuracy is improved by approximately three orders of magnitude with respect to the classical timing technique planned for the current design of the experiment.
description: 8 figures
Lacticaseibacillus camelliae Zheng, Wittouck, Salvetti, Franz, Harris, Mattarelli, O'Toole, Pot, Vandamme, Walter, Watanabe, Wuyts, Felis, Gänzle & Lebeer, 2020, COMB. NOV.
Creators: name: Zheng, Jinshui
name: Wittouck, Stijn
name: Salvetti, Elisa
name: Franz, Charles M. A. P.
name: Harris, Hugh M. B.
name: Mattarelli, Paola
name: O'Toole, Paul W.
name: Pot, Bruno
name: Vandamme, Peter
name: Walter, Jens
name: Watanabe, Koichi
name: Wuyts, Sander
name: Felis, Giovanna E.
name: Gänzle, Michael G.
name: Lebeer, Sarah
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Bacteria
Firmicutes
Bacilli
Lactobacillales
Lactobacillaceae
Lacticaseibacillus
Lacticaseibacillus camelliae

description: DESCRIPTION OF LACTICASEIBACILLUS CAMELLIAE COMB. NOV.
 Lacticaseibacillus camelliae (ca.mel′ li.ae. N.L. gen. n. camelliae, of Camellia sinensis fermented tea leaves).
 Basonym: Lactobacillus camelliae Tanasupawat et al. 2007, 1371 VL [160]
 Original characteristics of L. camelliae strains are as provided by [161].The genome size of the type strain is 2.57 Mbp. The mol% G+C content of DNA is 55.4.
 Isolated from fermented tea (Camellia sinensis) leaves and fermented tomato pomace.
 The type strain is MCH3-1 T = BCC 21233 T = DSM 22697 T = JCM 13995 T = NRIC 0672 T.
Genome sequence accession number: AYZJ00000000.
16S rRNA gene accession number: AB257864.
description: Published as part of Zheng, Jinshui, Wittouck, Stijn, Salvetti, Elisa, Franz, Charles M. A. P., Harris, Hugh M. B., Mattarelli, Paola, O'Toole, Paul W., Pot, Bruno, Vandamme, Peter, Walter, Jens, Watanabe, Koichi, Wuyts, Sander, Felis, Giovanna E., Gänzle, Michael G. & Lebeer, Sarah, 2020, A taxonomic note on the genus Lactobacillus: Description of 23 novel genera, emended description of the genus Lactobacillus Beijerinck 1901, and union of Lactobacillaceae and Leuconostocaceae, pp. 2782-2858 in International Journal of Systematic and Evolutionary Microbiology 70 (4) on page 2812, DOI: 10.1099/ijsem.0.004107, http://zenodo.org/record/10114954
Emergent spatial correlations in stochastically evolving populations
Creators: name: Grabowski, Marek
name: Camley, R. E.
Publisher: name: arXiv
Year: 1996
Subjects: subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: Condensed Matter (cond-mat)
subject: Pattern Formation and Solitons (nlin.PS)
subject: FOS: Physical sciences

description: We study the spatial pattern formation and emerging long range correlations in a model of three species coevolving in space and time according to stochastic contact rules. Analytical results for the pair correlation functions, based on a truncation approximation and supported by computer simulations, reveal emergent strategies of survival for minority agents based on selection of patterns. Minority agents exhibit defensive clustering and cooperative behavior close to phase transitions.
description: 11 pages, 4 figures, Adobe PDF format
Constructive expansion for quartic vector fields theories. I. Low dimensions
Creators: name: Erbin, Harold
name: Lahoche, Vincent
name: Tamaazousti, Mohamed
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: This paper is the first of a series aiming at proving rigorously the analyticity and the Borel summability of generic quartic bosonic and fermionic vector models (generalizing the O(N) vector model) in diverse dimensions. Both non-relativistic (Schrödinger) and relativistic (Klein-Gordon and Dirac) kinetic terms are considered. The 4-tensor defining the interactions is constant but otherwise arbitrary, up to the symmetries imposed by the statistics of the field. In this paper, we focus on models of low dimensions: bosons and fermions for d = 0, 1, and relativistic bosons for d = 2. Moreover, we investigate the large N and massless limits along with quenching for fermions in d = 1. These results are established using the loop vertex expansion (LVE) and have applications in different fields, including data sciences, condensed matter and string field theory. In particular, this establishes the Borel summability of the SYK model both at finite and large N.
description: 77 pages
Code de déontologie, Société des designers graphiques du Québec.
Creators: name: Société des designers graphiques du Québec
Publisher: name: Zenodo
Year: 1974

description: Código Deontológico de la Société des designers graphiques du Québec del año 1974. Actualmente (2024) el código ha sido revisado y está compartido por tres asociaciones de Canadá (DesCan/RGD/SDGQ) : http://descan.ca/wp-content/uploads/2022/06/DesCan_Code_of_Ethics.pdf
Correction to "Connecting invariant manifolds and the solution of the C^1 stability and Ω-stability conjectures for flows"
Creators: name: Hayashi, Shuhei
Publisher: name: arXiv
Year: 1999
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics

description: There is a gap in the proof of Lemma VII.4 in [Ann. of Math. (2) 145 (1997), 81--137]. We present an alternative proof of Theorem B (C^1 Omega-stable vector fields satisfy Axiom A). The novel and essential part in the proof of the stability and Omega-stability conjectures for flows is the connecting lemma introduced previously. A mistake in the proof of the last conjecture was pointed out to me by Toyoshiba, who later also provided an independent proof of it, again based on the connecting lemma and previous arguments by Mañé and Palis.
description: 4 pages, published version
Equivariant fundamental classes in $RO(C_2)$-graded cohomology in $\underline{\mathbb{Z}/2}$-coefficients
Creators: name: Hazel, Christy
Publisher: name: arXiv
Year: 2019
Subjects: subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics

description: Let $C_2$ denote the cyclic group of order two. Given a manifold with a $C_2$-action, we can consider its equivariant Bredon $RO(C_2)$-graded cohomology. In this paper, we develop a theory of fundamental classes for equivariant submanifolds in $RO(C_2)$-graded cohomology in constant $\mathbb{Z}/2$ coefficients. We show the cohomology of any $C_2$-surface is generated by fundamental classes, and these classes can be used to easily compute the ring structure. To define fundamental classes we are led to study the cohomology of Thom spaces of equivariant vector bundles. In general the cohomology of the Thom space is not just a shift of the cohomology of the base space, but we show there are still elements that act as Thom classes, and cupping with these classes gives an isomorphism within a certain range.
Lacticaseibacillus chiayiensis Zheng, Wittouck, Salvetti, Franz, Harris, Mattarelli, O'Toole, Pot, Vandamme, Walter, Watanabe, Wuyts, Felis, Gänzle & Lebeer, 2020, COMB. NOV.
Creators: name: Zheng, Jinshui
name: Wittouck, Stijn
name: Salvetti, Elisa
name: Franz, Charles M. A. P.
name: Harris, Hugh M. B.
name: Mattarelli, Paola
name: O'Toole, Paul W.
name: Pot, Bruno
name: Vandamme, Peter
name: Walter, Jens
name: Watanabe, Koichi
name: Wuyts, Sander
name: Felis, Giovanna E.
name: Gänzle, Michael G.
name: Lebeer, Sarah
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Bacteria
Firmicutes
Bacilli
Lactobacillales
Lactobacillaceae
Lacticaseibacillus
Lacticaseibacillus chiayiensis

description: DESCRIPTION OF LACTICASEIBACILLUS CHIAYIENSIS COMB. NOV.
 Lacticaseibacillus chiayiensis (chia.yi.en’sis. N.L. masc. adj. chiayiensis of Chiayi, from where the type strain was isolated).
 Basonym: Lactobacillus chiayiensis effective publication Huang et al. 2018, 3382 VL
 Original characteristics of L. chiayiensis strains are provided by [162, 163]. The genome size of the type strain is 2.87 Mbp. The mol% G+C content of DNA is 47.1.
Isolated from cow manure.
 The type strain is NCYUAST = BCRC 81062 T = NBRC 112906 T.
Genome sequence accession number: MSSM00000000.
16S rRNA gene accession number: MF446960.
description: Published as part of Zheng, Jinshui, Wittouck, Stijn, Salvetti, Elisa, Franz, Charles M. A. P., Harris, Hugh M. B., Mattarelli, Paola, O'Toole, Paul W., Pot, Bruno, Vandamme, Peter, Walter, Jens, Watanabe, Koichi, Wuyts, Sander, Felis, Giovanna E., Gänzle, Michael G. & Lebeer, Sarah, 2020, A taxonomic note on the genus Lactobacillus: Description of 23 novel genera, emended description of the genus Lactobacillus Beijerinck 1901, and union of Lactobacillaceae and Leuconostocaceae, pp. 2782-2858 in International Journal of Systematic and Evolutionary Microbiology 70 (4) on page 2812, DOI: 10.1099/ijsem.0.004107, http://zenodo.org/record/10114954
All static spherically symmetric anisotropic solutions for general relativistic polytropes
Creators: name: Abellán, G.
name: Bargueño, P.
name: Contreras, E.
name: Fuenmayor, E.
Publisher: name: arXiv
Year: 2019
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: An algorithm presented by K. Lake to obtain all static spherically symmetric perfect fluid solutions was recently extended by L. Herrera to the interesting case of locally anisotropic fluids (principal stresses unequal). In this work we develop an algorithm to construct all static spherically symmetric anisotropic solutions for general relativistic polytropes. Again the formalism requires the knowledge of only one function (instead of two) to generate all possible solutions. To illustrate the method some known cases are recovered.
description: Figures added, new section added
Quasi-BiHamiltonian Systems and Separability
Creators: name: Morosi, C.
name: Tondo, G.
Publisher: name: arXiv
Year: 1997
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences

description: Two quasi--biHamiltonian systems with three and four degrees of freedom are presented. These systems are shown to be separable in terms of Nijenhuis coordinates. Moreover the most general Pfaffian quasi-biHamiltonian system with an arbitrary number of degrees of freedom is constructed (in terms of Nijenhuis coordinates) and its separability is proved.
description: 10 pages, AMS-LaTeX 1.1, to appear in J. Phys. A: Math. Gen. (May 1997)
title: The Maldives and the Small Island Developing States' Common Agenda in the United Nations Climate Negotiations: A Constructivist Analysis
Creators: name: Rasheed, Athaulla A
Publisher: name: Griffith University
Year: 2020
Subjects: subject: Maldives
subject: United Nations
subject: climate change

description: This thesis discusses the role the Maldives has played in driving the Small Island Developing States’ (SIDS) climate agenda in the United Nations (UN) negotiations since the mid-1980s. The thesis argues that the Maldives has used a policy narrative built on ideas about its critical climate related experiences to draw the attention of international policy makers. The purpose of this thesis is to show that climate ideas shared by the Maldives during the 1980s about unique vulnerabilities, inundation and the need for international cooperation have shaped a common climate foreign policy (CFP) agenda among SIDS and drawn them together in the UN negotiations to seek international cooperation on climate action. In this respect, building on international relations (IR) theories, the thesis develops a constructivist framework to analyse the impact of climate ideas. The constructivist approach to foreign policy analysis can explain CFP as an ideational or a social process, where relationships between states are understood as a social construction of what states make of it. In this context, foreign policy is understood as a process-oriented activity shaped by shared ideas rather than material powers of the international system. Therefore, the constructivist approach is a useful analytical and methodological framework for exploring the ideational aspects of the CFP engagements of the Maldives with respect to SIDS’ climate politics. In this respect, the thesis develops a three-stage analytical framework. The first stage explains how ideas are initially generated at individual (or states) level; the second stage explains how those ideas act as a blueprint to create coalitions among actors (or states); and, the third stage explains how shared ideas create conventions that coordinate and manage state interactions over time. These ideational stages form the analytical framework for the empirical investigation. Within this three-stage framework, the thesis uses a qualitative method to analyse the CFP discourse of the Maldives and SIDS including the speeches, policy declarations, and outcome documents of climate conferences to identify climate ideas and explain their impact on climate negotiations. The findings explain how the climate ideas generated by the Maldives have shaped the CFP interests of SIDS in driving their common agenda in the international policy process.
Manuscrit de THESE
Creators: name: Bianchetti, Laurent
Publisher: name: figshare
Year: 2019
Subjects: subject: 60102 Bioinformatics
subject: FOS: Computer and information sciences

description: My PhD thesis shows how the analysis of sequence evolution can help to understand protein sequence, structure and function relationship. To support the thesis I will use 2 examples of my own research results, i) Coevolution of Tex19 and Sectm1 genes in eutherian mammals (Bianchetti L. et al, 2015) and 2) Alternative dimerization interface in the glucocorticoid receptor ligand binding domain (Bianchetti L. et al, 2018)
Lacticaseibacillus hulanensis Zheng, Wittouck, Salvetti, Franz, Harris, Mattarelli, O'Toole, Pot, Vandamme, Walter, Watanabe, Wuyts, Felis, Gänzle & Lebeer, 2020, COMB. NOV.
Creators: name: Zheng, Jinshui
name: Wittouck, Stijn
name: Salvetti, Elisa
name: Franz, Charles M. A. P.
name: Harris, Hugh M. B.
name: Mattarelli, Paola
name: O'Toole, Paul W.
name: Pot, Bruno
name: Vandamme, Peter
name: Walter, Jens
name: Watanabe, Koichi
name: Wuyts, Sander
name: Felis, Giovanna E.
name: Gänzle, Michael G.
name: Lebeer, Sarah
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Bacteria
Firmicutes
Bacilli
Lactobacillales
Lactobacillaceae
Lacticaseibacillus
Lacticaseibacillus hulanensis

description: DESCRIPTION OF LACTICASEIBACILLUS HULANENSIS COMB. NOV.
 Lacticaseibacillus hulanensis (hu.lan.en’sis. N.L. masc. adj. hulanensis pertaining to Hulan, a district of Harbin city in China).
 Basonym: Lactobacillus hulanensis Zhao and Gu et al. 2019, 5 VP
 Original characteristics of L. hulanensis strains are provided [164]. The genome size of the type strain is 2.36 Mbp. The mol% G+C content of DNA is 52.7.
Isolated from suancai, fermented Chinese cabbage
 The type strain is ZW163 T = NCIMB15193 T = CCM8926 T = CCTCC AB 2019015 T.
Genome sequence accession number: RRYD00000000.
16S rRNA gene accession number: LC436604.
description: Published as part of Zheng, Jinshui, Wittouck, Stijn, Salvetti, Elisa, Franz, Charles M. A. P., Harris, Hugh M. B., Mattarelli, Paola, O'Toole, Paul W., Pot, Bruno, Vandamme, Peter, Walter, Jens, Watanabe, Koichi, Wuyts, Sander, Felis, Giovanna E., Gänzle, Michael G. & Lebeer, Sarah, 2020, A taxonomic note on the genus Lactobacillus: Description of 23 novel genera, emended description of the genus Lactobacillus Beijerinck 1901, and union of Lactobacillaceae and Leuconostocaceae, pp. 2782-2858 in International Journal of Systematic and Evolutionary Microbiology 70 (4) on page 2812, DOI: 10.1099/ijsem.0.004107, http://zenodo.org/record/10114954
title: How do people use Frankfurt Mainkai riverfront during a road closure experiment? A snapshot of public space usage during the coronavirus lockdown in May 2020
Creators: name: Pandit, Lakshya
name: Vásquez Fauggier, Gladys
name: Gu, Lanqing
name: Knöll, Martin
Publisher: name: UNSPECIFIED
Year: 2021

description: In a one-year long experiment, the City of Frankfurt has limited the vehicular access to an 800 m stretch of its Mainkai riverfront as part of its plans to improve quality of life and support green mobility. With pre-intervention data collected in July 2019, this article presents the first results on how pedestrians, cyclists and other user-groups have been using this open public space in May 2020, i.e. post road closure and during the coronavirus restrictions. Based on pedestrian counts and behavioural observations, the authors report on a changed pedestrian mobility, spatial distribution and different stationary activities such as playing, sitting and socializing. The results show an increased peak hour frequency among cyclists (+45%) and pedestrians (+20%) on Mainkai street, along with more vulnerable user groups including including children cycling independently (+1150%) and people with restricted mobility (+25%). The study underlines related initiatives world-wide that pedestrianization acts as a catalyst for safer and healthier urban environments. Particularly, under the impression of an ongoing coronavirus pandemic, the study suggests that (temporary) road closure to cars is a key element in qualifying public space that attracts different user-groups and caters to an increased need to become physically active and engage socially while keeping distancing rules.