Skip to Main content Skip to Navigation


hal-00854662v1  Journal articles
Henri CohenFrank Thorne. Dirichlet series associated to cubic fields with given quadratic resolvent
Michigan Mathematical Journal, University of Michigan, 2014, 63, pp.253-273
hal-01406655v1  Book sections
Bernt ØksendalAgnès SulemTusheng Zhang. A stochastic HJB equation for optimal control of forward-backward SDEs
The Fascination of Probability, Statistics and their Applications, Springer Verlag, pp.11, 2016
...
hal-01256384v1  Book sections
Nazim Fatès. Aesthetics and randomness in cellular automata
Andrew Adamatzky; Genaro J. Martínez. Designing Beauty: The Art of Cellular Automata, Springer, 2016, Emergence, Complexity and Computation, 978-3-319-27269-6. ⟨10.1007/978-3-319-27270-2_23⟩
...
tel-01157160v1  Theses
Luigi Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English
...
inria-00407778v1  Reports
Georges GonthierRoux Stéphane Le. An Ssreflect Tutorial
[Technical Report] RT-0367, INRIA. 2009, pp.33
...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
...
hal-01676355v1  Book sections
David GonzálezJoshué PérezVicente MilanésFawzi NashashibiMarga Saez Tort et al.  Arbitration and Sharing Control Strategies in the Driving Process
Guillermo Payá-Vayá; Holger Blume. Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems The DESERVE Approach, River Publishers , pp.24, 2017, 9788793519145
...
hal-01357822v1  Reports
Denis Roegel. A reconstruction of Peters's table of logarithms to 7 places (1921)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357840v1  Reports
Denis Roegel. A reconstruction of Peters's table of 7-place logarithms (volume 1, 1940)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357823v1  Reports
Denis Roegel. A reconstruction of Peters’s ten-place table of logarithms (volume 1, 1922)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357828v1  Reports
Denis Roegel. A reconstruction of Peters's multiplication and interpolation tables (1930)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357842v1  Reports
Denis Roegel. A reconstruction of Peters's table of 7-place logarithms (volume 2, 1940)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357844v1  Reports
Denis Roegel. A reconstruction of Peters's table of 7-place trigonometrical values for the new division(1941)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357837v1  Reports
Denis Roegel. A reconstruction of Peters's eight-place table of trigonometric functions (1939)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357820v1  Reports
Denis Roegel. A reconstruction of Peters's table of logarithms to 6 places (1921)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
cel-00529505v7  Lectures
Arnaud Legout. How to Give a Good Talk?
3rd cycle. France. 2013
...
inria-00555008v1  Journal articles
Sho SuzukiKeiichirou KusakariFrédéric Blanqui. Argument filterings and usable rules in higher-order rewrite systems
IPSJ Transactions on Programming, IPSJ, 2011, 4 (2), pp.1-12
...
hal-01357793v1  Reports
Denis Roegel. A reconstruction of Peters's table of products (1909)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
hal-01306998v1  Journal articles
Kamel AissatAmmar Oulamara. A priori approach of real-time ridesharing problem with intermediate meeting locations
Journal of Artificial Intelligence and Soft Computing Research, 2014, 4 (4), pp.287-299
...
hal-01610541v1  Book sections
P.-A JosephB GlizeM CognéE SoritaH. Sauzéon. La cognition sociale au-delà du cerveau : une cognition inclusive
Jean-Michel Mazaux; P-A Joseph; A Prouteau; V Brun. La cognition sociale, Sauramps Médical pp.135-142, 2016, 979-10-303-0048-2
hal-01357895v1  Journal articles
Stéphane UbédaPierre KuonenJanez Žerovnik. Graph theory applied to mobile network optimisation
Elektroniski vestnik, 1996, 2 (63), pp.62-72
...
hal-01357826v1  Reports
Denis Roegel. A reconstruction of Peters's six-place table of trigonometric functions (1929)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357811v1  Reports
Denis Roegel. A reconstruction of Peters's seven-place table of trigonometric functions (1918)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357814v1  Reports
Denis Roegel. A reconstruction of Peters's auxiliary tables to his ten-place logarithms (1919)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357831v1  Reports
Denis Roegel. A reconstruction of Peters's six-place table of trigonometric functions for the new division (1930).
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357834v1  Reports
Denis Roegel. A reconstruction of Peters's table of involutes (1937).
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
hal-00654533v1  Books
Dominique ChapelleK.J. Bathe. The Finite Element Analysis of Shells - Fundamentals - Second Edition
Springer, pp.410, 2011, Computational Fluid and Solid Mechanics, 978-3-642-16407-1. ⟨10.1007/978-3-642-16408-8⟩
...
hal-01357835v1  Reports
Denis Roegel. A reconstruction of Peters's six-place table of trigonometric functions for the new division (1938)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357846v1  Reports
Denis Roegel. The genealogy of Johann Theodor Peters's great mathematical tables
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357804v1  Reports
Denis Roegel. A reconstruction of Peters's seven-place table of logarithms of trigonometric functions (1911)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357809v1  Reports
Denis Roegel. A reconstruction of Peters's 3-place tables (1913)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357806v1  Reports
Denis Roegel. A reconstruction of Peters's five-place table of logarithms of trigonometric functions (1912)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357798v1  Reports
Denis Roegel. A reconstruction of Bauschinger and Peters's eight-place table of logarithms (volume 1, 1910)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357801v1  Reports
Denis Roegel. A reconstruction of Bauschinger and Peters's eight-place table of logarithms (volume 2, 1911)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
hal-01256593v1  Book sections
Samuel Cruz-LaraAlexandre DenisNadia BellalemLotfi Bellalem. Handbook on 3D3C Platforms: Applications and Tools for Three Dimensional Systems for Community, Creation and Commerce
Yesha Sivan. Handbook on 3D3C Platforms: Applications and Tools for Three Dimensional Systems for Community, Creation and Commerce, Springer International Publishing, pp.507, 2016, 978-3-319-22040-6. ⟨10.1007/978-3-319-22041-3⟩
...
tel-02438652v1  Theses
Arthur Loussert. Understanding and Guiding the Computing Resource Management in a Runtime Stacking Context
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2019. English
...
tel-00339402v2  Theses
Mouhamad Ibrahim. Routing and performance evaluation of disruption tolerant networks
Modeling and Simulation. Université Nice Sophia Antipolis, 2008. English
...
tel-00295072v1  Theses
Dino Lopez Pacheco. Propositions for a robust and inter-operable eXplicit Control Protocol on heterogeneous high speed networks
Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2008. English
...
tel-00671181v1  Theses
Anca Belme. Unsteady Aerodynamics and Adjoint Method
Analysis of PDEs [math.AP]. Université Nice Sophia Antipolis, 2011. English
...
pastel-00576861v1  Theses
Shaoshi Chen. Some applications of differential-difference algebra to creative telescoping
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English
...
tel-01749331v2  Theses
Utpala Musti. Acoustic-Visual Speech Synthesis by Bimodal Unit Selection
Machine Learning [cs.LG]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0003⟩
...
tel-00927119v1  Habilitation à diriger des recherches
Slim Ouni. Multimodal Speech: from articulatory speech to audiovisual speech
Machine Learning [cs.LG]. Université de Lorraine, 2013
...
inria-00195379v1  Reports
Stéphane Le Roux. Graphs and Path Equilibria
[Research Report] 2007, pp.41
...
inria-00576472v1  Reports
C. Mouton. Configuration File Parser Library
[Technical Report] 2009, pp.12
...
pastel-00927122v1  Theses
Zheng Qu. Nonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
inria-00576469v1  Reports
C. Mouton. Linear Algebra Libraries
[Technical Report] 2009, pp.35
...
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
...
tel-01078911v1  Theses
Matias Martinez. Extraction and Analysis of Knowledge for Automatic Software Repair
Software Engineering [cs.SE]. Université Lille 1, 2014. English
...
tel-00633697v1  Theses
Ender Konukoglu. Modeling Glioma Growth and Personalizing Growth Models in Medical Images
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : 2009NICE4000⟩
...
hal-01556289v1  Book sections
Martin SerranoAmelie GyrardMichael BonifacePaul GraceNikolaos Georgantas et al.  Cross-Domain Interoperability Using Federated Interoperable Semantic IoT/Cloud Testbeds and Applications: The FIESTA-IoT Approach
Building the Future Internet through FIRE 2016 FIRE Book: A Research and Experiment based Approach, River Publishers, 2017, 978-87-93519-11-4
hal-01724375v1  Journal articles
Imen Ben OthmaneJoseph Di MartinoKais Ouni. Enhancement of esophageal speech using statistical and neuromimetic voice conversion techniques
Journal of International Science and General Applications, ISGA, 2018, 1 (1), pp.10
hal-01943801v1  Journal articles
Mélissa VerinSalomé BourgFrédéric MenuEtienne Rajon. The Biased Evolution of Generation Time
American Naturalist, University of Chicago Press, 2017, 190, pp.E28-E39. ⟨10.1086/692324⟩
...
hal-00780437v1  Journal articles
Alin BostanPhilippe Dumas. Wronskians and linear independence
American Mathematical Monthly, Mathematical Association of America, 2010, 117 (8), pp.722-727. ⟨10.4169/000298910X515785⟩
hal-00434647v1  Journal articles
P. VanhemsS. Pires-CronenbergerChristine Lasset. Sporadic and epidemic community legionellosis: two faces of the same illness
European Respiratory Journal, European Respiratory Society, 2007, 30, pp.813-813
hal-00434590v1  Journal articles
I. DurieuF. Abbas-ChorfaJ. DraiJ. IwazJ.P. Steghens et al.  Plasma fatty acids and lipid hydroperoxides increase after antibiotic therapy in cystic fibrosis
European Respiratory Journal, European Respiratory Society, 2007, 29, pp.958-964
...
inria-00543185v1  Journal articles
Irène KorsakissokVivien Mallet. Development and application of a reactive plume-in-grid model: evaluation over Greater Paris
Atmospheric Chemistry and Physics, European Geosciences Union, 2010, 10 (18), pp.8917--8931. ⟨10.5194/acp-10-8917-2010⟩
...
lirmm-01348367v1  Journal articles
Thu-Hien ToMatthieu JungSamantha LycettOlivier Gascuel. Fast Dating Using Least-Squares Criteria and Algorithms
Systematic Biology, Oxford University Press (OUP), 2016, 65 (1), pp.82-97. ⟨10.1093/sysbio/syv068⟩
lirmm-01397013v1  Journal articles
Olivier GascuelTanja Stadler. Mathematical and Computational Evolutionary Biology (2013)
Systematic Biology, Oxford University Press (OUP), 2015, 64 (1), pp.1-2. ⟨10.1093/sysbio/syu086⟩
...
hal-00680230v1  Journal articles
Laurent Romary. Etienne Brunet, Ce qui compte - Ecrits choisis, tome II
Literary and Linguistic Computing, Oxford University Press (OUP), 2012
hal-01992078v1  Journal articles
Alhussein FawziOmar FawziPascal Frossard. Analysis of classifiers’ robustness to adversarial perturbations
Machine Learning, Springer Verlag, 2018, 107 (3), pp.481-508
hal-00428491v1  Journal articles
F. JeanmouginJ.D. ThompsonManolo GouyD.G. HigginsT.J. Gibson. Multiple sequence alignment with Clustal X
Trends in Biochemical Sciences, Elsevier, 1998, 23, pp.403-405
...
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
hal-00435018v1  Journal articles
J. GouzyF. CorpetD. Kahn. Graphical interface for ProDom domain families
Trends in Biochemical Sciences, Elsevier, 1996, 21, pp.121-127
hal-02304751v1  Journal articles
Jean-Marie DelpuechC. DupontRoland Allemand. Decrease in Fecundity Induced by Interspecific Mating Between Two Trichogramma Parasitoid Species
Journal of Economic Entomology, Entomological Society of America, 2010, 103 (2), pp.308-313
hal-01913945v1  Journal articles
Joel SjöstrandAli TofighVincent DaubinLars ArvestadBengt Sennblad et al.  A Bayesian Method for Analyzing Lateral Gene Transfer
Systematic Biology, Oxford University Press (OUP), 2014, 63 (3), pp.409 - 420. ⟨10.1093/sysbio/syu007⟩
...
inria-00087226v5  Journal articles
Julien CarmeRémi GilleronAurélien LemayJoachim Niehren. Interactive Learning of Node Selecting Tree Transducers
Machine Learning, Springer Verlag, 2007, Machine Learning, 66 (1), pp.33-67. ⟨10.1007/s10994-006-9613-8⟩