1 resultado para the Opposition Leader
em AMS Tesi di Dottorato - Alm@DL - Università di Bologna
Filtro por publicador
- JISC Information Environment Repository (2)
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (2)
- Academic Archive On-line (Jönköping University; Sweden) (2)
- Academic Research Repository at Institute of Developing Economies (7)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- Adam Mickiewicz University Repository (4)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- Aquatic Commons (8)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (29)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (9)
- Aston University Research Archive (23)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (7)
- Biblioteca Digital da Câmara dos Deputados (7)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- Biblioteca Digital de la Universidad Católica Argentina (8)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (16)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (5)
- Boston University Digital Common (2)
- Brock University, Canada (28)
- Cambridge University Engineering Department Publications Database (1)
- CentAUR: Central Archive University of Reading - UK (17)
- Center for Jewish History Digital Collections (1)
- Central European University - Research Support Scheme (2)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (2)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (2)
- CORA - Cork Open Research Archive - University College Cork - Ireland (6)
- Cornell: DigitalCommons@ILR (1)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (5)
- Dalarna University College Electronic Archive (5)
- Deakin Research Online - Australia (41)
- Digital Archives@Colby (1)
- Digital Commons - Montana Tech (2)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons @ Winthrop University (1)
- Digital Commons at Florida International University (12)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (1)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (1)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (2)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (4)
- Harvard University (2)
- Helda - Digital Repository of University of Helsinki (16)
- Indian Institute of Science - Bangalore - Índia (7)
- Instituto Politécnico de Bragança (2)
- Instituto Politécnico de Santarém (1)
- Instituto Politécnico do Porto, Portugal (5)
- Memoria Académica - FaHCE, UNLP - Argentina (43)
- National Center for Biotechnology Information - NCBI (14)
- Portal de Revistas Científicas Complutenses - Espanha (8)
- Publishing Network for Geoscientific & Environmental Data (1)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (53)
- Queensland University of Technology - ePrints Archive (127)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (2)
- Repositorio Académico de la Universidad Nacional de Costa Rica (1)
- Repositório Científico da Universidade de Évora - Portugal (4)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (3)
- Repositório Científico do Instituto Politécnico de Santarém - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (16)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (5)
- Repositório Institucional da Universidade de Brasília (1)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (1)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (53)
- Repositorio Institucional Universidad de Medellín (1)
- Repositorio Institucional Universidad EAFIT - Medelin - Colombia (1)
- 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 (13)
- The Scholarly Commons | School of Hotel Administration; Cornell University Research (1)
- Universidad de Alicante (4)
- Universidad del Rosario, Colombia (25)
- Universidad Politécnica de Madrid (7)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade Federal do Pará (6)
- Universidade Federal do Rio Grande do Norte (UFRN) (9)
- Universidade Metodista de São Paulo (29)
- Université de Lausanne, Switzerland (2)
- Université de Montréal (5)
- Université de Montréal, Canada (41)
- Université Laval Mémoires et thèses électroniques (1)
- University of Canberra Research Repository - Australia (2)
- University of Michigan (54)
- University of Queensland eSpace - Australia (15)
- University of Southampton, United Kingdom (1)
- WestminsterResearch - UK (9)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
A very recent and exciting new area of research is the application of Concurrency Theory tools to formalize and analyze biological systems and one of the most promising approach comes from the process algebras (process calculi). A process calculus is a formal language that allows to describe concurrent systems and comes with well-established techniques for quantitative and qualitative analysis. Biological systems can be regarded as concurrent systems and therefore modeled by means of process calculi. In this thesis we focus on the process calculi approach to the modeling of biological systems and investigate, mostly from a theoretical point of view, several promising bio-inspired formalisms: Brane Calculi and k-calculus family. We provide several expressiveness results mostly by means of comparisons between calculi. We provide a lower bound to the computational power of the non Turing complete MDB Brane Calculi by showing an encoding of a simple P-System into MDB. We address the issue of local implementation within the k-calculus family: whether n-way rewrites can be simulated by binary interactions only. A solution introducing divergence is provided and we prove a deterministic solution preserving the termination property is not possible. We use the symmetric leader election problem to test synchronization capabilities within the k-calculus family. Several fragments of the original k-calculus are considered and we prove an impossibility result about encoding n-way synchronization into (n-1)-way synchronization. A similar impossibility result is obtained in a pure computer science context. We introduce CCSn, an extension of CCS with multiple input prefixes and show, using the dining philosophers problem, that there is no reasonable encoding of CCS(n+1) into CCSn.