1 resultado para Argumentation in philosophy
em Massachusetts Institute of Technology
Filtro por publicador
- Repository Napier (1)
- Aberdeen University (1)
- Aberystwyth University Repository - Reino Unido (4)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (3)
- Adam Mickiewicz University Repository (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (5)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (1)
- Aquatic Commons (3)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (2)
- Aston University Research Archive (5)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (4)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- Biblioteca Digital de la Universidad Católica Argentina (2)
- Biblioteca Digital de la Universidad del Valle - Colombia (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (9)
- Bibloteca do Senado Federal do Brasil (1)
- Biodiversity Heritage Library, United States (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (40)
- Boston University Digital Common (1)
- Brock University, Canada (25)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Cambridge University Engineering Department Publications Database (6)
- CentAUR: Central Archive University of Reading - UK (29)
- Central European University - Research Support Scheme (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (17)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (2)
- Dalarna University College Electronic Archive (2)
- Deakin Research Online - Australia (36)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Archives@Colby (1)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (13)
- Duke University (3)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (1)
- Glasgow Theses Service (2)
- Greenwich Academic Literature Archive - UK (9)
- Harvard University (2)
- Helda - Digital Repository of University of Helsinki (78)
- Indian Institute of Science - Bangalore - Índia (8)
- Instituto Politécnico do Porto, Portugal (4)
- Instituto Superior de Psicologia Aplicada - Lisboa (1)
- Massachusetts Institute of Technology (1)
- Memoria Académica - FaHCE, UNLP - Argentina (6)
- Memorial University Research Repository (1)
- Ministerio de Cultura, Spain (2)
- Nottingham eTheses (1)
- Portal de Revistas Científicas Complutenses - Espanha (14)
- QSpace: Queen's University - Canada (2)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (94)
- Queensland University of Technology - ePrints Archive (164)
- Repositório Institucional da Universidade de Brasília (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (36)
- Research Open Access Repository of the University of East London. (2)
- Royal College of Art Research Repository - Uninet Kingdom (2)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (8)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (8)
- Universidad Politécnica de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (8)
- Universidade Federal do Pará (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (6)
- Universidade Metodista de São Paulo (4)
- Universidade Técnica de Lisboa (1)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (3)
- Université de Montréal, Canada (18)
- Université Laval Mémoires et thèses électroniques (1)
- University of Connecticut - USA (1)
- University of Michigan (182)
- University of Queensland eSpace - Australia (6)
- University of Washington (7)
- WestminsterResearch - UK (9)
- Worcester Research and Publications - Worcester Research and Publications - UK (2)
Resumo:
SIN and SOLDIER are heuristic programs in LISP which solve symbolic integration problems. SIN (Symbolic INtegrator) solves indefinite integration problems at the difficulty approaching those in the larger integral tables. SIN contains several more methods than are used in the previous symbolic integration program SAINT, and solves most of the problems attempted by SAINT in less than one second. SOLDIER (SOLution of Ordinary Differential Equations Routine) solves first order, first degree ordinary differential equations at the level of a good college sophomore and at an average of about five seconds per problem attempted. The differences in philosophy and operation between SAINT and SIN are described, and suggestions for extending the work presented are made.