Application of molecular markers on genetic improvement and reproduction in the post-genomic Era: Emerging biotechnologies and perspectives in livestock

Background: New challenges are rising in the animal protein market, and one of the main world challenges is to produce more in shorter time, with better quality and in a sustainable way. Brazil is the largest beef exporter in volume hence the factors affecting the beef meat chain are of major concern in countrýs economy. An emerging class of biotechnological approaches, the molecular markers, is bringing new perspectives to face these challenges, particularly after the publication of the first complete livestock genome (bovine), which has triggered a massive initiative to put in practice the benefits of the so called the Post-Genomic Era. Review: This article aimed at showing the directions and insights in the application of molecular markers on livestock genetic improvement and reproduction as well at organizing the progress so far, pointing some perspectives of these emerging technologies in Brazilian ruminant production context. An overview on the nature of the main molecular markers explored in ruminant production is provided, which describes the molecular bases and detection approaches available for microsatellites (STR) and single nucleotide polymorphisms (SNP). A topic is dedicated to review the history of association studies between markers and important trait variation in livestock, showing the timeline starting on quantitative trait loci (QTL) identification using STR markers and ending in high resolution SNP panels to proceed whole genome scans for phenotype/genotype association. Also the article organizes this information to reveal how QTL prospection using STR could open ground to the feasibility of marker-assisted selection and why this approach is quickly being replaced by studies involving the application of genome-wide association using SNP research in a new concept called genomic selection. Conclusion: The world's scientific community is dedicating effort and resources to apply SNP information in livestock selection through the development of high density panels for genomic association studies, connecting molecular genetic data with phenotypes of economic interest. Once generated, this information can be used to take decisions in genetic improvement programs by selecting animals with the assistance of molecular markers.

Strategies to improve the efficiency of genomic selection in animal breeding programs

Pós-graduação em Zootecnia - FCAV

Assessing the Free Land Programs for Reversing Rural Depopulation

A number of small towns in the Great Plains have recently started to offer free land and other incentives to entice new residents in the hope of reversing persistent depopulation. Based on in-depth interviews, this study assesses the initial performance of the free land programs in six small towns in central Kansas and analyzes the factors that have affected the migration decisions of the new residents. The initial results of these programs have been impressive. Not only have they attracted multiple new residents and increased enrollments in local schools, but they have also elevated long-time residents' pride in their community and created a positive synergy. The new residents' migration decisions were influenced by a number of push and pull factors. The free land and other incentives are not enough to trigger migration, but they have effectively changed some migrants' destination choice to a small town in central Kansas. Without the free land, most new residents, particularly those from out of state, would not have moved there. Contrary to our expectations, the relative locations of small towns with respect to larger cities do not appear to have affected new residents' destination choice.

Landscape Genetics of Raccoons (Procyon lotor) Associated with Ridges and Valleys of Pennsylvania: Implications for Oral Rabies Vaccination Programs

Raccoons are the reservoir for the raccoon rabies virus variant in the United States. To combat this threat, oral rabies vaccination (ORV) programs are conducted in many eastern states. To aid in these efforts, the genetic structure of raccoons (Procyon lotor) was assessed in southwestern Pennsylvania to determine if select geographic features (i.e., ridges and valleys) serve as corridors or hindrances to raccoon gene flow (e.g., movement) and, therefore, rabies virus trafficking in this physiographic region. Raccoon DNA samples (n = 185) were collected from one ridge site and two adjacent valleys in southwestern Pennsylvania (Westmoreland, Cambria, Fayette, and Somerset counties). Raccoon genetic structure within and among these study sites was characterized at nine microsatellite loci. Results indicated that there was little population subdivision among any sites sampled. Furthermore, analyses using a model-based clustering approach indicated one essentially panmictic population was present among all the raccoons sampled over a reasonably broad geographic area (e.g., sites up to 36 km apart). However, a signature of isolation by distance was detected, suggesting that widths of ORV zones are critical for success. Combined, these data indicate that geographic features within this landscape influence raccoon gene flow only to a limited extent, suggesting that ridges of this physiographic system will not provide substantial long-term natural barriers to rabies virus trafficking. These results may be of value for future ORV efforts in Pennsylvania and other eastern states with similar landscapes.

Comparative Anylysis of Recyling Programs: A Case Study of Three Universities

Abstract The goal of this study was to conduct a comparative analysis of three university recycling programs. This study looked at several aspects of the programs that included the diversion rates, per capita ratios of materials recycled and disposed, and the average net costs of waste disposal and waste diversion. The universities included in this study were the University of Nebraska-Lincoln, the University of Colorado at Boulder, and the University of Oregon. To gather the information necessary for this analysis, I contacted each of the university’s recycling coordinators. To determine the average net costs of waste disposal and waste diversion I requested both the recycling budget and solid waste budget from each university for the fiscal years of interest which included: 2006-2007, 2007-2008, and 2008-2009. To calculate the diversion rates and per capita ratios, I requested performance records from each university listing the tonnage of materials recycled and disposed for the same years. This study’s findings reported that the average net costs for waste diversion in all three universities were $22-$122 less per ton than costs for waste collection and disposal. This study also indicated that the universities with the highest diversion and recycling rates were the University of Colorado at Boulder and the University of Oregon. The university with the lowest waste generated per capita was the University of Oregon followed by the University of Nebraska-Lincoln.

A Survery of Western United States Instream Flow Programs and The Policies that Protect a River's Ecosystem

The Western United States can best be described as a vast, varying land, with the high plains to the east and the jagged horizons of Rockies to the west. However there is one common trait shared by these states: the lack of water resources. With the continued development of this land, the fact that water is scarce is becoming more real. This issue became more difficult to handle as the public became more aware that many competing uses existed for the finite resource, and those different uses were degrading the natural environments of the surface waters. With this realization instream flow policies provides a comprehensive account of the policy framework a selected number of western states have established in order to protect instream flows and the overall health of a river's ecosystem. Also included is the identification of key policies that should be promoted or removed from a state's instream flow program. Ultimately, this thesis continues to add the the ever-evolving process of modernizing water law frameworks.

PHOTOGRAPHIC RECORDS — THEIR IMPORTANCE IN TODAY'S ENVIRONMENTALLY SENSITIVE BIRD MANAGEMENT PROGRAMS

We are living in a day of change. Environmental awareness is a part of our everyday life in a way unprecedented in history. The courts, in their infinite wisdom, have initiated the joint and several liability (deep pocket) rules that make everyone at risk in almost all situations. Bird management programs, by their very nature, are extremely sensitive. Any project, if not evaluated, planned, carried out, and documented properly can result in adverse regulatory agency action, bad publicity, and even fines or lawsuits. Proper photographic documentation can play a vital part in helping to provide the necessary records to help prevent problems and/or defend yourself in case of lawsuit or regulatory action. In the preparation of this paper, we surveyed state pesticide lead agencies, state Department of Conservation (Fish and Wildlife) agencies, some U.S. Fish and Wildlife Law Enforcement personnel, and several individuals to get their reaction to and their comments about this concept of supplemental recordkeeping. Of those responding, a majority thought the concept of supplemental photographic recordkeeping would be an asset to individuals and organi¬zations conducting bird management projects.

"BREAKING THROUGH THE SOFT SPOKEN STEREOTYPE: THE VOICES OF ASIAN WOMEN IN DOCTORAL PROGRAMS"

This panel session explores how the dynamics of race and gender within university settings influence Asian women’s experiences in graduate psychology programs.

REDUCTION AND TIMING OF FUNGICIDE APPLICATION IN THE MANAGEMENT OF SCAB IN PLUM TREES

This work aimed to evaluate the incidence and severity of scab in prune trees under different fungicide management, with two time patterns of application; one at the early fruit formation, up to pit hardening, and another starting after pit hardening, and compare the number of fungicide application reductions with the management adopted by the producer Four experiments, with different treatments, were carried out during the 2004-2005 and 2005-2006 seasons (two experiments,) and that of 2008-2009, using the Harry Pickstone and Reubennel cultivars. The most efficient control of the disease was achieved with the combination of metiram, piraclostrobina e ditianona fungicides from late bloom to pit hardening. Efficient scab control in prune was dependent on the combination of the fungicides used and the application timing. Reduced fungicide management is possible, while spraying initiated after pit hardening was not efficient for scab control.

The efficacy of chemical agents in cleaning and disinfection programs

Abstract Background Due to the growing number of outbreaks of infection in hospital nurseries, it becomes essential to set up a sanitation program that indicates that the appropriate chemical agent was chosen for application in the most effective way. Method For the purpose of evaluating the efficacy of a chemical agent, the minimum inhibitory concentration (MIC) was reached by the classic method of successive broth dilutions. The reference bacteria utilized were Bacillus subtilis var. globigii ATCC 9372, Bacillus stearothermophilus ATCC 7953, Escherichia coli ATCC 25922, Staphylococcus aureus ATCC 25923. The strains of Enterobacter cloacae IAL 1976 (Adolfo Lutz Institute), Serratia marcescens IAL 1478 and Acinetobactev calcoaceticus IAL 124 (ATCC 19606), were isolated from material collected from babies involved in outbreaks of infection in hospital nurseries. Results The MIC intervals, which reduced bacteria populations over 08 log10, were: 59 to 156 mg/L of quaternarium ammonium compounds (QACs); 63 to 10000 mg/L of chlorhexidine digluconate; 1375 to 3250 mg/L of glutaraldehyde; 39 to 246 mg/L of formaldehyde; 43750 to 87500 mg/L of isopropanol or ethanol; 1250 to 6250 mg/L of iodine in polyvinyl-pyrolidone complexes, 150 to 4491 mg/L of chlorine-releasing-agents (CRAs); 469 to 2500 mg/L of hydrogen peroxide; and, 2310 to 18500 mg/L of peracetic acid. Conclusions Chlorhexidine showed non inhibitory activity over germinating spores. A. calcoaceticus, was observed to show resistance to the majority of the agents tested, followed by E. cloacae and S. marcescens.

The host marking pheromone application on the management of fruit flies - a review

The aim of this work was to review the role of the host marking pheromone (HMP) and its application in integrated management programs for the fruit flies. Initially the oviposition behavior of tephritids has been analyzed with emphasis on Ceratitis capitata. The deposition of HMP, which consists in the last stage of the oviposition behavior has been characterized and discussed about evolutive aspects and the biological meaning of the tephritidae communication through the HMP. Finally, the perspectives on the use of HMP in the integrated management of fruit flies have been discussed.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Content and English Language Integrated Learning: The use of Moodle in Aircraft Maintenance Training Programs

The aim of this work is to develop a prototype of an e-learning environment that can foster Content and Language Integrated Learning (CLIL) for students enrolled in an aircraft maintenance training program, which allows them to obtain a license valid in all EU member states. Background research is conducted to retrace the evolution of the field of educational technology, analyzing different learning theories – behaviorism, cognitivism, and (socio-)constructivism – and reflecting on how technology and its use in educational contexts has changed over time. Particular attention is given to technologies that have been used and proved effective in Computer Assisted Language Learning (CALL). Based on the background research and on students’ learning objectives, i.e. learning highly specialized contents and aeronautical technical English, a bilingual approach is chosen, three main tools are identified – a hypertextbook, an exercise creation activity, and a discussion forum – and the learning management system Moodle is chosen as delivery medium. The hypertextbook is based on the technical textbook written in English students already use. In order to foster text comprehension, the hypertextbook is enriched by hyperlinks and tooltips. Hyperlinks redirect students to webpages containing additional information both in English and in Italian, while tooltips show Italian equivalents of English technical terms. The exercise creation activity and the discussion forum foster interaction and collaboration among students, according to socio-constructivist principles. In the exercise creation activity, students collaboratively create a workbook, which allow them to deeply analyze and master the contents of the hypertextbook and at the same time create a learning tool that can help them, as well as future students, to enhance learning. In the discussion forum students can discuss their individual issues, content-related, English-related or e-learning environment-related, helping one other and offering instructors suggestions on how to improve both the hypertextbook and the workbook based on their needs.