Representation

About the book: This edited volume presents a unique challenge to mainstream political theory • Offers fourteen ‘think pieces’ by renowed international scholars • Presents a comprehensive examination of core political ideologies and core political concept

Representation growth and representation zeta functions of groups

We give a short introduction to the subject of representation growth and representation zeta functions of groups, omitting all proofs. Our focus is on results which are relevant to the study of arithmetic groups in semisimple algebraic groups, such as the special linear group of degree n over the ring of integers. In the last two sections we state several results which were recently obtained in joint work with N. Avni, U. Onn and C. Voll.Comment: 14 pages, submitted to Note di Matematica, survey based on a conference tal

Practical Representation

This chapter discusses recent attempts to clarify the notion of practical representation and its theoretical fruitfulness. The ultimate goal is not just to show that intellectualists are on good grounds when they appeal to practical representation in their theories of know-how. Rather, it is to argue that ​ any plausible theory of skill and know-how has to appeal to the notion of practical representation developed here. §1 explains the notion of a mode of presentation and introduces practical modes of presentation. §2 illustrates practical representation by discussing models of motor control in current theories of sensori-motor psychology; §3 puts forward an argument for positing practical representation. §4 goes from practical non-conceptual representations to practical conceptual representations — to practical concepts. §5 concludes

Embedding Multi-Task Address-Event- Representation Computation

Address-Event-Representation, AER, is a communication protocol that is intended to transfer neuronal spikes between bioinspired chips. There are several AER tools to help to develop and test AER based systems, which may consist of a hierarchical structure with several chips that transmit spikes among them in real-time, while performing some processing. Although these tools reach very high bandwidth at the AER communication level, they require the use of a personal computer to allow the higher level processing of the event information. We propose the use of an embedded platform based on a multi-task operating system to allow both, the AER communication and processing without the requirement of either a laptop or a computer. In this paper, we present and study the performance of an embedded multi-task AER tool, connecting and programming it for processing Address-Event information from a spiking generator.Ministerio de Ciencia e Innovación TEC2006-11730-C03-0

Program representation size in an intermediate language with intersection and union types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.National Science Foundation (CCR-9417382, CISE/CCR ESS 9806747); Sun grant (EDUD-7826-990410-US); Faculty Fellowship of the Carroll School of Management, Boston College; U.K. Engineering and Physical Sciences Research Council (GR/L 36963, GR/L 15685