1 resultado para Geometric Sums
em Repositório Institucional da Universidade Federal do Rio Grande - FURG
Filtro por publicador
- KUPS-Datenbank - Universität zu Köln - Kölner UniversitätsPublikationsServer (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (5)
- Aquatic Commons (1)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (2)
- 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 (10)
- 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) (8)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (23)
- Boston University Digital Common (3)
- Bulgarian Digital Mathematics Library at IMI-BAS (8)
- CaltechTHESIS (8)
- Cambridge University Engineering Department Publications Database (73)
- CentAUR: Central Archive University of Reading - UK (27)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (18)
- Cochin University of Science & Technology (CUSAT), India (6)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- CUNY Academic Works (2)
- Deakin Research Online - Australia (17)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Archives@Colby (1)
- Digital Commons at Florida International University (3)
- Digital Peer Publishing (1)
- Duke University (3)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (7)
- Greenwich Academic Literature Archive - UK (1)
- Helda - Digital Repository of University of Helsinki (36)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (2)
- Indian Institute of Science - Bangalore - Índia (218)
- Institutional Repository of Leibniz University Hannover (3)
- Instituto Politécnico de Leiria (1)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
- Massachusetts Institute of Technology (7)
- Memorial University Research Repository (1)
- National Center for Biotechnology Information - NCBI (5)
- Publishing Network for Geoscientific & Environmental Data (39)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (32)
- Queensland University of Technology - ePrints Archive (266)
- Repositório digital da Fundação Getúlio Vargas - FGV (2)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (2)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (32)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- Universidad de Alicante (8)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (17)
- Universidade Complutense de Madrid (1)
- Université de Lausanne, Switzerland (1)
- Université de Montréal, Canada (1)
- University of Michigan (34)
- University of Queensland eSpace - Australia (16)
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.