Review: Sea Level Rise: A Slow Tsunami on America’s Shores

Book Revie

Narrare terre di mezzo. Managament arte design

Le terre di mezzo sono territori ibridi e in continua mutazione, che nascono dall’incrocio di temi e campi di ricerca differenti suscitando un interesse sempre più vivo in chi fa ricerca di management. Una di queste terre di mezzo si è formata attorno ad alcune parole divenute centrali nel dibattito di management. Le parole sono: design, creatività e arte, e partecipano alla formazione delle terre di mezzo che il libro vuole narrare

Serological Survey of Antibodies to Mannheimia haemolytica and Pasteurella multocida in Camelids from Argentina

South American camelids are a source of livestock wealth in Andean countries. In Argentina,there is little information about camelid pathogens, and most of the literature data available areseroprevalence works against virus. Besides, little is known about the immunological status againstbacterial agents affecting these animals. In an effort to explore the serological status of Argentineancamelids, we evaluated the presence of serum antibodies against bacterial pathogens involved inpneumonic diseases (Pasteurella multocida and Mannheimia haemolytica) in llamas from differentregions of the country. By ELISA, a high seroprevalence for both pathogens was found in the serumsamples; higher optical density (OD) values were obtained when the sera were incubated with heatkilledP. multocida as coating antigen compared to M. haemolytica. In addition, a large number ofsera analyzed presented high OD values for both microorganisms independently of their originregion. Serum avidity was also evaluated, by means of an assay based on antibody desorption byurea. No correlation was found between the high ODs obtained for P. multocida and the serumavidity. On the other hand, samples reacting with M. haemolytica had lower OD values but higheravidity index. The antigenic recognition pattern for both microorganisms was determined bywestern blot. Unlike P. multocida, the antigenic recognition pattern of M. haemolytica did not differamong serum samples obtained from animals living in different areas. In summary, we found thatcamelids can synthetize antibodies that recognize M. haemolytica with high avidity for differentantigens of the bacterium, suggesting that Argentinean camelids are in contact with M. haemolyticawhich is probably a causative agent of subclinical infections. Conversely, specific antibodies forP. multocida were also found, but these sera presented low avidity that is probably the result of acolonization process by this bacterium, or else, to be a consequence of cross-reactivity phenomenaFil: Díaz, Ailén Magalí. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni; ArgentinaFil: Ledesma, Martin Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni; ArgentinaFil: Calcagno, M. L.. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Departamento de Físico Matemática. Cátedra de Matemáticas; ArgentinaFil: Leoni, Juliana. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni; ArgentinaFil: Manghi, Marcela Alejandra. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni; ArgentinaFil: Canellada, Andrea Mercedes. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni; ArgentinaFil: Castro, Marisa Silvia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Instituto de Estudios de la Inmunidad Humoral Prof. Ricardo A. Margni; Argentin

The Tree Width of Separation Logic with Recursive Definitions

Separation Logic is a widely used formalism for describing dynamically allocated linked data structures, such as lists, trees, etc. The decidability status of various fragments of the logic constitutes a long standing open problem. Current results report on techniques to decide satisfiability and validity of entailments for Separation Logic(s) over lists (possibly with data). In this paper we establish a more general decidability result. We prove that any Separation Logic formula using rather general recursively defined predicates is decidable for satisfiability, and moreover, entailments between such formulae are decidable for validity. These predicates are general enough to define (doubly-) linked lists, trees, and structures more general than trees, such as trees whose leaves are chained in a list. The decidability proofs are by reduction to decidability of Monadic Second Order Logic on graphs with bounded tree width.Comment: 30 pages, 2 figure

Verificación de la determinación del plomo en matriz vino utilizando el método de adición estandar por espectrofotometría de absorsión atómica

El presente trabajo describe la metodología recomendada por el Organismo Internacional del Vino (OIV) para determinar plomo en la matriz vino mediante espectrofotometría de Absorción Atómica por Adición Estándar. La hipótesis planteada “Es posible verificar la puesta a punto una metodología analítica para la determinación de plomo mediante atomización electrotérmica, utilizando la técnica de Adición Estándar, en muestras de vinos tintos", en concordancia con el objetivo principal establecido, el cual se describe a continuación: Verificar la puesta a punto de la técnica de Adición Estándar por Espectrofotometría de Absorción Atómica para la determinación de plomo en vino tinto, son el eje del presente trabajo. Las muestras, provistas por el cliente, se analizaron por duplicado, correspondiendo cada análisis individual a un analista. El motivo principal de esta modalidad de análisis se basa en el aprovechamiento de los recursos utilizados: gases, hornos de grafito, insumos, horas hombre. Se puso a punto el equipo analítico realizando la técnica de Adición Estándar y se realizaron los estudios de los resultados obtenidos para verificar la aptitud del método, mediante el análisis del coeficiente de correlación r, la prueba de hipótesis para la pendiente del método, y el coeficiente de determinación R2. Se analizó también el porcentaje de recuperación del método. De acuerdo al objetivo planteado, se concluye del presente trabajo, que la técnica de Adición Estándar por Espectrofotometría de Absorción Atómica, para el espectrofotómetro modelo A 7000 que se encuentra en el Laboratorio de Instituto Nacional de Tecnología Industrial región Cuyo (INTI Cuyo), es apta para determinar plomo en vino para el alcance estudiado.The present paper describes the methodology recommended by the OIV to determine lead in the wine matrix by Means of Atomic Absorption Spectrophotometry by Standard Addition. The hypothesis raised "It is possible to verify the development of an analytical methodology for the determination of lead by electrothermal atomization, using the Standard Addition technique, in samples of red wines", in accordance with the main objective established, which is described below: Verifying the development of the Technique of Standard Addition by Atomic Absorption Spectrophotometry for the determination of lead in red wine, are the axis of this work. The samples, provided by the client, were analyzed in duplicate, each individual analysis corresponding to an analyst. The main reason for this type of analysis is based on the use of the resources used: argon gas, graphite furnaces, inputs, man hours. The analytical equipment was developed by performing the Standard Addition technique and the studies of the results obtained were carried out to verify the aptitude of the method, through the analysis of the correlation coefficient r, the hypothesis test for the slope of the method, and the coefficient of determination R2. According to the stated objective, it is concluded from this work that the technique of Standard Addition by Atomic Absorption Spectrophotometry, for the spectrophotometer model A 7000 that is in the Laboratory of the National Institute of Industrial Technology Cuyo region (INTI Cuyo), is suitable to determine lead in wine for the scope studied.Fil: Calcagno, Alfonsina M.. Universidad Nacional de Cuyo. Facultad de Ciencias Agrarias

What Developers Want and Need from Program Analysis: An Empirical Study

Program Analysis has been a rich and fruitful field of research for many decades, and countless high quality program analysis tools have been produced by academia. Though there are some well-known examples of tools that have found their way into routine use by practitioners, a common challenge faced by researchers is knowing how to achieve broad and lasting adoption of their tools. In an effort to understand what makes a program analyzer most attractive to developers, we mounted a multi-method investigation at Microsoft. Through interviews and surveys of developers as well as analysis of defect data, we provide insight and answers to four high level research questions that can help researchers design program analyzers meeting the needs of software developers. First, we explore what barriers hinder the adoption of program analyzers, like poorly expressed warning messages. Second, we shed light on what functionality developers want from analyzers, including the types of code issues that developers care about. Next, we answer what non-functional characteristics an analyzer should have to be widely used, how the analyzer should fit into the development process, and how its results should be reported. Finally, we investigate defects in one of Microsoft's flagship software services, to understand what types of code issues are most important to minimize, potentially through program analysis