.:. Consultation > Liste des articles .:.

1022 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 ...

Compositional Methods for Information-Hiding Chatzikokolakis K., Palamidessi C., Braun C. Mathematical Structures in Computer Science (2013) [hal-00760596 - version 1]

Datalog and Constraint Satisfaction with Infinite Templates Bodirsky M., Dalmau V. Journal on Computer and System Sciences 79 (2013) 79-100 [hal-00756928 - version 1]

Non-redundant random generation algorithms for weighted context-free languages Lorenz A., Ponty Y. Theoretical Computer Science (2013) To appear [inria-00607745 - version 2]

On the decoding of quasi-BCH codes Barbier M., Pernet C., Quintin G. [hal-00768566 - version 1] (2012-12-21)

Using the Fast Fourier Transform to Accelerate the Computational Search for RNA Conformational Switches Senter E., Sheikh S., Dotu I., Ponty Y., Clote P. PLoS ONE 7, 12 (2012) e50506 [hal-00769740 - version 1]

Optimal scheduling of a multi-unit hydro power station in a short-term time horizon Borghetti A., D'Ambrosio C., Lodi A., Martello S. Rapport de recherche [hal-00765225 - version 1]

Reducing Weak to Strong Bisimilarity in CCP Aristizábal A., Bonchi F., Pino L., Valencia F. D. Dans Proceedings Fifth Interaction and Concurrency Experience - Fifth Interaction and Concurrency Experience, Suède (2012) [hal-00761611 - version 1]

Compact Proof Certificates for Linear Logic Chaudhuri K. Second International Conference on Certified Programs and Proofs, Japan (2012) [hal-00760118 - version 1]

Geo-Indistinguishability: Differential Privacy for Location-Based Systems Andrés M. E., Bordenabe N. E., Chatzikokolakis K., Palamidessi C. Research report (2012) [hal-00766821 - version 1]

A Storm of Feasibility Pumps for Nonconvex MINLP D'Ambrosio C., Frangioni A., Liberti L., Lodi A. Mathematical Programming B 136, 2 (2012) 375-402 [hal-00758042 - version 1]

A sequent calculus with procedure calls Farooque M., Lengrand S. Research report [hal-00690577 - version 1]

Probabilistic modal mu-calculus with independent product Mio M. Logical Methods in Computer Science 8, 4 (2012) [hal-00763451 - version 1]

Optimistic MILP Modeling of Non-linear Optimization Problems Rovatti R., D'Ambrosio C., Lodi A., Martello S. Rapport de recherche [hal-00758047 - version 1]

Sur l'algorithme de décodage en liste de Guruswami-Sudan sur les anneaux finis Quintin G. Ecole Polytechnique X (22/11/2012), Daniel Augot (Dir.) [pastel-00759820 - version 1]

Formalisation des nombres algébriques : construction et théorie du premier ordre. Cohen C. Ecole Polytechnique X (2012-11-20), Assia Mahboubi (Dir.) [pastel-00780446 - version 1]

Prédiction d'Interactions et Amarrage Protéine-Protéine par combinaison de classifieurs Azé J. Université Paris Sud - Paris XI (16/11/2012), Michel Beaudouin-Lafon (Pr.) [tel-00763947 - version 1]

Vehicle Sharing System Pricing Regulation: Transit Optimization of Intractable Queuing Network Waserhole A., Jost V. [hal-00751744 - version 2] (10/04/2013)

Distilling Structure in Scientific Workflows Chen J., Froidevaux C., Goble C., Williams A., Cohen-Boulakia S. Proc. of the 12th International Workshop on Network Tools and Applications in Biology, Nettab 2012 (Poster), Italy (2012) [hal-00748035 - version 1]

Efficient Prediction of Co-Complexed Proteins Based on Coevolution De Vienne D. M., Azé J. PLoS ONE (2012) [hal-00756120 - version 1]

A global sampling approach to designing and reengineering RNA secondary structures. Levin A., Lis M., Ponty Y., O'Donnell C. W., Devadas S., Berger B., Waldispühl J. Nucleic Acids Research 40, 20 (2012) 10041-52 [hal-00733924 - version 1]