Skip to Main content Skip to Navigation


...
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
...
cel-00529505v7  Lectures
Arnaud Legout. How to Give a Good Talk?
3rd cycle. France. 2013
...
tel-01108521v1  Theses
Mickaël Buchet. Topological inference from measures
Computational Geometry [cs.CG]. Université Paris Sud - Paris XI, 2014. English. ⟨NNT : 2014PA112367⟩
...
tel-00339402v2  Theses
Mouhamad Ibrahim. Routing and performance evaluation of disruption tolerant networks
Modeling and Simulation. Université Nice Sophia Antipolis, 2008. 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⟩
inria-00584205v1  Journal articles
Alexandre GramfortThéodore PapadopouloEmmanuel OliviMaureen Clerc. Forward Field Computation with OpenMEEG.
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2011, 2011, pp.923703. ⟨10.1155/2011/923703⟩
...
hal-02425684v1  Journal articles
Jisu KimAlessandro RinaldoLarry Wasserman. Minimax Rates for Estimating the Dimension of a Manifold
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2019, 10 (1), ⟨10.20382/jocg.v10i1a3⟩
hal-00907158v1  Journal articles
Rosa VilardiLuigi Alfredo GriecoChadi BarakatGennaro Boggia. Lightweight Enhanced Monitoring for High-speed Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2013, ⟨10.1002/ett.2637⟩
lirmm-00102834v1  Journal articles
Bruno GaujalEmmanuel HyonAlain Jean-Marie. Optimal Routing in two Parallel Queues with Exponential Service Times
Journal of Economic Behavior and Organization, Elsevier, 2006, 16 (1), pp.71-107
...
hal-01148347v1  Journal articles
Alberto CiaffaglioneLuigi LiquoriMarino Miculan. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning, Springer Verlag, 2007, Journal of Automated Reasoning, 39 (1), pp.1-47. ⟨10.1007/s10817-006-9061-y⟩
inria-00615646v1  Journal articles
Maxime SermesantKawal RhodeS. HegdeG. Sanchez-OrtizDaniel Rueckert et al.  Electromechanical Modelling of the Myocardium using XMR Interventional Imaging
Journal of Cardiovascular Magnetic Resonance, BioMed Central, 2004, 6 (1), pp.123--125
hal-00907710v1  Journal articles
Milan HladïkDavid DaneyElias Tsigaridas. An algorithm for addressing the real interval eigenvalue problem
Journal of Computational and Applied Mathematics, Elsevier, 2011, 235 (8), pp.2715 - 2730. ⟨10.1016/j.cam.2010.11.022⟩
...
hal-01413431v1  Journal articles
Gautier BrèthesAlain Dervieux. Anisotropic norm-oriented mesh adaptation for a Poisson problem
Journal of Computational Physics, Elsevier, 2016, 322, pp.804 - 826. ⟨10.1016/j.jcp.2016.07.008⟩
hal-00524758v1  Journal articles
Julien ForestDelia Kesner. Expression Reduction Systems with Patterns
Journal of Automated Reasoning, Springer Verlag, 2007, 39 (4), pp.513-541
hal-01423280v1  Journal articles
Joanne CarrDorian MazauricFrédéric CazalsDavid John Wales. Energy landscapes and persistent minima
Journal of Chemical Physics, American Institute of Physics, 2016, 144 (5), ⟨10.1063/1.4941052⟩
lirmm-00112647v1  Journal articles
Marie-Laure MugnierMichel Leclère. On Querying Simple Conceptual Graphs with Negation
Data and Knowledge Engineering, Elsevier, 2007, 60 (3), pp.468-493
...
hal-00923352v1  Journal articles
Xiaolan ZhangGiovanni NegliaJim KuroseDon TowsleyHaixiang Wang. Benefits of Network Coding in Disruption Tolerant Networks
IEEE/ACM Transactions on Networking, IEEE/ACM, 2013, 21 (5), pp.1407-1420. ⟨10.1109/TNET.2012.2224369⟩
...
inria-00615032v1  Journal articles
Stéphane CotinHervé DelingetteNicholas Ayache. Real-time elastic deformations of soft tissues for surgery simulation
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 1999, 5 (1), pp.62-73. ⟨10.1109/2945.764872⟩