1 resultado para Kleisli Category
em Massachusetts Institute of Technology
Filtro por publicador
- JISC Information Environment Repository (1)
- Repository Napier (3)
- Aberystwyth University Repository - Reino Unido (6)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- Adam Mickiewicz University Repository (16)
- Aquatic Commons (31)
- Archive of European Integration (1)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (16)
- Aston University Research Archive (16)
- B-Digital - Universidade Fernando Pessoa - Portugal (3)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (2)
- Biblioteca Digital de la Universidad Católica Argentina (6)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (145)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (6)
- Boston University Digital Common (25)
- Brock University, Canada (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CaltechTHESIS (5)
- Cambridge University Engineering Department Publications Database (23)
- CentAUR: Central Archive University of Reading - UK (5)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (22)
- CORA - Cork Open Research Archive - University College Cork - Ireland (9)
- CUNY Academic Works (2)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons at Florida International University (2)
- DRUM (Digital Repository at the University of Maryland) (4)
- Duke University (9)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (8)
- Funes: Repositorio digital de documentos en Educación Matemática - Colombia (1)
- Greenwich Academic Literature Archive - UK (4)
- Helda - Digital Repository of University of Helsinki (63)
- Indian Institute of Science - Bangalore - Índia (32)
- Massachusetts Institute of Technology (1)
- National Center for Biotechnology Information - NCBI (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (1)
- Portal de Revistas Científicas Complutenses - Espanha (6)
- Publishing Network for Geoscientific & Environmental Data (5)
- QSpace: Queen's University - Canada (2)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (118)
- Queensland University of Technology - ePrints Archive (305)
- Repositório Científico da Universidade de Évora - Portugal (2)
- Repositório Institucional da Universidade de Aveiro - Portugal (10)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (3)
- SAPIENTIA - Universidade do Algarve - Portugal (4)
- Universidade de Lisboa - Repositório Aberto (3)
- Université de Lausanne, Switzerland (2)
- Université de Montréal, Canada (1)
- Université Laval Mémoires et thèses électroniques (1)
- University of Michigan (8)
- University of Queensland eSpace - Australia (8)
- University of Washington (1)
- WestminsterResearch - UK (11)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for scientists and engineers. These tools autonomously prepare simulation experiments from high-level specifications of physical models. For computationally intensive experiments, they automatically design special-purpose numerical engines optimized to perform the necessary computations. They actively monitor numerical and physical experiments. They interpret experimental data and formulate numerical results in qualitative terms. They enable their human users to control computational experiments in terms of high-level behavioral descriptions.