1 resultado para in situ hydrothermal synthesis
em Massachusetts Institute of Technology
Filtro por publicador
- Abertay Research Collections - Abertay University’s repository (1)
- Aberystwyth University Repository - Reino Unido (5)
- Aquatic Commons (8)
- ARCA - Repositório Institucional da FIOCRUZ (1)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (2)
- Archive of European Integration (2)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (5)
- Aston University Research Archive (5)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (3)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (3)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (3)
- Boston University Digital Common (1)
- Brock University, Canada (1)
- CaltechTHESIS (2)
- Cambridge University Engineering Department Publications Database (81)
- CentAUR: Central Archive University of Reading - UK (48)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (294)
- Cochin University of Science & Technology (CUSAT), India (6)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Deakin Research Online - Australia (16)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (4)
- Digital Commons - Michigan Tech (2)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Duke University (3)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (2)
- FAUBA DIGITAL: Repositorio institucional científico y académico de la Facultad de Agronomia de la Universidad de Buenos Aires (2)
- Greenwich Academic Literature Archive - UK (2)
- Helda - Digital Repository of University of Helsinki (4)
- Indian Institute of Science - Bangalore - Índia (106)
- Infoteca EMBRAPA (1)
- Instituto Politécnico do Porto, Portugal (3)
- Massachusetts Institute of Technology (1)
- Ministerio de Cultura, Spain (17)
- National Center for Biotechnology Information - NCBI (2)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (34)
- Publishing Network for Geoscientific & Environmental Data (7)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (184)
- Queensland University of Technology - ePrints Archive (51)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- REPOSITORIO DIGITAL IMARPE - INSTITUTO DEL MAR DEL PERÚ, Peru (3)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (1)
- Repositorio Institucional de la Universidad Nacional Agraria (12)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (25)
- Research Open Access Repository of the University of East London. (1)
- SAPIENTIA - Universidade do Algarve - Portugal (3)
- School of Medicine, Washington University, United States (1)
- Universidad Autónoma de Nuevo León, Mexico (6)
- Universidad del Rosario, Colombia (2)
- Universidad Politécnica de Madrid (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (2)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (3)
- Université de Montréal, Canada (2)
- University of Queensland eSpace - Australia (3)
- University of Washington (1)
- WestminsterResearch - UK (3)
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).