springer international publishing dez 2015 (481 results)

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The satellite range scheduling (SRS) problem, an important operations research problem in the aerospace industry consisting of allocating tasks among satellites and Earth-bound objects, is examined in this book. SRS principles and solutions are applicable to many areas, including:Satellite communications, where tasks are communication intervals between sets of satellites and ground stationsEarth observation, where tasks are observations of spots on the Earth by satellitesSensor scheduling, where tasks are observations of satellites by sensors on the Earth. This self-contained monograph begins with a structured compendium of the problem and moves on to explain the optimal approach to the solution, which includes aspects from graph theory, set theory, game theory and belief networks. This book is accessible to students, professionals and researchers in a variety of fields, including: operations research, optimization, scheduling theory, dynamic programming and game theory. Taking account of the distributed, stochastic anddynamic variantsof the problem, this book presents the optimal solution to the fixed interval SRS problem and how to migrate results into more complex cases. Reference algorithms and traditional algorithms for solving the scheduling problems are provided and compared with examples and simulations in practical scenarios. 192 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This synthesis lecture presents the current state-of-the-art in applying low-latency, lossless hardware compression algorithms to cache, memory, and the memory/cache link. There are many non-trivial challenges that must be addressed to make data compression work well in this context. First, since compressed data must be decompressed before it can be accessed, decompression latency ends up on the critical memory access path. This imposes a significant constraint on the choice of compression algorithms. Second, while conventional memory systems store fixed-size entities like data types, cache blocks, and memory pages, these entities will suddenly vary in size in a memory system that employs compression. Dealing with variable size entities in a memory system using compression has a significant impact on the way caches are organized and how to manage the resources in main memory. We systematically discuss solutions in the open literature to these problems. Chapter 2 provides the foundations of data compression by first introducing the fundamental concept of value locality. We then introduce a taxonomy of compression algorithms and show how previously proposed algorithms fit within that logical framework. Chapter 3 discusses the different ways that cache memory systems can employ compression, focusing on the trade-offs between latency, capacity, and complexity of alternative ways to compact compressed cache blocks. Chapter 4 discusses issues in applying data compression to main memory and Chapter 5 covers techniques for compressing data on the cache-to-memory links. This book should help a skilled memory system designer understand the fundamental challenges in applying compression to the memory hierarchy and introduce him/her to the state-of-the-art techniques in addressing them. 88 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Autonomous vehicles use global navigation satellite systems (GNSS) to provide a position within a few centimeters of truth. Centimeter positioning requires accurate measurement of each satellite's direct path propagation time. Multipath corrupts the propagation time estimate by creating a time-varying bias. A GNSS receiver model is developed and the effects of multipath are investigated. MATLABtm code is provided to enable readers to run simple GNSS receiver simulations. More specifically, GNSS signal models are presented and multipath mitigation techniques are described for various multipath conditions. Appendices are included in the booklet to derive some of the basics on early minus late code synchronization methods. Details on the numerically controlled oscillator and its properties are also given in the appendix. 72 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Whereas user-facing applications are often written in modern languages, the firmware, operating system, support libraries, and virtual machines that underpin just about any modern computer system are still written in low-level languages that value flexibility and performance over convenience and safety. Programming errors in low-level code are often exploitable and can, in the worst case, give adversaries unfettered access to the compromised host system. This book provides an introduction to and overview of automatic software diversity techniques that, in one way or another, use randomization to greatly increase the difficulty of exploiting the vast amounts of low-level code in existence. Diversity-based defenses are motivated by the observation that a single attack will fail against multiple targets with unique attack surfaces. We introduce the many, often complementary, ways that one can diversify attack surfaces and provide an accessible guide to more than two decades worth of research on the topic. We also discuss techniques used in conjunction with diversity to prevent accidental disclosure of randomized program aspects and present an in-depth case study of one of our own diversification solutions. 92 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As we increase our reliance on computer-generated information, often using it as part of our decision-making process, we must devise tools to assess the correctness of that information. Consider, for example, software embedded on vehicles, used for simulating aircraft performance, or used in medical imaging. In those cases, software correctness is of paramount importance as there's little room for error. Software verification is one of the tools available to attain such goals. Verification is a well known and widely studied subfield of computer science and computational science and the goal is to help us increase confidence in the software implementation by verifying that the software does what it is supposed to do. The goal of this book is to introduce the reader to software verification in the context of visualization. In the same way we became more dependent on commercial software, we have also increased our reliance on visualization software. The reason is simple: visualization is the lens through which users can understand complex data, and as such it must be verified. The explosion in our ability to amass data requires tools not only to store and analyze data, but also to visualize it. This book is comprised of six chapters. After an introduction to the goals of the book, we present a brief description of both worlds of visualization (Chapter 2) and verification (Chapter 3). We then proceed to illustrate the main steps of the verification pipeline for visualization algorithms. We focus on two classic volume visualization techniques, namely, Isosurface Extraction (Chapter 4) and Direct Volume Rendering (Chapter 5). We explain how to verify implementations of those techniques and report the latest results in the field of verification of visualization techniques. The last chapter concludes the book and highlights new research topics for the future. 96 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is predicted that robots will surpass human intelligence within the next fifty years.The ever increasing speed of advances in technology and neuroscience, coupled with the creation of super computers and enhanced body parts and artificial limbs, is paving the way for a merger of both human and machine.Devices which were once worn on the body are now being implanted into the body, and as a result, a class of true cyborgs, who are displaying a range of skills beyond those of normal humans-beings, are being created. There are cyborgs which can see colour by hearing sound, others have the ability to detect magnetic fields, some are equipped with telephoto lenses to aid their vision or implanted computers to monitor their heart, and some use thought to communicate with a computer or to manipulate a robotic arm. This is not science-fiction, these are developments that are really happening now, and will continue to develop in the future. However, a range of legal and policy questions has arisen alongside this rise of artificial intelligence.Cyber-Humans provides a deep and unique perspective on the technological future of humanity, and describes how law and policy will be particularly relevant in creating a fair and equal society and protecting the liberties of different life forms which will emerge in the 21st century.Dr Woodrow (Woody) Barfield previously headed up the Sensory Engineering Laboratory, holding the position of Industrial and Systems Engineering Professor at the University of Washington. His research revolves around the design and use of wearable computers and augmented reality systems and holds both JD and LLM degrees in intellectual property law and policy. He has published over 350 articles and major presentations in the areas of computer science, engineering and law. He currently lives in Chapel Hill, NC, USA. 312 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Scientific disciplines have their own view on catastrophes. Here, natural scientists, engineers, physicians as well as historians and social scientists define and discuss geo-hazards and associated technical disasters, natural disasters as a business case, medicine and its catastrophes. After war aspects of the Shoah are described with Gershom Sholem s Concept of Jewish Totality, and the situation of Displaced Persons in Germany as well as the Nakba for Palestinians related to the happiness of Jews celebrating their new State of Israel. The book also reminds of Hamburg's Flood Disaster in 1962, the Great East Japan Earthquake in 2011 and other historical catastrophes in Japan, the Lisbon earthquake in 1755 and the Age of Enlightenment, and the eruption of the Tambora in 1815 followed by the 'year without summer'. 168 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -MOMENTUM IS BUILDING for a return to the Moon. NASA's international partners on the International Space Station are in favor of returning to the lunar surface, as are India and China. The horizon goal may be Mars, but the political, funding and the technological and medical infeasibility of such an objective means the next logical step is a return to the Moon. While much has been learned about the Moon over the years, we don't understand its resource wealth potential and the technologies to exploit those resources have yet to be developed, but there are a number of companies that are developing these capabilities. And, with the discovery of water in the lunar polar regions, plans are in the works to exploit these resources for fuel for transportation operations in cis-lunar space and in low Earth orbit (LEO). The time has come for commercial enterprise to lead the way back to the lunar surface. Embarking on such a venture requires little in the way of new technologies. We don't need to develop super-fast propulsion systems like those required to get us to Mars safely, nor do we need hundreds of billions of dollars that the experts reckon it will cost to transport humans to the Red Planet. What we do need is a place to test the technologies and deep space experience that will enable us to build a pathway that will lead us to Mars. That place is the Moon and this book explains why. 192 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This textbook treats two important and related matters in convex geometry: the quantification of symmetry of a convex set-measures of symmetry-and the degree to which convex sets that nearly minimize such measures of symmetry are themselves nearly symmetric-the phenomenon of stability. By gathering the subject's core ideas and highlights around Grünbaum's general notion of measure of symmetry, it paints a coherent picture of the subject, and guides the reader from the basics to the state-of-the-art. The exposition takes various paths to results in order to develop the reader's grasp of the unity of ideas, while interspersed remarks enrich the material with a behind-the-scenes view of corollaries and logical connections, alternative proofs, and allied results from the literature. Numerous illustrations elucidate definitions and key constructions, and over 70 exercises-with hints and references for the more difficult ones-test and sharpen the reader's comprehension.The presentation includes: a basic course covering foundational notions in convex geometry, the three pillars of the combinatorial theory (the theorems of Carathéodory, Radon, and Helly), critical sets and Minkowski measure, the Minkowski-Radon inequality, and, to illustrate the general theory, a study of convex bodies of constant width; two proofs of F. John's ellipsoid theorem; a treatment of the stability of Minkowski measure, the Banach-Mazur metric, and Groemer's stability estimate for the Brunn-Minkowski inequality; important specializations of Grünbaum's abstract measure of symmetry, such as Winternitz measure, the Rogers-Shepard volume ratio, and Guo's Lp -Minkowski measure; a construction by the author of a new sequence of measures of symmetry, the kth mean Minkowski measure; and lastly, an intriguing application to the moduli space of certain distinguished maps from a Riemannian homogeneous space to spheres-illustrating the broad mathematical relevance of the book's subject. 292 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Our society has entered a data-driven era, one in which not only are enormous amounts of data being generated daily but there are also growing expectations placed on the analysis of this data. Some data have become simply too large to be displayed and some have too short a lifespan to be handled properly with classical visualization or analysis methods. In order to address these issues, this book explores the potential solutions where we not only visualize data, but also allow users to be able to interact with it. Therefore, this book will focus on two main topics: large dataset visualization and interaction.Graphic cards and their image processing power can leverage large data visualization but they can also be of great interest to support interaction. Therefore, this book will show how to take advantage of graphic card computation power with techniques called GPGPUs (general-purpose computing on graphics processing units). As specific examples, this book details GPGPU usages to produce fast enough visualization to be interactive with improved brushing techniques, fast animations between different data representations, and view simplifications (i.e. static and dynamic bundling techniques).Since data storage and memory limitation is less and less of an issue, we will also present techniques to reduce computation time by using memory as a new tool to solve computationally challenging problems. We will investigate innovative data processing techniques: while classical algorithms are expressed in data space (e.g. computation on geographic locations), we will express them in graphic space (e.g., raster map like a screen composed of pixels). This consists of two steps: (1) a data representation is built using straightforward visualization techniques; and (2) the resulting image undergoes purely graphical transformations using image processing techniques. This type of technique is called image-based visualization.The goal of this book is to explore new computing techniques using image-based techniques to provide efficient visualizations and user interfaces for the exploration of large datasets. This book concentrates on the areas of information visualization, visual analytics, computer graphics, and human-computer interaction. This book opens up a whole field of study, including the scientific validation of these techniques, their limitations, and their generalizations to different types of datasets. 132 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book, we aim to provide a fairly comprehensive overview of the scalability and efficiency challenges in large-scale web search engines. More specifically, we cover the issues involved in the design of three separate systems that are commonly available in every web-scale search engine: web crawling, indexing, and query processing systems. We present the performance challenges encountered in these systems and review a wide range of design alternatives employed as solution to these challenges, specifically focusing on algorithmic and architectural optimizations. We discuss the available optimizations at different computational granularities, ranging from a single computer node to a collection of data centers. We provide some hints to both the practitioners and theoreticians involved in the field about the way large-scale web search engines operate and the adopted design choices. Moreover, we survey the efficiency literature, providing pointers to a large number of relatively important research papers. Finally, we discuss some open research problems in the context of search engine efficiency. 140 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This most recent book from lunar expert Charles J. Byrne combines the latest comprehensive imagery, topography and gravity data from all three recent Moon missions, Kaguya, Lunar Reconnaissance Orbiter and GRAIL. These major polar-orbit surveys are presented here in compact form for the convenience of amateur and practical astronomers concerned with the Moon. Chosen from the Near and Far Side's large craters and basins over 200 km in diameter, each of the 71 highlighted features is depicted with a two-page presentation of the data that includes false color topographic maps next to the mission images. Additionally, the features are presented in the estimated chronological sequence of their creation, based on a consideration of stratigraphy (overlapping layers from neighboring features) and the relative degradation of surface features. Using this sequence as a way to convey the relative ages of lunar features, the author presents various theories concerning the Moon's impact and thermal history e.g. the available evidence allows for constraints to be placed on the duration of the Late Heavy Bombardment period. The relationships between impact dynamics and variations in the gravity field of the Moon are also discussed. The new mission data makes possible this renewed conjecture about the history and evolution of the Moon, which is presented here with much worthwhile information for amateurs and professionals alike. 256 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware - This book tells the story of the four missions to maintainHubble's successful operation. Between 1997 and 2009 these repaired, serviced and upgraded the instruments on the telescope to maintain its state-of-the-art capabilities. It draws on first hand interviews with those closely involved in the project. The spacewalking skills and experiences gained from maintaining and upgrading Hubble had direct application to the construction of the International Space Station and help with its maintenance. These skills can be applied to future human and robotic satellite servicing and maintenance activities as well, not only in Earth orbit but at locations deeper in space.A companion to this book, The Hubble Space Telescope: From Concept to Success, relates the events of the Telescope's launch in 1990 and its rough start, after a 20-year struggle to place a large optical telescope in orbit. Originally intended to operate for fifteen years, Hubble has just passed its 25th anniversary, and there is every expectation that it will survive for thirty years. Despite its early problems, the Hubble Space Telescope has become a lasting legacy of the Space Shuttle program, and indeed is a national treasure. 356 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Aimed toward researchers and graduate students familiar with elements of functional analysis, linear algebra, and general topology; this book contains a general study of modulars, modular spaces, and metric modular spaces. Modulars may be thought of as generalized velocity fields and serve two important purposes: generate metric spaces in a unified manner and provide a weaker convergence, the modular convergence, whose topology is non-metrizable in general. Metric modular spaces are extensions of metric spaces, metric linear spaces, and classical modular linear spaces. The topics covered include the classification of modulars, metrizability of modular spaces, modular transforms and duality between modular spaces, metric and modular topologies. Applications illustrated in this book include: the description of superposition operators acting in modular spaces, the existence of regular selections of set-valued mappings, new interpretations of spaces of Lipschitzian and absolutely continuous mappings, the existence of solutions to ordinary differential equations in Banach spaces with rapidly varying right-hand sides. 152 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On the Web, a massive amount of user-generated content is available through various channels (e.g., texts, tweets, Web tables, databases, multimedia-sharing platforms, etc.). Conflicting information, rumors, erroneous and fake content can be easily spread across multiple sources, making it hard to distinguish between what is true and what is not. This book gives an overview of fundamental issues and recent contributions for ascertaining the veracity of data in the era of Big Data. The text is organized into six chapters, focusing on structured data extracted from texts. Chapter 1 introduces the problem of ascertaining the veracity of data in a multi-source and evolving context. Issues related to information extraction are presented in Chapter 2. Current truth discovery computation algorithms are presented in details in Chapter 3. It is followed by practical techniques for evaluating data source reputation and authoritativeness in Chapter 4. The theoretical foundations and various approaches for modeling diffusion phenomenon of misinformation spreading in networked systems are studied in Chapter 5. Finally, truth discovery computation from extracted data in a dynamic context of misinformation propagation raises interesting challenges that are explored in Chapter 6. This text is intended for a seminar course at the graduate level. It is also to serve as a useful resource for researchers and practitioners who are interested in the study of fact-checking, truth discovery, or rumor spreading. 156 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inchworms, tiger moths, underwings, owlet moths, silkworms,sphinx moths, grass moths, and butterflies. Collectively, these and many others are the Lepidoptera, one of the most diverse groups of animals on the planet.Lepidoptera can be found in the highest tropical canopies,the driest deserts, and at the leading edge of science. The adults include some of the most beautiful insects that have inspired artists and have sailed through the dreams of human cultures for millennia. The immature stages ('caterpillars'), like the underwing depicted on the cover, link together vital processes in diverse terrestrial ecosystems that are only barely documented let alone understood.The people that study these animals are lepidopterists, and the goal of this book is to introduce them with their own words. In twenty chapters, lepidopterists tell their stories, and these tales mirror the diversity of nature in their range and depth. You will find individuals that wrestle with the challenges of scientific careers, stories of far flung travel sand close calls, and historical perspectives on recent decades of scientific break throughs. 296 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This updated second edition has all of the information needed foryour successful forays into deep sky observing. Coe uses his years of experience to give detailed practical advice about how to find the best observing site, how to make the most of the time spent there, and what equipment and instruments to take along. There are comprehensive lists of deep sky objects of all kinds, along with Steve's own observations describing how they look through telescopes with apertures ranging from 4 inches to 36 inches (0.1 - 0.9 meters).Binocular observing also gets its due, while the lists of objects have been amended to highlight only the best targets. A new index makes finding targets easier than ever before, while the selection of viewing targets has been revised from the first edition.Most of all, this book is all about how to enjoy astronomy.The author'senthusiasm and sense of wonder shine through every page as he invites you along on a tour of some of the most beautiful and fascinating sites in the deep sky,with theimproved object list making sure your choice of a faint cluster, hazy nebula or distant galaxy will all be equally rewarding. 352 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisbook constitutes the thoroughly refereed proceedings of the 9th InternationalConference on Evaluation of Novel Approaches to Software Engineering, ENASE 2014,held in Lisbon, Portugal, in April 2014.The 11 full papers presented were carefully reviewed and selected from 58submissions. The papers reflect a growing effort to increase the disseminationof new results among researchers and professionals related to evaluation ofnovel approaches to software engineering. By comparing novel approaches withestablished traditional practices and by evaluating them against softwarequality criteria, the ENASE conferences advance knowledge and research insoftware engineering, identify most hopeful trends, and propose new directionsfor consideration by researchers and practitioners involved in large-scalesoftware development and integration. 184 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the First International Workshop on Multimodal Retrieval in the Medical Domain, MRMD 2015, held in Vienna, Austria, on March 29, 2015. The workshop was held in connection with ECIR 2015. The 14 full papers presented, including one invited paper, a workshop overview and five papers on the VISCERAL Retrieval Benchmark, were carefully reviewed and selected from 18 submissions. The papers focus on the following topics: importance of data other than text for information retrieval; semantic data analysis; scalability approaches towards big data sets. 164 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position paperspresented in this book were carefully reviewed and selected from 17submissions. The topics of the workshop included extensions to the OpenSHMEMAPI, implementation of the API for current and emerging architectures, tools todebug and profile OpenSHMEM programs, experience porting applications to theOpenSHMEM programming model, and changes to the OpenSHMEM specification toaddress the needs of programming exascale systems. 212 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the18th International Symposium on Practical Aspects of Declarative Languages,PADL 2016, held in St. Petersburg, FL, USA, in January 2016.The 11 revised papers presented were carefully reviewedand selected from 17 initial submissions for inclusion in the book. PADL is a forumfor researchers and practitioners to present original work emphasizing novelapplications and implementation techniques for all forms of declarativeconcepts, including, functional, logic, constraints, etc. 200 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus together with one invited paper on foundations ofalgebraic specification, approaches to formal specification including processcalculi and models of concurrent, distributed and mobile computing,specification languages, methods, and environments, semantics of conceptualmodeling methods and techniques, model-driven development, graphtransformations, term rewriting and proof systems, integration of formalspecification techniques, formal testing and quality assurance, validation, andverification. 184 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This bookconstitutes the refereed proceedings of the workshops held at the 17thAsia-Pacific Web Conference, APWeb 2015, in Guangzhou, China, in September2015.The 15 fullpapers were carefully reviewed and selected from various submissions. The volumepresents the papers that have been accepted for the following workshops: BigData Applications in Telecoms, BDAT 2015, Big Social Data, BSD 2015, and WebData Mining and Applications, WDMA 2015. The papers cover various issues in thearea of the World Wide Web with the underlying technologies and applications. 184 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Passwords, PASSWORDS 2014, held in Trondheim, Norway, in December 2014. The 8 revised full papers presented together with 2 revised short papers were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on hash functions, usability, analyses and new techniques. 168 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware - Normal 0 false false false EN-US X-NONE X-NONE /\* Style Definitions \*/ table.MsoNormalTable{mso-style-name:'Table Normal';mso-tstyle-rowband-size:0;mso-tstyle-colband-size:0;mso-style-noshow:yes;mso-style-priority:99;mso-style-q format:yes;mso-style-parent:'';mso-padding-alt:0in 5.4pt 0in 5.4pt;mso-para-margin:0in;mso-para-margin-bottom:.0001pt;mso-pagination:widow-orphan;font-size:11.0pt;font-family:'Cali bri','sans-serif';mso-ascii-font-family:Calibri;mso-ascii-th eme-font:minor-latin;mso-fareast-font-family:'Times New Roman';mso-fareast-theme-font:minor-fareast;mso-hansi-font-famil y:Calibri;mso-hansi-theme-font:minor-latin;mso-bidi-font-fam ily:'Times New Roman';mso-bidi-theme-font:minor-bidi;}This book constitutes the revised selected papers of theFirst International Workshop on Machine Learning in Medical Imaging, MLMMI2015, held in July 2015 in Lille, France, in conjunction with the 32ndInternational Conference on Machine Learning, ICML 2015.The 10 papers presented in this volume were carefullyreviewed and selected for inclusion in the book. The papers communicate thespecific needs and nuances of medical imaging to the machine learning communitywhile exposing the medical imaging community to current trends in machinelearning. 116 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, inJuly 2014.This volume presents 8 full papers together with 2invited tutorials/surveys from 21 submissions.The HSB 2013 workshop aims at collecting scientistsworking in the area of hybrid modeling applied to systems biology, in order todiscuss about current achieved goals, current challenges and future possibledevelopments.The scope of the HSB 2014 workshop is the general areaof dynamical models in biology with an emphasis on hybrid approaches, which arenot restricted to a narrow class of mathematical models, and which takeadvantage of techniques developed separately in different sub-fields. 188 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Sets out a simple month-by-month program to reveal all of the night sky's biggest and most beautiful secrets in just one year - and with only a few hours of stargazing each monthBy investing just an hour a week and $50 in binoculars, it's possible to learn a few simple techniques and quickly gain a real insight into the night sky's ever-changing patterns - and what they tell us about Earth, the seasons and ourselves. Searching more for a learned appreciation of nature and our exact place within the cosmos than academic scientific knowledge, science and travel writer Jamie Carter takes the reader on a 12 month tour of the night sky's incredible annual rhythms that say so much about Earth. During the journey he learns about the celestial mechanics at work in the skies above that are - to the beginner - almost beyond belief. As well as the vital constellations and clusters, and the weird and wonderful nebulas, he searches out 'dark sky destinations' across the globe that help increase knowledge and give a new perspective on familiar night sky sights. On the journey he witnesses a solar eclipse and grapples with star-charts, binoculars, smartphone apps, telescopes, spots satellites and attempts basic astro-photography. By year's end, the reader will be able to glance at the night sky from anywhere on the planet and tell what direction he or she is facing, what time it is, where all the planets are and even where the Galactic Center Point is. 436 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This text provides a framework in which the main objectives of the field of uncertainty quantification (UQ) are defined and an overview of the range of mathematical methods by which they can be achieved.Complete with exercises throughout, the book will equip readers with both theoretical understanding and practical experience of the key mathematical and algorithmic tools underlying the treatment of uncertainty in modern applied mathematics. Students and readers alike are encouraged to apply the mathematical methods discussed in this book to their own favorite problems to understand their strengths and weaknesses, also making the text suitable for a self-study.Uncertainty quantification is a topic of increasing practical importance at the intersection of applied mathematics, statistics, computation and numerous application areas in science and engineering.This text is designed as an introduction to UQ for senior undergraduate and graduate students with a mathematical or statistical background and also for researchers from the mathematical sciences or from applications areas who are interested in the field.T. J. Sullivan was Warwick Zeeman Lecturer at the Mathematics Institute of the University of Warwick, United Kingdom, from 2012 to 2015. Since 2015, he is Junior Professor of Applied Mathematics at the Free University of Berlin, Germany, with specialism in Uncertainty and Risk Quantification. 356 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the scientific trackof the 8th Software Quality Days Conference, SWQD 2016, held in Vienna,Austria, in January 2016.The SWQD conference offers a range of comprehensive and valuableinformation by presenting new ideas from the latest research papers, keynotespeeches by renowned academics and industry leaders, professional lectures,exhibits, and tutorials.The fivescientific full papers accepted for SWQD were each peer reviewed by three ormore reviewers and selected out of 13 high-quality submissions. Further, nineshort papers were also presented and are included in this book. In addition,one keynote paper by Scott Ambler and Mark Lines is also included. 244 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutesthe proceedings of the 12th International Workshop on Algorithms and Models forthe Web Graph, WAW 2015, held in Eindhoven, The Netherlands, in December 2015. The 15 fullpapers presented in this volume were carefully reviewed and selected from 24submissions. They are organized in topical sections named: properties of largegraph models, dynamic processes on large graphs, and properties of PageRank onlarge graphs. 212 pp. Englisch.