Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Institute of Neurosciences
labStructName_s : Laboratoire de l'Informatique du Parallélisme
Image document

Sensing as a Complexity Measure

Shaull Almagor , Denis Kuperberg , Orna Kupferman
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.3-15, ⟨10.1007/978-3-319-60252-3_1⟩
Conference papers hal-01657019v1
Image document

A Technology for Prediction and Prevention of Freezing of Gait (FOG) in Individuals with Parkinson Disease

Megh Patel , Gottumukala Krishna , Abhijit Das , Uttama Lahiri
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.395-403, ⟨10.1007/978-3-319-67687-6_26⟩
Conference papers hal-01717230v1
Image document

Bisimilarity of Open Terms in Stream GSOS

Filippo Bonchi , Matias David Lee , Jurriaan Rot
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers hal-01760851v1