Symbolic

Results: 1438



#Item
271Software engineering / Computer programming / C / Computing / Data types / Assertion / Debugging / Const / Sizeof / Symbolic execution

Triggering Deep Vulnerabilities Using Symbolic Execution Dan Caselden, Alex Bazhanyuk, Mathias Payer,

Add to Reading List

Source URL: hexhive.github.io

Language: English - Date: 2016-06-13 11:08:40
272Mathematical analysis / Mathematics / Analysis / IP / Characteristic function / Uniform boundedness principle / Operator theory / Banach spaces / Compact operator on Hilbert space / Algebraic number field

The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH

Add to Reading List

Source URL: jg.sdf.org

Language: English - Date: 2009-12-14 08:47:04
273Jacques Lacan / Post-structuralism / Structuralism / Philosophy of sexuality / Causality / Lack / Demand / The Symbolic / Determinism / The Real / Free will / Sigmund Freud

This paper should be referred to as: Verhaeghe, PCausality in science and psychoanalysis. In: J. Glynos & Y. Stavrakakis, Lacan & Science. London/New York: Karnac, pp. p. 119

Add to Reading List

Source URL: www.psychoanalysis.ugent.be

Language: English - Date: 2007-10-16 04:18:51
274

Toward a High-performance System for Symbolic and Statistical Modeling Neng-Fa Zhou Department of Computer Science Brooklyn College & Graduate Center The City University of New York

Add to Reading List

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

Language: English - Date: 2003-09-04 06:36:09
    275

    Symbolic Neutrosophic Theory

    Add to Reading List

    Source URL: fs.gallup.unm.edu

    Language: English
      276Theoretical computer science / Association for Computing Machinery / ACM SIGACT / Computer science / International Conference on Functional Programming / Computational geometry / Computational intelligence / Computational learning theory / International Symposium on Symbolic and Algebraic Computation / Algorithmica / Draft:Chittoor V. Ramamoorthy / Vasant Honavar

      ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS

      Add to Reading List

      Source URL: www.cse.iitd.ernet.in

      Language: English - Date: 2016-03-26 00:11:24
      277Jacques Lacan / Post-structuralism / Structuralism / Psychoanalysis / Continental philosophy / Philosophy of sexuality / Psychology / Jouissance / The Four Fundamental Concepts of Psychoanalysis / Sinthome / Lack / The Symbolic

      This paper should be referred to as: Verhaeghe, PMind your Body & Lacan’s Answer to a Classical Deadlock. In: P. Verhaeghe, Beyond Gender. From Subject to Drive. New York: The Other Press, ppINTROD

      Add to Reading List

      Source URL: www.psychoanalysis.ugent.be

      Language: English - Date: 2007-10-18 05:05:23
      278

      MetaSymploit: Day-One Defense against Script-based Attacks with Security-Enhanced ­Symbolic Analysis Ruowen Wang, Peng Ning, Tao Xie, and Quan Chen, North Carolina State University This paper is included in the Proceed

      Add to Reading List

      Source URL: www.usenix.org

      Language: English - Date: 2013-09-28 11:40:36
        279Software / Computing / Emacs / Text editors / Filesystem Hierarchy Standard / Linux / System administration / Alias / Configuration file / Cd / Symbolic link / Home directory

        A new binary alternatives system for Linux/Unix Hans-Georg Eßer LinuxUser, Editor-in-chief September 22, 2003

        Add to Reading List

        Source URL: privat.hgesser.com

        Language: English - Date: 2005-03-31 14:22:35
        280Lie groups / Functions and mappings / Camera matrix / Rotation group SO / Fundamental matrix / Homography / Morphism of algebraic varieties / SYmbolic LinK

        Microsoft PowerPoint - cs532f15_Week3.pptx

        Add to Reading List

        Source URL: www.cs.stevens.edu

        Language: English - Date: 2015-09-15 23:21:31
        UPDATE