— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
We present an approach to automatic synthesis of specifications given in Linear Time Logic. The approach is based on a translation through universal co-B
The planarization method has proven to be successful in graph drawing. The output, a combinatorial planar embedding of the so-called planarized graph, can be combined with state-o...
Simulation has been widely applied to health care cases in numerous countries. In Colombia, these applications are scarce. We use a systemic approach, discrete event simulation, s...
Karol Perez, Laura Cardona, Sebastian Gomez, Tomas...
Photodynamic therapy is a complex treatment for neoplastic diseases that uses the light-harvesting properties of a photosensitizer. The treatment depends on the amount of photosen...