1 resultado para generalized second order conditions
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- Academic Archive On-line (Stockholm University; Sweden) (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (3)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (5)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (6)
- Archive of European Integration (2)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (33)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (6)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (97)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (18)
- Brock University, Canada (8)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (20)
- CentAUR: Central Archive University of Reading - UK (83)
- Cochin University of Science & Technology (CUSAT), India (13)
- Coffee Science - Universidade Federal de Lavras (1)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (80)
- Dalarna University College Electronic Archive (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Archives@Colby (1)
- Digital Commons - Michigan Tech (1)
- Digital Commons at Florida International University (1)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Diposit Digital de la UB - Universidade de Barcelona (6)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (10)
- Duke University (4)
- Instituto Nacional de Saúde de Portugal (1)
- Instituto Politécnico de Bragança (2)
- Instituto Politécnico do Porto, Portugal (10)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (4)
- Massachusetts Institute of Technology (2)
- Memorial University Research Repository (1)
- National Center for Biotechnology Information - NCBI (5)
- Nottingham eTheses (4)
- Open Access Repository of Indian Theses (1)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (4)
- QSpace: Queen's University - Canada (2)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (2)
- Repositório Científico da Universidade de Évora - Portugal (4)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (7)
- Repositório da Produção Científica e Intelectual da Unicamp (4)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (13)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (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 da Universidade Tecnológica Federal do Paraná (RIUT) (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (150)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (8)
- Scielo Saúde Pública - SP (49)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (3)
- Universidad de Alicante (2)
- Universidad del Rosario, Colombia (4)
- Universidad Politécnica de Madrid (14)
- Universidade Complutense de Madrid (3)
- Universidade do Minho (4)
- Universidade dos Açores - Portugal (1)
- Universidade Federal de Uberlândia (1)
- Universidade Federal do Pará (5)
- Universidade Federal do Rio Grande do Norte (UFRN) (23)
- Universitat de Girona, Spain (14)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (9)
- Université de Lausanne, Switzerland (20)
- Université de Montréal (2)
- Université de Montréal, Canada (31)
- University of Michigan (8)
- University of Queensland eSpace - Australia (54)
- University of Southampton, United Kingdom (54)
- University of Washington (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.