THE HOWE-MOORE PROPERTY FOR REAL AND p-ADIC GROUPS RAF CLUCKERS, YVES CORNULIER, NICOLAS LOUVET, ROMAIN TESSERA, AND ALAIN VALETTE Abstract. We consider in this paper a relative version of the Howe-Moore

Source URL: www.normalesup.org

• Group theory
• Algebra
• Abstract algebra
• Topological groups
• Lie groups
• Geometric group theory
• Kazhdan's property
• Induced representation
• Reductive group
• Ergodic theory
• Commutator subgroup
• Representation theory

A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.

Source URL: www.neven.org

• Cryptography
• Digital signature
• Random oracle
• IP
• Ibi
• Schnorr signature

This paper appears at the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDIDetecting and Defending Against Third-Party Tracking on the Web Franziska Roesner, Tadayoshi Kohno, and David We

Source URL: www.doc.ic.ac.uk

Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:

Source URL: deepse.dei.polimi.it

• Engineering
• Software requirements
• Software quality
• Design for X
• Systems engineering
• Reliability engineering
• Survival analysis
• Economic model
• Requirement
• Systems science
• Design

1. Of the Nature of Flatland. I call our world Flatland, not because we call it so, but to make its nature clearer to you, my happy readers, who are privileged to live in Space. Imagine a vast sheet of paper on which str

Source URL: thelocalyarn.com

• Films
• Literature
• Dimension
• Culture
• Geometry
• Flatland
• Triangle geometry
• Spaceland
• Triangle
• Flatland: The Movie

UCITS – ESMA Developing a Common Understanding on Share Classes On the 23rd of December 2014 the European Securities and Markets Authority ("ESMA") published a discussion paper on share classes of UCITS Funds with a vi

Source URL: mfia.org.mt

• Finance
• Money
• Economy
• Investment
• European Union law
• Undertakings for Collective Investment in Transferable Securities Directive
• Banking
• Asset and liability management
• Open-ended investment company
• Common contractual fund

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Source URL: jorgenavas.github.io

• Software engineering
• Computing
• Software
• Compilers
• Compiler construction
• Compiler optimizations
• Abstract interpretation
• LLVM
• Programming language implementation
• Intermediate representation
• Polyspace
• Static program analysis

Published as a conference paper at ICLRL EARNING TO ACT BY P REDICTING THE F UTURE Alexey Dosovitskiy Intel Labs

Source URL: arxiv.org

• Neuropsychology
• Neuropsychological assessment
• Education
• Cognition
• Belief revision
• Reinforcement learning
• Simulation
• Learning
• Educational technology
• Memory

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

Luca Cardelli and the Early Evolution of ML David MacQueen Abstract Luca Cardelli has made an enormous range of contributions, but the focus of this paper is the beginning of his career and, in particular, his role in th

Source URL: sml-family.org

• Software engineering
• Computing
• Computer programming
• Functional languages
• Procedural programming languages
• Type theory
• Fellows of the Royal Society
• Data types
• ML
• Logic for Computable Functions
• Luca Cardelli
• Robin Milner