1 resultado para 080614 Pacific Peoples Information and Knowledge Systems
em Massachusetts Institute of Technology
Filtro por publicador
- JISC Information Environment Repository (2)
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (5)
- Academic Archive On-line (Jönköping University; Sweden) (1)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- Aquatic Commons (13)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (17)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (6)
- Aston University Research Archive (22)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (2)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (12)
- Brock University, Canada (12)
- Bulgarian Digital Mathematics Library at IMI-BAS (7)
- CaltechTHESIS (4)
- Cambridge University Engineering Department Publications Database (35)
- CentAUR: Central Archive University of Reading - UK (76)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (9)
- Cochin University of Science & Technology (CUSAT), India (8)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (67)
- CORA - Cork Open Research Archive - University College Cork - Ireland (5)
- Dalarna University College Electronic Archive (2)
- Deakin Research Online - Australia (144)
- Department of Computer Science E-Repository - King's College London, Strand, London (2)
- Digital Commons at Florida International University (2)
- Digital Peer Publishing (3)
- DigitalCommons - The University of Maine Research (1)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (2)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (3)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (4)
- FUNDAJ - Fundação Joaquim Nabuco (2)
- Greenwich Academic Literature Archive - UK (8)
- Helda - Digital Repository of University of Helsinki (10)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Indian Institute of Science - Bangalore - Índia (38)
- Instituto Politécnico do Porto, Portugal (4)
- Massachusetts Institute of Technology (1)
- Ministerio de Cultura, Spain (18)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (3)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (2)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (81)
- Queensland University of Technology - ePrints Archive (182)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (3)
- Repositorio Académico de la Universidad Nacional de Costa Rica (2)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (6)
- Repositório do ISCTE - Instituto Universitário de Lisboa (2)
- Repositório Institucional da Universidade de Aveiro - Portugal (4)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (45)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (2)
- SAPIENTIA - Universidade do Algarve - Portugal (5)
- Universidad de Alicante (3)
- Universidad del Rosario, Colombia (3)
- Universidad Politécnica de Madrid (8)
- Universidade Complutense de Madrid (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (2)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (6)
- Université de Montréal, Canada (1)
- University of Canberra Research Repository - Australia (1)
- University of Michigan (12)
- University of Queensland eSpace - Australia (9)
- University of Southampton, United Kingdom (4)
- University of Washington (2)
- WestminsterResearch - UK (5)
- Worcester Research and Publications - Worcester Research and Publications - UK (2)
Resumo:
This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used in the choice of canonical expressions. It is shown that with an appropriate better-name relation an important engineering reasoning technique, propagation of constraints, can be implemented as a special case of this substitution process. Special purpose algebraic simplification procedures are embedded such that they interact effectively with the equality system. An electrical circuit analysis system is developed which relies upon constraint propagation and algebraic simplification as primary reasoning techniques. The reasoning is guided by a better-name relation in which referentially transparent terms are preferred to referentially opaque ones. Multiple description of subcircuits are shown to interact strongly with the reasoning mechanism.