A defined intestinal colonization microbiota for gnotobiotic pigs

Maximising the ability of piglets to survive exposure to pathogens is essential to reduce early piglet mortality, an important factor in efficient commercial pig production. Mortality rates can be influenced by many factors, including early colonization by microbial commensals. Here we describe the development of an intestinal microbiota, the Bristol microbiota, for use in gnotobiotic pigs and its influence on synthesis of systemic immunoglobulins. Such a microbiota will be of value in studies of the consequences of early microbial colonization on development of the intestinal immune system and subsequent susceptibility to disease. Gnotobiotic pig studies lack a well-established intestinal microbiota. The use of the Altered Schaedler Flora (ASF), a murine intestinal microbiota, to colonize the intestines of Caesarean-derived, gnotobiotic pigs prior to gut closure, resulted in unreliable colonization with most (but not all) strains of the ASF. Subsequently, a novel, simpler porcine microbiota was developed. The novel microbiota reliably colonized the length of the intestinal tract when administered to gnotobiotic piglets. No health problems were observed, and the novel microbiota induced a systemic increase in serum immunoglobulins, in particular IgA and IgM. The Bristol microbiota will be of value for highly controlled, reproducible experiments of the consequences of early microbial colonization on susceptibility to disease in neonatal piglets, and as a biomedical model for the impact of microbial colonization on development of the intestinal mucosa and immune system in neonates.

Synbiotic approach restores intestinal homeostasis and prolongs survival in leukaemia mice with cachexia

Cancer cachexia is a multifactorial syndrome that includes muscle wasting and inflammation. As gut microbes influence host immunity and metabolism, we investigated the role of the gut microbiota in the therapeutic management of cancer and associated cachexia. A community-wide analysis of the caecal microbiome in two mouse models of cancer cachexia (acute leukaemia or subcutaneous transplantation of colon cancer cells) identified common microbial signatures, including decreased Lactobacillus spp. and increased Enterobacteriaceae and Parabacteroides goldsteinii/ASF 519. Building on this information, we administered a synbiotic containing inulin-type fructans and live Lactobacillus reuteri 100-23 to leukaemic mice. This treatment restored the Lactobacillus population and reduced the Enterobacteriaceae levels. It also reduced hepatic cancer cell proliferation, muscle wasting and morbidity, and prolonged survival. Administration of the synbiotic was associated with restoration of the expression of antimicrobial proteins controlling intestinal barrier function and gut immunity markers, but did not impact the portal metabolomics imprinting of energy demand. In summary, this study provided evidence that the development of cancer outside the gut can impact intestinal homeostasis and the gut microbial ecosystem and that a synbiotic intervention, by targeting some alterations of the gut microbiota, confers benefits to the host, prolonging survival and reducing cancer proliferation and cachexia.

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Caratterizzazione fisica di apparati per tomosintesi digitale della mammella

In questo lavoro di tesi sono state studiate le caratteristiche di una macchina per tomosintesi Fujifilm AMULET Innovality in uso presso l'Istituto Scientifico Romagnolo per lo Studio e la Cura dei Tumori (I.R.S.T.) di Meldola. Le valutazioni sono state fatte utilizzando diversi fantocci, uno dei quali costruito durante il lavoro di tesi. Per la valutazione delle immagini di mammografia digitale e di tomosintesi sono state seguite le linee guida della International Electrotechnical Commission (IEC) e della European Reference Organisation for Quality Assured Breast Screening and Diagnostic Services (EUREF). Per lo studio delle mammografie digitali sono stati valutati, utilizzando i software COQ e ImageJ, i parametri di NPS, MTF e DQE. Per lo studio delle immagini di tomosintesi sono stati appositamente sviluppati degli algoritmi in linguaggio Java, integrati poi all'interno del software COQ. Il programma sviluppato ha permesso di valutare ASF, MTF, NPS e omogeneità delle immagini ricostruite.

Intestinal bacterial colonization induces mutualistic regulatory T cell responses

Mammals harbor a dense commensal microbiota in the colon. Regulatory T (Treg) cells are known to limit microbe-triggered intestinal inflammation and the CD4+ T cell compartment is shaped by the presence of particular microbes or bacterial compounds. It is, however, difficult to distinguish whether these effects reflect true mutualistic immune adaptation to intestinal colonization or rather idiosyncratic immune responses. To investigate truly mutualistic CD4+ T cell adaptation, we used the altered Schaedler flora (ASF). Intestinal colonization resulted in activation and de novo generation of colonic Treg cells. Failure to activate Treg cells resulted in the induction of T helper 17 (Th17) and Th1 cell responses, which was reversed by wild-type Treg cells. Efficient Treg cell induction was also required to maintain intestinal homeostasis upon dextran sulfate sodium-mediated damage in the colon. Thus, microbiota colonization-induced Treg cell responses are a fundamental intrinsic mechanism to induce and maintain host-intestinal microbial T cell mutualism.

The Application of Laser-Ablation Split-Stream ICP Petrochronology to Metamorphic Studies

Discussion of a new, innovative method for dating rocks, called laser ablation split stream (LASS) petrochronology, which is an in situ method that couples geochronological and geochemical data of minerals that remain in the rock matrix. The talk focuses on the application of this technique with U-Th-Pb dating of the phosphate minerals monazite and xenotine in metamorphic rocks. Examples from the Ruby Range in southwestern Montana and metamorphic core complexes in the northern Idaho panhandle will be explored.

Has "Omnics" Gone Viral?

Discussion on viruses from mild to wild and how using "omnics" (such as genomes, mRNA, proteins, metabolites) can help uncover unexpected biology.

Seafloor to Summit: The Birth of Everest

This lecture, delivered at Montana Tech, documents the 2012 expedition to Mt. Everest in Nepal by Conard Anker and Dave Lageson from Bozeman, Montana. The trip commemorated the 50th anniversary of the first American assent in 1963. The climbers gathered rock samples on and near the summit and created a new educational outreach model to elementary school children.

Groundwater Under the Butte Hill - The East Camp Mining System and the Berkeley Pit

This lecture discusses monitoring activities of the Berkeley Pit for the past 31 years at the Montana Bureau of Mines and Geology in Butte, Montana.

Alpine Plants and Climate Change in Glacier National Park, New Zealand and Scotland

The first part of the lecture details a study of how receding glaciers and snowfields in Montana, New Zealand and Scotland affect the alpine plants that grow along and near their edges. Measuring and monitoring techniques are included. The second part describes the Global Observation Research Initiative in Alpine Environments (GLOBAL) whose purpose is "to establish and maintain a world-wide long-term observation network in alpine environments. Vegetation and temperature data collected at the GLORIA sites will be used for discerning trends in species diversity and temperature."

The ABEGHHK'tH Resolution

Dr. Gates traces the history of physics leading to the hunt for the Higgs particle and confirmation of its existence in March 2013.

Common Mistakes When Fitting Models to Data

Dr. Rossi discusses the common errors that are made when fitting statistical models to data. Focuses on the planning, data analysis, and interpretation phases of a statistical analysis, and highlights the errors that are commonly made by researchers of these phases. The implications of these commonly made errors are discussed along with a discussion of the methods that can be used to prevent these errors from occurring. A prescription for carrying out a correct statistical analysis will be discussed.

Traditional Whaling Methods in Modern Times

Dr. Russell Fielding of the University of Denver discusses his study of artisanal whaling traditions throughout the Atlantic, with field sites in the Faroe Islands, Newfoundland, and the Caribbean.