1 resultado para Documentary sources
em Massachusetts Institute of Technology
Filtro por publicador
- Aberystwyth University Repository - Reino Unido (4)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (1)
- Applied Math and Science Education Repository - Washington - USA (1)
- Aquatic Commons (26)
- Archive of European Integration (5)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (4)
- Aston University Research Archive (2)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (3)
- Biblioteca Digital da Câmara dos Deputados (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (11)
- Biblioteca Digital de la Universidad Católica Argentina (3)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (11)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (3)
- Boston University Digital Common (3)
- Brock University, Canada (6)
- CaltechTHESIS (2)
- Cambridge University Engineering Department Publications Database (86)
- CentAUR: Central Archive University of Reading - UK (103)
- Central European University - Research Support Scheme (2)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (69)
- Cochin University of Science & Technology (CUSAT), India (9)
- CORA - Cork Open Research Archive - University College Cork - Ireland (3)
- Cornell: DigitalCommons@ILR (1)
- Dalarna University College Electronic Archive (3)
- Deakin Research Online - Australia (19)
- Department of Computer Science E-Repository - King's College London, Strand, London (3)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (2)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (4)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (13)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (29)
- Harvard University (1)
- Helda - Digital Repository of University of Helsinki (12)
- Helvia: Repositorio Institucional de la Universidad de Córdoba (1)
- Indian Institute of Science - Bangalore - Índia (53)
- Instituto Politécnico do Porto, Portugal (1)
- Massachusetts Institute of Technology (1)
- Memoria Académica - FaHCE, UNLP - Argentina (12)
- Memorial University Research Repository (1)
- Ministerio de Cultura, Spain (4)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (10)
- Portal de Revistas Científicas Complutenses - Espanha (3)
- QSpace: Queen's University - Canada (2)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (137)
- Queensland University of Technology - ePrints Archive (116)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (2)
- Repositorio Académico de la Universidad Nacional de Costa Rica (2)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (5)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (34)
- 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 (3)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (2)
- School of Medicine, Washington University, United States (1)
- Universidad de Alicante (3)
- Universidad del Rosario, Colombia (12)
- Universidad Politécnica de Madrid (2)
- Universidade Complutense de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade dos Açores - Portugal (1)
- Universidade Federal de Uberlândia (1)
- Universidade Federal do Pará (5)
- Universidade Federal do Rio Grande do Norte (UFRN) (10)
- Universidade Metodista de São Paulo (1)
- Universidade Técnica de Lisboa (2)
- Universitat de Girona, Spain (5)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (4)
- Université de Lausanne, Switzerland (3)
- Université de Montréal, Canada (38)
- University of Canberra Research Repository - Australia (1)
- University of Southampton, United Kingdom (1)
- University of Washington (2)
- WestminsterResearch - UK (5)
- Worcester Research and Publications - Worcester Research and Publications - UK (8)
Resumo:
A fundamental problem in artificial intelligence is obtaining coherent behavior in rule-based problem solving systems. A good quantitative measure of coherence is time behavior; a system that never, in retrospect, applied a rule needlessly is certainly coherent; a system suffering from combinatorial blowup is certainly behaving incoherently. This report describes a rule-based problem solving system for automatically writing and improving numerical computer programs from specifications. The specifications are in terms of "constraints" among inputs and outputs. The system has solved program synthesis problems involving systems of equations, determining that methods of successive approximation converge, transforming recursion to iteration, and manipulating power series (using differing organizations, control structures, and argument-passing techniques).