- Table View
- List View
Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III (Lecture Notes in Computer Science #9298)
by Julio Abascal Simone Barbosa Mirko Fetter Tom Gross Philippe Palanque Marco WincklerThe four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 43 papers included in the third volume are organized in topical sections on HCI for global software development; HCI in healthcare; HCI studies; human-robot interaction; interactive tabletops; mobile and ubiquitous interaction; multi-screen visualization and large screens; participatory design; pointing and gesture interaction; and social interaction.
Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I (Lecture Notes in Computer Science #9296)
by Julio Abascal Simone Barbosa Mirko Fetter Tom Gross Philippe Palanque Marco WincklerThe four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 41 papers included in the first volume are organized in topical sections on accessibility; accessible interfaces for blind people; accessible interfaces for older adults; affective HCI and emotions and motivational aspects; alternative input; alternative input devices for people with disabilities; interfaces for cognitive support; brain-computer interaction; cognitive factors.
Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV (Lecture Notes in Computer Science #9299)
by Julio Abascal Simone Barbosa Mirko Fetter Tom Gross Philippe Palanque Marco WincklerThe four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015.The 74 full and short papers and 4 organizational overviews, 2 panels, 6 tutorials, and 11 workshops included in the fourth volume are organized in topical sections on tangible and tactile interaction; tools for design; touch and haptic; user and task modelling; visualization; visualization 3D; visualization in virtual spaces; wearable computing; demonstrations; and interactive posters.
Applications and Usability of Interactive TV: 9th Iberoamerican Conference, jAUTI 2020, Aveiro, Portugal, December 18, 2020, Revised Selected Papers (Communications in Computer and Information Science #1433)
by María J. Abásolo Jorge Abreu Pedro Almeida Telmo SilvaThis book constitutes the refereed proceedings of the 9th Iberoamerican Conference on Applications and Usability of Interactive Television, jAUTI 2020, in Aveiro, Portugal, in December 2020.*The 12 full papers presented were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on audiovisual content and experiences; design and development of iTV applications; iTV and videos in learning; iTV for the elderly; usability and UX evaluations.*Due to the COVID-19 pandemic the conference was held online.
Applications and Usability of Interactive TV: 10th Iberoamerican Conference, jAUTI 2021, Sangolquí, Ecuador, December 2–3, 2021, Revised Selected Papers (Communications in Computer and Information Science #1597)
by María J. Abásolo Gonzalo F. Olmedo CifuentesThis book constitutes thoroughly refereed and revised selected papers from the 10th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2021, held in Sangolqui, Ecuador, during December 2–3, 2021.The 9 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Usability and UX; interaction techniques and accesibility; and technologies, services, and applications for interactive digital TV.
Applications and Usability of Interactive TV: 8th Iberoamerican Conference, jAUTI 2019, Rio de Janeiro, Brazil, October 29–November 1, 2019, Revised Selected Papers (Communications in Computer and Information Science #1202)
by María J. Abásolo Raoni Kulesza Joaquín D. Pina AmargósThis book constitutes the refereed proceedings of the 8th Iberoamerican Conference on Applications and Usability of Interactive Television, jAUTI 2019, in Rio de Janeiro, Brazil, in October 2019.The 10 full papers presented were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on Design and Development; Second Screen and Crossmedia; Interaction Techniques and Technologies; Accessibility; User Experience.
Applications and Usability of Interactive Television: 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers (Communications in Computer and Information Science #813)
by María José Abásolo Jorge Abreu Pedro Almeida Telmo SilvaThis book constitutes the refereed proceedings of the 6th Iberoamerican Conference on Applications and Usability of Interactive Television, jAUTI 2017, in Aveiro, Portugal, in October 2017. The 11 full papers presented together with one invited talk paper were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Design and Evaluation of IDTV Services and Content; IDTV Content Recommendation; Omnidirectional Video and Video Repositories; IDTV Interaction Techniques and Accessibility.
Applications and Usability of Interactive TV: 5th Iberoamerican Conference, jAUTI 2016, La Habana, Cuba, November 21-25, 2016, Revised Selected Papers (Communications in Computer and Information Science #689)
by María José Abásolo Pedro Almeida Joaquín Pina AmargósThis book constitutes the refereed proceedings of the 5th Iberoamerican Conference on Applications and Usability of Interactive TV , jAUTI 2016, held in conjunction with the III International Congress on Information Engineering and Information Systems, in La Habana, Cuba, in November 2016. The 11 full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on IDTV content production and recommendation; video consumption and preservation; social TV; IDTV interaction techniques; IDTV user experiences.
Applications and Usability of Interactive TV: 11th Iberoamerican Conference, jAUTI 2022, Cordoba, Spain, November 17–18, 2022, Revised Selected Papers (Communications in Computer and Information Science #1820)
by María José Abásolo Carlos de Castro Lozano Gonzalo F. Olmedo CifuentesThis book constitutes the refereed proceedings of the 11th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2022, Cordoba, Spain, November 17–18, 2022. The 9 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Content Creation and Interaction, Audiovisual Consumption, e-inclusion, Digital Infrastructure.
Applications and Usability of Interactive TV: Third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, Held as Part of Webmedia 2014, João Pessoa, PB, Brazil, November 18-21, 2014. Revised Selected Papers (Communications in Computer and Information Science #389)
by María José Abásolo Raoni KuleszaThis book constitutes the refereed proceedings of the Third Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2014, and the Third Workshop on Interactive Digital TV, WTVDI 2014, held as part of Webmedia 2014, João Pessoa, Brazil, in November 2014. The 10 revised full papers presented were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections on IDTV overview; IDTV development tools; IDTV evaluation and testing; IDTV accessibility and usability.
Applications and Usability of Interactive TV: 4th Iberoamerican Conference, jAUTI 2015, and 6th Congress on Interactive Digital TV, CTVDI 2015, Palma de Mallorca, Spain, October 15-16, 2015. Revised Selected Papers (Communications in Computer and Information Science #605)
by María José Abásolo Francisco J. Perales Antoni BibiloniThis book constitutes the refereed proceedings of the 4th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2015, and the 6th Congress on Interactive Digital TV, CTVDI 2015, held in Palma de Mallorca, Spain, in October 2015. The 10 revised full papers and two short papers presented together with an invited talk were carefully reviewed and selected for this volume from 30 accepted submissions. The papers are organized in topical sections on Second Screen Applications Immersive TV; Video Consumption Development Tools; IDTV Interoperability; IDTV User Experience; Audiovisual Accessibility.
Applications and Usability of Interactive TV: 7th Iberoamerican Conference, jAUTI 2018, Bernal, Argentina, October 16–18, 2018, Revised Selected Papers (Communications in Computer and Information Science #1004)
by María José Abásolo Telmo Silva Nestor D. GonzálezThis book constitutes the refereed proceedings of the 7th Iberoamerican Conference on Applications and Usability of Interactive Television, jAUTI 2018, in Bernal, Argentina, in October 2018.The 13 full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Contexts of application of the IDTV; Design and Implementation Techniques of IDTV Content and Services; Interaction Techniques, Technologies and Accesibility of IDTV Services; Testing and User Experience of IDTV Services.
Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers (Lecture Notes in Computer Science #9271)
by Alessandro Abate David ŠafránekThis book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in Biology with an emphasis on hybrid approaches — by no means restricted to a narrow class of mathematical models — and taking advantage of techniques developed separately in different areas.
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Lecture Notes in Computer Science #10381)
by Alessandro Abate Sylvie BoldoThis book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings (Lecture Notes in Computer Science #10419)
by Alessandro Abate Gilles GeeraertsThis book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings (Lecture Notes in Computer Science #12846)
by Alessandro Abate Andrea MarinThis book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
Computational Methods in Systems Biology: 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings (Lecture Notes in Computer Science #12314)
by Alessandro Abate Tatjana Petrov Verena WolfThis book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology. * The conference was held virtually due to the COVID-19 pandemic.
Curve e superfici (UNITEXT)
by M. Abate F. TovenaQuesto è un libro di testo sulla geometria differenziale di curve e superfici, adatto agli studenti universitari del secondo e terzo anno dei corsi di Laurea in Matematica, Fisica, Ingegneria e Informatica.
Curves and Surfaces (UNITEXT)
by M. Abate F. TovenaThe book provides an introduction to Differential Geometry of Curves and Surfaces. The theory of curves starts with a discussion of possible definitions of the concept of curve, proving in particular the classification of 1-dimensional manifolds. We then present the classical local theory of parametrized plane and space curves (curves in n-dimensional space are discussed in the complementary material): curvature, torsion, Frenet’s formulas and the fundamental theorem of the local theory of curves. Then, after a self-contained presentation of degree theory for continuous self-maps of the circumference, we study the global theory of plane curves, introducing winding and rotation numbers, and proving the Jordan curve theorem for curves of class C2, and Hopf theorem on the rotation number of closed simple curves. The local theory of surfaces begins with a comparison of the concept of parametrized (i.e., immersed) surface with the concept of regular (i.e., embedded) surface. We then develop the basic differential geometry of surfaces in R3: definitions, examples, differentiable maps and functions, tangent vectors (presented both as vectors tangent to curves in the surface and as derivations on germs of differentiable functions; we shall consistently use both approaches in the whole book) and orientation. Next we study the several notions of curvature on a surface, stressing both the geometrical meaning of the objects introduced and the algebraic/analytical methods needed to study them via the Gauss map, up to the proof of Gauss’ Teorema Egregium. Then we introduce vector fields on a surface (flow, first integrals, integral curves) and geodesics (definition, basic properties, geodesic curvature, and, in the complementary material, a full proof of minimizing properties of geodesics and of the Hopf-Rinow theorem for surfaces). Then we shall present a proof of the celebrated Gauss-Bonnet theorem, both in its local and in its global form, using basic properties (fully proved in the complementary material) of triangulations of surfaces. As an application, we shall prove the Poincaré-Hopf theorem on zeroes of vector fields. Finally, the last chapter will be devoted to several important results on the global theory of surfaces, like for instance the characterization of surfaces with constant Gaussian curvature, and the orientability of compact surfaces in R3.
Recent Advances in Soft Computing and Data Mining: Proceedings of the Fifth International Conference on Soft Computing and Data Mining (SCDM 2022), May 30-31, 2022 (Lecture Notes in Networks and Systems #457)
by Jemal H. Abawajy Rozaida Ghazali Nazri Mohd Nawi Mustafa Mat Deris Nureize ArbaiyThis book unfolds ways to transform data into innovative solutions perceived as new remarkable and meaningful value. It offers practical views of the concepts and techniques readers need to get the most out of their large-scale research and data mining projects. It strides them through the data-analytical thinking, circumvents the difficulty in deciphering complex data systems and obtaining commercialization value from the data. Also known as data-driven science, soft computing and data mining disciplines cover a broad spectrum, an interdisciplinary field of scientific methods and processes. The book, Recent Advances in Soft Computing and Data Mining, delivers sufficient knowledge to tackle a wide range of issues seen in complex systems. This is done by exploring a vast combination of practices and applications by incorporating these two domains. To thrive in these data-driven ecosystems, researchers, data analysts, and practitioners must choose the best design to approach the problem with the most efficient tools and techniques. To thrive in these data-driven ecosystems, researchers, data analysts, and practitioners must understand the design choice and options of these approaches, thus to better appreciate the concepts, tools, and techniques used.
International Conference on Applications and Techniques in Cyber Intelligence ATCI 2019: Applications and Techniques in Cyber Intelligence (Advances in Intelligent Systems and Computing #1017)
by Jemal H. Abawajy Kim-Kwang Raymond Choo Rafiqul Islam Zheng Xu Mohammed AtiquzzamanThis book presents innovative ideas, cutting-edge findings, and novel techniques, methods, and applications in a broad range of cybersecurity and cyberthreat intelligence areas. As our society becomes smarter, there is a corresponding need to be able to secure our cyberfuture. The approaches and findings described in this book are of interest to businesses and governments seeking to secure our data and underpin infrastructures, as well as to individual users.
2020 International Conference on Applications and Techniques in Cyber Intelligence: Applications and Techniques in Cyber Intelligence (ATCI 2020) (Advances in Intelligent Systems and Computing #1244)
by Jemal H. Abawajy Kim-Kwang Raymond Choo Zheng Xu Mohammed AtiquzzamanThis book presents innovative ideas, cutting-edge findings, and novel techniques, methods, and applications in a broad range of cybersecurity and cyberthreat intelligence areas. As our society becomes smarter, there is a corresponding need to secure our cyberfuture. The book describes approaches and findings that are of interest to business professionals and governments seeking to secure our data and underpin infrastructures, as well as to individual users.
Security in Computing and Communications: Third International Symposium, SSCC 2015, Kochi, India, August 10-13, 2015. Proceedings (Communications in Computer and Information Science #536)
by Jemal H. Abawajy Sougata Mukherjea Sabu M. Thampi Antonio Ruiz-MartínezThis book constitutes the refereed proceedings of the International Symposium on Security in Computing and Communications, SSCC 2015, held in Kochi, India, in August 2015. The 36 revised full papers presented together with 13 short papers were carefully reviewed and selected from 157 submissions. The papers are organized in topical sections on security in cloud computing; authentication and access control systems; cryptography and steganography; system and network security; application security.
Proceedings of the International Conference on Data Engineering 2015 (Lecture Notes in Electrical Engineering #520)
by Jemal H. Abawajy Mohamed Othman Rozaida Ghazali Mustafa Mat Deris Hairulnizam Mahdin Tutut HerawanThese proceedings gather outstanding research papers presented at the Second International Conference on Data Engineering 2015 (DaEng-2015) and offer a consolidated overview of the latest developments in databases, information retrieval, data mining and knowledge management. The conference brought together researchers and practitioners from academia and industry to address key challenges in these fields, discuss advanced data engineering concepts and form new collaborations. The topics covered include but are not limited to: • Data engineering • Big data • Data and knowledge visualization • Data management • Data mining and warehousing • Data privacy & security • Database theory • Heterogeneous databases • Knowledge discovery in databases • Mobile, grid and cloud computing • Knowledge management • Parallel and distributed data • Temporal data • Web data, services and information engineering • Decision support systems • E-Business engineering and management • E-commerce and e-learning • Geographical information systems • Information management • Information quality and strategy • Information retrieval, integration and visualization • Information security • Information systems and technologies
Tenth International Conference on Applications and Techniques in Cyber Intelligence: Volume 2 (Lecture Notes on Data Engineering and Communications Technologies #169)
by Jemal H. Abawajy Zheng Xu Mohammed Atiquzzaman Xiaolu ZhangThis book presents innovative ideas, cutting-edge findings, and novel techniques, methods, and applications in a broad range of cybersecurity and cyberthreat intelligence areas. As our society becomes smarter, there is a corresponding need to secure our cyberfuture. The book describes approaches and findings that are of interest to business professionals and governments seeking to secure our data and underpin infrastructures, as well as to individual users.