.:. Consultation > Liste des articles .:.

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

... 4 - 5 - 6 - 7 - 8 - 9 - 10 ...

Describing A Cyclic Code by Another Cyclic Code Zeh A., Bezzateev S. ISIT 2012 - Internation Symposium on Information Theory, United States (2012) [hal-00689746 - version 4]

Datalog and Constraint Satisfaction with Infinite Templates Bodirsky M., Dalmau V. [hal-00757438 - version 1] (26/11/2012)

GNU TeXmacs: a scientific editing platform Van Der Hoeven J., Grozin A., Gubinelli M., Lecerf G., Poulain F., Raux D. [hal-00687490 - version 1] (2012-04-13)

Faster relaxed multiplication Van Der Hoeven J. [hal-00687479 - version 1] (2012-04-13)

A MILP approach for designing robust variable-length codes based on exact free distance computation Hijazi H., Diallo A., Kieffer M., Liberti L., Weidmann C. Dans Proceedings of the Data Compression Conference - DCC 2012, États-Unis (2012) [hal-00727540 - version 1]

Extending Feasibility Pump to nonconvex mixed integer nonlinear programming problems D'Ambrosio C., Frangioni A., Liberti L., Lodi A. ROADEF 2012, France (2012) [hal-00758538 - version 1]

Quasi-optimal multiplication of linear differential operators Benoit A., Bostan A., Van Der Hoeven J. [hal-00685401 - version 1] (2012-04-05)

Evaluating mixture models for building RNA knowledge-based potentials. Sim A. Y. L., Schwander O., Levitt M., Bernauer J. Journal of Bioinformatics and Computational Biology 10, 2 (2012) 1241010 [hal-00757761 - version 1]

A non-local method for robustness analysis of floating point programs Gazeau I., Miller D., Palamidessi C. QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages, Estonia (2012) [hal-00665995 - version 3]

Partition Refinement for Bisimilarity in CCP Aristizábal A., Bonchi F., Pino L., Valencia F. D. Dans Proceedings of the 27th ACM Symposium On Applied Computing - 27th ACM Symposium On Applied Computing, Italie (2012) [hal-00641408 - version 3]

Feasibility Pump algorithms for nonconvex Mixed Integer Nonlinear Programming problems D'Ambrosio C., Frangioni A., Liberti L., Lodi A. APMOD 2012, Allemagne (2012) [hal-00758539 - version 1]

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus Accattoli B., Kesner D. Logical Methods in Computer Science 8, 1 (2012) [hal-00780319 - version 1]

Two simulations about DPLL(T) Farooque M., Lengrand S., Mahboubi A. Research report [hal-00690044 - version 1]

On symmetric quadrangulations and triangulations Albenque M., Fusy E., Poulalhon D. [hal-00732814 - version 1] (17/09/2012)

The permutative lambda-calculus Accattoli B., Kesner D. In Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR) - International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Venezuela, Bolivarian Republic Of (2012) [hal-00686795 - version 1]

Topological Birkhoff Bodirsky M., Pinsker M. [hal-00756921 - version 1] (24/11/2012)

Visualizing 2D & 3D Structures of RNA Ponty Y. VIZBI - 3rd international meeting on Visualizing Biological Data - 2012, Germany (2012) [hal-00723351 - version 1]

Global network reorganization during dynamic adaptations of Bacillus subtilis metabolism. Buescher J. M., Liebermeister W., Jules M., Uhr M., Muntel J., Botella E., Hessling B., Kleijn R. J., Le Chat L., Lecointe F. et al Science 335, 6072 (2012) 1099-103 [hal-00756388 - version 1]

Discrete logarithm computations over finite fields using Reed-Solomon codes Augot D., Morain F. [hal-00672050 - version 1] (2012-02-20)

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination Cohen C., Mahboubi A. Logical Methods in Computer Science 8, 1:02 (2012) 1-40 [inria-00593738 - version 4]