You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
This book constitutes the proceedings of the 17th European MPI User's Group Meeting on Recent Advances in the Message Passing Interface held in Stuttgart in September 2010.
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Applied Parallel Computing, PARA 2006. It covers partial differential equations, parallel scientific computing algorithms, linear algebra, simulation environments, algorithms and applications for blue gene/L, scientific computing tools and applications, parallel search algorithms, peer-to-peer computing, mobility and security, algorithms for single-chip multiprocessors.
The present volume searches for different biblical perceptions of the wild, paying particular attention to the significance of fluid boundaries between the domestic and the wild, and to the options of crossing borders between them. Drawing on space, fauna, and flora, scholars investigate the ways biblical authors present the wild and the domestic and their interactions. In its six chapters and two responses, Hebrew Bible scholars, an archaeobotanist, an archaeologist, a geographer, and iconographers join forces to discuss the wild and its portrayals in biblical literature.The discussions bring to light the entire spectrum of real, imagined, metaphorized, and conceptualized forms of the wild that appear in biblical sources, as also in the material culture and agriculture of ancient Israel, and to some extent observe the great gap between biblical observations and modern studies of geography and of mapping that marks the distinctions between the wilderness and the sown. The book is the first written product presented on two consecutive years (2019, 2020) at the SBL Annual Meetings in the Section: Nature Imagery and Conceptions of Nature in the Bible.
This book constitutes the refereed proceedings of the 18th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2011, held in Santorini, Greece, in September 2011. The 28 revised full papers presented together with 10 posters were carefully reviewed and selected from 66 submissions. Topics covered are communication; I/O; networking, and implementation issues and improvements; algorithms and tools; interaction with hardware; applications and performance evaluation; fault and tolerance.
The year 2019 marked four decades of cluster computing, a history that began in 1979 when the first cluster systems using Components Off The Shelf (COTS) became operational. This achievement resulted in a rapidly growing interest in affordable parallel computing for solving compute intensive and large scale problems. It also directly lead to the founding of the Parco conference series. Starting in 1983, the International Conference on Parallel Computing, ParCo, has long been a leading venue for discussions of important developments, applications, and future trends in cluster computing, parallel computing, and high-performance computing. ParCo2019, held in Prague, Czech Republic, from 10 – ...
This book constitutes the refereed proceedings of the 20th International Conference on Parallel and Distributed Computing, Euro-Par 2014, held in Porto, Portugal, in August 2014. The 68 revised full papers presented were carefully reviewed and selected from 267 submissions. The papers are organized in 15 topical sections: support tools environments; performance prediction and evaluation; scheduling and load balancing; high-performance architectures and compilers; parallel and distributed data management; grid, cluster and cloud computing; green high performance computing; distributed systems and algorithms; parallel and distributed programming; parallel numerical algorithms; multicore and manycore programming; theory and algorithms for parallel computation; high performance networks and communication; high performance and scientific applications; and GPU and accelerator computing.
Carl Friedrich Gauss, the "foremost of mathematicians," was a land surveyor. Measuring and calculating geodetic networks on the curved Earth was the inspiration for some of his greatest mathematical discoveries. This is just one example of how mathematics and geodesy, the science and art of measuring and mapping our world, have evolved together throughout history. This text is for students and professionals in geodesy, land surveying, and geospatial science who need to understand the mathematics of describing the Earth and capturing her in maps and geospatial data: the discipline known as mathematical geodesy. Map of the World: An Introduction to Mathematical Geodesy aims to provide an acces...
IBERGRID 2008 is the second edition of a series of Iberian Grid Infrastructure Conferences initiated in 2007 under the framework of the bilateral agreement for Science and Technology signed in November 2003 between Portugal and Spain, aiming to leverage the construction of a common Iberian Grid Infrastructure and to foster cooperation in the fields of grid computing and supercomputing. This book is the final outcome of IBERGRID 2008 - The 2nd Iberian Grid Infrastructure Conference. It is aimed at an audience of academics, researchers, students, industry specialists and practitioners in all branches of knowledge sharing a common need, that is, powerful computing, visualization and/or storage resources. This community will benefit from the Iberian Grid Infrastructure being implemented as it will provide easy and secure access to a larger and more powerful set of distributed resources.
This book introduces a range of citizen science approaches to the coastal and marine sciences, introducing a variety of case studies. It goes beyond the narrow definition of citizen science, and also includes the contributions to science provided by the wider tourism industry. Various methods are discussed, including traditional surveys, the use of social media and GPS tracking as sources for data, and citizen science contributions through online platforms and apps, as well as tour operator sighting logs.