This work is devoted to the modelling of phase transition. The thermodynamic model for phase transition chosen is a model with two equations of state, each of them modelling one p...
Nowadays, applications of virtual reality (VR) and computer games use human characters models with ever-increasing sophistication. Additional challenges are posed by applications,...
Roberto C. Cavalcante Vieira, Creto Augusto Vidal,...
This paper proposes an improved model for the transient of convex combinations of adaptive filters. A previous model, based on a firstorder Taylor series approximation of the nonl...
Magno T. M. Silva, Vitor H. Nascimento, Jeró...
Abstract: The work presented in this article generalizes the modeling of task scheduling problems with sequence dependent setup time on the basis of task scheduling on single respe...
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...