Miracle-dz/UniFAR-FTUs huggingface dataset:
An improved Genetic Algorithm and its application

An improved Genetic Algorithm (GA) named Head-and-Tail Alternate Crossover GA is proposed to overcome the inefficiency of conventional single-point crossover GA on the optimizing of multi-parameter system. The head-crossover and tail-crossover is used alternately in the algorithm, which ensure that the optimized probability of every parameter is approximately equal. The parameters of fuzzy governor PSS are optimized using the algorithm and the result indicate that the algorithm is more quickly and precisely than conventional GA.
Effects of pre- and postpartum nutrition on reproduction in spring calving cows and calf feedlot performance1

ABSTRACT Crossbred, spring-calving cows (yr 1, n = 136; yr 2, n = 113; yr 3, n = 113) were used in a 3-yr experiment to evaluate the influence of supplemental protein prepartum and grazing subirrigated meadow postpartum on pregnancy rates and calf feedlot performance. A 2 × 2 factorial arrangement of treatments was used in a switchback design. From December 1 to February 28, cows grazed dormant upland range in 8 pastures (32 ± 2 ha each). The equivalent of 0.45 kg of supplement/cow per d (42% CP) was provided to half of the cows on a pasture basis 3 d/wk. For 30 d before the beginning of breeding (May 1 to May 31), half of the cows grazed a common subirrigated meadow (58 ha), and the remainder was fed grass hay in a drylot. Cow BW and BCS were monitored throughout the year, and steer calf performance was determined until slaughter. Feeding supplement prepartum improved (P = 0.01 to P < 0.001) BCS precalving (5.1 vs. 4.7) and prebreeding (5.1 vs. 4.9) and increased (P = 0.02) the percentage of live calves at weaning (98.5 vs. 93.6%) but did not affect (P = 0.46) pregnancy rate (93 vs. 90%). Calves born to dams fed supplement prepartum had similar (P = 0.29) birth weight (37 vs. 36 kg) but greater (P = 0.02) weaning weight (218 vs. 211 kg). However, steer feedlot DMI (8.53 vs. 8.48 kg), ADG (1.6 vs. 1.6 kg), and carcass weight (369 vs. 363 kg) were not affected (P = 0.23 to P = 0.89) by prepartum supplementation. Allowing cows to graze subirrigated meadow postpartum improved (P < 0.001) BCS prebreeding (5.2 vs. 4.9) but did not affect (P = 0.88) pregnancy rate (92 vs. 91%). Allowing cows to graze subirrigated meadow increased (P = 0.01) calf weaning weight (218 vs. 211 kg) but not (P = 0.62 to P = 0.91) feedlot DMI (8.4 vs. 8.3 kg), ADG (1.6 vs. 1.6 kg), or carcass weight (363 vs. 362 kg) of their steer calves. Increased percentage of live calves at weaning as a result of feeding supplemental protein increased net returns at weaning and after finishing in the feedlot. Net returns were increased by allowing cows to graze subirrigated meadow postpartum regardless of whether calves were marketed at weaning or after finishing in the feedlot.
Combining implicit surfaces with soft blending in a CSG tree

AbstractIn this paper, we show an extension of the model proposed bySabourdy, combining various implicit surfaces with softblending capacities in a CSG tree. This extension allowsintegration of plane surfaces, skeletons and many other types ofimplicit surfaces. It particularly develops the blendingpossibilities offered by this approach. The model is then able togenerate a wide variety of shapes on which the user may actthrough a limited number of parameters. Introduction Modelling complex shapes with CSG trees is an efficient and naturalmethod. Indeed, union, intersection and difference are Booleancomposition operators which represent a sort of ‘manual’ way ofmanipulating. But, used alone, this approach fails to obtain softtransitions between the different primitives composing the object.For each function f, an implicit surface is defined by its equationf(x,y,z) = k. Many different implicit models exist, each based onspecific implicit functions generating particular forms. Some of themblend [3, 4, 8], others twist and sweep [5], control which elementsblend together using a graph [6, 18], but all are isolated implicitmodels. In composing these models, we considerably enrich the formswe can produce. Even though the first models combining implicitsurfaces in CSG trees (using min and max functions) [11] did not givesoft transitions, most composition models now allow the introductionof blend in the transitions. Pasko [10] uses the Boolean operators(union, intersection and difference) to compose R-functions which is avery general approach. Wyvill [16, 17] limits his approach to skeleton-based implicit surfaces but treats blending and space warping in thesame way as union, difference and intersection. These two models, are
Satb1 Is an Activity-Modulated Transcription Factor Required for the Terminal Differentiation and Connectivity of Medial Ganglionic Eminence-Derived Cortical Interneurons

Although previous work identified transcription factors crucial for the specification and migration of parvalbumin (PV)-expressing and somatostatin (SST)-expressing interneurons, the intrinsic factors required for the terminal differentiation, connectivity, and survival of these cell types remain uncharacterized. Here we demonstrate that, within subpopulations of cortical interneurons, Satb1 (special AT-rich binding protein) promotes terminal differentiation, connectivity, and survival in interneurons that express PV and SST. We find that conditional removal of Satb1 in mouse interneurons results in the loss of a majority of SST-expressing cells across all cortical layers, as well as some PV-expressing cells in layers IV and VI, by postnatal day 21. SST-expressing cells initially migrate to the cortex in Satb1 mutant mice, but receive reduced levels of afferent input and begin to die during the first postnatal week. Electrophysiological characterization indicates that loss of Satb1 function in interneurons results in a loss of functional inhibition of excitatory principal cells. These data suggest that Satb1 is required for medial ganglionic eminence-derived interneuron differentiation, connectivity, and survival.
Wide angle impedance matching metamaterials for waveguide-fed phased-array antennas

This work investigates the gains realisable through the use of artificially structured materials, otherwise known as metamaterials, in the wide angle impedance matching (WAIM) of waveguide-fed phased-array antennas. The authors propose that the anisotropic properties of a metamaterial layer, when designed appropriately, can be employed to achieve impedance matching at a wide contiguous range of phased-array antenna transmission angles. Simulation and numerical results show that an optimised impedance match over a broad angular range can be readily achieved using a doubly uniaxial (magnetic and electric) anisotropic layer, an outcome not found accomplishable when an optimised isotropic dielectric layer is used. The authors propose the possibility of using metamaterials to achieve anisotropic WAIM layer configurations, and the authors show, using two simple uniaxial designs, that a metamaterial layer over the phased-array gives performance characteristics similar to its homogeneous anisotropic effective medium counterpart.
Numerical analysis of a EMP simulator with absorbing stuff

In this paper, an EMP simulator with absorbing stuff is designed. Firstly, the EMP simulator is analyzed according to the circuit. Secondly, the Finite-Difference Time-Domain (FDTD) method is used to model electromagnetic field of effective work space of the EMP simulator accurately. This work will offer theory direction of simulatorpsilas optimized design.
External disturbance rejection in IDA-PBC controller for underactuated mechanical systems: From theory to real time experiments

Proving the robustness, vis-à-vis external disturbances of IDA-PBC (Interconnexion Damping Assignment, Passive Based Control) controller for underactuated mechanical systems is addressed in this paper. Some sufficient stability conditions on matched and unmatched disturbances are provided. As illustration we propose to revisit the application of IDA-PBC controller to the Inertia Wheel Inverted Pendulum (IWIP) in the presence of external disturbances. Simulations and real-time experimental results are presented as validations of the theoretical results.
Data collection mechanisms for intrusion detection systems

Drawing from the experience obtained during the development and testing of a distributed intrusion detection system, we reect on the data collection needs of intrusion detection systems, and on the limitations that are faced when using the data collection mechanisms built into most operating systems. We claim that it is best for an intrusion detection system to be able to collect its data by looking directly at the operations of the host, instead of indirectly through audit trails or network packets. Furthermore, for collecting data in an ecient, reliable and complete fashion, incorporation of monitoring mechanisms in the source code of the operating system and its applications is needed.
Un dispositif de formalisation de processus assistée par ordinateur pour l’évaluation de programme de promotion de la santé : application à PRALIMAP et PRALIMAP-INÉS, essais de prévention du surpoids

L’evaluation de la mise en œuvre des interventions est une composante de l’evaluation de processus, elle est primordiale pour analyser la variabilite susceptible d’intervenir dans les programmes de promotion de la sante. Une enquete descriptive transversale, realisee aupres des acteurs de promotion de la sante, a montre le besoin manifeste des professionnels d’etre aides pour l’evaluation des programmes (un acteur sur deux rencontre des difficultes). Dans la reflexion de construction d’un outil informatique dedie a la structuration et la mise en œuvre de l’evaluation, PREV@LISS developpe par la Mutualite Francaise, facilite le reporting des donnees; il s’est avere pratique et facile, repondant aux attentes des acteurs. Il a montre ses fonctionnalites dans son application au programme PRALIMAP-INES. PRALIMAP-INES avait pour objectif de montrer qu’une strategie de prise en charge adaptee pour les adolescents de milieux sociaux moins favorises a un effet equivalent a une strategie de prise en charge standard pour les milieux sociaux favorises sur la reduction de l’exces de poids. PRALIMAP-INES etait un programme multi-composante realise en milieu scolaire, dont l’evaluation de la mise en œuvre des fonctions cles a ete menee aupres des acteurs en utilisant des questionnaires, des entretiens et des observations. Les resultats de l’evaluation ont montre que les adolescents qui avaient un z-score de l’IMC eleve et un statut social tres defavorise ont ete les plus nombreux a participer au programme. La methodologie employee en proposant des activites adaptees et basees sur l’accompagnement montre un effet favorable malgre une variabilite inter-etablissement
Notes on Tamagawa Number

Remark 2. It looks like from the definition τ(G) depends on the number field K, so it should be τK(G). If L is a finite extension of K, we have τL(G) = τK(RL/K(G)). Weil showed that in fact the Tamagawa number is independent of Weil restriction, i.e., τL(G) = τK(RL/K(G)) = τK(G). This is proved with details in the paper by Oesterlé ”Nombres de Tamagawa et groupes unipotentes en caractéristique p”. This allow us to reduce to the case K = Q.
Partially quenched chiral perturbation theory without Phi0

This paper completes the argument that lattice simulations of partially quenched QCD can provide quantitative information about QCD itself, with the aid of partially quenched chiral perturbation theory. A barrier to doing this has been the inclusion of �0, the partially quenched generalization of the � ′ , in previous calculations in the partially quenched effective theory. This invalidates the low energy perturbative expansion, gives rise to many new unknown parameters, and makes it impossible to reliably calculate the relation between the partially quenched theory and low energy QCD. We show that it is straightforward and natural to formulate partially quenched chiral perturbation theory without �0, and that the resulting theory contains the effective theory for QCD without the � ′ . We also show that previous results, obtained including �0, can be reinterpreted as applying to the theory without �0. We contrast the situation with that in the quenched effective theory, where we explain why it is necessary to include �0. We also compare the derivation of chiral perturbation theory in partially quenched QCD with the standard derivation in unquenched QCD. We find that the former cannot be justified as rigorously as the latter, because of the absence of a physical Hilbert space. Finally, we present an encouraging result: unphysical double poles in certain correlation functions in partially quenched chiral perturbation theory can be shown to be a property of the underlying theory, given only the symmetries and some plausible assumptions.
Automatic Extraction of Patterns Displaying Hyponym-Hypernym Co-Occurrence from Corpora

Many of the tasks in computational linguistics, such as information retrieval, document classification, automatic summaries, word sense disambiguation, resolving prepositional phrase attachment, etc. (see Vossen 2003 for a presentation of the uses of various ontologies in solving different tasks in Natural Language Processing) need good ontologies for their success. The manual development of an ontology requires considerable time and money investments. An alternative way for their development is to extract the relevant content from (domain-specific) corpora. A prerequisite in such an experiment is the inventory of patterns which allow for the instantiation in text of the taxonomic relation organizing the ontology. We ran an experiment in which we identify such patterns in corpora and classify them from a lexical point of view. Another resource on which we rely is WordNet, whose already encoded hyponymy relations help us to identify the patterns in which they occur in corpus.
Using graphics hardware to speed-up your visibility queries

We present a visibility method that takes advantage of the graphics hardware to give fast answers to visibility queries. Our visibility method is designed to solve two types of visibility queries: point-based visibility queries, where several visibility queries share the same origin, and planebased visibility queries, where several visibility queries have their origins on the same plane. Both occur frequently in global illumination algorithms. Combining the speed given by graphics hardware with a software heuristic to avoid reliability problems, our visibility method is significantly faster than ray-casting, and still gives the same results.
Evaluation of Environmentally Superior Technology: Swine Waste Treatment System for Elimination of Lagoons, Reduced Environmental Impact, and Improved Water Quality. (Solids separation / nitrification-denitrification / soluble phosphorus removal / solids processing system) FINAL REPORT For the NC At

Mention of a trade name, proprietary product, or vendor does not constitute a guarantee or warranty of the product by the USDA and does not imply its approval to the exclusion of other products or vendors that also may be suitable. Systems of treatment technologies are needed that capture nutrients, reduce emissions of ammonia and nuisance odors, and kill harmful pathogens. A system of swine wastewater treatment technologies was developed to accomplish many of these tasks. The project was a collaborative effort involving scientists, engineers and personnel from private businesses, university and USDA. The project addressed one of the nation's greatest environmental problems – the cleanup and disposal of manure from swine-production wastewater. The system greatly increased the efficiency of liquid/solid separation by injection of polymer to increase solids flocculation. Nitrogen management to eliminate ammonia emissions was accomplished by passing the liquid through a module where immobilized bacteria transformed nitrogen. Subsequent alkaline treatment of the wastewater in a phosphorus module precipitated calcium phosphate and killed pathogens. Treated wastewater was recycled to clean hog houses and for crop irrigation. The system went through full-scale demonstration and verification as part of the Smithfield Foods / Premium Standard Farms / Frontline Farmers-North Carolina Attorney General Agreement to identify technologies that can replace current lagoons with Environmentally Superior Technology. Objectives of this report were to provide critical performance evaluation of the Swine Manure Treatment System to determine if the technology meets the criteria of Environmentally Superior Technology defined in section II.C of the Agreement. Specifically, evaluation of technical and operational feasibility and performance standards related to the elimination of discharge of animal waste into waters and the substantial elimination of nutrient and heavy metal contamination of soil and groundwater. The treatment plant completed design, permitting, construction, startup, and one year operation period under steady-state conditions. The full-scale demonstration facility was installed on a 4,400-head finishing farm in Duplin County, North Carolina. Major goals in the demonstration and verification of the new wastewater treatment system for swine manure at full scale were achieved including replacement of anaerobic lagoon treatment, and consistent treatment performance, with varying solid and nutrient loads typical in animal production, and cold and warm weather conditions. The system used polymer liquid-solid separation technology, nitrification/denitrification technology, and soluble P removal technology linked together into a practical system. The system removed 97.6% of the suspended solids, 99.7% of BOD, 98.5% of TKN, 98.7% of …
A Defect Oriented Approach for Testing RF Front-Ends of Wireless Transceivers

In this dissertation the problem of testing wireless transceiver’s RF Front-Ends is addressed. The proposed approach constitutes a cost effective, reliable and efficient solution for characterizing a complex system as a faulty or fault free, based on robust defect oriented build-in testing circuits. Testing techniques and related Built-In Self-Test circuits were proposed for the effective fault diagnosis of integrated differential Low Noise Amplifiers, Mixers and Voltage Controlled Oscillators for both receiver and transmitter parts. These individual test circuits were finally combined to form a fully integrated test solution for RF Front-Ends of wireless transceivers.
A Logical Model of an Event Ontology for Exploring Connections in Historical Domains

Exploring connections between events is paramount to any historical investigation. In the course of human occurrences, historians have been always interested in unveiling connections between events for the purpose of establishing the significance of certain happenings and measure their impact. The paper describes a formal model for representing events and comparing temporal dimensions as the backbone for drawing connections and exploring relationships between happenings. The approach is illustrated in a case study from the Astronomical Revolution, a sub-domain of History of Science.
Pre-Processing of CT Brain Images for Content-Based Image Retrieval

In this paper, we propose an effective pre-processing method of CT brain images to provide consistent feature for content-based medical image retrieval. The key steps in pre-processing include cutting out background region, using ellipse to correct lean imaging angle, and normalization. We take vast CT brain images as experimental data to evaluate the method. Experimental results show the effect of pre-processing.
Negative Acculturation Conditions, Wellbeing, and the Mediating Role of Separation in the Workplace

This article reports on the results of research which assessed adverse acculturation conditions in the workplace. Acculturation conditions such as racism, discrimination, segregation and separation were evaluated as predictors to ascertain how they affect acculturation outcomes such as intentions to quit and ill-health, both physical and psychological, of workers in the workplace. A convenience sample (N = 327) was taken from various sectors, for example retail, banking, mining, police service, and the municipality. The study aimed to test the mediating role of separation in the relation between adverse acculturation conditions and wellbeing as measured by ill-health and intentions to quit. The results indicated that racism, discrimination, segregation and separation, ill-health and intentions to quit were positively related. The hypothesized model was confirmed in a structural equation modelling analysis. This meant that more mainstream segregation demands, discrimination, and subtle racism, coupled with a dominant ethnic separation acculturation strategy and co-ethnics demanding that their members keep to themselves at work (with limited or no intercultural contact), were associated with the experiences of higher physical and psychological ill-health, and frequent thoughts of intentions to quit. In addition, mainstream segregation demands, compared to subtle racism and discrimination, were much more strongly associated with ethnic preference to separate. Blacks reported higher segregation demands and discrimination experiences at work (conditions), an individual separation acculturation strategy and physical ill-health at work (outcomes) compared to Whites, although the effects were relatively small. Recommendations for future research are provided.
Convergent Approaches for Defining Functional Imaging Endophenotypes in Schizophrenia

In complex genetic disorders such as schizophrenia, endophenotypes have potential utility both in identifying risk genes and in illuminating pathophysiology. This is due to their presumed status as closer in the etiopathological pathway to the causative genes than is the currently defining clinical phenomenology of the illness and thus their simpler genetic architecture than that of the full syndrome. There, many genes conferring slight individual risk are additive or epistatic (interactive) with regard to cumulative schizophrenia risk. In addition the use of endophenotypes has encouraged a conceptual shift away from the exclusive study of categorical diagnoses in manifestly ill patients, towards the study of quantitative traits in patients, unaffected relatives and healthy controls. A more recently employed strategy is thus to study unaffected first-degree relatives of schizophrenia patients, who share some of the genetic diathesis without illness-related confounds that may themselves impact fMRI task performance. Consistent with the multiple biological abnormalities associated with the disorder, many candidate endophenotypes have been advanced for schizophrenia, including measures derived from structural brain imaging, EEG, sensorimotor integration, eye movements and cognitive performance (Allen et al., 2009), but recent data derived from quantitative functional brain imaging measures present additional attractive putative endophenotypes. We will review two major, conceptually different approaches that use fMRI in this context. One, the dominant paradigm, employs defined cognitive tasks on which schizophrenia patients perform poorly as “cognitive stress tests”. The second uses very simple probes or “task-free” approaches where performance in patients and controls is equal. We explore the potential advantages and disadvantages of each method, the associated data analytic approaches and recent studies exploring their interface with the genetic risk architecture of schizophrenia.