(cont.) to the verifier., We consider an implementation of a weakened notion of zero-knowledge (weak ZK) where the simulator is also allowed to depend on the distinguisher as well, so this type of ZK entails exhibiting an efficient simulator for…

Workers and employees are increasingly exposed in the workplace to chemical compounds and substances that are potentially toxic; for most of these compounds, no information exist regarding effects on human health. As one of the main employment generation sources, Small…

"The discrepancy between [our personal experiences] and our idealizations of knowledge leads us into counterproductive strategies for learning and thinking" (Papert 1993). This discrepancy has driven most research towards understanding how people fail to accomplish a task, while few researchers…

The need for improving software processes approximated the software engineering and artificial intelligence areas. Artificial intelligence techniques have been used as a support to software development processes, particularly through intelligent assistants that offer a knowledge-based support to software process’ activities.…

Performance and manufacturability are two important issues that must be taken into account during MEMS design. Existing MEMS design models or systems follow a process-driven design paradigm, that is, design starts from the specification of process sequence or the customization…

This work presents the main theories and models formulated with the purpose of offering a global overview on the acquisition of knowledge and skills involved in the initial development of expert competence. Setting from this background, we developed an empirical…

Rough Sets Theory has opened new trends for the development of the Incomplete Information Theory. Inside this one, the notion of reduct is a very significant one, but to obtain a reduct in a decision system is an expensive computing…

In the past, numerous approaches have been formulated either for approximating Pareto-optimal alternatives or supporting the decision making process with an interactive multi criteria decision aiding methodology. The article on the other hand presents an integrated system for the resolution…

Descripción completa.

The area of Knowledge Representation and Reasoning has been enriched during the past two decades with the addition of Argument-Based Reasoning Systems. Defeat between arguments is established by a combination of two basic elements: a conflict or defeat relation, and…