Authors: Rolet, Philippe, Sebag, Michèle, Teytaud, Olivier
Contributors: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Machine Learning and Optimisation (TAO), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Algorithmic number theory for cryptology (TANC), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France
Superior Title: ECML ; https://inria.hal.science/inria-00433866 ; ECML, 2009, Bled, Slovenia. pp.302-317
Subject Terms: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.7: Probabilistic algorithms (including Monte Carlo), ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.13: Statistical computing, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: inria-00433866; https://inria.hal.science/inria-00433866; https://inria.hal.science/inria-00433866/document; https://inria.hal.science/inria-00433866/file/BALO.pdf
Availability:
https://inria.hal.science/inria-00433866
https://inria.hal.science/inria-00433866/document
https://inria.hal.science/inria-00433866/file/BALO.pdf
Contributors: Université de Montréal (UdeM), Secure and Safe Hardware (SSH), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Département Communications & Electronique (COMELEC), Télécom ParisTech, Secure-IC S.A.S, Institut Mines-Télécom Paris (IMT), Embedded Security and Cryptography / Sécurité cryptographie embarquée (EMSEC), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Communications Numériques (COMNUM), Lejla Batina, Matthew Robshaw
Superior Title:
16th Workshop on Cryptographic Hardware and Embedded Systems (CHES 2014)
https://telecom-paris.hal.science/hal-02300004
Lejla Batina
Matthew Robshaw. 16th Workshop on Cryptographic Hardware and Embedded Systems (CHES 2014), Sep 2014, Busan, South Korea. Springer, Lecture Notes in Computer Science, 8731, 2014, Cryptographic Hardware and Embedded Systems – CHES 2014 16th International Workshop, Busan, South Korea, September 23-26, 2014. Proceedings
https://link.springer.com/book/10.1007/978-3-662-44709-3
Subject Terms: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT], [MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA], [MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Subject Geographic: Busan, South Korea
Relation: hal-02300004; https://telecom-paris.hal.science/hal-02300004; https://telecom-paris.hal.science/hal-02300004/document; https://telecom-paris.hal.science/hal-02300004/file/201409baillyguilleyheuserrioul.pdf
Availability:
https://doi.org/10.1007/978-3-662-44709-3
https://telecom-paris.hal.science/hal-02300004
https://telecom-paris.hal.science/hal-02300004/document
https://telecom-paris.hal.science/hal-02300004/file/201409baillyguilleyheuserrioul.pdf
Authors: Samih, Hamza, Bogusch, Ralf
Contributors: Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ALL4TEC RD Laval, ALL4TEC, Airbus, Airbus Group Germany, Airbus France -Airbus France, Airbus defence and space, European Project: 269335,EC:FP7:SP1-JTI,ARTEMIS-2010-1,MBAT(2011)
Superior Title:
18th International Software Product Line Conference (2014)
https://inria.hal.science/hal-01025159
18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy
Subject Terms: MaTeLo, Product Line Manager, Model-based Testing tool, OVM, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [SCCO.COMP]Cognitive science/Computer science
Time: Florence, Italy
Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT; hal-01025159; https://inria.hal.science/hal-01025159; https://inria.hal.science/hal-01025159/document; https://inria.hal.science/hal-01025159/file/MasterTexMPLM.pdf
Availability:
https://inria.hal.science/hal-01025159
https://inria.hal.science/hal-01025159/document
https://inria.hal.science/hal-01025159/file/MasterTexMPLM.pdf
Authors: Legay, Axel, Sedwards, Sean
Contributors: Efficient STAtistical methods in SYstems of systems (ESTASYS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), European Project: 288917,EC:FP7:ICT,FP7-ICT-2011-7,DALI(2011), European Project: 295261,EC:FP7:PEOPLE,FP7-PEOPLE-2011-IRSES,MEALS(2011), European Project: 287716,EC:FP7:ICT,FP7-ICT-2011-7,DANSE(2011), European Project: 318490,EC:FP7:ICT,FP7-ICT-2011-8,SENSATION(2012)
Superior Title: The 8th International Symposium on Theoretical Aspects of Software Engineering ; https://inria.hal.science/hal-01088859 ; The 8th International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsha, China
Subject Terms: Probability, Simulation, Statistical Model Check-ing, Experiments, Nondeterminism, Lightweight Verification, Markov Decision Process, [INFO]Computer Science [cs]
Relation: info:eu-repo/grantAgreement/EC/FP7/288917/EU/Devices for Assisted Living/DALI; info:eu-repo/grantAgreement/EC/FP7/295261/EU/Towards safer and more reliable, relevant and secure computer systems/MEALS; info:eu-repo/grantAgreement/EC/FP7/287716/EU/Designing for Adaptability and evolutioN in System of systems Engineering/DANSE; info:eu-repo/grantAgreement/EC/FP7/318490/EU/Self Energy-Supporting Autonomous Computation/SENSATION; hal-01088859; https://inria.hal.science/hal-01088859; https://inria.hal.science/hal-01088859/document; https://inria.hal.science/hal-01088859/file/LegaySedwards2014.pdf
Availability:
https://inria.hal.science/hal-01088859
https://inria.hal.science/hal-01088859/document
https://inria.hal.science/hal-01088859/file/LegaySedwards2014.pdf
Authors: Kordy, Barbara, Pouly, Marc, Schweitzer, Patrick
Contributors: Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA), Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), University of Luxembourg Luxembourg, Ecole Polytechnique Fédérale de Lausanne (EPFL), FNR Luxembourg, Elvira Albert and Emil Sekerinski, European Project: 318003,EC:FP7:ICT,FP7-ICT-2011-8,TRESPASS(2012)
Superior Title: Integrated Formal Methods ; https://hal.science/hal-01093276 ; Integrated Formal Methods, Sep 2014, Bertinoro, Italy. pp.256 - 271, ⟨10.1007/978-3-319-10181-1_16⟩ ; http://ifm2014.cs.unibo.it/
Subject Terms: attack trees, Bayesian networks, dependent actions, quantitative analysis of security, probability computation, semiring theory, attack-defense trees, security, AI, [INFO]Computer Science [cs]
Relation: info:eu-repo/grantAgreement/EC/FP7/318003/EU/Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security/TRESPASS; hal-01093276; https://hal.science/hal-01093276; https://hal.science/hal-01093276/document; https://hal.science/hal-01093276/file/iFM14.pdf
Authors: Gramoli, Vincent, Kermarrec, Anne-Marie, Mostefaoui, Achour, Raynal, Michel, Sericola, Bruno
Contributors: As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Architectures and network models (ARMOR), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Ecole Nationale Supérieure des Télécommunications de Bretagne
Superior Title: Proceedings of the Workshop on Reliability in Decentralized Distributed Systems ; https://inria.hal.science/inria-00201164 ; Proceedings of the Workshop on Reliability in Decentralized Distributed Systems, Nov 2006, Montpellier, France. pp.1470--1479
Subject Terms: core, churn, data persistence, quorum, atomicity, probability, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Subject Geographic: Montpellier, France
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0801.1419; inria-00201164; https://inria.hal.science/inria-00201164; https://inria.hal.science/inria-00201164/document; https://inria.hal.science/inria-00201164/file/camera-ready.pdf; ARXIV: 0801.1419
Availability:
https://inria.hal.science/inria-00201164
https://inria.hal.science/inria-00201164/document
https://inria.hal.science/inria-00201164/file/camera-ready.pdf
Authors: Lejay, Antoine, Maire, Sylvain, Pichot, Géraldine
Contributors: TO Simulate and CAlibrate stochastic models (TOSCA), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Simulations and Algorithms on Grids for Environment (SAGE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Mathematisches Forschungsinstitut Oberwolfach, Bail, Guillaume and Engquist, Björn and Le Bris, Claude and Owhadi, Houman, ANR-10-COSI-0008,SIMUDMRI,Simulation du signal d'IRM diffusion dans tissus biologiques(2010)
Superior Title: Interplay of Theory and Numerics for Deterministic and Stochastic Homogenization ; https://inria.hal.science/hal-00819900 ; Interplay of Theory and Numerics for Deterministic and Stochastic Homogenization, Mathematisches Forschungsinstitut Oberwolfach, Mar 2013, Oberwolfach, Germany. pp.38-30, ⟨10.4171/OWR/2013/14⟩
Subject Terms: interfaces, diffusion processes, Monte Carlo, Skew Brownian motion, snapping out Brownian motion, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Subject Geographic: Oberwolfach, Germany
Relation: hal-00819900; https://inria.hal.science/hal-00819900; https://inria.hal.science/hal-00819900/document; https://inria.hal.science/hal-00819900/file/oberwolfach-2013-lejay.pdf
Contributors: Dipartimento di Ingegneria e Scienza dell'Informazione (DISI), Università degli Studi di Trento (UNITN), Efficient STAtistical methods in SYstems of systems (ESTASYS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), European Project: 288917,EC:FP7:ICT,FP7-ICT-2011-7,DALI(2011)
Superior Title: CDC 2013 - IEEE 52nd Annual Conference on Decision and Control ; https://inria.hal.science/hal-01088031 ; CDC 2013 - IEEE 52nd Annual Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3602 - 3608, ⟨10.1109/CDC.2013.6760437⟩
Subject Terms: Probabilistic logic, Model checking, Prediction algorithms, probability, virtual reality, autonomous computing device, complex virtual environments, crowded environments, impaired ability comfort, impaired ability safety, local crowd dynamics, motion planning, portable device, real time sensor data, social force model, statistical model checking, temporal logical formulae, Force, Heuristic algorithms, pedestrians, path planning, handicapped aids, formal verification, control engineering computing, assisted living, Standards, [INFO]Computer Science [cs]
Time: Florence, Italy
Relation: info:eu-repo/grantAgreement/EC/FP7/288917/EU/Devices for Assisted Living/DALI; hal-01088031; https://inria.hal.science/hal-01088031; https://inria.hal.science/hal-01088031/document; https://inria.hal.science/hal-01088031/file/Colombo-et-al2013.pdf
Authors: Lo, Chung-Kung, Pedroni, Nicola, Zio, Enrico
Contributors: Chaire Sciences des Systèmes et Défis Energétiques EDF/ECP/Supélec (SSEC), Ecole Centrale Paris-Ecole Supérieure d'Electricité - SUPELEC (FRANCE)-CentraleSupélec-EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF)
Superior Title: Safety, Reliability and Risk Analysis: Beyond the Horizon ; Safety, Reliability and Risk Analysis, Beyond the Horizon, Proceedings of the European Safety and RELiability Conference (ESREL) 2013 ; https://centralesupelec.hal.science/hal-01104385 ; Safety, Reliability and Risk Analysis, Beyond the Horizon, Proceedings of the European Safety and RELiability Conference (ESREL) 2013, 2013, Amsterdam, Netherlands. pp.3321-3328, ⟨10.1201/b15938-505⟩
Subject Terms: [SPI.GCIV.GCN]Engineering Sciences [physics]/Civil Engineering/Génie civil nucléaire, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST]
Subject Geographic: Amsterdam, Netherlands
Relation: hal-01104385; https://centralesupelec.hal.science/hal-01104385; https://centralesupelec.hal.science/hal-01104385/document; https://centralesupelec.hal.science/hal-01104385/file/ESREL_The%20Baysian%20Update%20Process%20for%20belief%20functions%20of%20Dempster%20-%20v5%20-%20NP%20-%20RG.pdf
Availability:
https://doi.org/10.1201/b15938-505
https://centralesupelec.hal.science/hal-01104385
https://centralesupelec.hal.science/hal-01104385/document
https://centralesupelec.hal.science/hal-01104385/file/ESREL_The%20Baysian%20Update%20Process%20for%20belief%20functions%20of%20Dempster%20-%20v5%20-%20NP%20-%20RG.pdf
Contributors: Organ Modeling through Extraction, Representation and Understanding of Medical Image Content (GALEN), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Ecole Centrale Paris, Centre de vision numérique (CVN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec, Computer Science Department SUNY, Stony Brook University SUNY (SBU), State University of New York (SUNY)-State University of New York (SUNY), Department of Computer Science Stonybrook - NY, Laboratory of Molecular Neuropsychiatry, Icahn School of Medicine at Mount Sinai New York (MSSM), IEEE
Superior Title: International Symposium on Biomedical Imaging ; https://inria.hal.science/hal-00784386 ; International Symposium on Biomedical Imaging, IEEE, Apr 2013, San Francisco, United States
Subject Terms: Functional magnetic resonance imaging (fMRI), variable selection, sparsity regularization, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.13: Statistical computing, [STAT.ML]Statistics [stat]/Machine Learning [stat.ML]
Subject Geographic: San Francisco, United States
Relation: hal-00784386; https://inria.hal.science/hal-00784386; https://inria.hal.science/hal-00784386/document; https://inria.hal.science/hal-00784386/file/fMRIkSupport.pdf
Availability:
https://inria.hal.science/hal-00784386
https://inria.hal.science/hal-00784386/document
https://inria.hal.science/hal-00784386/file/fMRIkSupport.pdf
Authors: Cottereau, R., Clouteau, D., Soize, Christian, Le Guennec, Y.
Contributors: Laboratoire de mécanique des sols, structures et matériaux (MSSMat), CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Modélisation et Simulation Multi Echelle (MSME), Université Paris-Est Marne-la-Vallée (UPEM)-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: CSMA 2013, 11e Colloque National en Calcul des Structures ; https://hal.science/hal-00808859 ; CSMA 2013, 11e Colloque National en Calcul des Structures, May 2013, Presqu'île de Giens, Giens (Var), France. pp.1-2
Subject Terms: [SPI.MECA]Engineering Sciences [physics]/Mechanics [physics.med-ph], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Subject Geographic: Presqu'île de Giens, Giens (Var), France
Relation: hal-00808859; https://hal.science/hal-00808859; https://hal.science/hal-00808859/document; https://hal.science/hal-00808859/file/conference-2013-CSMA-Giens-13-17-mai-cottereau-clouteau-soize-leguennec-preprint.pdf
Availability:
https://hal.science/hal-00808859
https://hal.science/hal-00808859/document
https://hal.science/hal-00808859/file/conference-2013-CSMA-Giens-13-17-mai-cottereau-clouteau-soize-leguennec-preprint.pdf
Authors: El Mekeddem, Hicham, Lévy Véhel, Jacques
Contributors: SMABTP, Probabilistic modelling of irregularity and application to uncertainties management ( Regularity ), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Mathématiques Appliquées aux Systèmes - EA 4037 (MAS), Ecole Centrale Paris
Superior Title:
30th International French Finance Association Conference
https://inria.hal.science/hal-00868634
30th International French Finance Association Conference, May 2013, Lyon, France
Subject Terms: [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: hal-00868634; https://inria.hal.science/hal-00868634; https://inria.hal.science/hal-00868634/document; https://inria.hal.science/hal-00868634/file/Value_at_Risk_with_tempered_multistable.pdf
Availability:
https://inria.hal.science/hal-00868634
https://inria.hal.science/hal-00868634/document
https://inria.hal.science/hal-00868634/file/Value_at_Risk_with_tempered_multistable.pdf
Authors: Diao, Jun, de Reffye, Philippe, Lei, Xiangdong, Guo, Hong, Letort, Veronique
Contributors: Research Institute of Forest Resource Information Techniques, Chinese Academy of Forestry, Botanique et Modélisation de l'Architecture des Plantes et des Végétations (UMR AMAP), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD France-Sud ), Mathématiques Appliquées aux Systèmes - EA 4037 (MAS), Ecole Centrale Paris, Modélisation de la croissance et de l'architecture des plantes (DIGIPLANTE), Ecole Centrale Paris-Ecole Centrale Paris-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Superior Title: ISSN: 0168-1699 ; Computers and Electronics in Agriculture ; https://hal.science/hal-00651975 ; Computers and Electronics in Agriculture, 2012, 80, pp.105-114. ⟨10.1016/j.compag.2011.10.019⟩.
Subject Terms: Eucalyptus, Survival probability, Mortality probability, Rhythm ratio, Random tree topological development, [SDV.BV]Life Sciences [q-bio]/Vegetal Biology, [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [STAT.TH]Statistics [stat]/Statistics Theory [stat.TH]
Relation: hal-00651975; https://hal.science/hal-00651975; https://hal.science/hal-00651975/document; https://hal.science/hal-00651975/file/Diao_Eucalyptus_tree_CEA_joli.pdf; PRODINRA: 245839; WOS: 000299714900013
Authors: Echelard, Antoine, Lévy Véhel, Jacques
Contributors: Probabilistic modelling of irregularity and application to uncertainties management ( Regularity ), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Mathématiques Appliquées aux Systèmes - EA 4037 (MAS), Ecole Centrale Paris
Superior Title: Imaging and Signal Processing in Health Care and Technology ; https://inria.hal.science/hal-00670064 ; Imaging and Signal Processing in Health Care and Technology, May 2012, Baltimore, United States
Subject Terms: [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Subject Geographic: Baltimore, United States
Relation: hal-00670064; https://inria.hal.science/hal-00670064; https://inria.hal.science/hal-00670064/document; https://inria.hal.science/hal-00670064/file/SRPECG.pdf
Availability:
https://inria.hal.science/hal-00670064
https://inria.hal.science/hal-00670064/document
https://inria.hal.science/hal-00670064/file/SRPECG.pdf
Contributors: Département informatique (INFO), Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom Paris (IMT), Département Optique (OPT), Réseaux d'opérateurs (REOP), Télécom Bretagne-RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES (IRISA-D2), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Institut Supérieur de Sciences Appliquées et de Technologie Damas (ISSAT Damas), Institut Supérieur de Sciences Appliquées et de Technologie
Superior Title: Proceedings 1st European Teletraffic Seminar ; 1st European Teletraffic Seminar ; https://hal.science/hal-02282369 ; 1st European Teletraffic Seminar, Feb 2011, Poznan, Poland
Subject Terms: Resource reservation protocol, Best effort class, MAC protocol, Optical packet switching, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [SPI.OPTI]Engineering Sciences [physics]/Optics / Photonic, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: hal-02282369; https://hal.science/hal-02282369; https://hal.science/hal-02282369/document; https://hal.science/hal-02282369/file/ETS_final_AG.pdf
Availability:
https://hal.science/hal-02282369
https://hal.science/hal-02282369/document
https://hal.science/hal-02282369/file/ETS_final_AG.pdf
Authors: Baey, Charlotte, Cournède, Paul-Henry
Contributors: Mathématiques Appliquées aux Systèmes - EA 4037 (MAS), Ecole Centrale Paris, Modélisation de la croissance et de l'architecture des plantes (DIGIPLANTE), Ecole Centrale Paris-Ecole Centrale Paris-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Superior Title:
14th Applied Stochastic Models and Data Analysis International Conference (ASMDA 2011)
https://inria.hal.science/inria-00602419
14th Applied Stochastic Models and Data Analysis International Conference (ASMDA 2011), Jun 2011, Rome, Italy
Subject Terms: ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.1: Correlation and regression analysis, [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [STAT.TH]Statistics [stat]/Statistics Theory [stat.TH], [STAT.AP]Statistics [stat]/Applications [stat.AP]
Relation: inria-00602419; https://inria.hal.science/inria-00602419; https://inria.hal.science/inria-00602419/document; https://inria.hal.science/inria-00602419/file/BaeyCournede_ASMDA2011.pdf
Availability:
https://inria.hal.science/inria-00602419
https://inria.hal.science/inria-00602419/document
https://inria.hal.science/inria-00602419/file/BaeyCournede_ASMDA2011.pdf
Contributors: Machine Learning and Optimisation (TAO), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Informatique, Mathématiques et Automatique pour la Route Automatisée (IMARA), Inria Paris-Rocquencourt
Superior Title: TGF'11 - Traffic and Granular Flow ; https://inria.hal.science/hal-00646988 ; TGF'11 - Traffic and Granular Flow, Sep 2011, Moscou, Russia
Subject Terms: [PHYS.COND.CM-SM]Physics [physics]/Condensed Matter [cond-mat]/Statistical Mechanics [cond-mat.stat-mech], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: hal-00646988; https://inria.hal.science/hal-00646988; https://inria.hal.science/hal-00646988/document; https://inria.hal.science/hal-00646988/file/tgf11.pdf
Availability:
https://inria.hal.science/hal-00646988
https://inria.hal.science/hal-00646988/document
https://inria.hal.science/hal-00646988/file/tgf11.pdf
Authors: Fayolle, Guy, Furtlehner, Cyril
Contributors: Informatique, Mathématiques et Automatique pour la Route Automatisée (IMARA), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Machine Learning and Optimisation (TAO), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institute for Information Transmission Problems (Russian Academy of Sciences), Russian Academy od Sciences
Superior Title: International Mathematical Conference "50 YEARS OF IITP" ; https://inria.hal.science/hal-00662674 ; International Mathematical Conference "50 YEARS OF IITP", Institute for Information Transmission Problems (Russian Academy of Sciences), Jul 2011, Moscow, Russia
Subject Terms: Cauchy problem, exclusion process, functional integration, hydrodynamic limit, martingale, weak solution, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1201.5185; hal-00662674; https://inria.hal.science/hal-00662674; https://inria.hal.science/hal-00662674/document; https://inria.hal.science/hal-00662674/file/Fayolle-IPPI-50.pdf; ARXIV: 1201.5185
Availability:
https://inria.hal.science/hal-00662674
https://inria.hal.science/hal-00662674/document
https://inria.hal.science/hal-00662674/file/Fayolle-IPPI-50.pdf
Authors: Baraldi, Piero, Popescu, Irina Crenguta, Zio, Enrico
Contributors: Dipartimento di Energia Milano, Politecnico di Milano Milan (POLIMI), Chaire Sciences des Systèmes et Défis Energétiques EDF/ECP/Supélec (SSEC), Ecole Centrale Paris-Ecole Supérieure d'Electricité - SUPELEC (FRANCE)-CentraleSupélec-EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF)
Superior Title: ISSN: 0973-1318 ; International Journal of Performability Engineering ; https://centralesupelec.hal.science/hal-00609156 ; International Journal of Performability Engineering, 2010, 6 (4), pp.303-330.
Subject Terms: Prognostics, reliability prediction, Time to failure prediction, uncertainty representation and propagation, probability, possibility, Monte Carlo simulation, fatigue crack growth, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [SPI.NRJ]Engineering Sciences [physics]/Electric power, [STAT.ML]Statistics [stat]/Machine Learning [stat.ML], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Relation: hal-00609156; https://centralesupelec.hal.science/hal-00609156; https://centralesupelec.hal.science/hal-00609156/document; https://centralesupelec.hal.science/hal-00609156/file/ANNO_2010_6.pdf
Availability:
https://centralesupelec.hal.science/hal-00609156
https://centralesupelec.hal.science/hal-00609156/document
https://centralesupelec.hal.science/hal-00609156/file/ANNO_2010_6.pdf
Authors: Zio, Enrico, Apostolakis, George, Pedroni, Nicola
Contributors: Chaire Sciences des Systèmes et Défis Energétiques EDF/ECP/Supélec (SSEC), Ecole Centrale Paris-Ecole Supérieure d'Electricité - SUPELEC (FRANCE)-CentraleSupélec-EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF), Department of Nuclear Science and Engineering, Massachusetts Institute of Technology (MIT), Dipartimento di Energia Milano, Politecnico di Milano Milan (POLIMI)
Superior Title: ISSN: 0306-4549 ; Annals of Nuclear Energy ; https://centralesupelec.hal.science/hal-00609176 ; Annals of Nuclear Energy, 2010, 37 (5), pp.639-649. ⟨10.1016/j.anucene.2010.02.012⟩.
Subject Terms: Functional filure probability, Natural circulation, Artificial Neural Network, Bootstrap, Confidence interval, Computational cost, [STAT.ML]Statistics [stat]/Machine Learning [stat.ML], [SPI.NRJ]Engineering Sciences [physics]/Electric power, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Relation: hal-00609176; https://centralesupelec.hal.science/hal-00609176; https://centralesupelec.hal.science/hal-00609176/document; https://centralesupelec.hal.science/hal-00609176/file/anno_2010_14.pdf