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.

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.

Construcción de un Test de Conocimiento General. Development of a General Knowledge Test

Entre los factores que contribuyen a predecir el rendimiento académico se pueden destacar aquellos que reflejan capacidades cognitivas (inteligencia, por ejemplo), y aquellas diferencias individuales consideradas como no-cognitivas (rasgos de personalidad, por ejemplo). En los últimos años, también se considera al Conocimiento General (CG) como un criterio para el éxito académico (ver Ackerman, 1997), ya que se ha evidenciado que el conocimiento previo ayuda en la adquisición de nuevo conocimiento (Hambrick & Engle, 2001). Uno de los objetivos de la psicología educacional consiste en identificar las principales variables que explican el rendimiento académico, como también proponer modelos teóricos que expliquen las relaciones existentes entre estas variables. El modelo teórico PPIK (Inteligencia-como-Proceso, Personalidad, Intereses e Inteligencia-como-Conocimiento) propuesto por Ackerman (1996) propone que el conocimiento y las destrezas adquiridas en un dominio en particular son el resultado de la dedicación de recursos cognitivos que una persona realiza durante un prolongado período de tiempo. Este modelo propone que los rasgos de personalidad, intereses individuales/vocacionales y aspectos motivacionales están integrados como rasgos complejos que determinan la dirección y la intensidad de la dedicación de recursos cognitivos sobre el aprendizaje que realiza una persona (Ackerman, 2003). En nuestro medio (Córdoba, Argentina), un grupo de investigadores ha desarrollado una serie de recursos técnicos necesarios para la evaluación de algunos de los constructos propuesto por este modelo. Sin embargo, por el momento no contamos con una medida de Conocimiento General. Por lo tanto, en el presente proyecto se propone la construcción de un instrumento para medir Conocimiento General (CG), indispensable para poder contar con una herramienta que permita establecer parámetros sobre el nivel de conocimiento de la población universitaria y para en próximos trabajos poner a prueba los postulados de la teoría PPIK (Ackerman, 1996). Between the factors that contribute to predict the academic achievement, may be featured those who reflect cognitive capacities (i.g. intelligence) and those who reflect individual differences that are considered like non-cognitive (i.g. personality traits). In the last years, also the General Knowledge has been considered like a criterion for the academic successfully (see Ackerman, 1997), since it has been shown that the previous knowledge helps in the acquisition of the new knowledge (Hambrick & Engle, 2001). An interesting theoretical model that has proposed an explanation for the academic achievement, is the PPIK (intelligence like a process, interests and inteligence like knowledge) proposed by Ackerman (1996), who argues that knowledge and the acquired skills in a particular domain are the result of the dedication of cognitive resources that a person perform during a long period of time. This model proposes that personality traits, individuals interests and motivational aspects are integrated as complex traits that determine the direction and the intensity of the dedication of cognitive resources on the learning that a person make (Ackerman, 2003). In our context, (Córdoba, Argentina), a group of researcher has developed a series of necessary technical resoures for the assesment of some of the theoretical constructs proposed by this model. However, by the moment, we do not have an instrument for evaluate the General Knowledge. Therefore, this project aims the construction of an instrument to asess General Knowledge, essential to set parameters on the knowledge level of the university population and for in next works test the PPIK theory postulates.

Ciclos económicos en economías abiertas y menos desarrolladas: el papel de los "shocks" en los términos de intercambio.The business cycle in open and less developed economies: the rol of terms-of-trade shocks.

Nuestra preocupación reside en estudiar empíricamente el mecanismo de transmisión internacional de ciclos económicos a economías pequeñas y menos desarrolladas (LDC), evaluando el impacto de los shocks en los términos de intercambio en países dónde existen imperfecciones en el mercado crediticio que imponen severas restricciones en el financiamiento de la inversión doméstica y al crecimiento económico. Primero, analizamos si la cuenta corriente responde de manera asimétrica a movimientos de largo plazo en los términos de intercambio. La hipótesis es que “en los buenos tiempos” cuando se produce una mejora permanente en términos de intercambio (y con ello el nivel de ingreso) los individuos no elevan su consumo en un monto acorde con la mejora de su ingreso (permanente) sino que ahorran una fracción del aumento en su dotación para hacer frente a una reversión en la mejora en los términos de intercambios (aunque ésta sea transitoria) en el futuro. En consecuencia, la cuenta corriente (diferencia entre ingreso y absorción) responde de manera positiva a un shock permanente en los términos de intercambio, ya que el individuo ahorra de manera cautelosa –debido a que sabe que no le prestarán para suavizar consumo - aún suponiendo que en el futuro tendrá una reversión transitoria de su ingreso. Segundo, estudiamos la relación dinámica entre los términos de intercambio y la tasa de interés en la economía pequeña abierta y con imperfecciones en el mercado crediticio (información asimétrica). La hipótesis es que la economía doméstica tiene que soportar una prima de riesgo que eleva el costo de la inversión y retarda el crecimiento (Gertler y Rogoff; 1990). Esta prima de riesgo depende, además, en forma negativa del nivel del colateral que tenga la economía. El colateral es la dotación de recursos naturales, por ejemplo, que la economía posee a los fines garantizar el cumplimiento de las obligaciones contraídas (en el modelo presentado las actividades dónde se invierten son independientes del colateral). La hipótesis establecida indica que los cambios en los términos de intercambio generan un aumento del colateral de la economía y una reducción del riesgo país: aumentos en los términos de intercambio reducen la prima de riesgo de la economía que opera en mercados de capitales con asimetrías de información, y como consecuencia aumentarían los ingresos de capitales. De esta forma, se estaría encontrando una explicación a la denominada “Paradoja de Lucas”. Finalmente, el proyecto estudia la conexión entre dos variables “clave” en la economía de los países emergentes: la relación entre los términos de intercambio y el tipo de cambio real. Argumentamos que los efectos de las mejoras de los términos de intercambio sobre los flujos de capitales externos tienden a ser sobreestimadas si no se consideran los efectos “secundarios” de éstas sobre el tipo de cambio real de la economía pequeña menos desarrollada. En este proyecto se controlan estadísticamente esta relación. La estrategia empírica elegida resulta en aplicar a un panel (constituido por dieciocho países de Latinoamérica) el método generalizado de momentos (GMM) a dos modelos de regresión estadística a los fines de abordar de manera eficiente el problema de la endogeneidad de la variable dependiente que actúa como regresor rezagado. La estrategia de estimación elegida enfatiza el análisis de la relación dinámica de las variables económicas incluidas en el análisis. The paper analyzes the general problem related to the transmission of economic cycles to Small Open Economies. The analysis focuses on terms-of-trade shocks, which are considered one of the major sources of income volatility in developing economies. Specifically, we tackle the problem related to the impact of terms-of-trade shocks in Less Developed SOEs. ‘Less Developed SOEs’ are understood as those countries who have borrowing constraints. First, we put to a test the hypothesis of asymmetric response of current account to terms-of-trade shocks (the impact of the shock on current account differs depending whether it is positive or negative), which originates from considering binding restrictions in international capital markets (Agénor and Aizenman; 2004). Second, we investigate about the main determinants of External Capital Flows (ECF) directed to Developing Countries. We put to a test the Gertler and Rogoff (1990) hypothesis that a “risky rate” arises in that markets because the economy has not sufficient amount of wealth to “collateralize” the capital she needs to borrow to take advantage of the investment opportunities she has and additionally because the lender does not have the chance of observing what the borrowed does with the funds (that is information asymmetry arises because the lender can check the realized output of investment but he can not observe if he really invest in the project or secretly lend abroad). Finally, Following Prasad, E. S., Rajan and R. Subramanian, A (2007) we measure the relationship between external capital flows and domestic currency overvaluation. We run a panel GMM estimation for a set of 18 Latin American Countries during the period 1973-2008.

Estudio de los factores infección con trypanosoma cruzi y nutrición sobre receptores innatos tipo toll y scavenger, adipocinas y otros mediadores de inflamación asociados a la obesidad en modelos experimentales.

En el modelo experimental in vivo en ratones C57BL/6 wild type tratados con streptozotocina y alimentados con una dieta grasa/fructosa se inducirá obesidad (IR) y DM2, con el propósito de: 1-Investigar la influencia de la infección con Trypanosoma cruzi como un potencial factor sinérgico pro-aterogénico. Se evaluará a distintos tiempos post infección, el tejido adiposo visceral y las repercusiones en aorta y corazón principalmente, por estudios histopatológicos. En plasma, se determinará el perfil de lípidos, lipoproteínas y otros parámetros metabólicos: glucosa e insulina, estos últimos para calcular el índice HOMA-IR, que refleje el grado de insulino- resistencia. Asimismo, se evaluarán ácidos grasos libres y proteínas de fase aguda circulantes como respuesta al proceso inflamatorio. 2- Evaluar la expresión de receptores tipo Toll (TLR 2, 4 y 9) y scavenger clase B (CD36) en el tejido adiposo visceral y aorta principalmente e identificar los tipos celulares que participan en las lesiones vasculares (macrófagos -M-, granulocitos y linfocitos T). 3- Determinar las citocinas inflamatorias: TNF, IL1-, IL12, IL18, IFN e IL6 y la quimiocina atractante de monocitos (CCL2; MCP-1) y adipocinas (leptina, resistina y adiponectina) en plasma y otros mediadores inflamatorios como óxido nítrico, especies reactivas del oxígeno (ROS) y metaloproteasas (MMPs) en tejido adiposo visceral y aorta. Se cuantificarán además las moléculas de adhesión intercelular ICAM-1 y VCAM-1, involucradas en otros modelos de obesidad e insulino-resistencia. En el modelo in vitro 1- Investigar la influencia de la infección con T. cruzi y ácidos grasos saturados y monoinsaturado (C18, oleico) y el efecto de las lipoproteínas de baja densidad (LDL) oxidadas y agregadas frente a LDL nativas (control) en una línea celular de adipositos. Se estudiará la expresión basal y post-estímulo de los receptores innatos tipo Toll y CD 36. 2- Cuantificar las adipocinas pro- inflamatorias (leptina, resistina y MCP-1)y adiponectina (antiinflamatoria) en el sobrenadante de cultivos frente a los estímulos propuestos y la expresión de las moléculas de adhesión ICAM-1 y VCAM-1.

Modelos alternativos de fundamentación e intervención para una bioética pensada desde América Latina: el rol del bioeticista público.

El imperante modelo anglosajón de argumentación moral y comprensión de la bioética, y la reducción de la misma a cuestiones inherentes a las instituciones sanitarias y a la relación agente de salud-paciente, han significado una seria dificultad para abordar el tipo de dilemas que ingresan al campo bioético en América Latina, así como también una fuerte presión “normalizadora”de los modelos de argumentación e intervención. Estas dificultades pueden ubicarse bajo dos grandes categorías: los modos y modelos de argumentación bioética, y el rol de quienes abordan las cuestiones bioéticas. Esto ha conllevado un serio déficit para comprender, en un sentido amplio, los alcances de la labor bioética, sus temas, y los tipos de incidencia permitidos a quienes elaboran la reflexión bioética. Por otra parte, y en un sentido vincular más reducido, esto ha suscitado una serie de imposibilidades de recepción y comprensión de las demandas y exigencias formuladas a los equipos de salud por personas procedentes de sectores excluidos y generalmente hacinados en los márgenes urbanos (entendidos estos equipos de modo amplio, o sea, como todo actor social vinculado directa o indirectamente con la salud humana), así como de las tareas que competen a los/las bioeticistas. Se indagará por ello, en primera instancia, los modelos de fundamentación bioética que han devenido paradigmáticos, sus contextos de formulación, justificación y aplicación, así como también los límites que han mostrado en su utilización en América Latina. Desde las diversas tradiciones filosóficas y bioéticas surgidas en América Latina se ofrecerán modelos alternativos al paradigmático, que sean capaces de incluir las situaciones imperantes en nuestro continente, como lo son, por ejemplo, los autores de la tradición liberacionista latinoamericana, y en sentido estricto, los trabajos vinculados a una bioética social y políticamente incidente. Sin embargo, también se tomará de otras tradiciones intelectuales aquellos elementos que permitan comprender más efectivamente la situación propia, como lo son, en el campo amplio del pensamiento filosófico, los aportes de R. Van Potter para una bioética holistica, los de Ricoeur y Merleau Ponty para la construcción de una bioética social anclados en la materialidad de su naturaleza corporal, las teorías contemporáneas del reconocimiento, y finalmente de las tradiciones religiosas que han influido notablemente en las nociones de dignidad y valor de las personas.

Fuzzy-Clusteranalyse : Methoden zur Exploration von Daten mit fehlenden Werten sowie klassifizierten Daten

Fuzzy-Clusteranalyse, Fuzzy-Datenanlayse

Objective function based fuzzy clustering in air traffic management

Data analysis, fuzzy clustering, fuzzy rules, air traffic management

Partially supervised learning of fuzzy classification rules

Fuzzy classification, semi-supervised learning, data mining

Data-driven system identification via evolutionary retrieval of Takagi-Sugeno fuzzy models

Systemidentification, evolutionary automatic, data-driven model, fuzzy Takagi-Sugeno grammar, genotype interpretability, toxicity-prediction

Knowledge representation with condensed set-valued attributes

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

Application of Fuzzy Variables for Systems of Management Decision Support

The following article describes an approach covering the variety of opinions and uncertainties of estimates within the chosen technique of decision support. Mathematical operations used for assessment of options are traced to operations of working with functions that are used for assessment of possible options of decision-making. Approach proposed could be used within any technique of decision support based on elementary mathematical operations. In this article the above-mentioned approach is described under analytical hierarchy process.

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.