Buscar recursos académicos

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

There are considerable number of approaches to policy specification both for security management and policy driven network management purposes as reported in [20]. This specification sort security policies into two basic...

The identification and classification of seeds are of major technical and economical importance in the agricultural industry. To automate these activities, like in ocular inspection one should consider seed size, shape, ...

This paper presents a parallel architecture for a radial basis function (RBF) neural network used for pattern recognition. This architecture allows defining sub-networks which can be activated sequentially. It can be use...

(Versión disponible en RI ITBA: preprint en arXiv). Versión final publicada disponible via DOI. "Large-scale neural mass models have been widely used to simulate resting-state brain activity from structural connectiv...

"The global energy crisis necessitates the development of sustainable energy sources, with nuclear fusion representing a significant long-term opportunity for the future. However, the licensing process for facilities lik...

We present partial results of a research project in which we use boolean circuits as a parallel computation model for the expression of queries to relational databases. For that purpose, we use the well-known equivalence...