Miracle-dz/UniFAR-FTUs huggingface dataset:
Estimating Fundamental Host Range: A Host-Specificity Study of a Potential Biocontrol Agent for Prosopis Species (Leguminosae)

One approach to predicting non-target attack by potential biological control agents is to first describe their fundamental host ranges and then to predict how it will be expressed under postrelease field conditions. In this paper, we illustrate how the fundamental host range can be estimated experimentally by excluding possible limiting factors such as time-dependent effects. The example we use is a host-specificity study of a leaf-tying moth (Gelechiidae: Evippe sp. #1) which was being assessed for the biological control of mesquite (Leguminosae: Prosopis spp.) in Australia. Females oviposited all eggs on plants, mostly into cracks and fissures. First instar larvae leaf-mined and subsequent instars leaf-tied. Oviposition was not host-specific in cage trials, although ten times more eggs were laid on Prosopis than on non-targets. The fundamental host range for initiation of larval feeding was restricted to Prosopis and Leucaena leucocephala which both belong to the same tribe, and the fundamental host range for complete larval development was restricted to Prosopis . We predict that if released in Australia Evippe sp. #1 will only attack Prosopis spp. , although low levels of 'indiscriminate' oviposition might occur on other taxa, and might result in initiation of feeding on L. leucocephala .
Intelligent requirements engineering from natural language and their chaining toward CAD models

This paper assumes that design language plays an important role in how designers design and on the creativity of designers. Designers use and develop models as an aid to thinking, a focus for discussion and decision-making and a means of evaluating the reliability of the proposals. This paper proposes an intelligent method for requirements engineering from natural language and their chaining toward CAD models. The transition from linguistic analysis to the representation of engineering requirements consists of the translation of the syntactic structure into semantic form represented by conceptual graphs. Based on the isomorphism between conceptual graphs and predicate logic, a formal language of the specification is proposed. The outcome of this language is chained and translated in Computer Aided Three-Dimensional Interactive Application (CATIA) models. The tool (EGEON: Engineering desiGn sEmantics elabOration and applicatioN) is developed to represent the semantic network of engineering requirements. A case study on the design of a car door hinge is presented to illustrates the proposed method.
Rankwidth meets stability

We study two notions of being well-structured for classes of graphs that are inspired by classic model theory. A class of graphs $C$ is monadically stable if it is impossible to define arbitrarily long linear orders in vertex-colored graphs from $C$ using a fixed first-order formula. Similarly, monadic dependence corresponds to the impossibility of defining all graphs in this way. Examples of monadically stable graph classes are nowhere dense classes, which provide a robust theory of sparsity. Examples of monadically dependent classes are classes of bounded rankwidth (or equivalently, bounded cliquewidth), which can be seen as a dense analog of classes of bounded treewidth. Thus, monadic stability and monadic dependence extend classical structural notions for graphs by viewing them in a wider, model-theoretical context. We explore this emerging theory by proving the following: - A class of graphs $C$ is a first-order transduction of a class with bounded treewidth if and only if $C$ has bounded rankwidth and a stable edge relation (i.e. graphs from $C$ exclude some half-graph as a semi-induced subgraph). - If a class of graphs $C$ is monadically dependent and not monadically stable, then $C$ has in fact an unstable edge relation. As a consequence, we show that classes with bounded rankwidth excluding some half-graph as a semi-induced subgraph are linearly $\chi$-bounded. Our proofs are effective and lead to polynomial time algorithms.
Chemical composition and forage yield of three Vicia varieties (Vicia spp.) at full blooming stage

Mixing nitrogen-stabilizing leguminous forages such as Vicia spp. with livestock feeding systems like farm-pasture or farm-animal systems is one of the best approaches to reserve seasonal feeds, to decrease the load on pasture, and to increase soil fertility. The objective of this study was to determine the chemical compositions and fresh/dry forage yield of three varieties of Vicia spp. (Vicia narbonensis, narbon vetch, accession 2561; Vicia sativa, common vetch, accession 463; Vicia dasycarpa, woolly-pod vetch, accession 2446) at full blooming stage. The plants were grown under the climatic conditions of the province of Lorestan in Western Iran and were harvested at full blooming stage. Fresh and dry forage yields, as well as protein yield, were significantly higher (P<0.05) in narbon vetch (28847, 7366 and 1400 kg per hectare, respectively) than in woolly-pod (24825, 4884 and 1050 kg per hectare, respectively) and common vetch (20727, 6061 and 564 kg per hectare, respectively). Woolly-pod vetch had the highest content of crude protein (21.5%) and ash (12.3%), while common vetch had the highest content of neutral detergent fibre (43.9%). There was no difference in degraded dry matter (DDM) between the Vicia varieties in vitro. Results showed that all the Vicia varieties provide high quality forage for livestock, and can be recommended for cultivation because of their adaptability to the particular conditions of a region.
Explicit Extremal Designs and Applications to Extractors

An $(n,r,s)$-design, or $(n,r,s)$-partial Steiner system, is an $r$-uniform hypergraph over $n$ vertices with pairwise hyperedge intersections of size $<s$. An independent set in a hypergraph $G$ is a subset of vertices covering no hyperedge, and its independence number $\alpha(G)$ is the size of its largest independent set. For all constants $r\geq s\in\mathbb{N}$ with $r$ even, we explicitly construct $(n,r,s)$-designs $(G_n)_{n\in\mathbb{N}}$ with independence number $\alpha(G_n)\leq O(n^{\frac{2(r-s)}{r}})$. This gives the first derandomization of a result by Rodl and Sinajova (Random Structures & Algorithms, 1994). By combining our designs with a recent explicit construction of a leakage-resilient extractor that works for low-entropy (Chattopadhyay et al., FOCS 2020), we obtain simple and significantly improved low-error explicit extractors for adversarial and small-space sources. In particular, for any constant $\delta>0$, we extract from $(N,K,n,k)$-adversarial sources of locality $0$, where $K\geq N^\delta$ and $k\geq\text{polylog }n$. The previous best result (Chattopadhyay et al., STOC 2020) required $K\geq N^{1/2+o(1)}$. As a result, we get extractors for small-space sources over $n$ bits with entropy requirement $k\geq n^{1/2+\delta}$, whereas the previous best result (Chattopadhyay et al., STOC 2020) required $k\geq n^{2/3+\delta}$.
Effect of poor manageability and low nutritional value of cyanobacteria on Daphnia magna life history performance

Cyanobacteria may reduce Daphnia fitness through their toxicity, low nutritional value or poor manageability. In this study, the relative importance of the low nutritional value and poor manageability of cyanobacteria on Daphnia life history were determined. To separate these two aspects of cyanobacteria impact, short or long filaments of Cylindrospermopsis raciborskii were given as food to five clones of Daphnia magna either alone or together with the green alga Scenedesmus obliquus. Feeding with short cyanobacterial filaments caused reductions in growth rate (,45%) and fecundity (,60%) in some clones. The deleterious effects caused by cyanobacterial poor nutritional quality could be completely overcome by supplementation with highquality food. Long cyanobacterial filaments caused greater reductions in growth rate (,65%) and fecundity (,80%) in the most affected clones, and the addition of high-quality food only partially diminished the effects of poor filament manageability. In Daphnia fed with long filaments, there was no correlation between body size at maturity and fecundity, and the maximum fecundity was reached by individuals of intermediate size. Decreased body size may, thus, represent an adaptive mechanism against interference with food collection caused by long filaments. The pattern of responses to different food regimes was similar in all Daphnia clones, but they differed in the absolute values of the life history parameters affected. Differences in the fecundity of Daphnia caused by the presence of cyanobacteria may affect clonal composition of cladoceran assemblages, thus, cyanobacteria can shape microevolutionary changes in Daphnia populations.
The origins of nearly coplanar, non-resonant systems of close-in super-Earths

Some systems of close-in "super-Earths" contain five or more planets on non-resonant but compact and nearly coplanar orbits. The Kepler-11 system is an iconic representative of this class of system. It is challenging to explain their origins given that planet-disk interactions are thought to be essential to maintain such a high degree of coplanarity, yet these same interactions invariably cause planets to migrate into chains of mean motion resonances. Here we mine a large dataset of dynamical simulations of super-Earth formation by migration. These simulations match the observed period ratio distribution as long as the vast majority of planet pairs in resonance become dynamically unstable. When instabilities take place resonances are broken during a late phase of giant impacts, and typical surviving systems have planet pairs with significant mutual orbital inclinations. However, a subset of our unstable simulations matches the Kepler-11 system in terms of coplanarity, compactness, planet-multiplicity and non-resonant state. This subset have dynamical instability phases typically much shorter than ordinary systems. Unstable systems may keep a high degree of coplanarity post-instability if planets collide at very low orbital inclinations ($\lesssim1^\circ$) or if collisions promote efficient damping of orbital inclinations. If planetary scattering during the instability takes place at low orbital inclinations ($\text{i}\lesssim1^\circ$), orbital inclinations are barely increased by encounters before planets collide.When planetary scattering pumps orbital inclinations to higher values ($\gtrsim 1^\circ$) planets tend to collide at higher mutual orbital inclinations, but depending on the geometry of collisions mergers' orbital inclinations may be efficiently damped. Each of these formation pathways can produce analogues to the Kepler-11 system.
Deep Learning Modeling of the Limit Order Book: A Comparative Perspective

The present work addresses theoretical and practical questions in the domain of Deep Learning for High Frequency Trading, with a thorough review and analysis of the literature and state-of-the-art models. Random models, Logistic Regressions, LSTMs, LSTMs equipped with an Attention mask, CNN-LSTMs and MLPs are compared on the same tasks, feature space, and dataset and clustered according to pairwise similarity and performance metrics. The underlying dimensions of the modeling techniques are hence investigated to understand whether these are intrinsic to the Limit Order Book's dynamics. It is possible to observe that the Multilayer Perceptron performs comparably to or better than state-of-the-art CNN-LSTM architectures indicating that dynamic spatial and temporal dimensions are a good approximation of the LOB's dynamics, but not necessarily the true underlying dimensions.
Fermionic model of unitary transport of qubits from a black hole

Inspired by a recent model of Osuga and Page, we propose an explicitly unitary fermionic toy model for transferring information from a black hole to the outgoing radiation. The model treats the unitary evolution as a composition of the Hawking pair creation outside the black hole and of pair annihilation inside the black hole.
Phase diagram for two-layer ReLU neural networks at infinite-width limit

How neural network behaves during the training over different choices of hyperparameters is an important question in the study of neural networks. However, except for specific examples with particular choices of hyperparameters, e.g., neural tangent kernel (NTK), mean-field model, this question is largely unanswered. In this work, inspired by the phase diagram in statistical mechanics, we draw the phase diagram for the two-layer ReLU neural network at the infinite-width limit for a complete characterization of its dynamical regimes and their dependence on hyperparameters. Through both experimental and theoretical approaches, we identify three regimes in the phase diagram, i.e., linear regime, critical regime and condensed regime, based on the relative change of input weights as the width approaches infinity, which tends to $0$, $O(1)$ and $+\infty$, respectively. In the linear regime, NN training dynamics is approximately linear similar to a random feature model with an exponential loss decay. In the condensed regime, we demonstrate through experiments that active neurons are condensed at several discrete orientations. The critical regime serves as the boundary between above two regimes, which exhibits an intermediate nonlinear behavior with the mean-field model as a typical example. Overall, our phase diagram for the two-layer ReLU NN serves as a map for the future studies and is a first step towards a more systematical investigation of the training behavior and the implicit regularization of NNs of different structures.
InfoXLM: An Information-Theoretic Framework for Cross-Lingual Language Model Pre-Training

In this work, we present an information-theoretic framework that formulates cross-lingual language model pre-training as maximizing mutual information between multilingual-multi-granularity texts. The unified view helps us to better understand the existing methods for learning cross-lingual representations. More importantly, inspired by the framework, we propose a new pre-training task based on contrastive learning. Specifically, we regard a bilingual sentence pair as two views of the same meaning and encourage their encoded representations to be more similar than the negative examples. By leveraging both monolingual and parallel corpora, we jointly train the pretext tasks to improve the cross-lingual transferability of pre-trained models. Experimental results on several benchmarks show that our approach achieves considerably better performance. The code and pre-trained models are available at https://aka.ms/infoxlm.
Are Hyperbolic Representations in Graphs Created Equal?

Recently there was an increasing interest in applications of graph neural networks in non-Euclidean geometry; however, are non-Euclidean representations always useful for graph learning tasks? For different problems such as node classification and link prediction we compute hyperbolic embeddings and conclude that for tasks that require global prediction consistency it might be useful to use non-Euclidean embeddings, while for other tasks Euclidean models are superior. To do so we first fix an issue of the existing models associated with the optimization process at zero curvature. Current hyperbolic models deal with gradients at the origin in ad-hoc manner, which is inefficient and can lead to numerical instabilities. We solve the instabilities of kappa-Stereographic model at zero curvature cases and evaluate the approach of embedding graphs into the manifold in several graph representation learning tasks.
A 0.5GHz 0.35mW LDO-Powered Constant-Slope Phase Interpolator With 0.22% INL

Clock generators are an essential and critical building block of any communication link, whether it be wired or wireless, and they are increasingly critical given the push for lower I/O power and higher bandwidth in Systems-on-Chip (SoCs) for the Internet-of-Things (IoT). One recurrent issue with clock generators is multiple-phase generation, especially for low-power applications; several methods of phase generation have been proposed, one of which is phase interpolation. We propose a phase interpolator (PI) that employs the concept of constant-slope operation. Consequently, a low-power highly-linear operation is coupled with the wide dynamic range (i.e., phase wrapping) capabilities of a PI. Furthermore, the PI is powered by a low-dropout regulator (LDO) supporting fast transient operation. Implemented in 65-nm CMOS technology, it consumes <inline-formula> <tex-math notation="LaTeX">$350~\mu \text{W}$ </tex-math></inline-formula> at a 1.2-V supply and a 0.5-GHz clock; it achieves energy efficiency <inline-formula> <tex-math notation="LaTeX">$4\times -15\times $ </tex-math></inline-formula> lower than state-of-the-art (SoA) digital-to-time converters (DTCs) and an integral non-linearity (INL) of <inline-formula> <tex-math notation="LaTeX">$2.5\times -3.1\times $ </tex-math></inline-formula> better than SoA PIs, striking a good balance between linearity and energy efficiency.
Coleopteran Assemblages in Afromontane Grasslands Reflect Fine-Scale Variation in Vegetation

Abstract The endemic-rich Afromontane grassland on the Drakensberg in Southern Africa is subjected to intensive afforestation. We describe fine-scale variation in the assemblages of the Coleoptera within the context of a grassland fragmentation experiment. The study site supports a speciose coleopteran fauna of >131 morphospecies. Variation in beetle assemblage corresponds to fine-scale variation within the plant community of which the 10 most dominant plant species are shared across all plant associations. Because these variants of the grassland community are localized, this suggests a high degree of endemicity for the grassland Coleoptera. The correlation between ordinations of beetle assemblages and those reflecting botanical composition is remarkable. Spatial autocorrelation analysis reveals that several species have geographically clumped distributions among sites. There was a correlation between, on the one hand, seasonal differences between beetle assemblages within each treatment (due to the fact that some insects are closely associated with particular plant assemblages), and, on the other hand, seasons in which correlations in beetle-habitat ordinations were high. However, within the context of the fragmentation experiment, the grassland fragments and control sites are statistically comparable because similar plant-beetle associations existed in both treatments. Thirteen beetle taxa are identified which collectively comprise an efficient tool for monitoring the effects of habitat fragmentation on the montane grassland.
Raman Scattering by sp$^2$ Amorphous Carbons

The paper presents a cooperative consideration of Raman spectra of $^2$ amorphous carbons as well as the nature and type of their amorphicity. The latter was attributed to the amorphization of a new type named as enforced fragmentation. The fragments are stable graphenous molecules, which are the basic structural units (BSUs) of the solids, determining them as amorphics with molecular structure. Due to weak intermolecular interaction, BSUs, once aggregated, are the main defendants for IR absorption and Raman scattering of the solids, just justifying the consideration of them at molecular level. The standard G-D-2D pattern of Raman spectra of polycyclic aromatic hydrocarbons, $^2$ amorphous carbons, graphene and/or graphite crystal is attributed to extended honeycomb composition of carbon atoms and are suggested as manifestation of molecule-crystal dualism of graphenous materials. The molecular approximation, applied to the analysis of one-phonon spectra of the studied $^2$ ACs, makes it possible to trace a direct connection of the G-D spectra image as well as their broadband structure with a considerable dispersion of the C=C bond lengths within BSUs honeycomb structure, caused by the influence of chemical action, deformation, etc. This approximation, applied to the interpretation of two-phonon spectrum of graphenous molecules for the first time, reveals a particular role of electrical anharmonicity in the spectra formation and attributes this effect to a high degree of the electron density delocalization. A size-stimulated transition from molecular to quasi-particle phonon consideration of Raman spectra was experimentally traced, which allowed evaluation of a free path of optical phonons in graphene crystal.
Loss Minimization of Traction Systems in Battery Electric Vehicles Using Variable DC-link Voltage Technique — Experimental Study

A novel variable dc-link voltage technique is proposed to reduce the traction losses for electrical drive applications. A 100-unit cascaded multilevel converter is developed to generate the variable dc-link voltage. Experimental measurement shows that the machine additional losses and IGBT-inverter losses are reduced substantially. The system efficiency enhancement is at least 2%.
γ-ray/infrared luminosity correlation of star-forming galaxies

Context. Nearly a dozen star-forming galaxies have been detected in γ-rays by the Fermi observatory in the last decade. A remarkable property of this sample is the quasi-linear relation between the γ-ray luminosity and the star formation rate, which was obtained assuming that the latter is well traced by the infrared luminosity of the galaxies. The non-linearity of this relation has not been fully explained yet. Aims. We aim to determine the biases derived from the use of the infrared luminosity as a proxy for the star formation rate and to shed light on the more fundamental relation between the latter and the γ-ray luminosity. We expect to quantify and explain some trends observed in this relation. Methods. We compiled a near-homogeneous set of distances, ultraviolet, optical, infrared, and γ-ray fluxes from the literature for all known γ-ray emitting, star-forming galaxies. From these data, we computed the infrared and γ-ray luminosities, and star formation rates. We determined the best-fitting relation between the latter two, and we describe the trend using simple, population-orientated models for cosmic-ray transport and cooling. Results. We find that the γ-ray luminosity–star formation rate relation obtained from infrared luminosities is biased to shallower slopes. The actual relation is steeper than previous estimates, having a power-law index of 1.35 ± 0.05, in contrast to 1.23 ± 0.06. Conclusions. The unbiased γ-ray luminosity–star formation rate relation can be explained at high star formation rates by assuming that the cosmic-ray cooling region is kiloparsec-sized and pervaded by mild to fast winds. Combined with previous results about the scaling of wind velocity with star formation rate, our work provides support to advection as the dominant cosmic-ray escape mechanism in galaxies with low star formation rates.