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

Filter your results

2 results
publicationDateY_i : 2019
Image document

Psi-Calculi Revisited: Connectivity and Compositionality

Johannes Åman Pohjola
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.3-20, ⟨10.1007/978-3-030-21759-4_1⟩
Conference papers hal-02313748v1
Image document

Physiological Indicators for User Trust in Machine Learning with Influence Enhanced Fact-Checking

Jianlong Zhou , Huaiwen Hu , Zhidong Li , Kun Yu , Fang Chen
3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.94-113, ⟨10.1007/978-3-030-29726-8_7⟩
Conference papers hal-02520035v1