Filtrer vos résultats
- 15
- 11
- 1
- 22
- 4
- 1
- 1
- 25
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 6
- 2
- 5
- 3
- 1
- 1
- 23
- 4
- 24
- 15
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 27
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
27 résultats
|
|
|
triés par
|
Secure program partitioning for hardware-based software protectionFirst International Workshop on Remote Entrusting (RE-TRUST 2008), Oct 2008, Trento, Italy. pp.1-3
Communication dans un congrès
hal-00406484v1
|
|||
Automated extraction of polymorphic virus signatures using abstract interpretationNetwork and System Security, 2011, Italy. pp.41-48
Communication dans un congrès
hal-01007645v1
|
|||
|
|
Rapport scientifique final du projet E-Fran PERSEVERONS[Rapport de recherche] Université de Bordeaux. 2022
Rapport
hal-03723508v1
|
||
A constructive solution of the language inequation XA ⊆ BXTheory and Applications of Language Equations, 2007, Finland. pp.76-84
Communication dans un congrès
hal-00315767v1
|
|||
|
|
An experiment of low cost entertainment roboticsRO-MAN 2013, Aug 2013, France. pp.820 - 825, ⟨10.1109/ROMAN.2013.6628414⟩
Communication dans un congrès
hal-01006397v1
|
||
|
|
The BINCOA Framework for Binary Code AnalysisComputer Aided Verification, 2011, United Kingdom. pp.165-170, ⟨10.1007/978-3-642-22110-1_13⟩
Communication dans un congrès
hal-01006499v1
|
||
Distance Labeling in Hyperbolic Graphs16th Annual International Symposium on Algorithms and Computation, ISAAC, 2005, France. pp.1071-1081
Communication dans un congrès
hal-00353638v1
|
|||
Context-free categorical grammars3rd International Conference on Algebraic Informatics, 2009, Thessaloniki, Greece. To appear
Communication dans un congrès
hal-00396387v1
|
|||
On effective construction of the greatest solution of language inequality XA ⊆ BXTheoretical Computer Science, 2014, 528, pp.12-31
Article dans une revue
hal-01007644v1
|
|||
|
|
Maturational constraints for motor learning in high-dimensions: the case of biped walkingHUMANOID 2011, Oct 2011, Bled, Slovenia
Communication dans un congrès
hal-00649333v1
|
||
Pullback Grammars are Context-Free4th International Conference on Graph Transformation (ICGT'08), 2008, Leicaster, United Kingdom. To be published
Communication dans un congrès
hal-00315766v1
|
|||
Design of an Industrial Human-Robot System Through Participative Simulations – Tank Cleaning Case StudyIEEE/SICE International Symposium on System Integration, Dec 2017, Taïwan, China
Communication dans un congrès
hal-01667727v1
|
|||
A smartcard power analysis simulatorIEEE International Symposium on Trusted Computing and Communication, Aug 2009, Canada. To appear
Communication dans un congrès
hal-00396385v1
|
|||
Entrusting Remote Software Executed in an Untrusted Computation HelperInternational Conference on Network and Service Security, May 2009, Paris, France. pp.1-5
Communication dans un congrès
hal-00998200v1
|
|||
Le déséquilibre de l’apprentissageInterstices, 2012
Article dans une revue
hal-01350304v1
|
|||
|
|
Classification des Systèmes CobotiquesIngénierie cognitique, 2018, 1 (1)
Article dans une revue
hal-01943946v1
|
||
Automated Software Protection through Program Externalization on Memory-Limited Secure DevicesInternational Conference on Embedded and Ubiquitous Computing (EUC), 2010, Hong Kong SAR China
Communication dans un congrès
hal-01007664v1
|
|||
|
|
Acroban the Humanoid: Playful and Compliant Physical Child-Robot InteractionACM SIGGRAPH'2010 Emerging Technologies, 2010, Los Angeles, United States
Communication dans un congrès
inria-00541786v1
|
||
|
|
Rhoban Football Club: RoboCup Humanoid KidSize 2019 Champion Team Paper23rd Annual RoboCup International Symposium 2019, Jul 2019, Sydney, Australia
Communication dans un congrès
hal-02330530v1
|
||
|
|
Modeling maturational constraints for learning biped humanoid locomotionICDL2011, Aug 2011, France
Communication dans un congrès
hal-00652417v1
|
||
Entrusting Remote Software Executed in an Untrusted Computation HelperNetwork and Service Security (N2S'2009), Jun 2009, Paris, France. To appear
Communication dans un congrès
hal-00396386v1
|
|||
|
|
Exploring robust, intuitive and emergent physical human-robot interaction with the humanoid AcrobanIEEE-RAS International Conference on Humanoid Robots, 2011, Bled, Slovenia
Communication dans un congrès
hal-00652126v1
|
||
|
|
Bio-inspired vertebral column, compliance and semi-passive dynamics in a lightweight robotInternational Conference on Robots and Systems, Jul 2011, San Francisco, United States
Communication dans un congrès
hal-00818427v1
|
||
VisAA: Visual Analyzer for AssemblerInternational Conference on Risks and Security of Internet and Systems, 2008, Tunisia. To be published
Communication dans un congrès
hal-00315768v1
|
|||
Sûreté de fonctionnement et sécurité des algorithmes cryptographiquesMISC : multi-system & internet security cookbook, 2009, 42, pp.6
Article dans une revue
hal-00353222v1
|
|||
Modeling Long-Term Signature Validation for Resolution of DisputeTheory of Security and Applications, TOSCA'2011, Mar 2011, Saarbrücken, Germany. pp.78-97
Communication dans un congrès
hal-00998203v1
|
|||
|
|
Human-centered Design of an Interactive Industrial Robot System Through Participative Simulations: Application to a Pyrotechnic Tank Cleaning Workstation26th IEEE International Symposium on Robot and Human Interactive Communication, IEEE, Aug 2017, Lisbon, Portugal
Communication dans un congrès
hal-01672742v1
|