Filter your results
- 4
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A context-free linear ordering with an undecidable first-order theory7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.104-118, ⟨10.1007/978-3-642-33475-7_8⟩
Conference papers
hal-00733458v1
|
||
|
Machine learning methods for anomaly detection in IoT networks, with illustrationsBoumerdassi S., Renault É., Mühlethaler P. (eds), Machine Learning for Networking, Lecture Notes in Computer Science, vol 12081. Springer, pp.287-295, 2020, ⟨10.1007/978-3-030-45778-5_19⟩
Book sections
hal-02977813v1
|
||
|
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems7th IFIP Conference on Distributed and Parallel Embedded Systems (DIPES'10), Sep 2010, Brisbane, Australia. pp.193-204, ⟨10.1007/978-3-642-15234-4_19⟩
Conference papers
hal-00620370v1
|
||
|
Tropical Two-Way Automata8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.195-206, ⟨10.1007/978-3-662-44602-7_16⟩
Conference papers
hal-01069637v1
|
||
|
Machine Learning for NetworkingSpringer International Publishing, LNCS-12081, 2019, Machine Learning for Networking, 978-3-030-45777-8. ⟨10.1007/978-3-030-45778-5⟩
Books
hal-02551472v1
|