Filter your results
- 4
- 4
- 4
- 1
- 2
- 2
- 10
- 9
- 6
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Hard Core via PCA: Entropy Bounds21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.85-98, ⟨10.1007/978-3-662-47221-7_7⟩
Conference papers
hal-01442484v1
|
||
|
|
Towards Continuous Collaboration on Civic Tech Projects: Use Cases of a Goal Sharing System Based on Linked Open Data7th International Conference on Electronic Participation (ePart), Aug 2015, Thessaloniki, Greece. pp.81-92, ⟨10.1007/978-3-319-22500-5_7⟩
Conference papers
hal-01587631v1
|
||
|
|
Ability-Based Optimization: Designing Smartphone Text Entry Interface for Older Adults16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.326-331, ⟨10.1007/978-3-319-68059-0_22⟩
Conference papers
hal-01679821v1
|
||
|
|
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.194-209, ⟨10.1007/978-3-319-60225-7_14⟩
Conference papers
hal-01658411v1
|