TEI 2015 9th International Conference on Tangible, Embedded and Embodied Interaction

The book is a collection of peer-reviewed scientific papers submitted by active researchers in the 1st International Conference on Advancements of Medical Electronics (ICAME2015). The conference is organized jointly by the Department of Biomedical Engineering and Electronics and Communication Engineering, ...

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from ...

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics ...

TEI is dedicated to presenting the latest results in tangible, embedded, and embodied interaction. The work presented at TEI addresses HCI issues, design, interactive art, user experience, tools and technologies, with a strong focus on how computing can finally bridge ...

This book constitutes the refereed proceedings of the 9th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2015, held in Hamburg, Germany, in May 2015. The 10 revised full papers and 5 short papers presented were carefully reviewed and ...