MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata

Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and difficult to handle, making abstraction and abstraction refinement necessary. In this paper we present an abstraction and abstraction refinement technique for Markov automata, based on the game-based and menu-based abstraction of probabilistic automata. First experiments show that a significant reduction in size is possible using abstraction.Comment: In Proceedings QAPL 2014, arXiv:1406.156

Clarice: sus obsesiones y su vida de novela. Entrevista a Bárbara Belloc

Interview with Bárbara Belloc on Clarice Lispector.Entrevista a Bárbara Belloc sobre Clarice Lispector

Reducción de orden parcial en model checking probabilista simbólico

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.El problema fundamental de los model checkers es la explosión exponencial del espacio de estados que se produce al agregar nuevas componentes o variables. El problema se exacerba en los model checkers probabilistas dado que no sólo requiere una búsqueda exhaustiva del espacio de estado, sino cálculos numéricos cuya cantidad de variables y (des)igualdades depende directamente de la cantidad de estados y transiciones. En este trabajo presentamos la implementación de la técnica de orden parcial en un model checker probabilista simbólico. La noción de orden parcial elegida para implementar en este trabajo es la más moderna. Ésta permite una mayor reducción ya que no tiene en cuenta ejecuciones probabilistas irreales consideradas en técnicas anteriores. La implementación se realizó sobre PRISM, que es un model checker probabilista moderno y potente, cuya distribución es de carácter libre.Luis María Ferrer Fioriti

Databook of lakes and reservoirs of Argentina

Es un gusto prologar esta obra producto de importante esfuerzo de un conjunto de jóvenes profesionales argentinos. Siendo los lagos, en general, cuerpos de agua que ejercen un gran atractivo espiritual a los seres humanos, no me cabe la menor duda que se dispone en el país de mayor información que la que se presenta ordenadamente en esta primera parte. Dada la calidad de los ingenieros, hidrólogos, limnólogos y biólogos con que cuenta la Argentina, los datos que se consignan tienen coherencia científica. Es causa de satisfacción desde el punto de vista nacional, el interés en describir numéricamente estos cuerpos de agua. Profesionales como los que se ocupan y ocuparán, tienen bien claro que los lagos son parte importante de la rama superficial y subterránea del ciclo hidrológico y con un libro de calidad como el que nos ocupa, es probable que puedan inducir a los poderes públicos sobre la importancia de agrupar adecuadamente las cuencas y/o regiones hídricas, siendo que ya muchos lo están y que además es imprescindible el mantenimiento y la continuidad de las observaciones para poder decidir no sólo el manejo diario y mensual, sino las modificaciones que propongan a la infraestructura en esos paisajes. (del prólogo de Mario C. Fuschini Mejía)Ministerio de Economía y Obras y Servicios Público

Databook of lakes and reservoirs of Argentina

Es un gusto prologar esta obra producto de importante esfuerzo de un conjunto de jóvenes profesionales argentinos. Siendo los lagos, en general, cuerpos de agua que ejercen un gran atractivo espiritual a los seres humanos, no me cabe la menor duda que se dispone en el país de mayor información que la que se presenta ordenadamente en esta primera parte. Dada la calidad de los ingenieros, hidrólogos, limnólogos y biólogos con que cuenta la Argentina, los datos que se consignan tienen coherencia científica. Es causa de satisfacción desde el punto de vista nacional, el interés en describir numéricamente estos cuerpos de agua. Profesionales como los que se ocupan y ocuparán, tienen bien claro que los lagos son parte importante de la rama superficial y subterránea del ciclo hidrológico y con un libro de calidad como el que nos ocupa, es probable que puedan inducir a los poderes públicos sobre la importancia de agrupar adecuadamente las cuencas y/o regiones hídricas, siendo que ya muchos lo están y que además es imprescindible el mantenimiento y la continuidad de las observaciones para poder decidir no sólo el manejo diario y mensual, sino las modificaciones que propongan a la infraestructura en esos paisajes. (del prólogo de Mario C. Fuschini Mejía)Ministerio de Economía y Obras y Servicios Público

Databook of lakes and reservoirs of Argentina

Es un gusto prologar esta obra producto de importante esfuerzo de un conjunto de jóvenes profesionales argentinos. Siendo los lagos, en general, cuerpos de agua que ejercen un gran atractivo espiritual a los seres humanos, no me cabe la menor duda que se dispone en el país de mayor información que la que se presenta ordenadamente en esta primera parte. Dada la calidad de los ingenieros, hidrólogos, limnólogos y biólogos con que cuenta la Argentina, los datos que se consignan tienen coherencia científica. Es causa de satisfacción desde el punto de vista nacional, el interés en describir numéricamente estos cuerpos de agua. Profesionales como los que se ocupan y ocuparán, tienen bien claro que los lagos son parte importante de la rama superficial y subterránea del ciclo hidrológico y con un libro de calidad como el que nos ocupa, es probable que puedan inducir a los poderes públicos sobre la importancia de agrupar adecuadamente las cuencas y/o regiones hídricas, siendo que ya muchos lo están y que además es imprescindible el mantenimiento y la continuidad de las observaciones para poder decidir no sólo el manejo diario y mensual, sino las modificaciones que propongan a la infraestructura en esos paisajes. (del prólogo de Mario C. Fuschini Mejía)Ministerio de Economía y Obras y Servicios Público

Selenomethionine Incorporation into Amyloid Sequences Regulates Fibrillogenesis and Toxicity

The capacity of a polypeptide chain to engage in an amyloid formation process and cause a conformational disease is contained in its sequence. Some of the sequences undergoing fibrillation contain critical methionine (Met) residues which in vivo can be synthetically substituted by selenomethionine (SeM) and alter their properties

Clarice: her obsessions and her novel life. Interview with Bárbara Belloc

Interview with Bárbara Belloc on Clarice Lispector

Relaciones entre el funcionamiento inhibitorio, estilo rumiativo y síntomas depresivos en adultos

La inhibición parece ser uno de los procesos ejecutivos más intensamente estudiados. Los enfoques más recientes, adhieren a una visión multidimensional de la inhibición fragmentando el constructo en diferentes mecanismos: inhibición perceptual, inhibición cognitiva e inhibición comportamental. La revisión de la literatura, muestra la escasez de estudios que haya analizado la participación de la inhibición en la depresión, la sintomatología depresiva y el estilo rumiativo utilizado el enfoque tripartito. Por este motivo el presente trabajo se propone estudiar la relación entre la inhibición, la sintomatología depresiva y el estilo rumiativo considerando un enfoque multidimensional de la inhibición. Para ello, se conformará una muestra de 50 adultos, de entre 18 y 50 años de edad, de la ciudad de Mar del plata. se espera que los resultados obtenidos permitan incrementar el cuerpo de conocimientos existente