Search
Now showing items 71-80 of 225
Diurnal patterns in lightning activity over South America
(2014)
Satellite and ground network observations of lightning flash distribution data are used to examine the diurnal cycle of lightning activity over the tropical and subtropical regions of South America. The results show in ...
Classification of integral modular categories of Frobenius–Perron dimension pq4 and p2q2
(2014)
We classify integral modular categories of dimension pq4 and p2q2, where p and q are distinct primes. We show that such categories are always group-theoretical, except for categories of dimension 4q2. In these cases there ...
A theory for the semantics of stochastic and non-deterministic continuous systems
(2014)
The description of complex systems involving physical or biological components usually requires to model complex continuous behavior induced by variables such as time, distance, speed, temperature, alkalinity of a solution, ...
Smart sampling for lightweight verification of Markov decision processes
(2015)
Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent ...
Lightning in Western Patagonia
(2014)
On the basis of 8 years (2005-2012) of stroke data from the World Wide Lightning Location Network we describe the spatial distribution and temporal variability of lightning activity over Western Patagonia. This region ...
Can we heal Chagas infection?
(2014)
We present a model for the parasite-antibody dynamical competition between Trypanosoma rangeli and its antibodies during the acute phase of an infection in a mammal host. The model reproduces experimental data from murine ...
Mining human interactions to construct a virtual guide for a virtual fair
(Association for Computational Linguistics, 2014)
In this paper we describe how we mine interactions between a human guide and a human visitor to build a virtual guide. A virtual guide is an agent capable of fulfilling the role of a human guide. Its goal is to guide ...
Dynamic characterization of crystalline and glass phases of deuterated 1,1,2,2 tetrachloroethane
(2015)
A thorough characterization of the γ, β, and glass phases of deuterated 1,1,2,2 tetrachloroethane (C2D2Cl4) via nuclear quadrupole resonance and Molecular Dynamic Simulations (MDSs) is reported. The presence of molecular ...
Geometric approach to extend Landau-Pollak uncertainty relations for positive operator-valued measures
(2014)
We provide a twofold extension of Landau-Pollak uncertainty relations for mixed quantum states and for positive operator-valued measures, by recourse to geometric considerations. The generalization is based on metrics ...
Pd/Ti electrocatalysts intechnological significance reactions
(2014)
Nuestro objetivo es presentar sistemas, tecnológicamente importantes, que operen como futuros electrocatalizadores en la detección de contaminantes o en celdas de combustible. Así, nanoelectrodos de Pd/Ti, se aplican ...