IA

Results: 27381



#Item
411

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
    412

    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
      413

      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
        414

        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
          415

          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
            416

            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
              417

              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
                418

                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
                  419

                  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

                    Add to Reading List

                    Source URL: freebeacon.com

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