[RÉSUMÉ FRANÇAIS] Les Services documentaires adaptés aux personnes handicapées (SDAPH) de l'Université de Montréal ont pour objectif de rendre la documentation matériellement et intellectuellement accessible dans les délais les plus courts. Dans les locaux des SDAPH, plusieurs équipements adaptés sont…

En este artículo se revisan los estudios realizados sobre la influencia
que tienen los procesos erosivos sobre la vegetación. Fundamentalmente
se revisan las tendencias generales en la composición florística
de las comunidades vegetales sometidas a fuertes procesos erosivos,
así como…

Descripción completa.

There exists a large amount of knowledge representation models. But most of them have significant limitations at the epistemic level. They do not have explanatory power. Most of them do not have means to represent some functional needs to work…

(cont.) and (2) a forward approach which achieves optimality at the start and grows the system using an optimization technique. We systematically compare the two staging techniques in the context of telescope arrays and evaluate the hypothesis that the backward…

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,…

by Yaichi Aoshima., Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 1996., Includes bibliographical references (p. 253-264).

by Roberta M. Braum., Thesis (S.M.)--Massachusetts Institute of Technology, Sloan School of Management; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999., Includes bibliographical references (p. 57).

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,…

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.