The bussola study. Final results, conclusions and proposals

OBJECTIVE: To evaluate the use of thrombolytic and acetylsalicylic acid therapies in acute myocardial infarct patients as well as the availability of technical and human resources for the care of these patients in the emergency units of the city of Rio de Janeiro. Additional objectives were the evaluation of the use of primary angioplasty and the level of acceptance of SBC /RJ as an entity responsible for programs of continued medical education. METHODS: Interviews with physicians at 46 emergency units in the city of Rio de Janeiro. RESULTS: Of the 46 emergency units inspected, a policy of encouragement to use thrombolytic therapy was only prescribed in 6.5%. In 1/3 of the public wards no thrombolytic agents were available, and in none of them was access to primary angioplasty regularly available; 45.9% did not offer the minimal conditions required for the handling of cases of acute myocardial infarction; 60% of the physicians on-call (at both public and private emergency units), appeared not to know the importance of the use of acetylsalicylic acid in acute myocardial infarct patients; all physicians interviewed would participate in programs of continued medical education organized by the SBC/RJ. CONCLUSION: The study suggests there was: 1) the low probability of the use of thrombolytic therapy in the majority of the emergency units in of the city of Rio de Janeiro due to the inadequate policy of waiting for the transfer of the patient to coronary or intensive care unit; 2) a low awareness to the importance of early use of acetylsalic acid in acute myocardial infarct; 3) half of the emergency units of the public net do not have the minimal conditions required for the handling of cases of acute myocardial infarction; 4) a high level of credibility exists that would enable the SBC/RJ to set up programs for continued medical education to change the mentality regarding the use of thrombolytic therapy and of acetylsalicylic acid.

Development of a biorefinery–based bioprocess for pigment and lipid production by oleaginous yeasts

Dissertação de mestrado em Bioengenharia

A Infância na latitude zero: as brincadeiras da criança 'global' africana

Tese de Doutoramento em Estudos da Criança (área de especialização em Sociologia da Infância).

Tradução técnica em contexto empresarial: o mundo da metalúrgica na Painel 2000

Relatório de estágio de mestrado em Tradução e Comunicação Multilingue

Contribuição para o melhoramento da gestão operacional de uma linha de fabrico de garrafas de gás

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Dispersión agrícola y cambio social en las Sierras de Córdoba (ca. 1000 a C.- 1600 d C.) Agricultural spread and social change in Córdoba Hills (ca. 1000 b C- 1600 a D.)

El proceso cultural en las Sierras de Córdoba fue habitualmente concebido como marginal con respecto al Noroeste Argentino. Tras el establecimiento del esquema básico de la secuencia prehispánica, a mediados del siglo pasado, se definió una etapa agroalfarera de cronología tardía, que continuaba a una extensa etapa precerámica cuyos límites se aproximaban a la transición Pleistoceno-Holoceno. Se hacía referencia, de este modo, al advenimiento de un modo de vida agrícola y aldeano, que reemplazaba a otro basado en la caza y recolección. Dicha transformación, alternativamente atribuida a la población cazadora local o a una migración de grupos agricultores desde regiones vecinas, se habría consumado hacia 1500 AP, fijando uno de los límites de la dispersión de la agricultura andina. Es necesario destacar la extremada escasez y el carácter indirecto de las evidencias arqueológicas utilizadas para sustentar la ocurrencia de tal proceso. Asimismo, la vigencia de supuestos que han comenzado a mostrar inconsistencias con los resultados de las recientes investigaciones. Entre ellos, principalmente, el que asume que la introducción de la agricultura dio paso a una transformación radical de las sociedades prehispánicas, constituyendo un hito fundamental en su devenir histórico, el comienzo de una nueva etapa. Nuestros últimos estudios en el sector central de las Sierras de Córdoba apuntaron, entre otros objetivos, a reconocer indicadores arqueológicos directos de producción agrícola, así como de la manipulación y consumo de plantas cultivadas. Los primeros resultados nos permiten vislumbrar un escenario complejo que desafía los modelos vigentes. El consumo de maíz, por ejemplo, parece haber antecedido por muchos siglos a la adopción de prácticas agrícolas. El acceso a este cultígeno, sumado a otros elementos, indicaría cambios entre los cazadores-recolectores serranos, promovidos por su integración en redes macrorregionales que los vincularon con sociedades agricultoras de la vertiente oriental andina y quizás del Chaco Santiagueño, por lo menos desde 2500 AP. En definitiva, la agricultura no parece haber sido adoptada rápidamente ni provocado transformaciones profundas e inmediatas en la organización de los grupos prehispánicos. Se ha observado, por el contrario, la incorporación gradual de distintas innovaciones que incluso permiten relacionar la manipulación y más tarde el cultivo de plantas domesticadas, con procesos de intensificación productiva de mayor escala temporal. Uno de nuestros objetivos en este proyecto consiste, básicamente, en profundizar las investigaciones en curso a fin de ampliar el cuerpo de datos con el cual analizar y discutir el problema de la dispersión agrícola en la región. Ello implica el tratamiento de diferentes líneas de evidencia, en particular: 1) la distribución regional de sitios arqueológicos y las modalidades de ocupación de las tierras cultivables; 2) la búsqueda de superficies de cultivo en sitios estratificados; y 3) estudios arqueobotánicos, polínicos y de isótopos estables. Se entiende que no le corresponde a la arqueología asumir apriorísticamente el significado histórico de la introducción de la agricultura, sino establecerlo en cada caso puntual a través de la investigación concreta. Nuestro segundo objetivo consiste, por lo tanto, en delinear los cambios (económicos, tecnológicos, políticos, sociales) que acompañaron al proceso de dispersión agrícola. Ello implica el tratamiento de diferentes problemas, entre otros: 1) las prácticas de apropiación de los recursos silvestres; 2) la continuidad y cambio tecnológico; 3) la movilidad y la articulación microambiental; y 4) los aspectos políticos y sociales ligados a prácticas como la molienda grupal y la producción del arte rupestre. The radical chage of societies from hunter-gatherers to farmers in 1500 BP was considered a milestone whitin the cultural process of pre-hispanic societies in Cordoba Hill. But there is a shortage of archaeological remains to support this change and there are weak hypotheses of absolute transformations. During the last years, our studies carried out on the central area of Cordoba Hill have tried to recognize direct archaeological signs of agriculture production as well as the handling and consumption of crops. The first results show a complex set that challenges the current theoretical models. For example, the corn was probably eatten prior to its adoption for farm practices. Our first main consists in increasing a corpus of data about the spread of agriculture in Cordoba region that we have been researching for the last years. These researches involve different lines of evidence: 1-regional location of archaeological sites and kinds of occupation on cultivable lands; 2-the search for plots at archaeological sites; 3-archaeobotanical, pollen and stable isotopes studies. Our second main consists in outlining changes within the spread of agriculture. It implies to considering different problems: 1-the practices to gatherer wild resources; 2-the continuity and changes of technologies; 3-the mobility and the articulation on the micro-environment; 4-political and social aspects in connection with activities such as groupal grinding and rock art productions.

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.

Zustandsorientierte Instandhaltung und Teleservice für Schüttgut-Materialflusssysteme

Condition based maintenance, teleservice, materials handling equipment

A justiciabilidade do princípio geral da igualdade

O presente trabalho versa sobre a aplicação do princípio da igualdade pelo Poder Judiciário. Busca-se analisar de que maneira o mandamento constitucional de igualdade se concretiza no contexto jurídico-evolutivo enquanto princípio de norma de controle, que é justamente no âmbito em que ele é justificado pelo órgão jurisdicional. Saber até onde o juiz constitucional pode ir, conhecer seus limites de atuação, parcos ou largos, definíveis ou nubilosos, bem como o que vem contido nessa vertente do princípio que o distingue de um enunciado geral da igualdade, faz dessa dissertação um estudo interdisciplinar, mas que não deixa de ser voltado para o entendimento jurídico-normativo dessa função específica do princípio. A conhecida fórmula da proibição do arbítrio recebe uma leitura que não é inovadora, mas que almeja aferir a sua suficiência no exercício daquela função. Ou algo mais vem a ser exigido do princípio? Desde já uma resposta de tal envergadura não pode ser encontrada sem o retrato da jurisprudência respectiva. Por isso que, ao fim, e sem a pretensão de esgotamento, se optou por conhecer alguns dos julgados do Tribunal Constitucional português sobre o tema proposto. A indicação da disfunção ou não do perfil da referida Corte com a posição doutrinária só pode ser resultante da análise conclusiva sobre o tema. Fica o convite à leitura.

Análise comparativa entre tipos de alimentação de Micrurus corallinus (Serpentes, Elapidae) em cativeiro

Micrurus corallinus (Merrem, 1820) kept in laboratory animal rooms swallow voluntarily various colubrid species. The most accepted species belong to the genera Sibynomorphus Fitzinger, 1843, Oxyrhopus Wagler, 1830 and Liophis Wagler, 1830. The voluntary feeding guaranteed resistance against pathogenic agents. The forced feeding was unsatisfactory due to stress resulting from handling, feeding frequency (30 days), susceptibility to pathogenic agents and high occurrence of pathologies.

Dieta de Traupíneos (Passeriformes, Emberizidae) no Parque Estadual do Ibitipoca, Minas Gerais, Brasil

Eleven species of tanagers in Ibitipoca State Park, Minas Gerais, southeastern Brazil, were studied for 12 months and the birds diet was described. Fruits of 52 plant species were the main item consumed for all tanagers, representing 59.70% of all items in 1330 events, although different proportions in the use of this resource have been found among the bird species. The main plant families found were Myrtaceae with eight species accounting for 22.29% (n=177), and Melastomataceae with seven species accounting for 22.29% (n=177) of fruit intake. The most frequent plant species in the diet was Cecropia glaziovi Snethl. (Cecropiaceae), which made up 17.76% (n=141) of fruit intake of all species of tanagers. Arthropod consumption came second with 22.63% (n=301), but flowers, leaves, nectar, food remains left by tourists and galls were also represented. Several environmental features influenced diet composition. An Asteraceae, Vanillosmopsis erythropappa Schultz, very common in the park, was important for some birds as its flowers attracted arthropods and its branches and leaves were used as a substrate for insectivory. Fruit intake rate, some bird-plant interaction and features of food-handling were also discussed, pointing to the importance of these birds for the structure of the heterogeneous local landscape, possibly through the spread of seeds of different plant species.

Shape and size variations of Aegla uruguayana (Anomura, Aeglidae) under laboratory conditions: A geometric morphometric approach to the growth

Crustacean growth studies typically use modal analysis rather than focusing on the growth of individuals. In the present work, we use geometric morphometrics to determine how organism shape and size varies during the life of the freshwater crab, Aegla uruguayana Schmitt, 1942. A total of 66 individuals from diverse life cycle stages were examined daily and each exuvia was recorded. Digital images of the dorsal region of the cephalothorax were obtained for each exuvia and were subsequently used to record landmark configurations. Moult increment and intermoult period were estimated for each crab. Differences in shape between crabs of different sizes (allometry) and sexes (sexual dimorphism; SD) were observed. Allometry was registered among specimens; however, SD was not statistically significant between crabs of a given size. The intermoult period increased as size increased, but the moult frequency was similar between the sexes. Regarding ontogeny, juveniles had short and blunt rostrum, robust forehead region, and narrow cephalothorax. Unlike juveniles crabs, adults presented a well-defined anterior and posterior cephalothorax region. The rostrum was long and stylised and the forehead narrow. Geometric morphometric methods were highly effective for the analysis of aeglid-individual- growth and avoided excessive handling of individuals through exuvia analysis.

Corrigendum to "On randomized matching mechanisms" [Economic Theory 8(1996)377-381]

Ma (1996) studied the random order mechanism, a matching mechanism suggested by Roth and Vande Vate (1990) for marriage markets. By means of an example he showed that the random order mechanism does not always reach all stable matchings. Although Ma's (1996) result is true, we show that the probability distribution he presented - and therefore the proof of his Claim 2 - is not correct. The mistake in the calculations by Ma (1996) is due to the fact that even though the example looks very symmetric, some of the calculations are not as ''symmetric.''

Valuation of defaultable bonds and debt restructuring

In this paper we develop a contingent valuation model for zero-coupon bonds with default. In order to emphasize the role of maturity time and place of the lender’s claim in the hierarchy of debt of a firm, we consider a firm that issues two bonds with different maturities and different seniorage. The model allows us to analyze the implications of both debt renegotiation and capital structure of a firm on the prices of bonds. We obtain that renegotiation brings about a significant change in the bond prices and that the effect is dispersed through different channels: increasing the value of the firm, reallocating payments, and avoiding costly liquidation. Moreover, the presence of two creditors leads to qualitatively different implications for pricing, while emphasizing the importance of bond covenants and renegotiation of the entire debt.

Multi-Scale Integrated Analysis of Societal and Ecosystem Metabolism (MUSIASEM): an outline of rationale and theory

This paper presents an outline of rationale and theory of the MuSIASEM scheme (Multi-Scale Integrated Analysis of Societal and Ecosystem Metabolism). First, three points of the rationale behind our MuSIASEM scheme are discussed: (i) endosomatic and exosomatic metabolism in relation to Georgescu-Roegen’s flow-fund scheme; (2) the bioeconomic analogy of hypercycle and dissipative parts in ecosystems; (3) the dramatic reallocation of human time and land use patterns in various sectors of modern economy. Next, a flow-fund representation of the MUSIASEM scheme on three levels (the whole national level, the paid work sectors level, and the agricultural sector level) is illustrated to look at the structure of the human economy in relation to two primary factors: (i) human time - a fund; and (ii) exosomatic energy - a flow. The three levels representation uses extensive and intensive variables simultaneously. Key conceptual tools of the MuSIASEM scheme - mosaic effects and impredicative loop analysis - are explained using the three level flow-fund representation. Finally, we claim that the MuSIASEM scheme can be seen as a multi-purpose grammar useful to deal with sustainability issues.