1 resultado para Upper and Lower Bounds
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- ABACUS. Repositorio de Producción Científica - Universidad Europea (1)
- Aberdeen University (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (4)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (4)
- Aquatic Commons (12)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (2)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (2)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (39)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca de Teses e Dissertações da USP (2)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (26)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (6)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (4)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (59)
- Boston University Digital Common (2)
- Brock University, Canada (9)
- Bulgarian Digital Mathematics Library at IMI-BAS (10)
- CaltechTHESIS (5)
- Cambridge University Engineering Department Publications Database (6)
- CentAUR: Central Archive University of Reading - UK (51)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (41)
- Cochin University of Science & Technology (CUSAT), India (2)
- Coffee Science - Universidade Federal de Lavras (1)
- Dalarna University College Electronic Archive (2)
- Deakin Research Online - Australia (42)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (2)
- Digital Commons - Michigan Tech (3)
- Digital Commons at Florida International University (4)
- Digital Repository at Iowa State University (1)
- DigitalCommons@The Texas Medical Center (3)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (4)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (4)
- Harvard University (11)
- Helda - Digital Repository of University of Helsinki (7)
- Hospitais da Universidade de Coimbra (1)
- Indian Institute of Science - Bangalore - Índia (31)
- Instituto Politécnico do Porto, Portugal (2)
- Instituto Superior de Psicologia Aplicada - Lisboa (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Massachusetts Institute of Technology (3)
- Ministerio de Cultura, Spain (1)
- National Center for Biotechnology Information - NCBI (5)
- Nottingham eTheses (2)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (92)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (40)
- Queensland University of Technology - ePrints Archive (41)
- Repositório Científico da Universidade de Évora - Portugal (3)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (3)
- Repositorio de la Universidad de Cuenca (3)
- 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 (1)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (1)
- Repositório Institucional da Universidade Federal de São Paulo - UNIFESP (1)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (132)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- Scientific Open-access Literature Archive and Repository (1)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (5)
- Universidad Politécnica de Madrid (16)
- Universidade Federal do Pará (9)
- Universidade Federal do Rio Grande do Norte (UFRN) (4)
- Universidade Metodista de São Paulo (33)
- Universidade Técnica de Lisboa (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Montréal, Canada (7)
- University of Canberra Research Repository - Australia (1)
- University of Michigan (37)
- University of Queensland eSpace - Australia (20)
- University of Washington (1)
- USA Library of Congress (1)
- WestminsterResearch - UK (1)
Resumo:
This paper uses Shannon's information theory to give a quantitative definition of information flow in systems that transform inputs to outputs. For deterministic systems, the definition is shown to specialise to a simpler form when the information source and the known inputs jointly determine the inputs. For this special case, the definition is related to the classical security condition of non-interference and an equivalence is established between non-interference and independence of random variables. Quantitative information flow for deterministic systems is then presented in relational form. With this presentation, it is shown how relational parametricity can be used to derive upper and lower bounds on information flows through families of functions defined in the second order lambda calculus.