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

Filter your results

9 results
Image document

Sum of Exit Times in Series of Metastable States in Probabilistic Cellular Automata

E. M. Cirillo , F. R. Nardi , C. Spitoni
22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.105-119, ⟨10.1007/978-3-319-39300-1_9⟩
Conference papers hal-01435037v1

Fundamentals of Software Engineering

Mehdi Dastani , Marjan Sirjani
Springer International Publishing, LNCS-10522, 2017, Lecture Notes in Computer Science, 978-3-319-68971-5. ⟨10.1007/978-3-319-68972-2⟩
Books hal-01760860v1

Fundamentals of Software Engineering

Mehdi Dastani , Marjan Sirjani
Springer, LNCS-9392, 2015, Fundamentals of Software Engineering, 978-3-319-24643-7. ⟨10.1007/978-3-319-24644-4⟩
Books hal-01446615v1
Image document

What Is Fair? Exploring the Artists’ Perspective on the Fairness of Music Streaming Platforms

Andres Ferraro , Xavier Serra , Christine Bauer
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.562-584, ⟨10.1007/978-3-030-85616-8_33⟩
Conference papers hal-04196863v1
Image document

Uncovering Document Fraud in Maritime Freight Transport Based on Probabilistic Classification

Ron Triepels , Ad Feelders , Hennie Daniels
14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.282-293, ⟨10.1007/978-3-319-24369-6_23⟩
Conference papers hal-01444472v1
Image document

Probabilistic Inference and Monadic Second Order Logic

Hans L. Bodlaender
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.43-56, ⟨10.1007/978-3-642-33475-7_4⟩
Conference papers hal-01556214v1
Image document

Age-Related Effects of Task Difficulty on the Semantic Relevance of Query Reformulations

Saraschandra Karanam , Herre Van Oostendorp
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.77-96, ⟨10.1007/978-3-319-67744-6_6⟩
Conference papers hal-01676165v1
Image document

A Framework for Usability Evaluation of Mobile Mixed Reality Games

Charley Gielkens , Richard Wetzel
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.401-404, ⟨10.1007/978-3-642-33542-6_38⟩
Conference papers hal-01556180v1
Image document

Designing Laboratory Forensics

Armel Lefebvre , Marco Spruit
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.238-251, ⟨10.1007/978-3-030-29374-1_20⟩
Conference papers hal-02510101v1