1 resultado para Order Relations
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- 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 (3)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Archive of European Integration (5)
- Aston University Research Archive (13)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (53)
- Biblioteca Virtual del Sistema Sanitario Público de Andalucía (BV-SSPA), Junta de Andalucía. Consejería de Salud y Bienestar Social, Spain (1)
- Biodiversity Heritage Library, United States (19)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (10)
- Brock University, Canada (2)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CentAUR: Central Archive University of Reading - UK (11)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (3)
- Clark Digital Commons--knowledge; creativity; research; and innovation of Clark University (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (3)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (58)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (2)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (2)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons @ Winthrop University (1)
- Digital Commons at Florida International University (2)
- Digital Peer Publishing (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (5)
- DRUM (Digital Repository at the University of Maryland) (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (5)
- Institute of Public Health in Ireland, Ireland (25)
- Instituto Politécnico do Porto, Portugal (81)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (165)
- Martin Luther Universitat Halle Wittenberg, Germany (4)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (1)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (2)
- Repositório Aberto da Universidade Aberta de Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (61)
- Repositório da Escola Nacional de Administração Pública (ENAP) (2)
- Repositório da Produção Científica e Intelectual da Unicamp (21)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (15)
- Repositório de Administração Pública (REPAP) - Direção-Geral da Qualificação dos Trabalhadores em Funções Públicas (INA), Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Institucional da Universidade de Brasília (1)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (6)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (44)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
- Scielo Saúde Pública - SP (25)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (4)
- Universidad de Alicante (3)
- Universidad del Rosario, Colombia (2)
- Universidad Politécnica de Madrid (1)
- Universidade Complutense de Madrid (1)
- Universidade do Minho (31)
- Universidade dos Açores - Portugal (7)
- Universidade Estadual Paulista "Júlio de Mesquita Filho" (UNESP) (1)
- Universidade Federal do Pará (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (120)
- Université de Montréal, Canada (24)
- University of Michigan (16)
- University of Queensland eSpace - Australia (92)
- University of Washington (3)
- WestminsterResearch - UK (2)
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.