Three Research positions (engineer or postdoc) in the ANR HPAC project: Grenoble, Lyon and Paris, France Title: High-performance Algebraic Computing Keywords: parallel computing, computer algebra, linear algebra, C/C++ p

Source URL: hpac.gforge.inria.fr

• Software
• Application software
• Mathematical software
• Computer algebra
• International Symposium on Symbolic and Algebraic Computation
• SageMath
• Algebra
• Symbolic computation
• Computer algebra system
• Wolfram Mathematica
• Parallel computing

This paper should be referred to as: Verhaeghe, PCausation and Destitution of a Pre-ontological Non-entity: On the Lacanian Subject, in: Key Concepts of Lacanian Psychoanalysis, London, Rebus press, pp

Source URL: www.psychoanalysis.ugent.be

• Jacques Lacan
• Psychoanalysis
• Post-structuralism
• Structuralism
• Continental philosophy
• Psychology
• Philosophy of sexuality
• Freudian psychology
• Lack
• Lacanianism
• The Symbolic
• Sublimation

THE SUBJECT OF THE BODY - UCLA March 1999

Source URL: www.psychoanalysis.ugent.be

• Jacques Lacan
• Post-structuralism
• Structuralism
• Continental philosophy
• Philosophy
• Psychoanalysis
• Philosophy of sexuality
• The Four Fundamental Concepts of Psychoanalysis
• Lack
• The Symbolic
• The Imaginary
• Demand

Modeling Scientic Theories as PRISM Programs Taisuke SATO1 Abstract. PRISM is a new type of symbolic-statistical modeling language which integrates logic programming and learning seamlessly2. It is designed for the symb

Source URL: rjida.meijo-u.ac.jp

A Path Exploration based on Symbolic Output DAWEI QI, HOANG D.T. NGUYEN, ABHIK ROYCHOUDHURY National University of Singapore Efficient program path exploration is important for many software engineering activities such

Source URL: www.comp.nus.edu.sg

OreModules: A symbolic package for the study of multidimensional linear systems F. Chyzak ∗, A. Quadrat †,

Source URL: wwwb.math.rwth-aachen.de

Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz

Source URL: www.srl.inf.ethz.ch

• Computing
• Concurrent computing
• Software
• Parallel computing
• Apache Software Foundation
• Distributed computing architecture
• MapReduce
• Hadoop
• Symbolic execution
• Apache Spark
• KeY
• Symbolic computation

Symbolic Objects in a Networked Gestural Sound Interface Eric Kabisch, * Amanda Williams, Paul Dourish *Arts, Computation and Engineering (ACE) University of California, Irvine Irvine, CA

Source URL: www.dourish.com

• User interface techniques
• Human communication
• Virtual reality
• Academia
• Interpersonal communication
• Software architecture
• Multimodal interaction
• Augmented reality
• Symbolic interactionism
• User interface
• Social relation
• Sound and music computing

JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond

Source URL: www.lri.fr

• Computer algebra
• Computer arithmetic
• Algebra
• Numerical analysis
• Polynomials
• Interval arithmetic
• Automatic differentiation
• Floating point
• Polynomial
• Remainder
• Symbolic computation
• Interval

REDUCE Symbolic Mode Primer H. Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustrasse 7

Source URL: www.reduce-algebra.com