Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567753593> ?p ?o ?g. }
- W1567753593 abstract "The distributive law known from arithmetics is one of the best tools for a computer scientist to grapple with the intractable nature of many applications. So, efficient algorithms have been developed for the computation of Fourier and Hadamard transforms, Bayesian networks, database queries, decoding problems and many more. The fact that they all benefit from the same technique suggests that a single generic algorithm must exist which solves all these problems efficiently. This essentially is the promise of local computation. The mathematical requirements for the application of local computation, which are clearly satisfied by the above examples, are pooled in an algebraic framework called valuation algebra. Moreover, this framework is general enough to be seen as an algebraic approach towards a definition of knowledge and information, since it perfectly reflects the adjudicated attributes of these notions. Our first contribution concerns a generalization of the valuation algebra framework that dispenses with the concept of neutral information. This solves the problem that in some formalisms, neutral elements do not have finite representations. Further, we also identify some valuation algebra instances that do not possess neutral information at all. From this generalized framework evolves the generic algorithm in the shape of the traditional local computation architectures. As an interesting side effect, we remark that some computations even become more efficient by the measures taken to renounce neutral information. A particular subclass of valuation algebras that is extensively studied in this thesis comprises formalisms that map configurations to semiring values. Besides the usefulness of this class to discover new valuation algebra instances, it will also be shown that they give rise to optimization problems under certain conditions. This insight motivated the development of a dynamic programming scheme for the identification of solution configurations that itself exploits local computation. Another far more powerful algorithm for the same task excels through innovation. By use of local computation, solution configurations are compiled into a Boolean function which is well suited to answer a large number of queries efficiently, that go far beyond the pure enumeration of solution configurations. In parallel to the theoretical considerations, we propose in this thesis a software framework containing generic implementations of the discussed algorithms. This system called NENOK is designed to be used as a service library for all kind of local computation related applications, but may also serve as an experimental workbench for educational purposes, since it provides a multiplicity of possibilities to inspect the local computation process. Additionally, it also takes an as yet disregarded aspect of information into consideration and realizes all local computation schemes as real distributed algorithms. This in turn raises new theoretical questions on how to ensure efficient communication during the computations, which are addressed theoretically and independently of the actual local computation architecture." @default.
- W1567753593 created "2016-06-24" @default.
- W1567753593 creator A5006356500 @default.
- W1567753593 date "2008-01-01" @default.
- W1567753593 modified "2023-09-26" @default.
- W1567753593 title "A generic framework for local computation" @default.
- W1567753593 cites W111380827 @default.
- W1567753593 cites W121776107 @default.
- W1567753593 cites W1480516974 @default.
- W1567753593 cites W1485846750 @default.
- W1567753593 cites W1493544699 @default.
- W1567753593 cites W1494535156 @default.
- W1567753593 cites W1502629466 @default.
- W1567753593 cites W1508877720 @default.
- W1567753593 cites W1525028888 @default.
- W1567753593 cites W1530765221 @default.
- W1567753593 cites W1537154171 @default.
- W1567753593 cites W1565079331 @default.
- W1567753593 cites W1566211337 @default.
- W1567753593 cites W1578388432 @default.
- W1567753593 cites W1584961952 @default.
- W1567753593 cites W1593793857 @default.
- W1567753593 cites W1602355879 @default.
- W1567753593 cites W1755360231 @default.
- W1567753593 cites W179577048 @default.
- W1567753593 cites W1944812427 @default.
- W1567753593 cites W1968172834 @default.
- W1567753593 cites W1981962216 @default.
- W1567753593 cites W1982333717 @default.
- W1567753593 cites W1986660301 @default.
- W1567753593 cites W1992810975 @default.
- W1567753593 cites W2005085239 @default.
- W1567753593 cites W2019950953 @default.
- W1567753593 cites W2022212237 @default.
- W1567753593 cites W2022621945 @default.
- W1567753593 cites W2026129786 @default.
- W1567753593 cites W2027566319 @default.
- W1567753593 cites W2029139631 @default.
- W1567753593 cites W2030058150 @default.
- W1567753593 cites W2037106315 @default.
- W1567753593 cites W2073609181 @default.
- W1567753593 cites W2081360863 @default.
- W1567753593 cites W2093397547 @default.
- W1567753593 cites W2099294346 @default.
- W1567753593 cites W2114212951 @default.
- W1567753593 cites W2115822498 @default.
- W1567753593 cites W2119394710 @default.
- W1567753593 cites W2127103649 @default.
- W1567753593 cites W2128765501 @default.
- W1567753593 cites W2130048100 @default.
- W1567753593 cites W2147565737 @default.
- W1567753593 cites W2152986618 @default.
- W1567753593 cites W2154126477 @default.
- W1567753593 cites W2155979877 @default.
- W1567753593 cites W2156525231 @default.
- W1567753593 cites W2159080219 @default.
- W1567753593 cites W2169528473 @default.
- W1567753593 cites W2231883621 @default.
- W1567753593 cites W2269035871 @default.
- W1567753593 cites W2315234012 @default.
- W1567753593 cites W2578456536 @default.
- W1567753593 cites W2797148637 @default.
- W1567753593 cites W2915593025 @default.
- W1567753593 cites W3140968660 @default.
- W1567753593 cites W351557550 @default.
- W1567753593 cites W43376171 @default.
- W1567753593 cites W638840288 @default.
- W1567753593 cites W7241855 @default.
- W1567753593 cites W272982077 @default.
- W1567753593 hasPublicationYear "2008" @default.
- W1567753593 type Work @default.
- W1567753593 sameAs 1567753593 @default.
- W1567753593 citedByCount "3" @default.
- W1567753593 countsByYear W15677535932014 @default.
- W1567753593 countsByYear W15677535932015 @default.
- W1567753593 crossrefType "journal-article" @default.
- W1567753593 hasAuthorship W1567753593A5006356500 @default.
- W1567753593 hasConcept C10138342 @default.
- W1567753593 hasConcept C11413529 @default.
- W1567753593 hasConcept C118615104 @default.
- W1567753593 hasConcept C134306372 @default.
- W1567753593 hasConcept C136119220 @default.
- W1567753593 hasConcept C162324750 @default.
- W1567753593 hasConcept C171018156 @default.
- W1567753593 hasConcept C186027771 @default.
- W1567753593 hasConcept C202444582 @default.
- W1567753593 hasConcept C21696900 @default.
- W1567753593 hasConcept C2524010 @default.
- W1567753593 hasConcept C33923547 @default.
- W1567753593 hasConcept C41008148 @default.
- W1567753593 hasConcept C45374587 @default.
- W1567753593 hasConcept C80444323 @default.
- W1567753593 hasConcept C9376300 @default.
- W1567753593 hasConceptScore W1567753593C10138342 @default.
- W1567753593 hasConceptScore W1567753593C11413529 @default.
- W1567753593 hasConceptScore W1567753593C118615104 @default.
- W1567753593 hasConceptScore W1567753593C134306372 @default.
- W1567753593 hasConceptScore W1567753593C136119220 @default.
- W1567753593 hasConceptScore W1567753593C162324750 @default.
- W1567753593 hasConceptScore W1567753593C171018156 @default.