Synthesis of low-overhead interfaces for power-efficient communication over wide buses
- L. Benini; A. Macii, et al.
In this paper we present algorithms for the synthesis of en-coding and decoding interface logic that minimizes the average number of transitions on heavily-loaded global bus lines. The approach automatically constructs low-transition activity codes and hardware implementation of encoders and decoders, given information on word-level statistics. We present an accurate method that is applicable to low-width buses, as well as approximate methods that scale well with bus width. Furthermore, we introduce an adaptive architecture that automatically adjusts encoding to reduce transition activity on buses whose word-level statistics are not known a-priori. Experimental results demonstrate that our approach well outperforms low-power...
Low-Energy Encoding for Deep-Submicron Address Buses
- Luca Macchiarulo; Enrico Macii; Massimo Poncino
In this paper, we introduce a new encoding scheme that explicitly targets the minimization of the bus energy due to the crosstalk capacitances between adjacent bus lines. The key transformation operated by the code consists of a permutation of the bus lines, implemented directly during physical design � as a desirable consequence, no additional encoding/decoding logic is required at the bus boundaries, thus implying that no latency penalty is introduced on the processor-memory path. An additional feature of the permutation-based code is that the encoding function can be determined without any knowledge of the binary stream being transmitted. Therefore, the...
An Efficient Implementation of the Head-Corner Parser
- Gertjan van Noord
This paper describes an efficient and robust implementation of a bi-directional, head-driven parser for constraint-based grammars. This parser is developed for the OVIS system: a Dutch spoken dialogue system in which information about public transport can be obtained by telephone. After a review of the motivation for head-driven parsing strategies, and head-corner parsing in particular, a non-deterministic version of the head-corner parser is presented. A memoization technique is applied to obtain a fast parser. A goal-weakening technique is introduced which greatly improves average case efficiency, both in terms of speed and space requirements. I argue in favor of such a...
Towards Efficient Higher-order Logic Learning in a First-order Datalog Framework
- Niels Pahlavi; Stephen Muggleton
Within ILP, the concepts to be learned are normally considered as being succinctly representable in first-order logic. In a previous paper the authors demonstrated that increased predictive accuracy can be achieved by employing higher-order logic (HOL) in the background knowledge. In this paper, the flexible higher-order Horn clauses (FHOHC) framework is introduced. It is more expressive than the formalism used previously and can be emulated (with the use of holds statements and flattening) in a fragment of Datalog. The decidability, compatibility with ILP systems like Progol and positive learnability results of Datalog are then used towards efficient higher-order logic learning...
- Vincent van Oostrom
A fundamental result in rewriting is : E j= s t ()1 E ` s = t ()2 s $ E t 1. is Birkhoff's theorem expressing that semantic consequence (j=) coincides with syntactic consequence (`). 2. expresses that equality in equational logic (=) coincides with convertibility in rewriting ($ ), a property known as logicality. We show that the result can be extended to hold for several sub-equational logics by restricting the rst and third components of the fundamental result in suitable ways. In this way, some hitherto unrelated notions from literature can be related. For instance, Zantema's notion...
Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited
- Stephen Muggleton; Dianhuan Lin
In recent years Predicate Invention has been underexplored within Inductive Logic Programming due to difficulties in formulating efficient search mechanisms. However, a recent paper demonstrated that both predicate invention and the learning of recursion can be efficiently implemented for regular and context-free grammars, by way of abduction with respect to a meta-interpreter. New predicate symbols are introduced as constants representing existentially quantified higher-order variables. In this paper we generalise the approach of Meta-Interpretive Learning (MIL) to that of learning higher-order dyadic datalog programs. We show that with an infinite signature the higher-order dyadic datalog class H 2 2 has universal...
An efficient implementation of the head-corner parser
- Gertjan van Noord
This paper describes an efficient and robust implementation of a bidirectional, head-driven parser for constraint-based grammars. This parser is developed for the OVIS system: a Dutch spoken dialogue system in which information about public transport can be obtained by telephone. After a review of the motivation for head-driven parsing strategies, and head-corner parsing in particular, a nondeterministic version of the head-corner parser is presented. A memorization technique is applied to obtain a fast parser. A goal-weakening technique is introduced, which greatly improves average case efficiency, both in terms of speed and space requirements. I argue in favor of such a...
A Cut-Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
- Roy Dyckhoff; Mehrnoosh Sadrzadeh
We develop a cut-free sequent calculus for a Dynamic Epistemic Logic. The calculus is nested and represents a sub-structural action logic which acts on a propositional logic via a dynamic modality and its left adjoint update. Both logics are positive and have agent-indexed adjoint pairs of epistemic modalities. We prove admissibility (where appropriate) of Weakening and Contraction and Cut, as well as soundness and completeness theorems with regard to the algebraic semantics. To model epistemic protocols, we add assumption rules, prove that the admissibility results are preserved, and derive properties of a toy protocol that has honest and dishonest public...
Learning in a changing world via algebraic modal logic
- Prakash Panangaden; Mehrnoosh Sadrzadeh
We develop an algebraic modal logic that combines epistemic modalities with dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that “change the state” of the underlying system and not just the state of knowledge of the agents. The key novel feature that emerges is the need to have a way of “inverting transitions” and distinguishing between transitions that “really happen ” and transitions that are possible. Our approach is algebraic, rather than being based on a Kripke-style semantics. The semantics are...
Semantics, Modularity, and Rewriting Logic
- Peter D. Mosses
A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extension. Unfortunately, the conventional versions of the major semantic frameworks have rather poor modularity. In this paper,
A Study of Categories of Algebras and Coalgebras
- Jesse Hughes
This thesis is intended to help develop the theory of coalgebras by, first, taking classic theorems in the theory of universal algebras and dualizing them and, second, developing an internal logic for categories of coalgebras. We begin with an introduction to the categorical approach to algebras and the dual notion of coalgebras. Following this, we discuss (co)algebras for a (co)monad and develop a theory of regular subcoalgebras which will be used in the internal logic. We also prove that categories of coalgebras are complete, under reasonably weak conditions, and simultaneously prove the well-known dual result for categories of algebras. We...
Organon, oder Schriften zur logik /
- Aristotle.; Zell, Karl,
Mode of access: Internet.
Development of a Human Centric Multidisciplinary Design Optimization Method Using Fuzzy Logic Systems and Controllers [electronic resource].
- Cuneo, Brian J.
systems provide a method to interpret design analysis tools and glean more information to use in the decision making process. Fuzzy logic controllers are often used to emulate human decision models in the control of physical systems. These methods are extended to evaluation of designs to combine data from multiple disciplines to find the optimal system design while considering trade-offs between multiple disciplines. This dissertation will present the development of a novel method of MDO which incorporates fuzzy logic systems and controllers in the MDO optimizer.
A aquisição da ortografia em crianças recém-alfabetizadas : sistematização lógica ou informação social?
- Alves, Evandro; Slomp, Paulo Francisco
A viabilidade da lógica no movimento do direito alternativo
- Brambilla, Angela M.
Sistema de Apoio à Decisão Industrial - SADI - identificação de relações lógico-matemáticas nas atividades de gestão para a definição de sua arquitetura funcional
- Oliveira, Thais Cavalheiro de; Freitas, Henrique Mello Rodrigues de
A interpretação abstrata aplicada na análise de granulosidade de programas em lógica
- Azevedo, Silvana C.
Cartografia geográfica em questão : do chão, do alto, das representações
- Batista, Sinthia Cristina
Ao buscar explorar o mapa em suas múltiplas determinações o movimento de pensamento e trabalho de pesquisa conduziu, temporariamente, a pensá-lo a partir da tríade: linguagem, lógica e mediação. Neste momento traduzida pela relação entre: uma ‘Cartografia Geográfica’ – pensada como linguagem que sistematiza, versa e veicula um conhecimento geográfico; o Método - partindo da relação entre as lógicas formal e dialética que desvela as facetas materiais e simbólicas da condição espacial (da produção do/no espaço) e o Mapeamento Comunitário – no processo de elaboração de uma série de mapas como mediação relevante para a compreensão da lógica espacial e...
Noções básicas de engenharia econômica : aplicações ao setor elétrico
- Camargo, Ivan Marques de Toledo
O objetivo deste livro de Engenharia Econômica é introduzir os conceitos de valor temporal do dinheiro e, baseado nestes conceitos, analisar alternativas de investimentos. Para se incorporar o conceito de valor temporal do dinheiro em uma, ou
várias alternativas de investimento, é fundamental conhecer os princípios
de matemática financeira. Estes princípios são extremamente simples. A grande dificuldade da engenharia econômica está na formulação correta e lógica das diversas alternativas (tecnicamente viáveis) de solução de um determinado problema.
Este livro, então, além de apresentar os conceitos de matemática financeira,
pretende formular um grande número de problemas, preferencialmente relacionados com o setor elétrico, e propor uma...
How Personalized Medicine Became Genetic, and Racial: Werner Kalow and the Formations of Pharmacogenetics
- Jones, David Shumway
Physicians have long puzzled over a well-known phenomenon: different patients respond differently to the same treatment. Although many explanations exist, pharmacogenetics has now captured the medical imagination. While this might seem part of the broader interest in all things genetic, the early history of pharmacogenetics reveals the specific factors that contributed to the emergence of genetics within pharmacology. This paper examines the work of one pioneering pharmacologist, Werner Kalow, to trace the evolving intellectual formations of pharmacogenetics and, in particular, the focus on race. Working in the 1950s and 1960s, Kalow made three arguments to demonstrate the relevance of genetics...