Miracle-dz/UniFAR-FTUs huggingface dataset:
Numerical static analysis of interrupt-driven programs via sequentialization

Embedded software often involves intensive numerical computations and thus can contain a number of numerical runtime errors. The technique of numerical static analysis is of practical importance for checking the correctness of embedded software. However, most of the existing approaches of numerical static analysis consider sequential programs, while interrupts are a commonly used technique that introduces concurrency in embedded systems. To this end, a numerical static analysis approach is desired for embedded software with interrupts. In this paper, we propose a sound numerical static analysis approach specifically for interrupt-driven programs based on sequentialization techniques. A key benefit of using sequentialization is the ability to leverage the power of the state-of-the-art analysis and verification techniques for sequential programs to analyze interrupt-driven programs. To be more clear, we first propose a sequentialization algorithm to sequentialize interrupt-driven programs into non-deterministic sequential programs according to the semantics of interrupts. On this basis, we leverage the power of numerical abstract interpretation to analyze numerical properties of the sequentialized programs. Moreover, to improve the analysis precision, we design specific abstract domains to analyze sequentialized interrupt-driven programs by considering their specific features. Finally, we present encouraging experimental results obtained by our prototype implementation.
Customization of Project Management Techniques for the Construction of IT - Information Technology Systems with the Development Methodologies Known as Agile Processes

The theory presented by PMBoK© Project Management Book of Knowledge [1], edited and maintained by PMI Project Management Institute, which deals with the issues of how to administrate a Project efficiently and planned, is already widely known and recognized by the world professional community as a strong orientation of best practices and effective working tool in this field. The PMBoK© Project Management Book of Knowledge directs the Phases and the Disciplines that must be addressed in leading a Project, whether it be, both to meet the construction of projects in Engineering Area or to meet the System Development Projects in the Area of IT Information Technology. In the latter Area, namely the area of IT Information Technology, the theory presented by PMBoK© Project Management Book of Knowledge is already intensively applied for some decades. However, the System Development Methodologies in IT Information Technology area are being reviewed by the emergence of new technical resources and new visions of interpretation of the business by the Organizations. In that way, this study intends to evaluate the current impact of these revisions (in System Development Methodologies in IT Information Technology area) may result in new versions of the PMBoK© Project Management Book of Knowledge, which, also implemented revisions and at this moment is in its 5th.Edition. In conclusion, after some simulations in a practical environment, it is verified the usefulness of this paper (and its “Table of Definition of Specific Features of Project” , which try to support the decision about what is the best System Development Methodology in IT Information Technology area to be applied to a specific Project) as an effective management and planning tool in corporate real world.
The role of natural enemies in regulating populations of biocontrol agents on gorse (Ulex europaeus L.).

Natural enemies can regulate populations of phytophagous arthropods. In weed biological control programs, natural enemies may either prevent agents from establishing or reduce their impact on the target weed. A study of the development time for Phytoseiulus persimilis at two temperatures on gorse spider mite (Tetranychus lintearius) and the pest mite T. urticae indicates P. persimilis will develop as fast, or faster, on the gorse spider mite as it does on pest mites. This suggests that P. persimilis is likely to have a negative impact on gorse spider mite populations. In addition, a survey of the arthropod fauna on gorse identifi ed a range of potential natural enemies, consisting mainly of generalist predators, which could reduce the impact of the gorse thrips and provide an explanation for its slow dispersal rate.
Kinetic model of rumen biohydrogenation: Fractional rates of fatty acid biohydrogenation and passage

A simple model of rumen fatty acid (FA) metabolism is proposed that allows calculation of fi rst order fractional rates of FA biohydrogenation and passage after determination of ruminal pool size and duodenal fl ux. The model is used to describe the increased duodenal fl ow of trans-C18:1 FA in diets supplemented with unsaturated rumen-protected FA (UNS, calcium soaps FA). Increasing UNS increased extent of C18:2 and C18:3 biohydrogenation, and decreased extent of trans-C18: 1 biohydrogenation. The model allows a mechanistic description of rumen biohydrogenation and determination of the extent of C18:1 biohydrogenation.
Skeletomuscular Modifications Associated with the Formation of an Additional Petiole on the Anterior Abdominal Segments in Aculeate Hymenoptera

The skeletomusculature of the anterior abdominal segments in Aculeata was examined to discuss the relationships among Formicidae, Vespidae (s.l.) and Scoliidae, and phylogeny among Formicidae. On the basis of ground plan for Aculeata hypothesized, the present study indicated 3 types of apomorphic states associated with the formation of an additional petiole. The abdominal characters showed that Vespidae is more closely related to Formicidae than to Scoliidae. The tiphiid-like abdominal appearance of Amblyoponini may be secondary modification for increasing the length of tergal muscles. A close relationship between the ponerine tribe Ectatommini and Myrmicinae was proposed in the present study, because among the aculeates these formicid groups alone had a lobe for attachment of tergal muscles developed on the pretergum of the third segment. Key word : Formicidae, phylogeny, petiole, skeletomusculature, Amblyoponini.
Behavioral Analysis of a Digenetic Trematode Cercaria (Microphallus Turgidus) in Relation to The Microhabitat of Grass Shrimp (Palaemonetes Spp.)

This thesis (open access) is brought to you for free and open access by the Graduate Studies, Jack N. Averitt College of at Digital Commons@Georgia Southern. It has been accepted for inclusion in Electronic Theses and Dissertations by an authorized administrator of Digital Commons@Georgia Southern. For more information, please contact digitalcommons@georgiasouthern.edu. brought to you by CORE View metadata, citation and similar papers at core.ac. uk
Eukaryotic DNA replication

1: Enzymology of the replication fork. 2: SV40 DNA replication. 3: The initiation of DNA replication in the year Saccharomyces cerevisiae. 4: Replication origins in metazoan chromosomes. 5: Role of nuclear structure in DNA replication. 6: Chromosome replication in Xenopus egg extracts. 7: Cell cycle control of DNA replication in Saccharomyces cerevisiae. 8: Regulation of S phase in the fission yeast Schizosaccharomyces pombe
MARSMotif: Deciphering Transcriptional Subnetworks from Microarray Expression Data using Regression Splines

High-throughput expression profiling technologies have raised the possibility of a global understanding of gene regulation in a wide variety of biological systems, including disease cells. By computationally integrating the expression profiles with genomic sequence data, it is possible to obtain a snapshot of the functional cis-regulatory motifs and their associated target genes. Classical approaches for deciphering cis-elements proceed by clustering microarray data across a large number of conditions. Such approaches, while useful, have severe limitations however. Over the past few years, a powerful set of methods based on regression approaches have been developed, where motif occurrence frequencies and binding strengths are correlated with expression profiles, and clustering is unnecessary. Functional motifs exhibit a statistically significant fit; inactive motifs do not.
Characterization of the Integrated Virus Detection System (IVDS) Using MS-2 Bacteriophage

Abstract : The detection and analysis of viruses have been goals of science for more than 70 years, following the first real evidence that a new type of microorganism was responsible for diseases in man and animals. These new microbes were smaller than bacteria, which have now been well documented, classified, and studied. Their small size made classifying the new microbes more difficult, and the field of virology has been advanced by biochemical techniques rather than by direct examination. Advancements in electron microscopy in more recent times have made advances in this area, and much has been reported on the physical features of more than 21 virus families. All these historic techniques are time consuming and require special knowledge and specialized chemicals and preparations to be successful. Capitalizing on the physical characteristics, it was possible to separate the families and count the individual viruses in a new and dramatic way, using easily obtained materials and simple-to-operate techniques. The only materials used in the Integrated Virus Detection System (IVDS) are a buffer, CO2 gas, and butanol. The work in this report presents the advances in the concentration and counting phases of IVDS. Results indicate a practical, easy to use device, which can count viruses in near real time. The JVDS can, in its final configuration, be expected to analyze a sample, count the viruses present, and give a preliminary identification for all viruses.
Analysis of gene expression variability in Staphylococcus epidermidis biofilms

S. epidermidis is the most frequently bacteria isolated from human epithelia, and for a long time, it has been regarded as an innocuous commensal bacterium. However, currently, this bacteria persist as a major cause of hospital and community-acquired infections. It is primarily associated with infections of indwelling medical devices, by the formation of a structure called a biofilm. The biofilms can quickly adapt to new conditions and consequently, can result in the appearance of infections, that are resistance to many antibiotics and mechanisms of the host immune defense. So, it is crucial to study gene expression and their influence in biofilm formation. In gene expression studies, there are three fundamental experimental steps which have some variability: RNA extraction, reverse-transcriptase reaction and quantitative polymerase chain reaction (qPCR). However, since biofilms are very heterogeneous communities, often gene expression studies reveal a high variability. The objective of this work was to demonstrate and understand the influence in the variability of gene expression quantification, by the individual experimental steps required for gene expression quantification, namely bacterial growth, RNA extraction, reverse transcriptase and real-time quantitative PCR. We tested the biofilm formation and the presence of key genes in several strains of S. epidermidis in order to select the strains to be used in the gene expression studies. Our results demonstrated that biologic variability was the step which more influence gene expression quantification. Additionally, we proposed an optimized protocol to enhance gene expression reproducibility in S. epidermidis biofilms and our results were favorable since we reduced the biologic variability with a pool of 20 biofilms, as determined by the quantification of gene expression in two independent strains.
Phylogenetic relationships within the Phyllidiidae (Opisthobranchia, Nudibranchia)

Abstract The Phyllidiidae (Gastropoda, Heterobranchia, Nudibranchia) is a family of colourful nudibranchs found on Indo-Pacific coral reefs. Despite the abundant and widespread occurrence of many species, their phylogenetic relationships are not well known. The present study is the first contribution to fill the gap in our knowledge on their phylogeny by combining morphological and molecular data. For that purpose 99 specimens belonging to 16 species were collected at two localities in Indonesia. They were photographed and used to make a phylogeny reconstruction based on newly obtained cytochrome oxidase subunit (COI) sequences as well as sequence data from GenBank. All mitochondrial 16S sequence data available from GenBank were used in a separate phylogeny reconstruction to obtain information for species we did not collect. COI data allowed the distinction of the genera and species, whereas the 16S data gave a mixed result with respect to the genera Phyllidia and Phyllidiella. Specimens which could be ascribed to species level based on their external morphology and colour patterns showed low variation in COI sequences, but there were two exceptions: three specimens identified as Phyllidia cf. babai represent two to three different species, while Phyllidiella pustulosa showed highly supported subclades. The barcoding marker COI also confirms that the species boundaries in morphologically highly variable species such as Phyllidia elegans, Phyllidia varicosa, and Phyllidiopsis krempfi, are correct as presently understood. In the COI as well as the 16S cladogram Phyllidiopsis cardinalis was located separately from all other Phyllidiidae, whereas Phyllidiopsis fissuratus was positioned alone from the Phyllidiella species by COI data only. Future studies on phyllidiid systematics should continue to combine morphological information with DNA sequences to obtain a clearer insight in their phylogeny.
Sensitivity of cultivation of Salmonella enterica in pooled samples of pig faeces

We aimed investigate if the cost of bacteriological examination at herd level could be reduced by cutting down on the number of analyses without loss of sensitivity. Faeces samples sent to the lab for bacteriological examination were analysed by both the standard procedure (20 pen samples) and by mixing the same 20 samples into 10, 5 or 1 pooled sample(s), respectively. The relative sensitivity of the bacteriological analysis decreased to 94% following pooling from 20 into 10; to 92% by pooling from 20 into 5; and to 73% following pooling from 20 into 1. Percent agreement between the standard procedure and pooled samples was >90% if only Salmonella-negative samples, or only Salmonella-positive samples, were pooled. Agreement was >60% for pools of originally negative and positive samples. The suggested alternative pooling methods should be carried out in the laboratory.
Molecular analysis of Romanian salmonid species based on 16S rRNA and 12S rRNA sequences.

The present study represents a preliminary analysis of the 16S rRNA and 12S rRNA mitochondrial sequences in five salmonid species adapted in Romania: Salmo trutta fario, Salmo labrax, Salvelinus fontinalis, Onchorhynchus mykiss and Thymallus thymallus. By comparing the obtained sequences with similar sequences from GenBank database and analysis of nucleotide variations we establish that 16S rRNA and 12S rRNA mitochondrial sequences are more suitable for the phylogenetic framing of the Romanian salmonids rather than for population genetic studies.
Coping Strategies to the Problems Associated With the Postmenopausal Women

Background: All post-menopausal women go through estrogen deficient years, which can manifest in both physical and emotional ways. Aim: The aim of study is to assess the problems of postmenopausal women and detect the coping strategies used Subjects and methods: This is a descriptive study A total of 100 post-menopausal women were randomly recruited from postmenopausal women attending outpatient clinic of Sohag Public Hospital and AwladElyas Health Unit in Assieut . A well designed questionnaire was prepared and test of reliability showed its validity. The participants were asked to fill in a questionnaire of 5domains; domain 1included socio-demographic data, domains 2and 3included prevalence of physical menopausal symptoms and coping strategies adopted and finally domains 4and 5included sexual and psychological menopausal symptoms and the adopted coping strategies to relieve these symptoms Results: Majority of women experienced Bones pain, headache and hot flushes came on top of menopausal symptoms . On the other hand, sexual and urinary symptoms were the least likely to be reported . Coping strategies were relatively successful for relieving headache , fatigue and night sweating Conclusion: The high prevalence rates of menopausal symptoms and the relative incapability of coping with them Recommendations Enhance women’s awareness about menopause problems and coping with them through educational program
Effects of Rootstock and Soil Type on Pratylenchus penetrans Populations in Apple Feeder Roots

Sixteen nonbearing new and replanted ‘McIntosh’ apple (Malus domestica Borkh.) orchards were surveyed in August of 1983. Rootstock and soil type influenced the number of nematodes [Pratylenchus penetrans (Cobb 1917) Sher and Allen] found in feeder roots of the 12 two-year-old orchards (P = 0.007). Mailing Merton (MM) 111 roots in clay had fewer P. penetrans (12.4/g) than MM 106 roots in clay (42.2/g) or roots of MM 111 in loam (93.2/g). Nematode populations in feeder roots increased with soil depth down to 24 cm. P. penetrans populations were not influenced by soil pH, organic matter, drainage, root conditions, tree vigor, herbicide management, or replant status.
Analysis of Phenolic Plant Metabolites

The formation, structure and nomenclature of phenolic compounds Distribution of phenolic compounds: phylogenetic constraints Why are phenolic compounds so important? Extraction and chemical quantitation of phenolics Biochemical techniques for tannins Bioassays and xenobiotic metabolism Separation of phenolic compounds Structure elucidation of unidentified phenolics Importance of phenolics in ecological studies - past and future
Molecular phylogeny of a LTR copia retrotransposon family in Triticum aestivum reveals recent transposition activity

Retrotransposons played a significant role in evolution affecting both genome structure and function. The family of a retroelement which mediated the duplication of the gene encoding the Bx7 subunit of the HMWglutenin complex leading to its overexpression was characterized in this study. Screening of the high density filters of a hexaploid wheat BAC library with a LTRspecific probe identified ~1075 positive clones representing an estimated copy number of 347 elements per haploid genome. Among them, 242 clones showing strong hybridization signal were isolated. To ensure the isolation of complete elements, screening with a RT domain probe identified 133 clones. Sequencing of the left and right LTR as well as the RT domain was carried out on this subset. Phylogenetic inference was obtained from a data set consisting of 100 RT, 102 left LTR and 99 right LTR sequences representing 233, 460 and 501 active sites, respectively. A neighbour-joining tree constructed using the Kimura-II parameter method with a substitution rate of 2x10 /synonymous site /year indicated that the element is at least 1.2 to 1.8 million years old with at least five sub-families. The insertion times of 89 complete elements estimated based on the divergence between their two LTRs also indicated the bursts of amplification from 1.7 million years ago (MYA) to 0 MYA except for one member which dated 2.9 ± 0.4 MYA coinciding with the divergence of Triticum and Aegilops 3 MYA. In 49 elements, the left and right LTRs were identical indicating recent transposition activity. To our knowledge, this is the first report of a single element family in wheat genome with such a high number of complete elements that have not accumulated mutations in the LTRs. The retroelement can be used to develop markers like SSAP, REMAP and IRAP which are ideal for genotyping studies.
Incorporação de Farinha de Sementes de Mamão (Carica papaya L.) para o Controle de Meloidogyne javanica

The objective of this work was to evaluate the effect of the incorporation of papaya seed flour (PSF) and the covering of the substrate with plastic for the control of Meloidogyne javanica. Three experiments were carried out in order to test the effect of the following rates: 0; 0.0625; 0.125; 0.25; 1; 2; 4; and 8 g of PSF / kg of substrate. In all experiments, the pots filled with 0.5 kg of substrate were infested with 4,000 eggs of M. javanica. In the first and third experiments, the pots were covered with transparent polyethylene plastic (150 μm) for five days, in greenhouse, before planting tomato seedlings. In the second, the pots were uncovered. In the third, the pots were placed in the growth chamber at 26 °C for five days, before taking them to the greenhouse. Evaluations were performed forty-five days after transplanting the seedlingd. Covering PSF amended substrate in the first experiment reduced drastically M. javanica population, regardless of the organic amendment rate. In the second experiment, the reduction of the number of galls and eggs was higher than 80% at the rates of 4 and 8 g of PSF / kg of soil, without covering. In the third experiment, the number of galls was reduced by 31, 35, 46 and 71% by using 0.125; 0.5; 4. and 8 g of PSF/kg of soil, respectively. All rates reduced the number of eggs of M. javanica per root, when compared to the control. The minimum effective rate of PSF in uncovered soil was 4 g/kg of substrate. Ciovering the soil with transparent polyethylene plastic can reduce the quantity of PSF required for an efficient control of M. javanica.
National status and trends program for National Benthic Surveillance Project: Pacific coast. Fish histopathology and relationships between toxicopathic lesions and exposure to chemical contaminants for cycles I to V (1984-88). Technical memo

The report presents and interprets the results of histopathology studies conducted on 17 species of bottomfish captured at 45 sites between 1984 and 1988 as part of the Pacific Coast portion of the National Benthic Surveillance Program (NBSP) in conjunction with NOAA's National Status and Trends Program (NS T). The species examined histopathologically for potentially contaminant-induced (toxicopathic) lesions in the liver and kidney were fourhorn sculpin (Myoxocephalus quadricornis), Arctic flounder (Pleuronectes glacialis), flathead sole (Hippoglossoides elassodon), yellowfin sole (Pleuronectes asper), Pacific staghorn sculpin (Leptocottus armatus), English sole (Pleuronectes vetulus), starry flounder (Platichthys stellatus), white croaker (Genyonemus lineatus), hornyhead turbot (Pleuronichthys verticalis), barred sand bass (Paralabrax nebulifer), spotted sand bass (Paralabrax maculatofasciatus), spotted turbot (Pleuronichthys ritteri), diamond turbot (Hysopsetta guttulata), California tonguefish (Symphurus atricauda), black croaker (Cheilotrema saturnum), and California halibut (Paralichthys californicus). In all, over 5,250 individual fish among these species were examined.