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⟩
lirmm-00447972v1  Journal articles
Milan DjilasChristine Azevedo CosteDavid GuiraudKenichi Yoshida. Spike Sorting of Muscle Spindle Afferent Nerve Activity Recorded With Thin-Film Intrafascicular Electrodes
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2010, Special Issue "Signal Processing for Neural Spike Trains", pp.10
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⟩
lirmm-02307824v1  Journal articles
Francesco Maria PetriniGiacomo ValleMarko BumbasirevicFederica BarberiDario Bortolotti et al.  Enhancing functional abilities and cognitive integration of the lower limb prosthesis
Science Translational Medicine, American Association for the Advancement of Science, 2019, 11 (512), pp.eaav8939. ⟨10.1126/scitranslmed.aav8939⟩
hal-01250438v2  Conference papers
Guillaume CostesequeAurélien Duret. Mesoscopic multiclass traffic flow modeling on multi-lane sections
95th annual meeting transportation research board - TRB, Jan 2016, Washington DC, United States. pp.27
hal-01982895v1  Journal articles
Hassan FahsG. OvarlezXavier Chateau. Pair-particle trajectories in a shear flow of a Bingham fluid
Journal of Non-Newtonian Fluid Mechanics, Elsevier, 2018, 261, pp.171-187. ⟨10.1016/j.jnnfm.2018.07.010⟩
hal-01250366v1  Conference papers
Aurélien DuretGuillaume Costeseque. Mesoscopic multi class traffic flow model - multilane modeling and application to diverge
EWGT 2015 - 18th Euro working group on transportation, Jul 2015, Delft, France. 26 p
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