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-00339402v2  Theses
Mouhamad Ibrahim. Routing and performance evaluation of disruption tolerant networks
Modeling and Simulation. Université Nice Sophia Antipolis, 2008. English
tel-00671181v1  Theses
Anca Belme. Unsteady Aerodynamics and Adjoint Method
Analysis of PDEs [math.AP]. Université Nice Sophia Antipolis, 2011. 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-00629909v1  Journal articles
Nacim RamdaniNacim MeslemYves Candau. Computing reachable sets for uncertain nonlinear monotone systems
Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 4 (2), pp.263-278
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⟩
hal-01978795v1  Conference papers
Arthur LebéeLaurent MonasseH. Nassar. Fitting surfaces with the Miura tessellation
7th International Meeting on Origami in Science, Mathematics and Education (7OSME), Sep 2018, Oxford, United Kingdom. pp.811
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-00087024v3  Journal articles
Laurent BaratchartJean-Baptiste Pomet. On local linearization of control systems
Journal of Dynamical and Control Systems, Springer Verlag, 2009, 15 (4), pp.471-536. ⟨10.1007/s10883-009-9077-9⟩
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-00871724v1  Journal articles
Angelo MurroneHervé Guillard. A five equation reduced model for compressible two phase flow problems
Journal of Computational Physics, Elsevier, 2005, 202 (2), pp.664 - 698. ⟨10.1016/⟩
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/⟩
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/⟩
hal-00739512v1  Journal articles
Bernard MourrainVictor Pan. Multivariate Polynomials, Duality, and Structured Matrices
Journal of Complexity, Elsevier, 2000, 16 (1), pp.110 - 180. ⟨10.1006/jcom.1999.0530⟩