This two-part volume gathers extended conference abstracts corresponding to selected talks from the "Biostatnet workshop on Biomedical (Big) Data" and from the "DoReMi LD-RadStats: Workshop for statisticians interested in contributing to EU low dose radiation research", which were held at the Centre de Recerca Matemàtica (CRM) in Barcelona from November 26th to 27th, 2015, and at the Institut de Salut Global ISGlobal (former CREAL) from October 26th to 28th, 2015, respectively. Most of the contributions are brief articles, presenting preliminary new results not yet published in regular research journals. The first part is devoted to the challenges of analyzing so called "Biomedical Big Data", tremendous amounts of biomedical and health data that are generated every day due to the use of recent technological advances such as massive genomic sequencing, electronic health records or high-resolution medical imaging, among others. The analysis of this information poses significant challenges for researchers in the fields of biostatistics, bioinformatics, and signal processing. Furthermore, other relevant challenges in biostatistical research, not necessarily involving big data, are also discussed. In turn, the second part is dedicated to low dose radiation research, where there is a need to fully understand and characterize potential sources of uncertainty before they can be reduced. Further, the book demonstrates why formal uncertainty analysis has the potential to provide a common platform for multidisciplinary research in this field. This book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.

The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven abstracts), both held at the Centre de Recerca Matemàtica (CRM) in Barcelona from July 1st to 5th, 2013, and from September 23th to 27th, 2013, respectively. Most of them are brief articles, containing preliminary presentations of new results not yet published in regular research journals. The articles are the result of a direct collaboration between active researchers in the area after working in a dynamic and productive atmosphere. The first part is about Geometric Analysis and Conformal Geometry; this modern field lies at the intersection of many branches of mathematics (Riemannian, Conformal, Complex or Algebraic Geometry, Calculus of Variations, PDE's, etc) and relates directly to the physical world, since many natural phenomena posses an intrinsic geometric content. The second part is about Type Theory, Homotopy Theory and Univalent Foundations. The book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.

This volume contains extended abstracts outlining selected talks and other selected presentations given by participants of the workshop "Positivity and Valuations", held at the Centre de Recerca Matemàtica (CRM) in Barcelona from February 22nd to 26th, 2016. They include brief research articles reporting new results, descriptions of preliminary work or open problems, and the outcome of work in groups initiated during the workshop. The general subject is the application of valuation theory to positivity questions in algebraic geometry. The topics covered range from purely algebraic problems like finite generation of semigroups and algebras defined by valuations, and properties of the associated Poincaré series, to more geometric questions like resolution of singularities and properties of Newton-Okounkov bodies, linked with non-archimedean geometry and tropical geometry. The book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.

The four-volume set LNCS 10513—10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017. The total of 68 papers presented in these books was carefully reviewed and selected from 221 submissions. The contributions are organized in topical sections named: Part I: adaptive design and mobile applications; aging and disabilities; assistive technology for blind users; audience engagement; co-design studies; cultural differences and communication technology; design rationale and camera-control. Part II: digital inclusion; games; human perception, cognition and behavior; information on demand, on the move, and gesture interaction; interaction at the workplace; interaction with children. Part III: mediated communication in health; methods and tools for user interface evaluation; multi-touch interaction; new interaction techniques; personalization and visualization; persuasive technology and rehabilitation; and pointing and target selection. Part IV: security and trust; social media and design innovation; UX adoption in the organizations; virtual reality and feeling of immersion; case studies; courses; demonstrations; interactive posters; field trips.

The term Intelligent Environments (IEs) refers to physical spaces in which IT and other pervasive computing technologies are combined and used to achieve specific goals for the user, the environment, or both. The ultimate objective of IEs is to enrich user experience, improve management of the environment in question and increase user awareness. This book presents the proceedings of the following workshops, which formed part of the 12th International Conference on Intelligent Environments (IE16), held in London, UK, in September 2016: the 5th International Workshop on Smart Offices and Other Workplaces (SOOW’16); the 5th International Workshop on the Reliability of Intelligent Environments (WoRIE’16); the 1st International Workshop on Legal Issues in Intelligent Environments (LIIE’2016); the 2nd International Symposium on Future Intelligent Educational Environments and Learning (SOFIEE’16); the 2nd International Workshop on Future Internet and Smart Networks (FI&SN’2016); the International Workshop on Intelligent Environments Supporting Healthcare and Well-being (WISHWell’2016); the International Workshop on Computation Sustainability, Technologies and Applications (CoSTA’2016); the Creative Science 2016 (CS’16) and Cloud-of-Things 2016 (CoT’16); the Workshop on Wireless Body Area Networks for Personal Monitoring in Intelligent Environments (WBAN-PMIE); and the Physical Computing Workshop. The workshops focused on the development of advanced intelligent environments, as well as newly emerging and rapidly evolving topics, emphasizing the multi-disciplinary and transversal aspects of IEs, as well as cutting-edge topics. The book will be of interest to all those whose work involves them in the use of intelligent environments.

This book describes the theory and practice of inverting seismic data for the subsurface rock properties of the earth. The primary application is for inverting reflection and/or transmission data from engineering or exploration surveys, but the methods described also can be used for earthquake studies. Seismic Inversion will be of benefit to scientists and advanced students in engineering, earth sciences, and physics. It is desirable that the reader has some familiarity with certain aspects of numerical computation, such as finite-difference solutions to partial differential equations, numerical linear algebra, and the basic physics of wave propagation. For those not familiar with the terminology and methods of seismic exploration, a brief introduction is provided. To truly understand the nuances of seismic inversion, we have to actively practice what we preach (or teach). Therefore, computational labs are provided for most of the chapters, and some field data labs are given as well.

The three-volume set CCIS 850, CCIS 851, and CCIS 852 contains the extended abstracts of the posters presented during the 20th International Conference on Human-Computer Interaction, HCI 2018, which took place in Las Vegas, Nevada, in July 2018. The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4346 submissions. The 207 papers presented in these three volumes are organized in topical sections as follows: Part I: interaction and information; images and visualizations; design, usability and user experience; psychological, cognitive and neurocognitive issues in HCI; social media and analytics. Part II: design for all, assistive and rehabilitation technologies; aging and HCI; virtual and augmented reality; emotions, anxiety, stress and well-being. Part III: learning and interaction; interacting with cultural heritage; HCI in commerce and business; interacting and driving; smart cities and smart environments.