68 research outputs found
A new minimal mathematical model of the endocrine system of normal rats validated against experimental data
As a common laboratory practice, rats are studied as biological models for understanding human physiology. Even though, with the advent of modern computer sciences, new methodologies appeared in medical sciences like simulation and optimization to simplify and improve the experimental work. With this background, a novel simulation model of the endocrine system of Sprague Dawley rats is presented. It is a simplified mathematical model composed of 3 differential equations and 8 parameters that have been determined and validated with experimental measures of plasma glucose and insulin alone by means of calculus and optimization techniques. The results presented here are a step before the development of a type I diabetic model of Sprague Dawley rats.Sociedad Argentina de Informática e Investigación Operativ
Desarrollo e implementación de una red de información meteorológica automática en los partidos de San Nicolás y Ramallo
Debido a la poca homogeneidad de las lluvias de los últimos años, es necesario contar con más puntos de muestreo para obtener conclusiones más acertadas.
El proyecto nace con la necesidad de obtener varios puntos de medición de pluviometría en el partido de San Nicolás y alrededores. Actualmente solo se obtienen datos desde una estación para toda la zona.
El proyecto consta de una estación meteorológica de bajo costo a base de Arduino (plataforma de código abierto). La misma recolecta datos de sus sensores, los almacena en su memoria interna y luego los envía al servidor vía conexión GPRS por internet. Tiene la capacidad de recuperar datos no recibidos por el servidor de cualquier nodo y a petición en cualquier momento.
El prototipo consta de sensores de Presión Atmosférica, Temperatura, Humedad y Pluviometría.Sociedad Argentina de Informática e Investigación Operativa (SADIO
La provincia de Córdoba en un escenario de generación distribuida bajo un sistema de feed in tariff
En primer lugar se contextualiza el concepto de Generación Distribuida desarrollando cuatro aspectos que lo configuran: las Energías Renovables No Convencionales como fuente primaria, la Generación Distribuida y su impacto general, las Energías Renovables No Convencionales en un mercado eléctrico competitivo y los sistemas de comercialización o intercambio de energía en un esquema de Generación Distribuida. Posteriormente se configura un escenario básico evolutivo para la provincia de Córdoba, se determinan valores de Feed In Tariff y se analiza su eventual impacto en las tarifas de usuarios finales. Se efectúa un análisis de sensibilidad de las tarifas de energía y de los costos de instalación sobre la Feed In tariff.First The Distributed Generation concept is contextualized developing four aspects that make it up:
Non-Conventional Renewable Energies as a primary source; Distributed Generation and their overall impact; Non-Conventional Renewable Energies in a competitive electricity market and marketing systems or energy exchange in DG scheme. Later an evolutionary basic scenario for the province of Córdoba is set, values FIT rates are determined and analyzed their possible impact on the tariff of end users. A sensitivity analysis of energy tariffs and installation costs on the Feed in Tariff is made.Tema 7: Uso eficiente y racional de la energía. Políticas y economía energética.Facultad de Arquitectura y Urbanism
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL
One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models
La provincia de Córdoba en un escenario de generación distribuida bajo un sistema de feed in tariff
En primer lugar se contextualiza el concepto de Generación Distribuida desarrollando cuatro aspectos que lo configuran: las Energías Renovables No Convencionales como fuente primaria, la Generación Distribuida y su impacto general, las Energías Renovables No Convencionales en un mercado eléctrico competitivo y los sistemas de comercialización o intercambio de energía en un esquema de Generación Distribuida. Posteriormente se configura un escenario básico evolutivo para la provincia de Córdoba, se determinan valores de Feed In Tariff y se analiza su eventual impacto en las tarifas de usuarios finales. Se efectúa un análisis de sensibilidad de las tarifas de energía y de los costos de instalación sobre la Feed In tariff.First The Distributed Generation concept is contextualized developing four aspects that make it up:
Non-Conventional Renewable Energies as a primary source; Distributed Generation and their overall impact; Non-Conventional Renewable Energies in a competitive electricity market and marketing systems or energy exchange in DG scheme. Later an evolutionary basic scenario for the province of Córdoba is set, values FIT rates are determined and analyzed their possible impact on the tariff of end users. A sensitivity analysis of energy tariffs and installation costs on the Feed in Tariff is made.Tema 7: Uso eficiente y racional de la energía. Políticas y economía energética.Facultad de Arquitectura y Urbanism
Desarrollo e implementación de una red de información meteorológica automática en los partidos de San Nicolás y Ramallo
Debido a la poca homogeneidad de las lluvias de los últimos años, es necesario contar con más puntos de muestreo para obtener conclusiones más acertadas.
El proyecto nace con la necesidad de obtener varios puntos de medición de pluviometría en el partido de San Nicolás y alrededores. Actualmente solo se obtienen datos desde una estación para toda la zona.
El proyecto consta de una estación meteorológica de bajo costo a base de Arduino (plataforma de código abierto). La misma recolecta datos de sus sensores, los almacena en su memoria interna y luego los envía al servidor vía conexión GPRS por internet. Tiene la capacidad de recuperar datos no recibidos por el servidor de cualquier nodo y a petición en cualquier momento.
El prototipo consta de sensores de Presión Atmosférica, Temperatura, Humedad y Pluviometría.Sociedad Argentina de Informática e Investigación Operativa (SADIO
La provincia de Córdoba en un escenario de generación distribuida bajo un sistema de feed in tariff
En primer lugar se contextualiza el concepto de Generación Distribuida desarrollando cuatro aspectos que lo configuran: las Energías Renovables No Convencionales como fuente primaria, la Generación Distribuida y su impacto general, las Energías Renovables No Convencionales en un mercado eléctrico competitivo y los sistemas de comercialización o intercambio de energía en un esquema de Generación Distribuida. Posteriormente se configura un escenario básico evolutivo para la provincia de Córdoba, se determinan valores de Feed In Tariff y se analiza su eventual impacto en las tarifas de usuarios finales. Se efectúa un análisis de sensibilidad de las tarifas de energía y de los costos de instalación sobre la Feed In tariff.First The Distributed Generation concept is contextualized developing four aspects that make it up:
Non-Conventional Renewable Energies as a primary source; Distributed Generation and their overall impact; Non-Conventional Renewable Energies in a competitive electricity market and marketing systems or energy exchange in DG scheme. Later an evolutionary basic scenario for the province of Córdoba is set, values FIT rates are determined and analyzed their possible impact on the tariff of end users. A sensitivity analysis of energy tariffs and installation costs on the Feed in Tariff is made.Tema 7: Uso eficiente y racional de la energía. Políticas y economía energética.Facultad de Arquitectura y Urbanism
On Refinements of Boolean and Parametric Modal Transition Systems
We consider the extensions of modal transition systems (MTS), namely Boolean
MTS and parametric MTS and we investigate the refinement problems over both
classes. Firstly, we reduce the problem of modal refinement over both classes
to a problem solvable by a QBF solver and provide experimental results showing
our technique scales well. Secondly, we extend the algorithm for thorough
refinement of MTS providing better complexity then via reductions to previously
studied problems. Finally, we investigate the relationship between modal and
thorough refinement on the two classes and show how the thorough refinement can
be approximated by the modal refinement
Activation of H+-ATPase of the Plasma Membrane of Saccharomyces cerevisiae by Glucose: The Role of Sphingolipid and Lateral Enzyme Mobility
Activation of the plasma membrane H+-ATPase of the yeast Saccharomyces cerevisiae by glucose is a complex process that has not yet been completely elucidated. This study aimed to shed light on the role of lipids and the lateral mobility of the enzyme complex during its activation by glucose. The significance of H+-ATPase oligomerization for the activation of H+-ATPase by glucose was shown using the strains lcb1-100 and erg6, with the disturbed synthesis of sphyngolipid and ergosterol, respectively. Experiments with GFP-fused H+-ATPase showed a decrease in fluorescence anisotropy during the course of glucose activation, suggesting structural reorganization of the molecular domains. An immunogold assay showed that the incubation with glucose results in the spatial redistribution of ATPase complexes in the plasma membrane. The data suggest that (1) to be activated by glucose, H+-ATPase is supposed to be in an oligomeric state, and (2) glucose activation is accompanied by the spatial movements of H+-ATPase clusters in the PM
- …