1 resultado para Sander
em Repositório Institucional da Universidade Federal do Rio Grande - FURG
Filtro por publicador
- Aberdeen University (1)
- Aberystwyth University Repository - Reino Unido (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (7)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- Aquatic Commons (2)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Aston University Research Archive (9)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (9)
- 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 (1)
- Bibloteca do Senado Federal do Brasil (44)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (40)
- CaltechTHESIS (1)
- CentAUR: Central Archive University of Reading - UK (12)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (1)
- Collection Of Biostatistics Research Archive (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- CUNY Academic Works (1)
- Deakin Research Online - Australia (13)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons at Florida International University (1)
- Digital Peer Publishing (5)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (7)
- Dokumentenserver der Akademie der Wissenschaften zu Göttingen (1)
- Düsseldorfer Dokumenten- und Publikationsservice (1)
- Helda - Digital Repository of University of Helsinki (3)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Indian Institute of Science - Bangalore - Índia (3)
- Instituto Politécnico do Porto, Portugal (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (8)
- Memoria Académica - FaHCE, UNLP - Argentina (5)
- Ministerio de Cultura, Spain (3)
- National Center for Biotechnology Information - NCBI (4)
- Portal de Revistas Científicas Complutenses - Espanha (3)
- Publishing Network for Geoscientific & Environmental Data (136)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (11)
- Queensland University of Technology - ePrints Archive (13)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (3)
- Repositório digital da Fundação Getúlio Vargas - FGV (2)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (1)
- Repositorio Institucional de la Universidad de Málaga (3)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (414)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (2)
- SerWisS - Server für Wissenschaftliche Schriften der Fachhochschule Hannover (5)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad de Alicante (2)
- Universidad del Rosario, Colombia (5)
- Universidade Federal do Rio Grande do Norte (UFRN) (8)
- Universidade Metodista de São Paulo (1)
- Universitat de Girona, Spain (1)
- Université de Lausanne, Switzerland (6)
- Université de Montréal, Canada (1)
- Université Laval Mémoires et thèses électroniques (1)
- University of Michigan (33)
- University of Queensland eSpace - Australia (4)
Resumo:
This paper introduces the stochastic version of the Geometric Machine Model for the modelling of sequential, alternative, parallel (synchronous) and nondeterministic computations with stochastic numbers stored in a (possibly infinite) shared memory. The programming language L(D! 1), induced by the Coherence Space of Processes D! 1, can be applied to sequential and parallel products in order to provide recursive definitions for such processes, together with a domain-theoretic semantics of the Stochastic Arithmetic. We analyze both the spacial (ordinal) recursion, related to spacial modelling of the stochastic memory, and the temporal (structural) recursion, given by the inclusion relation modelling partial objects in the ordered structure of process construction.