1. Recherche
1159 résultats  enregistrer la recherche
...
tel-01428885v1  Thèse
Bassam Alkindy. Combining approaches for predicting genomic evolution
Bioinformatics [q-bio.QM]. Université de Franche-Comté, 2015. English. < NNT : 2015BESA2012 >
...
tel-01202790v1  Thèse
Jérôme Cantenot. Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes.
Autre [cs.OH]. Université de Franche-Comté, 2013. Français. <NNT : 2013BESA2042>
...
tel-01124335v1  Thèse
Nicolas Friot. Itérations chaotiques pour la sécurité de l'information dissimulée
Autre [cs.OH]. Université de Franche-Comté, 2014. Français. <NNT : 2014BESA2035>
...
tel-01037993v1  Thèse
Elena Tushkanova. Schematic calculi for the analysis of decision procedures
Other [cs.OH]. Université de Franche-Comté, 2013. English. <NNT : 2013BESA2009>
...
hal-00940605v1  Article dans une revue
Rémy Laurent, Michel Salomon, Julien Henriet, Marc Sauget, Régine Gschwind et al.  Data Processing using Artificial Neural Networks to Improve the Simulation of Lung Motion
BME: Biomedical Engineering - Applications, Basis and Communications, 2012, 24, pp.563 - 571. <10.4015/S1016237212500524>
inria-00526683v1  Article dans une revue
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch. Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2010, 105 (1-2), pp.163--187. <10.3233/FI-2010-362>
...
hal-00107169v2  Article dans une revue
Mohand Lagha, Messaoud Bensebti. Doppler Spectrum Estimation by Ramanujan Fourier Transforms.
Digital Signal Processing, Elsevier, 2009, 19 (5), pp.843-851. <10.1016/j.dsp.2009.03.007>
inria-00618336v1  Article dans une revue
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch. Unification modulo Homomorphic Encryption
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.135--158. <10.1007/s10817-010-9205-y>
...
inria-00636797v1  Article dans une revue
Steve Kremer, Antoine Mercier, Ralf Treinen. Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.197-217. <10.1007/s10817-010-9203-0>
...
inria-00636794v1  Article dans une revue
Stefan Ciobaca, Stéphanie Delaune, Steve Kremer. Computing knowledge in security protocols under convergent equational theories
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.219-262. <10.1007/s10817-010-9197-7>
inria-00099990v1  Article dans une revue
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch. Unification Modulo ACUI Plus Distributivity Axioms
Journal of Automated Reasoning, Springer Verlag, 2004, 33 (1), pp.1-28
inria-00576873v1  Article dans une revue
Daniele Zucchelli, Enrica Nicolini. A Decidability Result for the Model Checking of Infinite-State Systems
Journal of Automated Reasoning, Springer Verlag, 2010, (Online), <10.1007/s10817-010-9192-z>
inria-00527630v1  Article dans une revue
Yannick Chevalier, Michael Rusinowitch. Decidability of Equivalence of Symbolic Derivations
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.263-292. <10.1007/s10817-010-9199-5>
inria-00525778v1  Article dans une revue
Véronique Cortier, Stéphanie Delaune. Decidability and combination results for two notions of knowledge in security protocols.
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (October), pp.441-487. <10.1007/s10817-010-9208-8>
inria-00525776v1  Article dans une revue
Véronique Cortier, Steve Kremer, Bogdan Warinschi. A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.
Journal of Automated Reasoning, Springer Verlag, 2011, 46 (3-4), pp.225-259. <10.1007/s10817-010-9187-9>
...
hal-00644471v1  Article dans une revue
Jean-Claude Charr, Raphaël Couturier, David Laiymani. A Decentralized and Fault Tolerant Convergence Detection Algorithm for Asynchronous Iterative Algorithms
Journal of Supercomputing, Springer Verlag, 2010, pp.269--292
...
hal-01303495v1  Article dans une revue
Brigitte Morello, Mohamed Karim Haouchine, Noureddine Zerhouni. Case-based maintenance : Structuring and incrementing the Case.
Knowledge-Based Systems, Elsevier, 2015, 88, pp.165-183. <10.1016/j.knosys.2015.07.034>
inria-00428583v1  Article dans une revue
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner. Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
Journal of Symbolic Computation, Elsevier, 2010, Automated Deduction: Decidability, Complexity, Tractability, 45 (2), pp.261-286. <10.1016/j.jsc.2008.10.006>
...
hal-00917323v2  Article dans une revue
Walid Belkhir, Alain Giorgetti, Michel Lenczner. A Symbolic Transformation Language and its Application to a Multiscale Method
Journal of Symbolic Computation, Elsevier, 2014, 65, pp.49 - 78
...
hal-00644456v1  Article dans une revue
Raphaël Couturier, Stéphane Domas. Sparse Systems Solving on {GPUs} with {GMRES}
Journal of Supercomputing, Springer Verlag, 2011
lirmm-00395080v1  Communication dans un congrès
Serge Burckel, Emeric Gioan, Emmanuel Thomé. Mapping Computation with No Memory
UC'2009: 8th International Conference on Unconventional Computation, Sep 2009, Ponta Delgada, Portugal. Springer, 5715 (5715), pp.85-97, 2009, LNCS. <10.1007/978-3-642-03745-0_15>
lirmm-00287659v1  Communication dans un congrès
Emeric Gioan, Serge Burckel. In Situ Design of Register Operations
ISVLSI'08: IEEE Computer Society Annual Symposium on Very-Large-Scale Integration, Apr 2008, Montpellier, France, IEEE Computer Society, Trends in VLSI Technology and Design, pp.4, 2008, <http://www.lirmm.fr/isvlsi2008/>
hal-00679150v1  Communication dans un congrès
Emmanuel Ramasso, Michele Rombaut, Noureddine Zerhouni. Classification of predictions: an approach combining similarity-based estimation and belief functions
2nd International Conference on Belief Functions (Belief 2012), May 2012, Compiègne, France. pp.n/a, 2012
...
hal-01475884v2  Rapport
Loris Marchal, Louis-Claude Canon, Frédéric Vivien. Low-Cost Approximation Algorithms for Scheduling Independent Tasks on Hybrid Platforms
[Research Report] RR-9029, Inria - Research Centre Grenoble – Rhône-Alpes. 2017
...
hal-01313482v1  Communication dans un congrès
Racha Khelif, Simon Malinowski, Brigitte Morello, Noureddine Zerhouni. Unsupervised Kernel Regression Modeling Approach for RUL Prediction.
Second European Conference of the Prognostics and Health Management Society (PHM 2014), Jul 2014, Nantes, France. Second European Conference of the Prognostics and Health Management Society, PHM 2014., pp.1-7, 2014
...
hal-01313497v1  Communication dans un congrès
Simon Malinowski, Brigitte Morello, Noureddine Zerhouni. Shapelet-based remaining useful life estimation.
Tenth IEEE International Conference on Automation Science and Engineering (CASE 2014.), Aug 2014, Taipei, Taiwan. IEEE, 2014 IEEE International Conference on Automation Science and Engineering, CASE., pp.794-799, 2014, <10.1109/CoASE.2014.6899416>

Contact


archive-ouverte@inria.fr