1 resultado para English ballads and songs.
em Boston University Digital Common
Filtro por publicador
- ABACUS. Repositorio de Producción Científica - Universidad Europea (1)
- Aberystwyth University Repository - Reino Unido (3)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (4)
- Adam Mickiewicz University Repository (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- Aquatic Commons (10)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (1)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (4)
- Aston University Research Archive (23)
- B-Digital - Universidade Fernando Pessoa - Portugal (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (5)
- Biodiversity Heritage Library, United States (2)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (20)
- Boston University Digital Common (1)
- Brock University, Canada (10)
- Bucknell University Digital Commons - Pensilvania - USA (6)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- Cambridge University Engineering Department Publications Database (6)
- CentAUR: Central Archive University of Reading - UK (33)
- Center for Jewish History Digital Collections (6)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (3)
- Coffee Science - Universidade Federal de Lavras (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (2)
- CORA - Cork Open Research Archive - University College Cork - Ireland (4)
- Dalarna University College Electronic Archive (4)
- Deakin Research Online - Australia (45)
- Digital Archives@Colby (11)
- Digital Commons - Michigan Tech (3)
- Digital Commons at Florida International University (19)
- Digital Peer Publishing (1)
- DigitalCommons - The University of Maine Research (4)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (2)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (3)
- DRUM (Digital Repository at the University of Maryland) (12)
- Duke University (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (1)
- Glasgow Theses Service (3)
- Greenwich Academic Literature Archive - UK (2)
- Harvard University (3)
- Helda - Digital Repository of University of Helsinki (12)
- Indian Institute of Science - Bangalore - Índia (3)
- Instituto Politécnico do Porto, Portugal (6)
- Massachusetts Institute of Technology (4)
- Ministerio de Cultura, Spain (9)
- National Center for Biotechnology Information - NCBI (4)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (30)
- Portal de Revistas Científicas Complutenses - Espanha (6)
- Publishing Network for Geoscientific & Environmental Data (4)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (32)
- Queensland University of Technology - ePrints Archive (48)
- Repositório Aberto da Universidade Aberta de Portugal (1)
- Repositorio Académico de la Universidad Nacional de Costa Rica (2)
- Repositório Científico da Universidade de Évora - Portugal (2)
- Repositorio de la Universidad de Cuenca (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (3)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (4)
- Research Open Access Repository of the University of East London. (1)
- 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 (1)
- School of Medicine, Washington University, United States (1)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad de Alicante (2)
- Universidade de Lisboa - Repositório Aberto (3)
- Universitat de Girona, Spain (1)
- Université de Montréal, Canada (8)
- Université Laval Mémoires et thèses électroniques (1)
- University of Connecticut - USA (4)
- University of Michigan (406)
- University of Queensland eSpace - Australia (3)
- University of Southampton, United Kingdom (1)
- University of Washington (4)
- WestminsterResearch - UK (5)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, broad accessibility has not been a priority in the design of formal verification tools that can provide these benefits. We propose a few design criteria to address these issues: a simple, familiar, and conventional concrete syntax that is independent of any environment, application, or verification strategy, and the possibility of reducing workload and entry costs by employing features selectively. We demonstrate the feasibility of satisfying such criteria by presenting our own formal representation and verification system. Our system’s concrete syntax overlaps with English, LATEX and MediaWiki markup wherever possible, and its verifier relies on heuristic search techniques that make the formal authoring process more manageable and consistent with prevailing practices. We employ techniques and algorithms that ensure a simple, uniform, and flexible definition and design for the system, so that it easy to augment, extend, and improve.