Ia

Results: 27381



#Item
411Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a

Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a

Add to Reading List

Source URL: cliplab.org

- Date: 2005-07-26 16:47:43
    412NCTU AY2018/2019 Outbound Exchange Program (1st Intake) I. II. III.

    NCTU AY2018/2019 Outbound Exchange Program (1st Intake) I. II. III.

    Add to Reading List

    Source URL: www.ia.nctu.edu.tw

    - Date: 2017-11-20 22:18:51
      413Paxos Consensus, Deconstructed and Abstracted Extended Version ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1

      Paxos Consensus, Deconstructed and Abstracted Extended Version ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1

      Add to Reading List

      Source URL: ilyasergey.net

      - Date: 2018-03-26 18:04:21
        414CASIA-WebFace DATABASE RELEASE AGREEMENT Introduction CASIA-WebFace database is used for scientific research of unconstrained face recognition. The face images in the database are crawled from Internet by Institute of Au

        CASIA-WebFace DATABASE RELEASE AGREEMENT Introduction CASIA-WebFace database is used for scientific research of unconstrained face recognition. The face images in the database are crawled from Internet by Institute of Au

        Add to Reading List

        Source URL: www.cbsr.ia.ac.cn

        - Date: 2015-06-02 22:23:00
          415No solvable lambda-value term left behind Alvaro Garc´ıa P´ erez and Pablo Nogueira Reykjavik University

          No solvable lambda-value term left behind Alvaro Garc´ıa P´ erez and Pablo Nogueira Reykjavik University

          Add to Reading List

          Source URL: babel.ls.fi.upm.es

          - Date: 2016-05-30 13:34:17
            416UNIVERSITY OF CALIFORNIA BERKELEY • DAVIS • IRVINE • LOS ANGELES • MERCED • RIVERSIDE • SAN DIEGO • SAN FRANCISCO CA LIFO RN IA IN STITU TE FO R EN ERG Y A N D EN V IRO N M EN T 2087 Addison Street – Seco

            UNIVERSITY OF CALIFORNIA BERKELEY • DAVIS • IRVINE • LOS ANGELES • MERCED • RIVERSIDE • SAN DIEGO • SAN FRANCISCO CA LIFO RN IA IN STITU TE FO R EN ERG Y A N D EN V IRO N M EN T 2087 Addison Street – Seco

            Add to Reading List

            Source URL: uc-ciee.org

            - Date: 2015-04-21 15:49:07
              417F R A U N H O F E R I N S T I T U T E F O R R e l ia b i l it y an d M i c roin T e g ration I Z M Electronic Packaging & System Integration Invisible –

              F R A U N H O F E R I N S T I T U T E F O R R e l ia b i l it y an d M i c roin T e g ration I Z M Electronic Packaging & System Integration Invisible –

              Add to Reading List

              Source URL: www.izm.fraunhofer.de

              - Date: 2018-04-03 19:26:22
                418IA 115TH CONGRESS 1ST SESSION H. J. RES. 111

                IA 115TH CONGRESS 1ST SESSION H. J. RES. 111

                Add to Reading List

                Source URL: www.gpo.gov

                - Date: 2017-07-21 03:28:53
                  419DIRECTORIO Contra lores d e la Regi ón Cen tro-G olfo-Istmo Lic . Flor de M a r ía Ló pez G o n z ál ez H idalgo

                  DIRECTORIO Contra lores d e la Regi ón Cen tro-G olfo-Istmo Lic . Flor de M a r ía Ló pez G o n z ál ez H idalgo

                  Add to Reading List

                  Source URL: coordinacioncgi.hidalgo.gob.mx

                  - Date: 2017-04-25 23:55:54
                    420 THE TOP WATCHDOG AGAINST FAKE NEWS AND PROPAGANDA COMPETITIVE ANALYSIS The onslaught of well-fund ed right-wing media manipulation brings with it significant challenges. The conservati ve Med ia Research Cent er, with a

                    THE TOP WATCHDOG AGAINST FAKE NEWS AND PROPAGANDA COMPETITIVE ANALYSIS The onslaught of well-fund ed right-wing media manipulation brings with it significant challenges. The conservati ve Med ia Research Cent er, with a

                    Add to Reading List

                    Source URL: freebeacon.com

                    - Date: 2017-01-26 12:23:44