.:. Consultation > Liste par type de document > Documents sans référence de publication .:.

105 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Towards an analysis framework for tasks with probabilistic execution times and probabilistic inter-arrival times Maxim D., Cucu L. [hal-00766019 - version 1]

Propofol-induced GABAergic Tonic Inhibition Diminishes α-rhythms and Induces δ-rhythms in neuronal populations Buhry L., Hutt A. (10/12/2012) [hal-00766256 - version 3]

A robustness approach to study metastable behaviours in a lattice-gas model of swarming Bouré O., Fatès N., Chevrier V. (12/2012) [hal-00768831 - version 1]

Human-Centric Process-Aware Information Systems (HC-PAIS) Kabicher-Fuchs S., Rinderle-Ma S., Recker J., Indulska M., Charoy F., Christiaanse R., Dunkl R., Grambow G., Kolb J., Leopold H. et al (21/11/2012) [hal-00761008 - version 1]

Rewrite Closure and CF Hedge Automata Jacquemard F., Rusinowitch M. [hal-00752496 - version 2]

Accelerating Iterative SpMV for Discrete Logarithm Problem using GPUs Jeljeli H. (21/09/2012) [hal-00734975 - version 2]

Computability of the entropy of one-tape Turing Machines Jeandel E. (01/08/2012) [hal-00785232 - version 1]

Simplifying inclusion-exclusion formulas Goaoc X., Matoušek J., Paták P., Safernová Z., Tancer M. (11/07/2012) [hal-00764182 - version 1]

Universally Composable Key-Management Kremer S., Kunnemann R., Steel G. [hal-00686535 - version 1]

Pairing-based algorithms for jacobians of genus 2 curves with maximal endomorphism ring Ionica S. [hal-00675045 - version 4]