FROM IMPOSSIBILITY TO INABILITY: LACAN’S THEORY ON THE FOUR DISCOURSES1 Paul Verhaeghe During the late sixties and the early seventies, the intellectual talk of the town was about structuralism and the structuralists,

Source URL: www.psychoanalysis.ugent.be

• Jacques Lacan
• Post-structuralism
• Structuralism
• Continental philosophy
• Philosophy
• Linguistics
• Four discourses
• Demand
• The Symbolic
• Lack
• The Imaginary
• Discourse

2008 Февраль






"ORIGIN OF THE OLONETS EMBLEM” - Big article of I.Yemelin (Petrozavodsk) about use of famous symbolic motive – arm with a shield – in Russian territorial heraldry

Source URL: vexillographia.ru

Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3

Source URL: www0.cs.ucl.ac.uk

• Computing
• Computer memory
• Memory barrier
• Static single assignment form
• Symbolic execution
• Computer engineering

79 Documenta Math. A Lambda-Graph System for the Dyck Shift and Its K-Groups

Source URL: www.math.uiuc.edu

• Algebra
• Mathematics
• Linear algebra
• Matrix theory
• Combinatorics on words
• Symbolic dynamics
• Markov processes
• Subshift of finite type
• Jordan normal form
• Eigenvalues and eigenvectors
• Shift space
• Vertex operator algebra

Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder

Source URL: www.dcs.bbk.ac.uk

• Logic
• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Logic in computer science
• Type theory
• Logical truth
• Substitution
• Unification
• Admissible rule
• Symbol

In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Software development
• Programming idioms
• Computability theory
• Functional programming
• Theoretical computer science
• Logic programming
• Unfolding
• Recursion
• Free variables and bound variables
• Symbolic computation

Please join us for GLOBAL WATER WALK FOR PEACE October 11, 2015 (Sunday) 7:30 am – 9:00 am Assembly Point: Rajiv Chowk, Gate No.4 CMS VATAVARAN in association with Jal Jan Jodo Andolan is organizing a Symbolic March on

Source URL: vat2015.cmsvatavaran.org

• Nonviolence
• Stockholm Water Prize
• Delhi
• Peace walk
• Rajendra Singh
• India
• Natural environment

Online Testing of Federated and Heterogeneous Distributed Systems Marco Canini, Vojin Jovanovi´c, Daniele Venzano, Dejan Novakovi´c, and Dejan Kosti´c School of Computer and Communication Sciences, EPFL, Switzerland {

Source URL: conferences.sigcomm.org

• Computing
• Internet
• Network architecture
• Border Gateway Protocol
• Computer networking
• Concolic testing
• Router
• Symbolic execution

doi:The idea is to identify security-critical software bugs so they can be fixed first. By Thanassis Avgerinos, Sang Kil Cha, Alexandre Rebert, Edward J. Schwartz, Maverick Woo, and David Brumle

Source URL: users.ece.cmu.edu

• Computer security
• Computing
• Cyberwarfare
• Software bugs
• Computer errors
• Shellcode
• Buffer overflow
• Return-oriented programming
• Heap overflow
• Address space layout randomization
• Symbolic execution
• Exploit

RLFI A REDUCE LATEX Formula Interface VersionRichard Liska, Ladislav Drska Computational Physics Group Faculty of Nuclear Sciences and Physical Engineering

Source URL: reduce-algebra.com

• Mathematics
• Software
• Typography
• Elementary mathematics
• Typesetting
• Syntax
• Mathematical logic
• LaTeX
• TeX
• Expression
• Tilde
• Symbolic computation