Search - Centre de Mathématiques Appliquées Access content directly

Filter your results

124 Results
Domains : info
Image document

The ESTEREL language

Frédéric Boussinot , Robert De Simone
[Research Report] RR-1487, INRIA. 1991
Reports inria-00075075v1
Image document

Is Energy Storage an Economic Opportunity for the Eco-Neighborhood?

Hélène Le Cadre , David Mercier
Netnomics: Economic Research and Electronic, 2013, 13 (3), pp.191-216. ⟨10.1007/s11066-013-9075-7⟩
Journal articles hal-00758916v3
Image document

Contrôle multi-objectifs d'ordre réduit

Christian Fischer
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2011. Français. ⟨NNT : 2011ENMP0033⟩
Theses pastel-00644122v1

Pollution lumineuse et environnement nocturne : entre stratégie et discours

Laetitia Bastari , Sandrine Selosse
Synergies Monde méditerranéen, 2022, 8
Journal articles hal-03512054v1
Image document

An autograph primer

Valérie Roy , Robert de Simone
[Research Report] RT-0112, INRIA. 1989, pp.30
Reports inria-00070054v1

L-Infinity approximation of a parabolic system regarded as a delay system

Nadia Maïzi
Systems and Control Letters, 1994, 22 (6), pp.457-465
Journal articles hal-00505088v1

Haziness for common sensical inference from uncertain and inconsistent linear knowledge base

Lionel Daniel
20th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'08, Nov 2008, Dayton, OH, United States. pp.163-170 - Article number 4669770, ⟨10.1109/ICTAI.2008.11⟩
Conference papers hal-00614432v1
Image document

Wind Farm Portfolio Optimization under Network Capacity Constraints

Hélène Le Cadre , Anthony Papavasiliou , Yves Smeers
European Journal of Operational Research, 2015, 247 (2), pp.560-574. ⟨10.1016/j.ejor.2015.05.080⟩
Journal articles hal-01007992v4
Image document

Energy Demand Prediction in a Charge Station: A Comparison of Statistical Learning Approaches

Hélène Le Cadre , Cédric Auliac
European Electric Vehicle Congress 2012, Nov 2012, Bruxelles, Belgium
Conference papers hal-00741218v2
Image document

Modular Compilation of a Synchronous Language

Annie Ressouche , Daniel Gaffé , Valérie Roy
Roger Lee. Software Engineering Research, Management and Applications, 150, Springer, pp.151-171, 2008, Studies in Computational Intelligence, 978-3-540-70774-5. ⟨10.1007/978-3-540-70561-1⟩
Book sections inria-00523528v1
Image document

Modular Compilation of a Synchronous Language

Annie Ressouche , Daniel Gaffé , Valérie Roy
[Research Report] RR-6424, INRIA. 2008, pp.61
Reports inria-00213472v2

A convergent finite element scheme for a wave equation with a moving boundary

Jean-Paul Marmorat , G. Payre , Jean-Paul Zolésio
Jean-Paul Zolésio. Boundary Control and Boundary Variation. Proceedings of IFIP WG 7.2 Conference Sophia Antipolis, France, October 15 – 17, 1990, Springer Verlag, pp.297-308, ISBN 978-3-540-55351-9, 1990, Lecture Notes in Control and Information Sciences ; volume 178, ⟨10.1007/BFb0006703⟩
Book sections istex hal-00504869v1

Verifying synchronous reactive systems programmed in ESTEREL

Amar Bouali , Jean-Paul Marmorat , Robert de Simone , Horia Toma
Jonsson, Bengt, Parrow, Joachim. Formal Techniques in Real-Time and Fault-Tolerant Systems. 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings, Springer Verlag, Volume 1135, p. 463-466, ISBN 978-3-540-61648-1, 1996, Lecture Notes in Computer Science, ⟨10.1007/3-540-61648-9_57⟩
Book sections istex hal-00504846v1

Model-based predictive motion cueing strategy for vehicle driving simulators

Mehmet Dagdelen , Gilles Reymond , Andras Kemeny , Marc Bordier , Nadia Maïzi
Control Engineering Practice, 2009, 17 (9), pp.995-1003. ⟨10.1016/j.conengprac.2009.03.002⟩
Journal articles istex hal-00504955v1
Image document

The FCTOOLS User Manual (Version 1.0)

Amar Bouali , Annie Ressouche , Valérie Roy , Robert de Simone
[Technical Report] RT-0191, INRIA. 1996, pp.34
Reports inria-00069980v1
Image document

The chemical abstract machine

Gérard Berry , Gérard Boudol
[Research Report] RR-1133, INRIA. 1989
Reports inria-00075426v1

Hybrid motion cueing algorithms for Redundant Advanced Driving Simulators

Hatem Elloumi , Nadia Maïzi , Marc Bordier
4th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2007, May 2007, Angers, France. pp.209-216
Conference papers hal-00505058v1

An encompassing formalization of robust computed torque schemes of robot systems

Hatem Elloumi , Marc Bordier , Nadia Maïzi
44th IEEE Conference on Decision Control/European Control Conference (CCD-ECC'05), Dec 2005, Seville, Spain. pp.5281-5286 - ISBN 0-7803-9567-0
Conference papers hal-00505084v1

Global optimization for the pump scheduling problem in drinking water networks

Gratien Bonvin , Sophie Demassey , Andrea Lodi
23rd International Symposium on Mathematical Programming (ISMP 2018), Jul 2018, Bordeaux, France
Conference papers hal-01980672v1

Approches déclaratives de l'optimisation combinatoire

Sophie Demassey
Journée des doctorants LEAT et COV de l'Université de Nice (JDD 2018)., 2018, Nice, France
Conference papers hal-01980692v1

Using neural network to estimate the temperature in 2050 from urban land use and buildings evolution

Matthieu Denoux , Valérie Roy , Nadia Maïzi
SophI.A Summit, Nov 2020, Sophia-Antipolis, France
Conference papers hal-03016229v1
Image document

Minimal information sensor system for indoor tracking of several persons

Mohamed-Hédi Amri , Tania Jiménez , Yves Papegay , Odile Pourtallier , Valérie Roy
Preprints, Working Papers, ... hal-02315252v1
Image document

Deep Reinforcement Learning for Optimal Energy Management of Multi-energy Smart Grids

Dhekra Bousnina , Gilles Guerassimoff
Lecture Notes in Computer Science, 2022, pp.15 - 30. ⟨10.1007/978-3-030-95470-3_2⟩
Journal articles hal-03587262v1
Image document

Simulation of patient-specific glioma models for therapy planning

Erin Stretton
Modeling and Simulation. Ecole Nationale Supérieure des Mines de Paris, 2014. English. ⟨NNT : 2014ENMP0064⟩
Theses tel-01144425v1
Image document

Process calculi, from theory to practice : verification tools

Gérard Boudol , Valérie Roy , Robert de Simone , Didier Vergamini
[Research Report] RR-1098, INRIA. 1989
Reports inria-00075461v1
Image document

Systèmes réactifs et programmation synchrone

Gérard Berry , Philippe Couronne , Georges Gonthier
[Rapport de recherche] RR-0524, INRIA. 1986
Reports inria-00076030v1
Image document

Synchronous programming of reactive systems: an introduction to ESTEREL

Gérard Berry , Philippe Couronne , Georges Gonthier
[Research Report] RR-0647, INRIA. 1987
Reports inria-00075906v1

Extraction of coupling parameters for microwave filters: Determination of a stable rational model from scattering data

Fabien Seyfert , Laurent Baratchart , Jean-Paul Marmorat , Stéphane Bila , Jacques Sombrin
2003 IEEE MTT-S International Microwave Symposium Digest, Jun 2003, Philadelphia, United States. pp.25-28
Conference papers hal-00504779v1
Image document

Source localization using rational approximation on plane sections

Maureen Clerc , Juliette Leblond , Jean-Paul Marmorat , Théodore Papadopoulo
[Research Report] RR-7704, INRIA. 2011, pp.29
Reports inria-00613644v2
Image document

Active contour segmentation with a parametric shape prior: Link with the shape gradient

Eric Debreuve , Michel Barlaud , Jean-Paul Marmorat , Gilles Aubert
International Conference on Image Processing (ICIP), Oct 2006, Atlanta, Georgia (GA), United States. pp.1
Conference papers hal-00417711v1