Detección de circovirus pocino tipo II en cerdos que presentan diarrea en criaderos intensivos. Detection of porcine circovirus type II in pigs that present diarrhea in intensive hatcheries.

Se propone detectar la presencia del agente etiológico circovirus porcino (CVP) en cerdos con diarrea. El cual se considera un patógeno emergente importante asociado a diferentes sindromes y enfermedades porcinas. Se comunicó a nivel internacional en 1997 y en Argentina fue descripto en el 2003 en animales de cria extensiva, aunque se encuentra en los diferentes sistemas de producción. Su presencia causa grandes pérdidas económicas, ya que muchas veces no tiene una sintomatología clínica, sino que se manifiesta subclinicamente. En la provincia de Córdoba no se han realizado estudios sistemáticos para determinar la presencia de circovirus. Además, en animales que presentan diarrea no se ha realizado un relevamiento de la presencia del CVP y su asociación con el cuadro clínico. Diversos investigadores estan viendo la necesidad de incluir al CVP a la hora de pensar en los diagnósticos etiológicos, en aquellos que no solo presentan índices productivos ineficientes sino también que no responden a la terapia antimicrobiana. Es agente causal del Sindrome de Desmedro Posdestete y podria favorecer la acción de otros agentes patógenos que actuarían tanto en Sistema Respirastorio como en Sistema Digestivo. La complejidad del trabajo radica en demostrar lo antes mencionado a traves de las lesiones a observar en los tejidos y la determinación de la presencia del agente. La ejecución de este estudio sería un importante aporte a la producción porcina, en donde este agente produce importantes pérdidas económicas. La metodología, así como los resultados obtenidos serán útiles en la formación de recursos humanos aplicados a la investigación y transferidos directamente a la docencia. Hipotesis: Establecer la presencia del CVP en cerdos con signos clinicos de enteropatías Objetivos: Determinar en cortes histopatológicos de intestino y ganglio mesentério, lesiones compatibles con CVP; Determinar por inmunohistoquímica la presencia del antígeno CVP en las muestras. Identificar las células en las que se encuentre el antígeno. Materiales y método: Muestreo a campo y toma de muestra. En diferentes establecimientos porcinos, de aquellos animales que presenten el cuadro clínico de diarrea, serán elegidos 3 animales aleatoriamente para sacrificio y realización de la técnica de necropsia. Se tomarán muestras de intestino delgado y ganglio mesentérico que serán fijadas en formol; la técnica histopatológica y su lectura tendrán fin de encontrar lesiones compatibles con circovirus porcino tipo II; Realización de la técnica de inmunohistoquímica con anticuerpo monoclonal, para la detección del CVP en los tejidos; Interpretación de resultados; Publicación de los resultados.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

The Feedback Effect of Intensity of Ionizing Radiation With the Light Ions Content in Atmosphere. Paradox (the Tbilisi Type of a Smog), or Usual Phenomenon for the Strongly Pollution Cities?.

თბილისში მსუბუქი იონების, რადონის და გალაქტიკური კოსმოსური სხივების ნეიტრონული კომპონენტის ინტენსივობის 2009-2010 წლებში კომპლექსური მონიტორინგის მონაცემების მიხედვით გამოვლენილია მაიონიზებელი გამოსხივების ინტენსივობისა და ატმოსფეროში მსუბუქი იონების შემცველობის უკუკავშირის ეფექტი.

Resistance Exercise Restores Endothelial Function and Reduces Blood Pressure in Type 1 Diabetic Rats

Background: Resistance exercise effects on cardiovascular parameters are not consistent. Objectives: The effects of resistance exercise on changes in blood glucose, blood pressure and vascular reactivity were evaluated in diabetic rats. Methods: Wistar rats were divided into three groups: control group (n = 8); sedentary diabetic (n = 8); and trained diabetic (n = 8). Resistance exercise was carried out in a squat device for rats and consisted of three sets of ten repetitions with an intensity of 50%, three times per week, for eight weeks. Changes in vascular reactivity were evaluated in superior mesenteric artery rings. Results: A significant reduction in the maximum response of acetylcholine-induced relaxation was observed in the sedentary diabetic group (78.1 ± 2%) and an increase in the trained diabetic group (95 ± 3%) without changing potency. In the presence of NG-nitro-L-arginine methyl ester, the acetylcholine-induced relaxation was significantly reduced in the control and trained diabetic groups, but not in the sedentary diabetic group. Furthermore, a significant increase (p < 0.05) in mean arterial blood pressure was observed in the sedentary diabetic group (104.9 ± 5 to 126.7 ± 5 mmHg) as compared to that in the control group. However, the trained diabetic group showed a significant decrease (p < 0.05) in the mean arterial blood pressure levels (126.7 ± 5 to 105.1 ± 4 mmHg) as compared to the sedentary diabetic group. Conclusions: Resistance exercise could restore endothelial function and prevent an increase in arterial blood pressure in type 1 diabetic rats.

The Labdane Ent-3-Acetoxy-Labda-8(17), 13-Dien-15-Oic Decreases Blood Pressure In Hypertensive Rats

Abstract Background: Labdane-type diterpenes induce lower blood pressure via relaxation of vascular smooth muscle; however, there are no studies describing the effects of labdanes in hypertensive rats. Objective: The present study was designed to investigate the cardiovascular actions of the labdane-type diterpene ent-3-acetoxy-labda-8(17), 13-dien-15-oic acid (labda-15-oic acid) in two-kidney 1 clip (2K-1C) renal hypertension. Methods: Vascular reactivity experiments were performed in aortic rings isolated from 2K-1C and normotensive (2K) male Wistar rats. Nitrate/nitrite (NOx) measurement was performed in aortas by colorimetric assay. Blood pressure measurements were performed in conscious rats. Results: Labda-15-oic acid (0.1-300 µmol/l) and forskolin (0.1 nmol/l - 1 µmol/l) relaxed endothelium-intact and endothelium-denuded aortas from both 2K-1C and 2K rats. Labda-15-oic acid was more effective at inducing relaxation in endothelium-intact aortas from 2K pre-contracted with phenylephrine when compared to the endothelium-denuded ones. Forskolin was more potent than labda-15-oic acid at inducing vascular relaxation in arteries from both 2K and 2K-1C rats. Labda-15-oic acid-induced increase in NOx levels was lower in arteries from 2K-1C rats when compared to 2K rats. Intravenous administration of labda-15-oic acid (0.3-3 mg/kg) or forskolin (0.1-1 mg/kg) induced hypotension in conscious 2K-1C and 2K rats. Conclusion: The present findings show that labda-15-oic acid induces vascular relaxation and hypotension in hypertensive rats.

Catalogue of type specimens of fishes in Chicago Natural History Museum [by] Marion Grey.

v.32:no.3(1947)

Catalogue of the type material of Phasmatodea (Insecta) deposited in Brazilian museums

The type material of Phasmatodea deposited in Brazilian museums and institutions is listed for the first time. New synonyms are proposed: Phibalosoma paulense Toledo Piza, 1938, Phibalosoma rochai Toledo Piza, 1938, Bacteria tuberculata Toledo Piza, 1938 and Bacteria tuberculata var. argentina Toledo Piza, 1938 are junior synonyms of Cladomorphus phyllinus (Gray, 1835). Nineteen new combinations are established.

Catalogue of type and referred specimens of Echinozoa (Edrioasteroidea) in Field Museum of Natural History / [by] Julia Golden -- and Matthew H. Nitecki --.

v.20:no.3(1970)

Dermatite verrucosa leprotica (Estudo de 3 casos)

The writer has discovered in Curupaity (National Leprosarium, Rio de Janeiro), three cases of verrucous dermatitis in C 3 type lepers. He suspected it to be an association of leprosy with Dermatilis verrucosa blastomycetica (Chromoblastocycosis) but various attempts to cultivate the fungus (Acrotheca or Hormodendrum Pedrosoi) responsible for the disease gave negative results and also the histopathologic aspect of the verrucous tissue proved it to be a leprotic granuloma without mycotic association. The writer's conclusion, based upon the cultural and histopathological studies, is that the verrucous dermatitis observed is due to leprosy alone, considering it as a new syndrome of the disease and not a new clinical form. He has called it « Dermatitis verrucosa leprotica » and made suggestions to all doctors of leprosaria to look for new cases and to study their etiology and pathogeny. Electrocoagulation improved the lesions.

Atividade antibacteriana do Aspergillus niger van Tieghem, 1867; pesquisas em 14 amostras da National Collection of Type Cultures (M. R. C.)

1. Pesquisamos a atividade antibacteriana em 14 amostras de Aspergillus niger da National Collection of Type Cultures. 2. Em meio de Raulin e Mosseray, sete amostras apresentaram atividade total, nunca superior a 1:10, contra Staphylococcus aureus nº 553, sendo que as amostras 1.161 e 2.390 permaneceram ativas por mais de 40 dias. 3. A utilização do meio de Czapek-Dox com 5% de "corn-steep" não melhorou os resultados obtidos com o meio de Raulin e Mosseray. 4. No meio de levedo peptonado, todas as amostras apresentaram-se inativas.

Periodic orbits near a heteroclinic loop formed by one dimensional orbit and a 2-dimensional manifold: application to the charged collinear 3-body problem

The paper is devoted to the study of a type of differential systems which appear usually in the study of some Hamiltonian systems with 2 degrees of freedom. We prove the existence of infinitely many periodic orbits on each negative energy level. All these periodic orbits pass near the total collision. Finally we apply these results to study the existence of periodic orbits in the charged collinear 3–body problem.

Untitled 3 Detail C

Detail of Untitled 3, 2011, pastel on paper.

Untitled 3 Detail B

Detail of Untitled 3, 2011, pastel on paper.

Untitled 3 Detail A

Detail of Untitled 3, 2011, pastel on paper.

Untitled 3

Untitled 3, 2011, pastel on paper, 10.5' x 6'.