Policies to avert the threat of dangerous climate change focus on stabilizing atmospheric carbon dioxide concentrations by drastically reducing anthropogenic emissions of carbon. Such reductions require limiting the use of fossil fuels-which supply the bulk of energy to economic activity,…

In this work we present an approach to model an action-oriented system controlled by BDI agents using a defeasible argumentation formalism to represent its knowledge. Here, our main concern will be modelling the software agents that drive the physical robots.

Signature schemes are fundamental cryptographic primitives, useful as a stand-alone application, and as a building block in the design of secure protocols and other cryptographic objects. In this thesis, we study both the uses that signature schemes find in protocols,…

The Internet and Technology Revolution has created a new business environment, one in which traditional business rules are being challenged, and even repudiated. Information Communication Technology (ICT) has made a major impact to many business sectors, ranging from retail, stock…

This study presents a theoretical model for predictions of near-shore hydrodynamic characteristics and the local sediment transport rate along long, straight beaches. The wave may be periodic or random, the beach may be plane or barred, and the bed may…

(cont.) of free methionine. Therefore, the environments surrounding different methionine sites in G-CSF mainly provide spatial restriction to the access to the solvent but do not affect oxidation in a specific manner, consistent with the good correlation between 2SWCN's and…

This article presents a procedure for constructing a taxonomy of COTS products in the field of Requirements Engineering (RE). The taxonomy and the obtained information reach transcendental benefits to the selection of systems and tools that aid to RE-related actors…

This paper presents a neuro-fuzzy network where all its parameters can be tuned simultaneously using Genetic Algorithms. The approach combines the merits of fuzzy logic theory, neural networks and genetic algorithms. The proposed neuro-fuzzy network does not require a priori…

Complex control tasks may be solved by dividing them into a more specific and more easily handled subtasks hierarchy. Several authors have demonstrated that the incremental layered evolution paradigm allows obtaining controllers capable of solving this type of tasks. In…

This work is focussed on the development and analysis of a new class of algorithms, called cellular memetic algorithms (cMAs), which will be evaluated here on the satisfiability problem (SAT). For describing a cMA, we study the effects of adding…