Leuven

Results: 1938



#Item
71

Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

Add to Reading List

Source URL: lirias.kuleuven.be

- Date: 2017-07-28 06:42:57
    72

    All Your Biases Belong To Us: Breaking RC4 in WPA-TKIP and TLS Mathy Vanhoef KU Leuven

    Add to Reading List

    Source URL: www.rc4nomore.com

    - Date: 2015-11-14 21:55:48
      73

      Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

      Add to Reading List

      Source URL: people.cs.kuleuven.be

      - Date: 2017-07-28 06:55:52
        74

        “I was really glad to see that the names of the structures are indicated in Latin as well, the universal medical language.” Samuel EA Saikali Student in Medicine Catholic University of Leuven (KUL)

        Add to Reading List

        Source URL: s3-us-west-1.amazonaws.com

        - Date: 2016-10-11 13:51:53
          75

          2017 AHRI CONFERENCE The Promotion and Enforcement of Human Rights by International and Regional Organizations: Achievements, Challenges and Opportunities LEUVEN, 27-28 APRIL 2017

          Add to Reading List

          Source URL: gallery.mailchimp.com

          - Date: 2016-12-02 10:16:10
            76

            Security guarantees for the execution infrastructure of software applications Frank Piessens, Dominique Devriese, Jan Tobias Muehlberg, Raoul Strackx iMinds-DistriNet, KU Leuven

            Add to Reading List

            Source URL: cybersec-prod.s3.amazonaws.com

            - Date: 2016-12-07 14:32:11
              77

              Semantics-based pretranslation for SMT using fuzzy matches Tom Vanallemeersch, Vincent Vandeghinste Centre for Computational Linguistics Blijde Inkomststraat 13 B-3000 Leuven, Belgium {tom,vincent}@ccl.kuleuven.be

              Add to Reading List

              Source URL: aclweb.org

              - Date: 2015-06-01 16:13:56
                78

                Verifying TSO programs Bart Jacobs Report CW 660, May 2014 KU Leuven Department of Computer Science

                Add to Reading List

                Source URL: lirias.kuleuven.be

                  79

                  Master of Science in Geology The Master of Science in Geology is a two-year programme jointly organised by KU Leuven and Ghent University. You receive in-depth training in various fields of geology and develop knowledge

                  Add to Reading List

                  Source URL: www.kuleuven.be

                  - Date: 2016-03-25 10:23:19
                    80

                    Hadrianus Amerotius (ca. 1495 - 1560), grondlegger van de wetenschappelijke studie van het Grieks in Leuven Pierre Swiggers & Raf Van Rooy Hoewel reeds tijdens de middeleeuwen enkele westerse geleerden zich hadden be

                    Add to Reading List

                    Source URL: lirias.kuleuven.be

                      UPDATE