Modelos de gestão pública e as opções de reforma do XIX governo constitucional: análise do discurso

Dissertação de Mestrado em Gestão e Políticas Públicas

Respuesta adaptativa y degradación de compuestos de amonio cuaternarios sintéticos por Pseudomonas putida. Adaptative answer and degradation of quaternary ammonium compounds by Pseudomonas putida.

El objetivo de este trabajo es caracterizar la respuesta de P. putida frente a condiciones ambientales adversas dadas por la presencia del detergente catiónico tetradeciltrimetilamonio (TDTMA). El objetivo final que se persigue es el de utilizar este microorganismo como vehículo en procesos de biorremediación. El proyecto comprende aspectos relacionados con la degradación y con la respuesta adaptativa que le permiten a P. putida tolerar altas concentraciones del biocida. La degradación de TDTMA por P. putida involucra una actividad monooxigenasa, que produce trimetilamina (TMA) y tetradecilalcanal. Parte de la TMA producida es demetilada, por una TMAdehidrogenasa (TMADH), e utilizada por la bacteria como fuente de nitrógeno y parte es acumulada intracelularmente, inhibiendo el crecimiento bacteriano. Considerando la importancia de las oxigenasas y dehidrogenasas en la transformación química de compuestos recalcitrantes, se identificarán los genes responsables de la actividad monooxigenasa y de la TMADH, se caracterizarán las enzimas, lo que permitirá conocer, además, datos evolutivos de las mismas. Teniendo en cuenta que la acumulación intracelular TMA conduce a la degradación parcial del detergente, efecto contrarrestado por la adición de aluminio (Al), se investigarán si otros factores nutricionales participan en el control de la degradación de TDMA por P. putida. Se investigará si el regulador global NtrC, que se activa en respuesta a limitación de nitrógeno, participa en el metabolismo de TDTMA. Se prevé construir mutantes en los genes que codifican para monoxigenasa y TMADH y analizar la respuesta de estas cepas frente al estrés ocasionado por TDTMA y Al. En este proyecto se postula además que los cambios a nivel de fosfolípidos (PL) de membrana son una estrategia de P. putida para sobrevivir en presencia del TDTMA. Para concluir si fosfatidilglicerol es el principal responsable de la adaptación de P. putida frente al estrés ocasionado por TDTMA, se pretenden obtener mutantes afectadas en la biosíntesis de novo de PL, particularmente en cardiolipina sintasa. Paralelamente se estudiará si fosfolipasa D participa en la respuesta, lo que permitirá asignar un rol a esta enzima en procesos de señalización análogos a los que ocurren en organismos eucariotas. En presencia de TDTMA y Al, P. putida responde aumentando el contenido de fosfatidilcolina y posiblemente este PL actúe como un reservorio temporario del ión. Identificar en P. putida los genes que codifican para las enzimas responsables de su biosíntesis, particularmente fosfatidilcolina sintasa y/o fosfolípido N-metiltranferasa, conducirá a conocer el mecanismo por el cual fosfatidilcolina estaría involucrada en la respuesta a Al.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Knowledge representation with condensed set-valued attributes

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015

Two new species of the Drosophila serido sibling set (Diptera, Drosophilidae)

Drosophila antonietae sp. nov. and D. gouveai sp. nov. are members of the D. buzzatii cluster of the D. repleta species group of the genus Drosophila. They can be distinguished from their cryptic species, D. borborema Vilela & Sene, 1977, D. koepferae Fontdevila & Wasserman, 1988, D. serido Vilela & Sene, 1977, and D. seriema Tidon-Sklorz & Sene, 1995 by morphological, genetic and ecological criteria.

On the set of subrings wich are directed unions of Artinian subrings

The paper contributes to the investigation of zero-dimensional rings which can be written as a directed union of Artinian subrings. We give conditions on DU(R) in order to be nonempty.

Social Multi-Criteria Evaluation (SMCE)

The main argument developed here is the proposal of the concept of “Social Multi-Criteria Evaluation” (SMCE) as a possible useful framework for the application of social choice to the difficult policy problems of our Millennium, where, as stated by Funtowicz and Ravetz, “facts are uncertain, values in dispute, stakes high and decisions urgent”. This paper starts from the following main questions: 1. Why “Social” Multi-criteria Evaluation? 2. How such an approach should be developed? The foundations of SMCE are set up by referring to concepts coming from complex system theory and philosophy, such as reflexive complexity, post-normal science and incommensurability. To give some operational guidelines on the application of SMCE basic questions to be answered are: 1. How is it possible to deal with technical incommensurability? 2. How can we deal with the issue of social incommensurability? To answer these questions, by using theoretical considerations and lessons learned from realworld case studies, is the main objective of the present article.

Weak systems of Gandy, Jensen and Devlin

In Part I, we formulate and examine some systems that have arisen in the study of the constructible hierarchy; we find numerous transitive models for them, among which are supertransitive models containing all ordinals that show that Devlin's system BS lies strictly between Gandy's systems PZ and BST'; and we use our models to show that BS fails to handle even the simplest rudimentary functions, and is thus inadequate for the use intended for it in Devlin's treatise. In Part II we propose and study an enhancement of the underlying logic of these systems, build further models to show where the previous hierarchy of systems is preserved by our enhancement; and consider three systems that might serve for Devlin's purposes: one the enhancement of a version of BS, one a formulation of Gandy-Jensen set theory, and the third a subsystem common to those two. In Part III we give new proofs of results of Boffa by constructing three models in which, respectively, TCo, AxPair and AxSing fail; we give some sufficient conditions for a set not to belong to the rudimentary closure of another set, and thus answer a question of McAloon; and we comment on Gandy's numerals and correct and sharpen other of his observations.

Testing of stair climbing point-of-choice prompts in Barcelona at an outdoor set of stairs and scalators on the Montjuïc site

Regular stair climbing has well-documented health dividends, such as increased fitness and strength, weight loss and reduced body fat, improved lipid profiles and reduced risk of osteoporosis. The general absence of barriers to participation makes stair climbing an ideal physical activity (PA) for health promotion. Studies in the US and the UK have consistently shown that interventions to increase the accumulation of lifestyle PA by climbing stairs rather than using the escalators are effective. However, there are no previous in Catalonia. This project tested one message for their ability to prompt travelers on the Montjuïc site to choose the stairs rather than the escalator when climbing up the Monjuïc hill. One standard message, " Take the stairs! 7 minutes of stair climbing a day protects your heart" provided a comparison with previous research done in the UK. Translated into Catalan and Spanish, it was presented on a poster positioned at the point of choice between the stairs and the escalator. The study used a quasi-experimental, interrupted time series design. Travelers, during several and specific hours on two days of the week, were coded for stair or escalator use, gender, age, ethnic status, presence of accompanying children or bags by one observer. Overall, the intervention resulted in a 81% increase in stair climbing. In the follow-up period without messages, stair climbing dropped out to baseline levels. This preliminary study showed a significant effect on stair use. However, caution is needed since results are based on a small sample and, only a low percentage of the sample took the stairs at baseline or the intervention phase . Future research on stair use in Catalonia should focus on using bigger samples, different sites (metro stations, airports, shopping centers, etc) , different messages and techniques to promote stair climbing.

Renormalization and α-limit set for expanding Lorenz maps

We establish a one-to-one correspondence between the renormalizations and proper totally invariant closed sets (i.e., α-limit sets) of expanding Lorenz map, which enable us to distinguish periodic and non-periodic renormalizations. We describe the minimal renormalization by constructing the minimal totally invariant closed set, so that we can define the renormalization operator. Using consecutive renormalizations, we obtain complete topological characteriza- tion of α-limit sets and nonwandering set decomposition. For piecewise linear Lorenz map with slopes ≥ 1, we show that each renormalization is periodic and every proper α-limit set is countable.

Trade of permits for greenhouse gas emissions; bilateral trade need not be the answer

The Kyoto Protocol sets national quotas on CO2 emissions and allows international trade of these quotas. We argue that this trade is characterized by asymmetric, identity-dependent externalities, and show that bilateral trade may not be sufficient for an efficient allocation of emissions. We derive conditions under which bilateral trade does improve the allocation of permits. The conditions are strong. In this sense, we argue that, for emissions permits, market design matters.

A general construction of internal sheaves in algebraic set theory

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothen-dieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.