Computer-aided

Results: 5901



#Item
41Computer-Aided Game-Based Proofs Benedikt Schmidt IMDEA Software Institute, Madrid

Computer-Aided Game-Based Proofs Benedikt Schmidt IMDEA Software Institute, Madrid

Add to Reading List

Source URL: beschmi.net

    42Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1 , William Thies2 and Saman Amarasinghe1 1 Massachusetts Institute of Technology 2 Microsoft Research India

    Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1 , William Thies2 and Saman Amarasinghe1 1 Massachusetts Institute of Technology 2 Microsoft Research India

    Add to Reading List

    Source URL: groups.csail.mit.edu

    - Date: 2009-09-02 08:44:22
      43ACCEPTED TO APPEAR IN IEEE TRANSACTIONS ON COMPUTER AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1 The STREAM Mechanism to Improve CPS Security The Case of the Smart Grid

      ACCEPTED TO APPEAR IN IEEE TRANSACTIONS ON COMPUTER AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1 The STREAM Mechanism to Improve CPS Security The Case of the Smart Grid

      Add to Reading List

      Source URL: ganges.usc.edu

      - Date: 2016-05-03 14:55:46
        44Client Name: Science Education Institute (SEI) Development of Computer-Aided Instructions for Science and Mathematics Summary This project with SEI aims to develop computer-aided instruction (CAI) materials for Science a

        Client Name: Science Education Institute (SEI) Development of Computer-Aided Instructions for Science and Mathematics Summary This project with SEI aims to develop computer-aided instruction (CAI) materials for Science a

        Add to Reading List

        Source URL: www.asti.dost.gov.ph

        - Date: 2014-07-22 03:43:58
          45CALL FOR PAPERS/INVITATION TO SPECIAL SESSION INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING 22nd International Conference on Information and Software Technologies October 13th–15th, 2016

          CALL FOR PAPERS/INVITATION TO SPECIAL SESSION INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING 22nd International Conference on Information and Software Technologies October 13th–15th, 2016

          Add to Reading List

          Source URL: oras.if.ktu.lt

          - Date: 2016-05-02 06:52:56
            46COMPUTER-AIDED DESIGN Computer-Aided Design±500 www.elsevier.com/locate/cad

            COMPUTER-AIDED DESIGN Computer-Aided Design±500 www.elsevier.com/locate/cad

            Add to Reading List

            Source URL: www.dgp.toronto.edu

            - Date: 2003-03-07 03:45:54
              47Methods and Software Systems for Computer-aided Environmental Mapping by Chui Weihong, Lin Huagiang, and Wang Shu-jie Institute of Remote Sensing Application Academia Sinica

              Methods and Software Systems for Computer-aided Environmental Mapping by Chui Weihong, Lin Huagiang, and Wang Shu-jie Institute of Remote Sensing Application Academia Sinica

              Add to Reading List

              Source URL: mapcontext.com

              - Date: 2008-08-30 00:14:19
                48Synthetically Accessible Virtual Inventory (SAVI) Yuri Pevzner, Wolf-Dietrich Ihlenfeldt1, and Marc C. Nicklaus Computer-Aided Drug Design (CADD) Group

                Synthetically Accessible Virtual Inventory (SAVI) Yuri Pevzner, Wolf-Dietrich Ihlenfeldt1, and Marc C. Nicklaus Computer-Aided Drug Design (CADD) Group

                Add to Reading List

                Source URL: cisrg.shef.ac.uk

                - Date: 2016-07-19 05:01:24
                  49COMPUTER-AIDED MELODY NOTE TRANSCRIPTION USING THE TONY SOFTWARE: ACCURACY AND EFFICIENCY Matthias Mauch Queen Mary University of London Chris Cannam

                  COMPUTER-AIDED MELODY NOTE TRANSCRIPTION USING THE TONY SOFTWARE: ACCURACY AND EFFICIENCY Matthias Mauch Queen Mary University of London Chris Cannam

                  Add to Reading List

                  Source URL: tenor2015.tenor-conference.org

                  - Date: 2015-05-31 11:52:50
                    50Ocasta: Clustering Configuration Settings For Error Recovery Zhen Huang David Lie Department of Electrical and Computer Engineering University of Toronto Abstract—Effective machine-aided diagnosis and repair of

                    Ocasta: Clustering Configuration Settings For Error Recovery Zhen Huang David Lie Department of Electrical and Computer Engineering University of Toronto Abstract—Effective machine-aided diagnosis and repair of

                    Add to Reading List

                    Source URL: www.eecg.toronto.edu

                    - Date: 2014-05-03 15:50:16