Symbolic

Results: 1438



#Item
511

Symbolic Values, Occupational Choice, and Economic Development Giacomo Corneo and Olivier Jeanne FebruaryWe are grateful to seminar participants at various universities and research institutes for helpful

Add to Reading List

Source URL: www.wiwiss.fu-berlin.de

Language: English - Date: 2012-11-16 08:17:40
    512

    Gender as symbolic glue Edited by: Eszter Kováts Maari Põim

    Add to Reading List

    Source URL: library.fes.de

    Language: English - Date: 2015-05-20 07:52:55
      513

      Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

      Add to Reading List

      Source URL: www.ccs.neu.edu

      Language: English - Date: 2011-06-13 20:26:08
        514

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

        Add to Reading List

        Source URL: reduce-algebra.com

        Language: English - Date: 2008-12-30 11:47:16
          515

          www.china-europa-forum.net Foreword China has achieved extraordinary results since its opening-up policy, lifting hundreds of millions of people out of poverty. In 2011 the country also crossed the symbolic threshold

          Add to Reading List

          Source URL: china-europa-forum.net

          Language: English - Date: 2014-06-11 08:44:21
            516

            Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking Roberto Sebastiani1 , Stefano Tonetta2⋆ , and Moshe Y. Vardi3 1

            Add to Reading List

            Source URL: www.cs.rice.edu

            Language: English - Date: 2010-08-02 18:12:22
              517

              All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution

              Add to Reading List

              Source URL: oakland10.cs.virginia.edu

              Language: English - Date: 2010-05-19 11:16:51
                518

                Smten: Automatic Translation of High-level Symbolic Computations into SMT Queries ? Richard Uhler1 and Nirav Dave2 1 Massachusetts Institute of Technology,

                Add to Reading List

                Source URL: www.cl.cam.ac.uk

                Language: English - Date: 2013-08-12 10:28:06
                  519

                  Symbolic Representation of Game World State: Toward Real-Time Planning in Games Jeff Orkin Monolith Productions, Inc. Kirkland, WAhttp://www.lith.com

                  Add to Reading List

                  Source URL: alumni.media.mit.edu

                  Language: English - Date: 2007-07-25 12:42:49
                    520

                    RICE UNIVERSITY Experimental Evaluation of Explicit and Symbolic Automata-Theoretic Algorithms by Deian Tabakov A THESIS SUBMITTED

                    Add to Reading List

                    Source URL: www.cs.rice.edu

                    Language: English - Date: 2010-10-21 14:11:52
                      UPDATE