Synthesis

Results: 8163



#Item
401

First Steps toward Formal Controller Synthesis for Bipedal Robots Aaron D. Ames Paulo Tabuada

Add to Reading List

Source URL: web.eecs.umich.edu

- Date: 2016-04-25 13:15:14
    402

    Newsletter Februaryhas been a successful and productive year for the GLM|LIC programme. Hereinafter are some of the synthesis papers commissioned by GLM-LIC. Haroon Bhorat (DPRU, University of Cape Town, IZA),

    Add to Reading List

    Source URL: glm-lic.iza.org

      403

      Datasheet DFTMAX LogicBIST Synthesis-Based In-System Self-Test Overview

      Add to Reading List

      Source URL: www.synopsys.com

      - Date: 2016-02-11 07:15:36
        404

        National Evolutionary Synthesis Center 2024 W. Main St., Suite A200 Durham, NCUSA http://www.nescent.org

        Add to Reading List

        Source URL: www.nescent.org

        - Date: 2015-07-15 14:46:30
          405

          Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis Andrew Ireland and Jamie Stark School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK

          Add to Reading List

          Source URL: www.macs.hw.ac.uk

          - Date: 2004-11-10 10:59:34
            406

            Degradable Conjugated Polymers: Synthesis and Applications in Enrichment of Semiconducting SingleWalled Carbon Nanotubes

            Add to Reading List

            Source URL: rogers.matse.illinois.edu

            - Date: 2011-07-08 07:49:45
              407

              QUOD: A Methodology for the Synthesis of Cache Coherence Ike Antkare International Institute of Technology United Slates of Earth

              Add to Reading List

              Source URL: membres-lig.imag.fr

              - Date: 2014-01-09 04:24:28
                408

                Auxiliary-assisted Glycopeptide Synthesis For many eukaryotic proteins, processing by post-translational modifications such as glycosylation is a critical step for correct folding and achievement of biological activity.

                Add to Reading List

                Source URL: techtransfer.univie.ac.at

                - Date: 2016-04-04 02:32:36
                  409

                  Feature Towards Future Earth: evolution or revolution? During its three decades of existence, the International Geosphere-Biosphere Programme (IGBP) built research networks, facilitated synthesis and enhanced capacity a

                  Add to Reading List

                  Source URL: www.igbp.net

                  - Date: 2015-11-26 04:26:21
                    410

                    Prof. Dr, Thomas Wilke, T. (Univ. Giessen) Dr, Chistian Albrecht (Univ. Giessen) Project: DRIVERS OF EVOLUTIONARY CHANGES AND COMMUNITY DYNAMICS IN ANCIENT LAKE OHRID ACROSS TAXA: A SYNTHESIS OF MOLECULAR, FOSSIL AND SED

                    Add to Reading List

                    Source URL: www.geo.uni-potsdam.de

                    - Date: 2016-03-30 11:38:09
                      UPDATE