Skip to Main content Skip to Navigation
New interface


hal-01707397v1  Book sections
Khadimoullah VencatasamyLuc JaulinBenoit Zerr. Secure a Zone from Intruders with a Group Robots
Luc Jaulin. Marine Robotics and Applications, Springer, pp.101-116, 2018, 978-3-319-70723-5. ⟨10.1007/978-3-319-70724-2_7⟩
hal-01171054v1  Book sections
Dambreville Frédéric. Optimizing a Sensor Deployment with Network Constraints Computable by Costly Requests
Ngoc Thanh Nguyen, Tao Pham Dinh, Hoai An Le Thi. Modelling, Computation and Optimization in Information Systems and Management Sciences, 360, Springer, pp.247-259, 2015, 978-3-319-18166-0. ⟨10.1007/978-3-319-18167-7_22⟩
hal-00843139v1  Book sections
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
hal-01271156v1  Book sections
Ion George TodoranLaurent LecornuAli KhenchafJean-Marc Le Caillec. Fusion Systems Evaluation: An information Quality Perspective
Multisensor data fusion : from algorithms and architectural design to applications, CRC Press, pp.147 - 156, 2015, Devices, Circuits, and Systems, 978-1-48-226374-9
hal-01833557v1  Book sections
Frédéric PlumetYves BriereFabrice Le Bars. Les voiliers robotisés
Conception, modélisation et commande en robotique, s7815, Techniques de l'ingénieur, pp.1-23, 2018
hal-01326533v1  Book sections
Luc JaulinLopez DanielDoze Vincent LeMenec Stéphane LeNinin Jordan et al.  Computing capture tubes
Scientific Computing, Computer Arithmetic, and Validated Numerics, 9553, Springer, pp.209-224, 2016, 978-3-319-31768-7. ⟨10.1007/978-3-319-31769-4_17⟩
hal-03752031v1  Book sections
Gabin FodopAurélien OlivierClément HoffmannAli MansourSandrine Jousse-Joulin et al.  Siamese Network for Salivary Glands Segmentation
Intelligent Decision Technologies, 309, Springer Nature Singapore, pp.449-457, 2022, Smart Innovation, Systems and Technologies, ⟨10.1007/978-981-19-3444-5_39⟩
hal-00517288v1  Book sections
Joël ChampeauPhilippe DhaussyFrançois MekerkeJean-Charles Roger. Model Management for Formal Validation
Summer School MDD4DRES, Hermes, pp.149-174, 2006
...
hal-02924428v1  Book sections
Didier DuboisLuc JaulinHenri Prade. Thick sets, multiple-valued mappings, and possibility theory
Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2020, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
hal-02515359v1  Book sections
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Proposed Algorithms to the State Explosion Problem
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
...
hal-00286568v1  Book sections
Arnaud MartinChristophe Osswald. A new generalization of the proportional conflict redistribution rule stable in terms of decision
Florentin Smarandache & Jean Dezert. Advances and Applications of DSmT for Information Fusion, American Research Press Rehoboth, pp.69-88, 2006
hal-01867601v1  Book sections
Luc JaulinN.R. MahatoS. Chakraverty. Fuzzy Matrix Contractor Based Approach for Localization of Robots
Recent Advances in Applications of Computational and Fuzzy Mathematics, Springer, 2018, 978-981-13-1152-9
...
hal-02565053v1  Book sections
Laurène MazeauJordan Ninin. Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts
Marie-Eve Arbour; Lara Khoury. Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude, Éditions Yvon Blais, 2019, 9782897305543
hal-02304760v1  Book sections
Ahmad Hani El FawalAli MansourMohamad Najem. V2V Influence on M2M and H2H Traffics During Emergency Scenarios
Global Advancements in Connected and Intelligent Mobility: Emerging Research and Opportunities, IGI Global, pp.93-134, 2019, 9781522590194. ⟨10.4018/978-1-5225-9019-4.ch003⟩
hal-01465960v1  Book sections
Abbass NasserAli MansourKoffi Clément YaoH. Abdallah. Spectrum Sensing for Half and Full-Duplex Cognitive Radio
Matin Mohammad. Spectrum Access and Management for Cognitive Radio Networks, Springer, pp.15-50, 2017, 978-981-10-2253-1. ⟨10.1007/978-981-10-2254-8_2⟩
hal-01139253v1  Book sections
Frédéric Dambreville. Planning Sensors with Cost-Restricted Subprocess Calls: A Rare-Event Simulation Approach
Springer. Advanced Computational Methods for Knowledge Engineering, Studies in Computational Intelligence (479), pp.91-104, 2013, Advanced Computational Methods for Knowledge Engineering, ⟨10.1007/978-3-319-00293-4⟩
hal-01936602v1  Book sections
Mohamed AbazaRaed MeslehAli MansourEl-Hadi M. Aggoune. Cooperative MIMO and multi-hop relaying techniques for free-space optical communications: a survey
Advanced Secure Optical Image Processing for Communications, IOP, pp.3.1-3.19, 2018, 978-0-7503-1455-8
hal-01090466v1  Book sections
Nader KhammassiJean-Christophe Le Lann. XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
hal-00862488v1  Book sections
Frédéric BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-00676041v1  Book sections
Luc Jaulin. Probabilistic set-membership state estimator
Mathematical Engineering, Springer-Verlag, Vol 3 p. 117-128, 2011, ⟨10.1007/978-3-642-15956-5⟩
...
hal-00286587v1  Book sections
Arnaud MartinChristophe Osswald. Generalized proportional conflict redistribution rule applied to Sonar imagery and Radar targets classification
Florentin Smarandache & Jean Dezert. Advances and Applications of DSmT for Information Fusion, American Research Press Rehoboth, pp.289-304, 2006
hal-00517473v1  Book sections
Denis AulagnierVéronique Le GallJoël Champeau. Synthèse d'architecture reconfigurable dans un contexte MDA
Synthèse d'architecture reconfigurable dans un contexte MDA, Non renseigne, pp.Non renseigne, 2004
hal-00862485v1  Book sections
Jérôme DelatourJoël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
...
hal-02520046v1  Book sections
Jérémy NicolaLuc Jaulin. Guaranteed Nonlinear Parameter Estimation with Additive Gaussian Noise
Olga Kosheleva; Sergey P. Shary; Gang Xiang; Roman Zapatrin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.341-357, 2020, Studies in Computational Intelligence, 978-3-030-31041-7 (Ebook); 978-3-030-31040-0 (Hardcover). ⟨10.1007/978-3-030-31041-7_19⟩
hal-00676423v1  Book sections
Philippe DhaussyJean-Charles RogerFrédéric Boniol. Context Aware Model-Checking for Embedded Software
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
...
hal-00828334v1  Book sections
Duc-Manh NguyenFrédéric DambrevilleAbdelmalek ToumiJean-Christophe CexusAli Khenchaf. A Column Generation Based Label Correcting Approach for the Sensor Management in an Information Collection Process
Nguyen, Ngoc Thanh and Do, Tien and Thi, Hoai An. Advanced Computational Methods for Knowledge Engineering, Springer International Publishing, pp.77-89, 2013, Studies in Computational Intelligence, ⟨10.1007/978-3-319-00293-4_7⟩