182 results on '"Linard A"'
Search Results
2. Automated Difficulty Assessment Model for Platformer Games: A Comprehensive Approach.
3. Real-Time RRT* with Signal Temporal Logic Preferences.
4. Sound Verification of Security Protocols: From Design to Interoperable Implementations.
5. A Generic Methodology for the Modular Verification of Security Protocol Implementations.
6. Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters.
7. Value Generation in the Product Lifecycle with Digital Twins: Status Quo in Swiss Companies.
8. Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference.
9. Gobra: Modular Specification and Verification of Go Programs.
10. Should Robots Chicken?: How Anthropomorphism and Perceived Autonomy Influence Trajectories in a Game-theoretic Problem.
11. Full Key Recovery Side-Channel Attack Against Ephemeral SIKE on the Cortex-M4.
12. Systematization of Digital Twins: Ontology and Conceptual Framework.
13. Active Learning of Signal Temporal Logic Specifications.
14. Learning Unions of k-Testable Languages.
15. An Application of Hyper-Heuristics to Flexible Manufacturing Systems.
16. Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm.
17. An Application of Geographical Random Forests for Population Estimation in Dakar, Senegal using Very-High-Resolution Satellite Imagery.
18. CREST - A DSL for Reactive Cyber-Physical Systems.
19. A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.
20. Petri Sport: A Sport for Petri Netters.
21. Fusion Scheme for Automatic and Large-Scaled Built-up Mapping.
22. Ardoises: Collaborative & Interactive Editing Using Layered Data.
23. Automated supervised classification of Ouagadougou built-up areas in Landsat scenes using OpenStreetMap.
24. CREST - A Continuous, REactive SysTems DSL.
25. Automated Difficulty Assessment Model for Platformer Games: A Comprehensive Approach
26. A Generic Methodology for the Modular Verification of Security Protocol Implementations
27. Real-Time RRT* with Signal Temporal Logic Preferences
28. Demência de Alzheimer: Correlação entre memória e autonomia
29. Transtorno bipolar na infância
30. A relação entre transtornos disfórico pré-menstrual e depressão
31. Técnicas de análise da regulação da transcrição gênica e suas aplicações na endocrinologia molecular
32. Diagnóstico da Síndrome de Turner
33. Demência no idoso: Aspectos neuropsicológicos
34. Síndrome de Wernicke-Korsakoff associada ao álcool
35. Consenso brasileiro para a abordagem clínica e tratamento do hipotireoidismo subclínico em adultos
36. Data Resources to Create Digital Twins.
37. Extraction de lexiques bilingues à partir de corpus comparables spécialisés à travers une langue pivot (Bilingual lexicon extraction from specialized comparable corpora using a pivot language).
38. Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems.
39. Layered Data: A Modular Formal Definition without Formalisms.
40. Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case.
41. Using smartphones as continuous receivers in a visible light communication system.
42. Attempting to Bypass Alignment from Comparable Corpora via Pivot Language.
43. Motion-Aware Mosaicing for Confocal Laser Endomicroscopy.
44. An urban expansion model for African cities using fused multi temporal optical and SAR data.
45. Sound Verification of Security Protocols: From Design to Interoperable Implementations
46. Semi-automated Query Construction for Content-Based Endomicroscopy Video Retrieval.
47. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
48. CosyVerif: An Open Source Extensible Verification Environment.
49. Worldpop - Fusion of Earth and Big Data for Intraurban Population Mapping.
50. Exploring the Willingness-to-Share Data of Digitized Products in B2B Manufacturing Industries.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.