Search
Now showing items 741-748 of 748
Estudio de semántica categórica para lenguajes Algol-Like
(2013-09)
Este trabajo consiste en la definición y estudio de tres lenguajes de programación. Los dos primeros serán lenguajes funcionales, uno con un sistema de tipos simple y otro con un sistema de tipos que soporta subtipado. El ...
CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
(2014-03-20)
Presentamos una herramienta para analizar propiedades de seguridad en protocolos distribuidos. La herramienta está construida sobre los schedulers llamados fuertemente distribuidos, donde el secreto también es considerado. ...
Very fast dissolving acid carboxymethylcellulose-rifampicin matrix : development and solid-state characterization
(2017)
One of the main obstacles to the successful treatment of tuberculosis is the poor and variable oral bioavailability of rifampicin (RIF), which is mainly due to its low hydrophilicity and dissolution rate. The aim of this ...
Selección de parcelas control para estudios de la dinámica post-incendio : desempeño de rutinas no paramétricas y autorregresivasControl plot selection for studies of post-fire dynamics : performance of non-parametric and autoregressive routines
(2017)
Los regímenes naturales de incendios han sufrido modificaciones; consecuentemente, es indispensable disponer de herramientas robustas para el seguimiento post-fuego de la vegetación. Los satélites de alta resolución temporal ...
Effects of rainfall on Culex mosquito population dynamics
(2017)
The dynamics of a mosquito population depends heavily on climatic variables such as temperature and precipitation. Since climate change models predict that global warming will impact on the frequency and intensity of ...
Lógicas modales con datos infinitos
(2015-03)
En este trabajo de licenciatura, extendemos la lógica dinámica proposicional (PDL, Propositional Dynamic Logic) con variables que toman valores en un dominio infinito. Esta extensión, llamada PDL parametrizada o PPDL es ...
Distinguishability notion based on Wootters statistical distance : application to discrete maps
(2017)
We study the distinguishability notion given by Wootters for states represented by probability density functions. This presents the particularity that it can also be used for defining a statistical distance in chaotic ...
Positivity results for indefinite sublinear elliptic problems via a continuity argument
(2017)
We establish a positivity property for a class of semilinear elliptic problems involving indefinite sublinear nonlinearities. Namely, we show that any nontrivial nonnegative solution is positive for a class of problems the ...