English
Related papers

Related papers: Information Flow in Logical Environments

200 papers

This thesis details a class of partial orders on the space of probability distributions and the space of density operators which capture the idea of information content. Some links to domain theory and computational linguistics are also…

Logic in Computer Science · Computer Science 2017-01-25 John van de Wetering

The studies of the dynamics of topical dataflow of new information in the framework of a logistic model were suggested. The condition of topic balance, when the number of publications on all topics is proportional to the information space…

Information Theory · Computer Science 2008-12-18 D. V. Lande , S. M. Braichevskii

The paper studies dynamic information flow security policies in an automaton-based model. Two semantic interpretations of such policies are developed, both of which generalize the notion of TA-security [van der Meyden ESORICS 2007] for…

Cryptography and Security · Computer Science 2016-01-21 Sebastian Eggert , Ron van der Meyden

A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations between input and output communication histories, and describe…

Software Engineering · Computer Science 2016-11-15 Jan Philipps , Bernhard Rumpe

Several mathematical ideas have been investigated for Quantitative Information Flow. Information theory, probability, guessability are the main ideas in most proposals. They aim to quantify how much information is leaked, how likely is to…

Information Theory · Computer Science 2011-01-19 Pasquale Malacaria

News media has long been an ecosystem of creation, reproduction, and critique, where news outlets report on current events and add commentary to ongoing stories. Understanding the dynamics of news information creation and dispersion is…

Physics and Society · Physics 2022-09-30 Tobin South , Bridget Smart , Matthew Roughan , Lewis Mitchell

This work examines the interconnections between logic, epistemology, and sciences within the Naturalist tradition. It presents a scheme that connects logic, mathematics, physics, chemistry, biology, and cognition, emphasizing…

Other Computer Science · Computer Science 2023-09-26 Gordana Dodig-Crnkovic

Semantic memory is the subsystem of human memory that stores knowledge of concepts or meanings, as opposed to life specific experiences. The organization of concepts within semantic memory can be understood as a semantic network, where the…

This paper introduces a new macroscopic perspective for simulating transportation networks. The idea is to look at the network as connected nodes. Each node sends an information package to its neighbors. Basically, the information package…

Dynamical Systems · Mathematics 2024-07-19 Omar Mansour , Tomer Toledo , Shadi Haj-Yahia , Wafa Elias

Nature can be seen as informational structure with computational dynamics (info-computationalism), where an (info-computational) agent is needed for the potential information of the world to actualize. Starting from the definition of…

Artificial Intelligence · Computer Science 2013-11-05 Gordana Dodig-Crnkovic

Reasoning about knowledge seems to play a fundamental role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design of distributed protocols. Communication in a distributed…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Joseph Y. Halpern , Yoram Moses

A message of any sort can be regarded as a source of information. Claude. E. Shannon showed in the last century that information ("what we don't already know") is equivalent to the entropy as defined in statistical mechanics. A string of…

Fluid Dynamics · Physics 2016-09-05 W. I. Goldburg , R. T. Cerbus

A variety of idealized models of communication systems exist, and all may have something in common. Starting with Shannons communication model and ending with the OSI model, this paper presents progressively more advanced forms of modeling…

Networking and Internet Architecture · Computer Science 2009-12-04 Sabah Al Fedaghi , Alaa Alsaqa , Zahraa Fadel

Humans communicate using systems of interconnected stimuli or concepts -- from language and music to literature and science -- yet it remains unclear how, if at all, the structure of these networks supports the communication of information.…

Physics and Society · Physics 2020-03-27 Christopher W. Lynn , Lia Papadopoulos , Ari E. Kahn , Danielle S. Bassett

Shannon information theory provides various measures of so-called "syntactic information", which reflect the amount of statistical correlation between systems. In contrast, the concept of "semantic information" refers to those correlations…

Statistical Mechanics · Physics 2022-11-22 Artemy Kolchinsky , David H. Wolpert

We propose an information-theoretic framework for analyzing control systems based on the close relationship of controllers to communication channels. A communication channel takes an input state and transforms it into an output state. A…

Data Analysis, Statistics and Probability · Physics 2007-05-23 Hugo Touchette , Seth Lloyd

The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one in which agents operate synchronously with awareness of the…

Cryptography and Security · Computer Science 2014-02-05 Franck Cassez , Ron van der Meyden , Chenyi Zhang

Information of many kinds is flowing in software projects and organizations. Requirements have to flow from the customer to the developers. Testers need to know the requirements as well. Boundary conditions and design decisions have to be…

Software Engineering · Computer Science 2012-02-28 Kai Stapel , Kurt Schneider

The organizational knowledge is one of the most important and valuable assets of organizations. In such environment, organizations with broad, specialized and up-to-date knowledge, adequately using knowledge resources, will be more…

Other Computer Science · Computer Science 2012-06-18 Ali Jarrahi , Mohammad Reza Kangavari

This article relies on information-theoretic measures to examine how events impacted the news for the period 1950-1995. Moreover, we present a method for event characterization in (unstructured) textual sources, offering a taxonomy of…

Computers and Society · Computer Science 2021-09-20 Melvin Wevers , Jan Kostkan , Kristoffer L. Nielbo
‹ Prev 1 4 5 6 7 8 10 Next ›