Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319283995 ISBN 13: 9783319283999
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This text is intended for an honors calculus course or for an introduction to analysis. Involving rigorous analysis, computational dexterity, and a breadth of applications, it is ideal for undergraduate majors. This third edition includes corrections as well as some additional material.Some features of the text include: The text is completely self-contained and starts with the real number axioms; The integral is defined as the area under the graph, while the area is defined for every subset of the plane; There is a heavy emphasis on computational problems, from the high-school quadratic formula to the formula for the derivative of the zeta function at zero; There are applications from many parts of analysis, e.g., convexity, the Cantor set, continued fractions, the AGM, the theta and zeta functions, transcendental numbers, the Bessel and gamma functions, and many more; Traditionally transcendentally presented material, such as infinite products, the Bernoulli series, and the zeta functional equation, is developed over the reals; and There are 385 problems with all the solutions at the back of the text. 444 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319269097 ISBN 13: 9783319269092
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book describes a large number of open problems in the theory of stochastic neural systems, with the aim of enticing probabilists to work on them. This includes problems arising from stochastic models of individual neurons as well as those arising from stochastic models of the activities of small and large networks of interconnected neurons. The necessary neuroscience background to these problems is outlined within the text, so readers can grasp the context in which they arise.This book will be useful for graduate students and instructors providing materialand references for applying probability to stochastic neuron modeling. Methods andresults are presented, but the emphasis is on questions where additional stochasticanalysis may contributeneuroscience insight.An extensive bibliography is included. Dr. Priscilla E. Greenwood is a Professor Emerita in the Department of Mathematics at the University of British Columbia. Dr. Lawrence M. Ward is a Professor in the Department of Psychology and the Brain Research Centre at the University of British Columbia. 88 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3031008995 ISBN 13: 9783031008993
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In order to sustain Moore's Law-based device scaling, principal attention has focused on toward device architectural innovations for improved device performance as per ITRS projections for technology nodes up to 10 nm. Efficient integration of lower substrate temperatures ( 84 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3031009002 ISBN 13: 9783031009006
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ever since its invention in the 1980s, the compound semiconductor heterojunction-based high electron mobility transistor (HEMT) has been widely used in radio frequency (RF) applications. This book provides readers with broad coverage on techniques and new trends of HEMT, employing leading compound semiconductors, III-N and III-V materials. The content includes an overview of GaN HEMT device-scaling technologies and experimental research breakthroughs in fabricating various GaN MOSHEMT transistors. Readers are offered an inspiring example of monolithic integration of HEMT with LEDs, too. The authors compile the most relevant aspects of III-V HEMT, including the current status of state-of-art HEMTs, their possibility of replacing the Si CMOS transistor channel, and growth opportunities of III-V materials on an Si substrate. With detailed exploration and explanations, the book is a helpful source suitable for anyone learning about and working on compound semiconductor devices. 76 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3031009010 ISBN 13: 9783031009013
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As technologists, we are constantly exploring and pushing the limits of our own disciplines, and we accept the notion that the efficiencies of new technologies are advancing at a very rapid rate. However, we rarely have time to contemplate the broader impact of these technologies as they impact and amplify adjacent technology disciplines.This book therefore focuses on the potential impact of those technologies, but it is not intended as a technical manuscript. In this book, we consider our progress and current position %toward on arbitrary popular concepts of future scenarios rather than the typical measurements of cycles per second or milliwatts. We compare our current human cultural situation to other past historic events as we anticipate the future social impact of rapidly accelerating technologies.We also rely on measurements based on specific events highlighting the breadth of the impact of accelerating semiconductor technologies rather than the specific rate of advance of any particular semiconductor technology.These measurements certainly lack the mathematic precision and repeatability to which technologists are accustomed, but the material that we are dealing with-the social objectives and future political structures of humanity-does not permit a high degree of mathematic accuracy.Our conclusion draws from the concept of Singularity. It seems certain that at the rate at which our technologies are advancing, we will exceed the ability of our post-Industrial Revolution structures to absorb these new challenges, and we cannot accurately anticipate what those future social structures will resemble. 112 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3031012208 ISBN 13: 9783031012204
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With the rapid development of cloud computing, the enterprises and individuals can outsource their sensitive data into the cloud server where they can enjoy high quality data storage and computing services in a ubiquitous manner. This is known as the outsourcing computation paradigm. Recently, the problem for securely outsourcing various expensive computations or storage has attracted considerable attention in the academic community. In this book, we focus on the latest technologies and applications of secure outsourcing computations. Specially, we introduce the state-of-the-art research for secure outsourcing some specific functions such as scientific computations, cryptographic basic operations, and verifiable large database with update. The constructions for specific functions use various design tricks and thus result in very efficient protocols for real-world applications. The topic of outsourcing computation is a hot research issue nowadays. Thus, this book will be beneficial to academic researchers in the field of cloud computing and big data security. 96 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3031006240 ISBN 13: 9783031006241
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -An era of big data demands datacenters, which house the computing infrastructure that translates raw data into valuable information. This book defines datacenters broadly, as large distributed systems that perform parallel computation for diverse users. These systems exist in multiple forms-private and public-and are built at multiple scales. Datacenter design and management is multifaceted, requiring the simultaneous pursuit of multiple objectives. Performance, efficiency, and fairness are first-order design and management objectives, which can each be viewed from several perspectives. This book surveys datacenter research from a computer architect's perspective, addressing challenges in applications, design, management, server simulation, and system simulation. This perspective complements the rich bodies of work in datacenters as a warehouse-scale system, which study the implications for infrastructure that encloses computing equipment, and in datacenters as distributed systems, which employ abstract details in processor and memory subsystems. This book is written for first- or second-year graduate students in computer architecture and may be helpful for those in computer systems. The goal of this book is to prepare computer architects for datacenter-oriented research by describing prevalent perspectives and the state-of-the-art. 124 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319279556 ISBN 13: 9783319279558
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This undergraduate textbook is based on lectures given by the author on the differential and integral calculus of functions of several real variables. The book has a modern approach and includes topics such as:-The p-norms on vector space and their equivalence-The Weierstrass and Stone-Weierstrass approximation theorems-The differential as a linear functional; Jacobians, Hessians, and Taylor's theorem in several variables-The Implicit Function Theorem for a system of equations, proved via Banach's Fixed Point Theorem-Applications to Ordinary Differential Equations-Line integrals and an introduction to surface integralsThis book features numerous examples, detailed proofs, as well as exercises at the end of sections. Many of the exercises have detailed solutions, making the book suitable for self-study. Several Real Variables will be useful for undergraduate students in mathematics who have completed first courses in linear algebra and analysis of one real variable. 324 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319241168 ISBN 13: 9783319241166
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Astronomer Peter Linde takes the reader through the story of the search for extraterrestrial life in a captivating and thought-provoking way, specifically addressing the new research that is currently devoted towards discovering other planets with life. He discusses the methods used to detect possible signals from other civilizations and the ways that the space sciences are changing as a result of this new field. 'Are we alone ' is a mystery that has forever fascinated mankind, gaining momentum by scientists since the 1995 discovery of the existence of exoplanets began to inspire new ways of thinking in astronomy. Here, Linde tries to answer many philosophical questions that derive from this area of research: Is humanity facing a change of paradigm, that we are not unique as intelligent beings Is it possible to communicate with others out there, and even if we can-should we 404 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319253719 ISBN 13: 9783319253718
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Providing an elementary introduction to branching random walks, the main focus of these lecture notes is on the asymptotic properties of one-dimensional discrete-time supercritical branching random walks, and in particular, on extreme positions in each generation, as well as the evolution of these positions over time. Starting with the simple case of Galton-Watson trees, the text primarily concentrates on exploiting, in various contexts, the spinal structure of branching random walks. The notes end with some applications to biased random walks on trees. 148 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319219022 ISBN 13: 9783319219028
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This gentle introduction to High Performance Computing (HPC) for Data Science using the Message Passing Interface (MPI) standard has been designed as a first course for undergraduates on parallel programming on distributed memory models, and requires only basic programming notions.Divided into two parts the first part covers high performance computing using C++ with the Message Passing Interface (MPI) standard followed by a second part providing high-performance data analytics on computer clusters.In the first part, the fundamental notions of blocking versus non-blocking point-to-point communications, global communications (like broadcast or scatter) and collaborative computations (reduce), with Amdalh and Gustafson speed-up laws are described before addressing parallel sorting and parallel linear algebra on computer clusters. The common ring, torus and hypercube topologies of clusters are then explained and global communication procedures on these topologies are studied. This first part closes with the MapReduce (MR) model of computation well-suited to processing big data using the MPI framework.In the second part, the book focuses on high-performance data analytics. Flat and hierarchical clustering algorithms are introduced for data exploration along with how to program these algorithms on computer clusters, followed by machine learning classification, and an introduction to graph analytics. This part closes with a concise introduction to data core-sets that let big data problems be amenable to tiny data problems.Exercises are included at the end of each chapter in order for students to practice the concepts learned, and a final section contains an overall exam which allows them to evaluate how well they have assimilated the material covered in the book. 316 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation. 216 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319284479 ISBN 13: 9783319284477
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereedpost-conference proceedings of the Second International Workshop on AdaptiveResource Management and Scheduling for Cloud Computing, ARMS-CC 2015, held inConjunction with ACM Symposium on Principles of Distributed Computing, PODC2015, in Donostia-San Sebastián, Spain, in July 2015.The 12 revised full papers, including 1 invited paper,were carefully reviewed and selected from 24 submissions. The papers haveidentified several important aspects of the problem addressed by ARMS-CC:self-\* and autonomous cloud systems, cloud quality management and service levelagreement (SLA), scalable computing, mobile cloud computing, cloud computingtechniques for big data, high performance cloud computing, resource managementin big data platforms, scheduling algorithms for big data processing, cloudcomposition, federation, bridging, and bursting, cloud resource virtualizationand composition, load-balancing and co-allocation, fault tolerance,reliability, and availability of cloud systems. 200 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319290053 ISBN 13: 9783319290058
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly revised selected papers of the 6th workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware, BPOE 2015, held in Kohala Coast, HI, USA, in August/September 2015 as satellite event of VLDB 2015, the 41st International Conference on Very Large Data Bases.The 8 papers presented were carefully reviewed and selected from 10 submissions. The workshop focuses on architecture and system support for big data systems, aiming at bringing researchers and practitioners from data management, architecture, and systems research communities together to discuss the research issues at the intersection of these areas. This book also invites three papers from several industrial partners, including two papers describing tools used in system benchmarking and monitoring and one paper discussing principles and methodologies in existing big data benchmarks. 160 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319284053 ISBN 13: 9783319284057
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheLASER Summer School is intended for professionals from industry (engineers andmanagers) as well as university researchers, including PhD students.Participants learn about the most important software technology advances from pioneersin the field.Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering topic each year. This volumecontains selected lecture notes from the 10thLASER Summer School on SoftwareEngineering: Leading-Edge Software Engineering. 200 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319299646 ISBN 13: 9783319299648
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereedpost-conference proceedings of the Second International Workshop on ComputerAssisted and Robotic Endoscopy, CARE 2015, held in conjunction with MICCAI2015, in Munich, Germany, in October 2015.The 15 revised full papers were carefully selected out of20 initial submissions and focus on recent technical advances associated withcomputer vision; graphics; robotics and medical imaging; external trackingsystems; medical device control systems; information processing techniques;endoscopy; planning and simulation. 180 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319299670 ISBN 13: 9783319299679
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015.The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions. The workshop contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage, thus providing an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. 116 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319299182 ISBN 13: 9783319299181
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereedpost-conference proceedings of the First International Workshop on AlgorithmicAspects of Cloud Computing, ALGOCLOUD 2015, held in Patras, Greece, inSeptember 2015 in conjunction with ALGO 2015.The 13 revised full papers presented together with 2tutorial papers were carefully reviewed and selected from 37 initialsubmissions. They cover a wide range of topics in two main tracks: algorithmicaspects of large-scale data stores, and software tools and distributedarchitectures for cloud-based data management. 208 pp. Englisch.
Verlag: Berlin Springer International Publishing Springer Feb 2016, 2016
ISBN 10: 3319269666 ISBN 13: 9783319269665
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Monitoring ist ein gemeinsam von Bund und Ländern durchgeführtes Untersuchungsprogramm, das die amtliche Überwachung der Bundesländer ergänzt. Während die Überwachung über hauptsächlich verdachts- und risikoorientierte Untersuchungen die Einhaltung rechtlicher Vorschriften kontrolliert, ist das Monitoring ein System wiederholter repräsentativer Messungen und Bewertungen von Gehalten an bestimmten unerwünschten Stoffen in den auf dem deutschen Markt befindlichen Erzeugnissen. Dadurch können mögliche gesundheitliche Risiken für die Verbraucher frühzeitig erkannt und durch gezielte Maßnahmen abgestellt werden. Neben Lebensmitteln sind auch kosmetische Mittel und Bedarfsgegenstände Gegenstand des Monitorings.Das Monitoring von Lebensmitteln wird dabei zweigeteilt durchgeführt: Zum einen werden jährlich zahlreiche Lebensmittel eines definierten Warenkorbes untersucht, zum anderen werden dazu ergänzend aktuelle stoff- bzw. lebensmittelbezogene Fragestellungen in Form von Projekten bearbeitet. 119 pp. Deutsch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 331925605X ISBN 13: 9783319256054
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This course-based primer provides newcomers to the field with a concise introduction to some of the core topics in the emerging field of topological insulators. The aim is to provide a basic understanding of edge states, bulk topological invariants, and of the bulk--boundary correspondence with as simple mathematical tools as possible. The present approach uses noninteracting lattice models of topological insulators, building gradually on these to arrive from the simplest one-dimensional case (the Su-Schrieffer-Heeger model for polyacetylene) to two-dimensional time-reversal invariant topological insulators (the Bernevig-Hughes-Zhang model for HgTe). In each case the discussion of simple toy models is followed by the formulation of the general arguments regarding topological insulators. The only prerequisite for the reader is a working knowledge in quantum mechanics, the relevant solid state physics background is provided as part of this self-containedtext, which is complemented by end-of-chapter problems. 180 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3031010329 ISBN 13: 9783031010323
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The literary imagination may take flight on the wings of metaphor, but hard-headed scientists are just as likely as doe-eyed poets to reach for a metaphor when the descriptive need arises. Metaphor is a pervasive aspect of every genre of text and every register of speech, and is as useful for describing the inner workings of a 'black hole' (itself a metaphor) as it is the affairs of the human heart. The ubiquity of metaphor in natural language thus poses a significant challenge for Natural Language Processing (NLP) systems and their builders, who cannot afford to wait until the problems of literal language have been solved before turning their attention to figurative phenomena. This book offers a comprehensive approach to the computational treatment of metaphor and its figurative brethren-including simile, analogy, and conceptual blending-that does not shy away from their important cognitive and philosophical dimensions. Veale, Shutova, and Beigman Klebanov approach metaphor from multiple computational perspectives, providing coverage of both symbolic and statistical approaches to interpretation and paraphrase generation, while also considering key contributions from philosophy on what constitutes the 'meaning' of a metaphor. This book also surveys available metaphor corpora and discusses protocols for metaphor annotation. Any reader with an interest in metaphor, from beginning researchers to seasoned scholars, will find this book to be an invaluable guide to what is a fascinating linguistic phenomenon. 164 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 331928360X ISBN 13: 9783319283609
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This bookconstitutes the refereed proceedings of the 12th International Conference andSchool of Network Science, NetSci-X 2016, held in Wroclaw, Poland, in January2016.The 12 fulland 6 short papers were carefully reviewed and selected from 59 submissions.The papers deal with the study of network models in domains ranging frombiology and physics to computer science, from financial markets to culturalintegration, and from social media to infectious diseases. 228 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319286838 ISBN 13: 9783319286839
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Approximation and Online Algorithms, WAOA 2015, held in Patras, Greece, in September 2015 as part of ALGO 2015.The 17 revised full papers presented were carefully reviewed and selected from 40 submissions.Topics of interest for WAOA 2015 were: algorithmic game theory, algorithmictrading, coloring and partitioning, competitive analysis, computational advertising,computational finance, cuts and connectivity, geometric problems, graphalgorithms, inapproximability, mechanism design, natural algorithms, networkdesign, packing and covering, paradigms for the design and analysis of approximationand online algorithms, parameterized complexity, scheduling problems,and real-world applications. 220 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319287117 ISBN 13: 9783319287119
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges, STACOM 2015, held in conjunction with MICCAI 2015, in Munich, Germany, in October 2015. The 23 revised full workshop papers were carefully reviewed and selected from 34 submissions. The papers cover a wide range of topics such cardiac image processing, atlas construction, statistical modeling of cardiac function across different patient populations, cardiac mapping, cardiac computational physiology, model customization, image-based modelling and image-guided interventional procedures, atlas based functional analysis, ontological schemata for data and results, integrated functional and structural analysis. 232 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319296035 ISBN 13: 9783319296036
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness. 268 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319284711 ISBN 13: 9783319284712
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This bookconstitutes revised selected papers from the 11th International Symposium onAlgorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, heldin Patras, Greece, in September 2015.The 16 fullpapers presented in this volume were carefully reviewed and selected from 30submissions. The deal with algorithms analysis and problem complexity; computercommunication networks; computation by abstract devices; and mathematics ofcomputing. 240 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319284592 ISBN 13: 9783319284590
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentation and application of such models in subfields of AI, evaluation of models, both theoretical and practical, and theories and applications developed through inter-disciplinary collaboration. 272 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319277316 ISBN 13: 9783319277318
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book describes the latest efforts to develop aluminumnanocomposites with enhanced damping and mechanical properties and goodworkability. The nanocomposites exhibited high strength, improved dampingbehavior and good ductility, makingthem suitable for use as wires. Since the production of metal matrixnanocomposites by conventional melting processes is considered extremely problematic (because of the poor wettability ofthe nanoparticles), different powder metallurgy routes were investigated,including high-energy ball milling and unconventional compaction methods.Special attention was paidto the structuralcharacterization at the micro- and nanoscale, as uniform nanoparticle dispersion in metal matrixis of prime importance. The aluminum nanocomposites displayed an ultrafine microstructurereinforced with alumina nanoparticles produced in situ or added ex situ. Thephysical, mechanical and functional characteristics of the materials produced were evaluated using different mechanical testsand microstructure investigation techniques. The book presents and discusses the experimental results indetail, and offers suggestions for future research directions. 140 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319296876 ISBN 13: 9783319296876
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book providesa concise overview of facts and projections aboutclimate change in Cyprus and its region until the end of the 21st century. Climate change is expected to have adverse effects in Mediterranean Europe - the most serious compared to other European regions. Being an island state with a semi-arid climate in the Eastern Mediterranean, Cyprus is located in a hot spot. Basedon the information available in the literature, it highlights the expected natural, economic and societal impacts ofclimate change and presents recommendations forthe implementation of a nationaladaptation strategy. Despite the dismal outlook arising from this review,the book demonstrates that coping with climate change is possible, provided thatproactive actions are taken by both the public and the private sector. Publicauthorities need to set clear priorities and set up adequate monitoringmechanisms that can help avoid large natural and economic damages at a laterstage. Enabling private adaptation investments and properly pricing the use ofnatural resources are key priorities for investing in a climate resilienteconomy. 80 pp. Englisch.
Verlag: Springer International Publishing Feb 2016, 2016
ISBN 10: 3319270389 ISBN 13: 9783319270388
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Written by global experts, this book provides a modern comprehensive insight into the pharmacogenetics of treatment of major psychoses: schizophrenia, bipolar disorder and depression. The pharmacogenomics of three categories of the most important psychiatric drugs, antipsychotics, antidepressants and mood stabilizers, has been updated and reviewed.Some promising directions and perspectives for future research in pharmacogenetics in major psychoses are indicated. They are, among others, connected with the development of new methods in molecular genetics and with linking pharmacogenetics assessment with biomarkers, including neuroimaging ones. Finally, the attempts to use pharmacogenetics of antipsychotic, antidepressant and mood-stabilizing drugs in practice are presented. New pharmacogenetic tools may greatly contribute to introducing personalized medicine into psychiatric clinical practice. 128 pp. Englisch.