Filter your results
- 71
- 46
- 7
- 47
- 31
- 17
- 12
- 10
- 3
- 3
- 1
- 30
- 1
- 122
- 32
- 12
- 10
- 7
- 6
- 2
- 2
- 1
- 2
- 6
- 8
- 8
- 6
- 4
- 4
- 7
- 5
- 2
- 2
- 7
- 4
- 4
- 2
- 4
- 3
- 4
- 3
- 2
- 3
- 3
- 1
- 2
- 2
- 4
- 3
- 8
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 102
- 22
- 124
- 50
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
- 18
- 15
- 13
- 8
- 8
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
The ESTEREL language[Research Report] RR-1487, INRIA. 1991
Reports
inria-00075075v1
|
||
|
Is Energy Storage an Economic Opportunity for the Eco-Neighborhood?Netnomics: Economic Research and Electronic, 2013, 13 (3), pp.191-216. ⟨10.1007/s11066-013-9075-7⟩
Journal articles
hal-00758916v3
|
||
|
Contrôle multi-objectifs d'ordre réduitAutre [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 discoursSynergies Monde méditerranéen, 2022, 8
Journal articles
hal-03512054v1
|
|||
|
An autograph primer[Research Report] RT-0112, INRIA. 1989, pp.30
Reports
inria-00070054v1
|
||
L-Infinity approximation of a parabolic system regarded as a delay systemSystems and Control Letters, 1994, 22 (6), pp.457-465
Journal articles
hal-00505088v1
|
|||
Haziness for common sensical inference from uncertain and inconsistent linear knowledge base20th 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
|
|||
|
Wind Farm Portfolio Optimization under Network Capacity ConstraintsEuropean Journal of Operational Research, 2015, 247 (2), pp.560-574. ⟨10.1016/j.ejor.2015.05.080⟩
Journal articles
hal-01007992v4
|
||
|
Energy Demand Prediction in a Charge Station: A Comparison of Statistical Learning ApproachesEuropean Electric Vehicle Congress 2012, Nov 2012, Bruxelles, Belgium
Conference papers
hal-00741218v2
|
||
|
Modular Compilation of a Synchronous LanguageRoger 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
|
||
|
Modular Compilation of a Synchronous Language[Research Report] RR-6424, INRIA. 2008, pp.61
Reports
inria-00213472v2
|
||
A convergent finite element scheme for a wave equation with a moving boundaryJean-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 ESTERELJonsson, 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 simulatorsControl Engineering Practice, 2009, 17 (9), pp.995-1003. ⟨10.1016/j.conengprac.2009.03.002⟩
Journal articles
istex
hal-00504955v1
|
|||
|
The FCTOOLS User Manual (Version 1.0)[Technical Report] RT-0191, INRIA. 1996, pp.34
Reports
inria-00069980v1
|
||
|
The chemical abstract machine[Research Report] RR-1133, INRIA. 1989
Reports
inria-00075426v1
|
||
Hybrid motion cueing algorithms for Redundant Advanced Driving Simulators4th 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 systems44th 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 networks23rd International Symposium on Mathematical Programming (ISMP 2018), Jul 2018, Bordeaux, France
Conference papers
hal-01980672v1
|
|||
Approches déclaratives de l'optimisation combinatoireJourné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 evolutionSophI.A Summit, Nov 2020, Sophia-Antipolis, France
Conference papers
hal-03016229v1
|
|||
|
Minimal information sensor system for indoor tracking of several persons2019
Preprints, Working Papers, ...
hal-02315252v1
|
||
|
Deep Reinforcement Learning for Optimal Energy Management of Multi-energy Smart GridsLecture Notes in Computer Science, 2022, pp.15 - 30. ⟨10.1007/978-3-030-95470-3_2⟩
Journal articles
hal-03587262v1
|
||
|
Simulation of patient-specific glioma models for therapy planningModeling and Simulation. Ecole Nationale Supérieure des Mines de Paris, 2014. English. ⟨NNT : 2014ENMP0064⟩
Theses
tel-01144425v1
|
||
|
Process calculi, from theory to practice : verification tools[Research Report] RR-1098, INRIA. 1989
Reports
inria-00075461v1
|
||
|
Systèmes réactifs et programmation synchrone[Rapport de recherche] RR-0524, INRIA. 1986
Reports
inria-00076030v1
|
||
|
Synchronous programming of reactive systems: an introduction to ESTEREL[Research Report] RR-0647, INRIA. 1987
Reports
inria-00075906v1
|
||
Extraction of coupling parameters for microwave filters: Determination of a stable rational model from scattering data2003 IEEE MTT-S International Microwave Symposium Digest, Jun 2003, Philadelphia, United States. pp.25-28
Conference papers
hal-00504779v1
|
|||
|
Source localization using rational approximation on plane sections[Research Report] RR-7704, INRIA. 2011, pp.29
Reports
inria-00613644v2
|
||
|
Active contour segmentation with a parametric shape prior: Link with the shape gradientInternational Conference on Image Processing (ICIP), Oct 2006, Atlanta, Georgia (GA), United States. pp.1
Conference papers
hal-00417711v1
|