Leuven

Results: 1938



#Item
261

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications Gijs Vanspauwen and Bart Jacobs iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium {gijs.vanspauwen,bart.jacobs}@cs.kul

Add to Reading List

Source URL: www.stance-project.eu

Language: English - Date: 2015-09-15 07:28:15
    262

    Multi-Module Fully Abstract Compilation (Extended Abstract) Marco Patrignani, Dominique Devriese, Frank Piessens iMinds-DistriNet, KU Leuven, Belgium High-level languages like Java or ML support abstraction and data enca

    Add to Reading List

    Source URL: software.imdea.org

    Language: English - Date: 2015-07-09 06:40:16
      263

      conference | ‘Contemporary Congolese Studies’ 11-12 June 2015 | African Studies Centre & Emmanuel College, Cambridge University Convenors: Lys Alcayna-Stevens (Cambridge University) Katrien Pype (KU Leuven)

      Add to Reading List

      Source URL: congoresearchnetwork.files.wordpress.com

      Language: English - Date: 2015-06-03 07:51:23
        264

        An Exercise in Declarative Modeling for Relational Query Mining Sergey Paramonov, Matthijs van Leeuwen, Marc Denecker, and Luc De Raedt KU Leuven, Celestijnenlaan 200A, 3001 Heverlee - Belgium,

        Add to Reading List

        Source URL: www.ilp2015.jp

        Language: English - Date: 2015-08-05 01:44:54
          265

          Obfuscation for and against device fingerprinting Güneş Acar University of Leuven Dept. of Electrical Engineering (ESAT), COSIC

          Add to Reading List

          Source URL: obfuscationsymposium.org

          Language: English - Date: 2014-04-04 12:04:44
            266

            Inducing Probabilistic Relational Rules from Probabilistic Examples∗ Luc De Raedt, Anton Dries, Ingo Thon† , Guy Van den Broeck, Mathias Verbeke‡ KU Leuven, Department of Computer Science Celestijnenlaan 200A, BE-3

            Add to Reading List

            Source URL: people.cs.kuleuven.be

            Language: English
              267

              MiningZinc: A Modeling Language for Constraint-based Mining Tias Guns1 , Anton Dries1 , Guido Tack2 , Siegfried Nijssen1,3 and Luc De Raedt1 Department of Computer Science, KU Leuven {firstname.lastname}@cs.kuleuven.be 2

              Add to Reading List

              Source URL: inductiveconstraints.eu

              Language: English - Date: 2013-07-30 04:36:48
                268

                The Causal Theory revisited Review of Quantum Causality, by Peter J. Riggs. SpringerWard Struyve Institute of Theoretical Physics, Institute of Philosophy K.U.Leuven Leuven, Belgium

                Add to Reading List

                Source URL: www.quandrops.ulg.ac.be

                Language: English - Date: 2014-10-29 16:53:32
                  269

                  DisPA: an Intelligent Agent for Private Web Search Marc Juarez1 and Vicen¸c Torra2 1 KU Leuven, Dept. of Electrical Engineering (ESAT), COSIC, iMinds,

                  Add to Reading List

                  Source URL: homes.esat.kuleuven.be

                  Language: English - Date: 2014-08-04 10:02:20
                    270

                    Dominance Programming for Itemset Mining Benjamin Negrevergne∗ , Anton Dries∗ , Tias Guns∗ , Siegfried Nijssen∗† ∗ Department of Computer Science, KU Leuven, Belgium † LIACS, Universiteit Leiden, The Nether

                    Add to Reading List

                    Source URL: inductiveconstraints.eu

                    Language: English - Date: 2013-11-22 07:51:57
                      UPDATE