User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 16 results.
    • Speech
    LS(Graph & Tree): A Local Search Framework for Constraint Optimization on Graphs and Trees
    Pham, Quang Dung[UCL] Deville, Yves[UCL] Van Hentenryck, Pascal (2009) Proceedings of the 2009 ACM Symposium on Applied Computing (SAC'09) — Honolulu, Hawaii, USA
    • Journal article
    Finiteness spaces and generalized power series
    Blute, Richard Cockett, Robin Jacqmin, Pierre-Alain[UCL] Scott, Philip (2018) Electronic Notes in Theoretical Computer Science — Vol. 341
    • Book
    Proceedings of WOTE 2008 -- IAVoSS Workshop On Trustworthy Elections
    Adida, Ben Pereira, Olivier[UCL] (2008)
    • Speech
    A framework for the competitive evaluation of model inference techniques
    Walkinshaw, Neil Bogdanov, Kirill Damas, Christophe[UCL] Lambeau, Bernard[UCL] Dupont, Pierre[UCL] (2010) 1st International workshop on Model Inference In Testing — Trento, Italy
    • WorkingPaper
    Improved benders decomposition applied to a multi-layer network design problem
    Fortz, Bernard[UCL] Poss, Michael (2008)
    • Journal article
    Equivalent polyadic decompositions of matrix multiplication tensors
    Berger, Guillaume[UCL] Absil, Pierre-Antoine[UCL] De Lathauwer, Lieven Jungers, Raphaël M.[UCL] Van Barel, Marc (2021) Journal of Computational and Applied Mathematics — Vol. 406, p. 113941 (2022)
    • Speech
    PDVer, a Tool to Verify PDDL Planning Domains
    Raimondi, Franco Pecheur, Charles[UCL] Brat, Guillaume (2009) Proceedings of ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems — Thessaloniki, Greece
    • Speech
    Testing Planning Domains (without Model Checkers)
    Raimondi, Franco Pecheur, Charles[UCL] Brat, Guillaume (2007) Third Workshop on Model-Based Testing (MBT 2007) — Braga, Portugal
    • Journal article
    Effect of skin hydration on the dynamics of fingertip gripping contact
    André, Thibaut[UCL] Lévesque, V. Hayward, V. Lefèvre, Philippe[UCL] Thonnard, Jean-Louis[UCL] (2011) Journal of the Royal Society Interface — Vol. 8, no. 64, p. 1574-1583 (2011)
    • WorkingPaper
    Lattice based language models
    Dupont, Pierre Rosenfeld, Ronald (1997)
    • Journal article
    The solution of parametrized symmetric linear systems
    Meerbergen, Karl[UCL] (2003) SIAM Journal on Matrix Analysis and Applications — Vol. 24, no. 4, p. 1038-1059 (2003)
    • Speech
    Symbolic Model Checking of Logics with Actions
    Pecheur, Charles[UCL] Raimondi, Franco (2007) Proceedings of MOCHART 4: Model Checking and Artificial Intelligence — Riva del Garda, Italy
    • BookChapter
    Leakage Resilient Cryptography in Practice
    Standaert, François-Xavier[UCL] Pereira, Olivier[UCL] Yu, Yu[UCL] Quisquater, Jean-Jacques[UCL] Yung, Moti Oswald, Elisabeth (2010) Towards Hardware-Intrisic Security — [ISBN : 978-3-642-14452-3]
    • Speech
    Leftover Hash Lemma, Revisited
    Barak, Boaz Dodis, Yevgeniy Krawczyk, Hugo Pereira, Olivier[UCL] Pietrzak, Krzysztof Standaert, François-Xavier[UCL] Yu, Yu (2011) CRYPTO 2011 — Santa Barbara
    • Speech
    Adapting Helios for provable ballot privacy
    Bernhard, David Cortier, Véronique Pereira, Olivier[UCL] Smyth, Ben Warinschi, Bogdan (2011) ESORICS 2011 - 16th European Symposium on Research in Computer Security — Leuven
    • Speech
    Toward a Generic Comet Implementation of Very Large-Scale Neighborhoods
    Mouthuy, Sébastien[UCL] Deville, Yves[UCL] Van Hentenryck,, Pascal (2008) 22nd national conference of the Belgian Operations Research Society — Brussels, Belgium