This volume features seventeen extended conference abstracts corresponding to selected talks given by participants at the CRM research program “Automorphisms of Free Groups: Algorithms, Geometry and Dynamics”, which took place at the Centre de Recerca Matemàtica in Barcelona in fall 2012. Most of them are short articles giving preliminary presentations of new results not yet published in regular research journals. The articles are the result from a direct collaboration among active researchers in the area after working in a dynamic and productive atmosphere. The book is intended for established researchers in the area of Group Theory, as well as for PhD and postdoc students who wish to learn more about the latest advances in this active area 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.

The book presents research works developed within the Anthropological Theory of the Didactic (ATD) by senior and young researchers that participated in the Intensive Research Program “Advances in the anthropological theory of the didactic and their consequences in curricula and teacher education” held at the Centre de Recerca Matematica (CRM) in Barcelona. It is organized in three axes of current research on the ATD: teacher education and the professionalization of teaching; the curriculum problem in the historical transition from the classical paradigm of visiting works to the emerging didactic paradigm of questioning the world; and research in didactics at the university level.

This is the first volume of the two-volume set (CCIS 617 and CCIS 618) that contains extended abstracts of the posters presented during the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, Canada, in July 2016. The total of 1287 papers and 186 posters presented at the HCII 2016 conferences was carefully reviewed and selected from 4354 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers included in this volume are organized in the following topical sections: design thinking, education and expertise; design and evaluation methods, techniques and tools; cognitive issues in HCI; information presentation and visualization; interaction design; design for older users; usable security and privacy; human modeling and ergonomics.

This book constitutes the refereed proceedings of the 13th International Conference on Entertainment Computing, ICEC 2014, held in Sydney, Australia, in October 2013. The 20 full papers, 6 short papers and 8 posters presented were carefully reviewed and selected from 62 submissions. In addition to these papers, the program featured 3 demonstration papers, and 2 workshops. The papers cover various aspects of entertainment computing including authoring, development, use and evaluation of digital entertainment artefacts and processes.

A comprehensive handbook on state-of-the-art DAS technology and applications Distributed Acoustic Sensing (DAS) is a technology that records sound and vibration signals along a fiber optic cable. Its advantages of high resolution, continuous, and real-time measurements mean that DAS systems have been rapidly adopted for a range of applications, including hazard mitigation, energy industries, geohydrology, environmental monitoring, and civil engineering. Distributed Acoustic Sensing in Geophysics: Methods and Applications presents experiences from both industry and academia on using DAS in a range of geophysical applications. Volume highlights include: DAS concepts, principles, and measurements Comprehensive review of the historical development of DAS and related technologies DAS applications in hydrocarbon, geothermal, and mining industries DAS applications in seismology DAS applications in environmental and shallow geophysics The American Geophysical Union promotes discovery in Earth and space science for the benefit of humanity. Its publications disseminate scientific knowledge and provide resources for researchers, students, and professionals.

Explore Visual Basic 2012 and .NET 4.5 with this fully updated resource After a quick review of the of introductory topics of Visual Basic 2012 and .NET 4.5, this book moves quickly into advanced topics such as data access with ADO.NET, security, ASP.NET web programming with Visual Basic, Windows workflow, and threading. You'll explore the essential Visual Basic 2012 functions you need, including .NET features such as LINQ, WCF, and more. Plus, you'll examine exception handling and debugging, Visual Studio features, and deployment. Puts the new Async keyword and Iterators to work Explores new options and interfaces presented by Windows 8 development and WinRT Continues strong coverage of core language elements and tools and creating componentized applications This updated version of Professional Visual Basic 2012 and .NET 4.5 retains its expert author team, including one of the best-known and respected Microsoft Visual Basic MVPs, Bill Sheldon, and Microsoft Regional Director “Software Legend” Billy Hollis.