शोध परिणाम
-
Collaboration Meets Interactive Spaces: Theory And Practice
This book explores the technological advances and social interactions between interactive spaces, surfaces and devices, aiming to provide new insights into emerging social protocols that arise from the experimentation and long-term usage of interactive surfaces. This edited volume brings together r... अधिक
Language: ENGकॉपीराईट: 2016 -
Human Work Interaction Design. Work Analysis and Interaction Design Methods for Pervasive and Smart Workplaces
by José Abdelnour Nocera • Barbara Rita Barricelli • Arminda Lopes • Pedro Campos • Torkil ClemmensenThis book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP WG 13. 6 Working Conference on Human Work Interaction Design, HWID 2015, held in London, UK, in June 2015. The 15 revised full papers presented were carefully selected for inclusion in this volume. The papers... अधिक
Language: ENGकॉपीराईट: 2015 -
Human Work Interaction Design. Designing Engaging Automation: 5th IFIP WG 13.6 Working Conference, HWID 2018, Espoo, Finland, August 20 - 21, 2018, Revised Selected Papers (IFIP Advances in Information and Communication Technology #544)
by Barbara Rita Barricelli • Arminda Lopes • Pedro Campos • Torkil Clemmensen • José Abdelnour-Nocera • Virpi Roto • Frederica GonçalvesThis book constitutes the thoroughly refereed post-conference proceedings of the 5th IFIP WG 13.6 Working Conference on Human Work Interaction Design, HWID 2018, held in Espoo, Finland, in August 2018.The 19 revised and extended full papers presented were carefully selected for inclusion in this vol... अधिक
Language: ENGकॉपीराईट: 2019 -
Digital Anatomy: Applications of Virtual, Mixed and Augmented Reality (Human–Computer Interaction Series)
This book offers readers fresh insights on applying Extended Reality to Digital Anatomy, a novel emerging discipline. Indeed, the way professors teach anatomy in classrooms is changing rapidly as novel technology-based approaches become ever more accessible. Recent studies show that Virtual (VR), Au... अधिक
Language: ENGकॉपीराईट: 2021 -
Emblemata Hispanica: An Annotated Bibliography of Spanish Emblem Literature to the Year 1700
Emblem books--books containing pictorial representations whose symbolic meaning is expressed in words--were produced in great quantities and in numerous languages during the sixteenth and seventeenth centuries. Because literary critics and art historians increasingly recognize the importance of the ... अधिक
Language: ENGकॉपीराईट: 1990 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... अधिक
Language: ENGकॉपीराईट: 2020 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... अधिक
Language: ENGकॉपीराईट: 2020 -
Hybrid Metaheuristics: 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings (Lecture Notes in Computer Science #11299)
by Christian Blum • Maria J. Blesa Aguilera • Haroldo Gambini Santos • Pedro Pinacho-Davidson • Julio Godoy del CampoThis book constitutes the refereed proceedings of the 11th International Workshop on Hybrid Metaheuristics, HM 2019, held in Concepción, Chile, in January 2019. The 11 revised full papers and 5 short papers presented were carefully reviewed and selected from 23 submissions. The papers present hybrid... अधिक
Language: ENGकॉपीराईट: 2019 -
Mayo, amor rojo
Solo con amor la vida tiene sentido. <P><P>Mayo, amor rojo, encierra entre sus líneas situaciones de la reciente historia de España, de turismo -recorre París, Lisboa y Madrid- y de arte e ncluso de gastronomía, pero, sobre todo, es una historia de amor sincero, intenso y profundo. <P><P>El pr... अधिक
Language: SPAकॉपीराईट: 2017