A grande quantidade de dados gerada em diversas áreas do conhecimento cria a
necessidade do desenvolvimento de técnicas de mineração de dados cada vez mais …

In recent years, the mobile computing sector has been having quite a revolution. Mobile
computing devices have shed loads of weight, gone slim, achieved mass popularityand a …

System of Systems (SoS) provide means of integrating independent systems aiming at
achieving goals that could not be accomplished if these systems were executed isolated …

Several ab initio computational methods for protein structure prediction have been designed
using full‐atom models and force field potentials to describe interactions among atoms …

In this article, the queuing theory is applied to study the problem of journey arrangements.
Primarily, with the analysis of stochastic processes, we draw the conclusion that the arrival of …

Using heterogeneous systems with accelerators, especially graphics processing units
(GPUs), for high-performance computing is an emerging field. Dynamic variation of the …

We use the language CCS and Hennessy-Milner logic to formally verify the correctness of
CSMA defined as 1. the presence of certain desirable properties in a “reasonably detailed” …

Všeobecný ciel': Vypracovanım diplomovej práce preukázte, ako ste si osvojili metódy a
postupy riešenia relatıvne rozsiahlych projektov, schopnost'samostatne a tvorivo riešit'zlozité …

One of the biggest allenges in global communication is to overcome the problem of
unwanted emails, commonly referred to as spam. In the last years many approa es to …

This thesis is a study of leveraging a notion of delay-tolerant networking for challenged
mobile network environments, where mobile devices face intermittent connectivity. In …