Verlag: Springer US, Springer Mär 2013, 2013
ISBN 10: 1475779232 ISBN 13: 9781475779233
Sprache: Englisch
Anbieter: Wegmann1855, Zwiesel, Deutschland
Taschenbuch. Zustand: Neu. Neuware -An Application Science For Multi-Agent Systems addresses the complexity of choosing which multi-agent control technologies are appropriate for a given problem domain or a given application. Without such knowledge, when faced with a new application domain, agent developers must rely on past experience and intuition to determine whether a multi-agent system is the right approach, and if so, how to structure the agents, how to decompose the problem, and how to coordinate the activities of the agents, and so forth. This unique collection of contributions, written by leading international researchers in the agent community, provides valuable insight into the issues of deciding which technique to apply and when it is appropriate to use them. The contributions also discuss potential trade-offs or caveats involved with each decision.An Application Science For Multi-Agent Systems is an excellent reference for anyone involved in developing multi-agent systems.
Verlag: Springer US, Springer Mär 2013, 2013
ISBN 10: 1461360579 ISBN 13: 9781461360575
Sprache: Englisch
Anbieter: Wegmann1855, Zwiesel, Deutschland
Taschenbuch. Zustand: Neu. Neuware -The laser, initially called the 'optical maser,' was proposed in 1958 by Charles Townes and Arthur Schawlow; in 1960, Theodore Maiman was the first among several researchers to achieve laser oscillation by using a ruby crystal. In the following quarter of a century, a considerable amount of re search and development has taken place, and the laser is now utilized for many diverse applications, ranging from the commonplace compact disk to intricate surgical applications in medicine. Since I first entered the laboratory of Professor Yasuharu Suematsu in 1962 to complete my thesis, I have been studying the new field of laser optics. In spite of many expectations and a vast investment in research, the first practical use of lasers was difficult to of Univ. Erlangen once jokingly achieve. The late Professor K. H. Zchauer remarked that laser was defined by an English physicist as 'Less Application of Stimulated Expensive Research. ' In a similiar vein, Dr. Herwig Kogelnik reminded me that in the early 1960s, maser was often called 'Money Acqui sition Scheme for Expensive Research. ' Initially I worked with a ruby laser, then with a helium-neon-gas laser, and am presently engaged in semiconductor laser research. There are proba bly not a large number of researchers who have had the opportunity to build these three representative types of lasers. My primary objective of study lies in optical communications however, and therefore, I have been approaching the laser mainly as a lightwave propagator.
Verlag: Springer International Publishing, Springer International Publishing Mär 2013, 2013
ISBN 10: 303101071X ISBN 13: 9783031010712
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This lecture describes a theoretical framework for the behavioural sciences that holds high promise for theory-driven research and design in Human-Computer Interaction. The framework is designed to tackle the adaptive, ecological, and bounded nature of human behaviour. It is designed to help scientists and practitioners reason about why people choose to behave as they do and to explain which strategies people choose in response to utility, ecology, and cognitive information processing mechanisms. A key idea is that people choose strategies so as to maximise utility given constraints. The framework is illustrated with a number of examples including pointing, multitasking, skim-reading, online purchasing, Signal Detection Theory and diagnosis, and the influence of reputation on purchasing decisions. Importantly, these examples span from perceptual/motor coordination, through cognition to social interaction. Finally, the lecture discusses the challenging idea that people seek to find optimal strategies and also discusses the implications for behavioral investigation in HCI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Mär 2013, 2013
ISBN 10: 3031793536 ISBN 13: 9783031793530
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book discusses the ways in which engineering educators are responding to the challenges that confront their profession. On the one hand, there is an overarching sustainability challenge: the need for engineers to relate to the problems brought to light in the debates about environmental protection, resource depletion, and climate change. There are also a range of societal challenges that are due to the permeation of science and technology into ever more areas of our societies and everyday lives, and finally, there are the intrinsic scientific and technological challenges stemming from the emergence of new fields of 'technosciences' that mix science and technology in new combinations.In the book, the author discusses and exemplifies three contending response strategies on the part of engineers and engineering educators: a commercial strategy that links scientists and engineers into networks or systems of innovation; an academic strategy that reasserts the traditional values of science and engineering; and an integrative strategy that aims to combine scientific knowledge and engineering skills with cultural understanding and social responsibility by fostering what the author terms a 'hybrid imagination.'Professor Jamison combines scholarly analysis with personal reflections drawing on over forty years of experience as a humanist teaching science and engineering students about the broader social, political and cultural contexts of their fields. The book has been written as part of the Program of Research on Opportunities and Challenges in Engineering Education in Denmark (PROCEED), funded by the Danish Strategic Research Council, for which Professor Jamison has served as coordinator.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.
Verlag: Springer New York, Springer US Mär 2013, 2013
ISBN 10: 1475788193 ISBN 13: 9781475788198
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Prions are an entirely new class of pathogens, and scientists are just beginning to understand them. This book tells the strange story of their discovery, and the medical controversies that swirl around them.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.
Verlag: Springer International Publishing, Springer Nature Switzerland Mär 2013, 2013
ISBN 10: 3031004663 ISBN 13: 9783031004667
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Computer software has been productive in helping individuals with cognitive disabilities. Personalizing the user interface is an important strategy in designing software for these users, because of the barriers created by conventional user interfaces for the cognitively disabled. Cognitive assistive technology (CAT) has typically been used to provide help with everyday activities, outside of cognitive rehabilitation therapy. This book describes a quarter century of computing R&D at the Institute for Cognitive Prosthetics, focusing on the needs of individuals with cognitive disabilities from brain injury. Models and methods from Human Computer Interaction (HCI) have been particularly valuable, initially in illuminating those needs. Subsequently HCI methods have expanded CAT to be powerful rehabilitation therapy tools, restoring some damaged cognitive abilities which have resisted conventional therapy. Patient-Centered Design (PCD) emerged as a design methodology which incorporates both clinical and technical factors. PCD also takes advantage of the patient's ability to redesign and refine the user interface, and to achieve a very good fit between user and system. Cognitive Prosthetics Telerehabilitation is a powerful therapy modality. Essential characteristics are delivering service to patients in their own home, having the patient's priority activities be the focus of therapy, using cognitive prosthetic software which applies Patient Centered Design, and videoconferencing with a workspace shared between therapist and patient. Cognitive Prosthetics Telerehabilitation has a rich set of advantages for the many stakeholders involved with brain injury rehabilitation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.
Verlag: Springer International Publishing, Springer International Publishing Mär 2013, 2013
ISBN 10: 3031011554 ISBN 13: 9783031011559
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This is the second book based on the 5S (Societies, Scenarios, Spaces, Structures, Streams) approach to digital libraries (DLs). Leveraging the first volume, on Theoretical Foundations, we focus on the key issues of evaluation and integration. These cross-cutting issues serve as a bridge for those interested in DLs, connecting the introduction and formal discussion in the first book, with the coverage of key technologies in the third book, and of illustrative applications in the fourth book. These two topics have central importance in the DL field, allowing it to be treated scientifically as well as practically. In the scholarly world, we only really understand something if we know how to measure and evaluate it. In the Internet era of distributed information systems, we only can be practical at scale if we integrate across both systems and their associated content. Evaluation of DLs must take place atmultiple levels,so we can address the different entities and their associated measures. Thus, for digital objects, we assess accessibility, pertinence, preservability, relevance, significance, similarity, and timeliness. Other measures are specific to higher-level constructs like metadata, collections, catalogs, repositories, and services.We tie these together through a case study of the 5SQual tool, which we designed and implemented to perform an automatic quantitative evaluation of DLs. Thus, across the Information Life Cycle, we describe metrics and software useful to assess the quality of DLs, and demonstrate utility with regard to representative application areas: archaeology and education. Though integration has been a challenge since the earliest work on DLs, we provide the first comprehensive 5S-based formal description of the DL integration problem, cast in the context of related work. Since archaeology is a fundamentally distributed enterprise, we describe ETANADL, for integrating Near Eastern Archeology sites and information. Thus, we show how 5S-based modeling can lead to integrated services and content. While the first book adopts a minimalist and formal approach to DLs, and provides a systematic and functional method to design and implement DL exploring services, here we broaden to practical DLs with richer metamodels, demonstrating the power of 5S for integration and evaluation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.
Verlag: Springer US, Springer New York Mär 2013, 2013
ISBN 10: 1461469007 ISBN 13: 9781461469001
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -ICT Development for Social and Rural Connectedness provides an introduction to the concept of 'connectedness', and explores how this socio-psychological term has evolved during the age of the Internet. The book surveys the principles of ICT for development (ICTD), and closely examines how ICT has played a pivotal role in the rural community development of various countries. To highlight the continued benefits of ICT in these regions, the book presents an in-depth case study that analyzes the connectedness within the rural internet centers of Malaysia. The book is intended primarily for researchers and practitioners as a reference guide to ICTD in rural environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 56 pp. Englisch.
Verlag: Springer New York, Springer US Mär 2013, 2013
ISBN 10: 1461468949 ISBN 13: 9781461468943
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Recommender systems are one of the recent inventions to deal with the ever-growing information overload in relation to the selection of goods and services in a global economy. Collaborative Filtering (CF) is one of the most popular techniques in recommender systems. The CF recommends items to a target user based on the preferences of a set of similar users known as the neighbors, generated from a database made up of the preferences of past users. In the absence of these ratings, trust between the users could be used to choose the neighbor for recommendation making. Better recommendations can be achieved using an inferred trust network which mimics the real world ¿friend of a friend¿ recommendations. To extend the boundaries of the neighbor, an effective trust inference technique is required.This book proposes a trust interference technique called Directed Series Parallel Graph (DSPG) that has empirically outperformed other popular trust inference algorithms, such as TidalTrust and MoleTrust. For times when reliable explicit trust data is not available, this book outlines a new method called SimTrust for developing trust networks based on a user¿s interest similarity. To identify the interest similarity, a user¿s personalized tagging information is used. However, particular emphasis is given in what resources the user chooses to tag, rather than the text of the tag applied. The commonalities of the resources being tagged by the users can be used to form the neighbors used in the automated recommender system. Through a series of case studies and empirical results, this book highlights the effectiveness of this tag-similarity based method over the traditional collaborative filtering approach, which typically uses rating data.Trust for Intelligent Recommendation is intended for practitioners as a reference guide for developing improved, trust-based recommender systems. Researchers in a related field will also find this bookvaluable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.
Verlag: Springer New York, Springer US Mär 2013, 2013
ISBN 10: 1461438543 ISBN 13: 9781461438540
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Often lost in the shadow of the first group of astronauts for the Mercury missions, the second and third groups included the leading figures for NASA's activities for the following two decades. ¿Moon Bound¿ complements the author¿s recently published work, ¿Selecting the Mercury Seven¿ (2011), extending the story of the men who helped to launch human spaceflight and broaden the American space program. Although the initial 1959 group became known as the legendary pioneering Mercury astronauts, the astronauts of Groups 2 and 3 gave us many household names. Sixteen astronauts from both groups traveled to the Moon in Project Apollo, with several actually walking on the Moon, one of them being Neil Armstrong.This book draws on interviews to tell the astronauts' personal stories and recreate the drama of that time. It describes the process by which they were selected as astronauts and explains how the criteria had changed since the first group. ¿Moon Bound¿ is divided into two parts, recounting the biographies relating to the nine astronauts from NASA¿s Group 2 in the first part, and the fourteen finalists in Group 3 in the second part.The stories of both selection groups are narrated through the experiences of four finalists with interesting backgrounds. One of these men is Al Rupp of the USAF who, as a West Point cadet, cheekily helped to steal the Navy mascot goat prior to the annual Army versus Navy game in 1953, thus achieving legendary status in the game¿s history. Rupp was killed in a plane crash just two years after being named as a finalist for Group 3. The service career of naval aviator John Yamnicky was also very much the equal of other finalists, but he was killed on September 11, 2001, as he was a passenger on hijacked Flight 77, which was flown into the Pentagon.At the end of the work there are several chapters on how these candidates were prepped for their missions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.
Verlag: Springer New York, Springer New York Mär 2013, 2013
ISBN 10: 1475781199 ISBN 13: 9781475781199
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Many of us, especially since 9/11, have become personally concerned about issues of security, and this is no surprise. Security is near the top of government and corporate agendas around the globe. Security-related stories appear on the front page everyday. How well though, do any of us truly understand what achieving real security involves In Beyond Fear, Bruce Schneier invites us to take a critical look at not just the threats to our security, but the ways in which we're encouraged to think about security by law enforcement agencies, businesses of all shapes and sizes, and our national governments and militaries. Schneier believes we all can and should be better security consumers, and that the trade-offs we make in the name of security - in terms of cash outlays, taxes, inconvenience, and diminished freedoms - should be part of an ongoing negotiation in our personal, professional, and civic lives, and the subject of an open and informed national discussion.With a well-deserved reputation for original and sometimes iconoclastic thought, Schneier has a lot to say that is provocative, counter-intuitive, and just plain good sense. He explains in detail, for example, why we need to design security systems that don't just work well, but fail well, and why secrecy on the part of government often undermines security. He also believes, for instance, that national ID cards are an exceptionally bad idea: technically unsound, and even destructive of security. And, contrary to a lot of current nay-sayers, he thinks online shopping is fundamentally safe, and that many of the new airline security measure (though by no means all) are actually quite effective. A skeptic of much that's promised by highly touted technologies like biometrics, Schneier is also a refreshingly positive, problem-solving force in the often self-dramatizing and fear-mongering world of security pundits.Schneier helps the reader to understand the issues at stake,and how to best come to one's own conclusions, including the vast infrastructure we already have in place, and the vaster systems--some useful, others useless or worse--that we're being asked to submit to and pay for.Bruce Schneier is the author of seven books, including Applied Cryptography (which Wired called 'the one book the National Security Agency wanted never to be published') and Secrets and Lies (described in Fortune as 'startlingly lively.¿[a] jewel box of little surprises you can actually use.'). He is also Founder and Chief Technology Officer of Counterpane Internet Security, Inc., and publishes Crypto-Gram, one of the most widely read newsletters in the field of online security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642374247 ISBN 13: 9783642374241
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed post-proceedings of the 9th International Conference on Adaptive Multimedia Retrieval, AMR 2011, held in Barcelona, Spain, in July 2011. The 9 revised full papers and the invited contribution presented were carefully reviewed and selected from numerous submissions. The papers cover topics ranging from theoretical work to practical implementations and its evaluation, most of them dealing with audio or music media. They are organized in topical sections on evaluation and user studies, audio and music, image retrieval, and similarity and music.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642371884 ISBN 13: 9783642371882
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 11th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2013, held in Vienna, Austria, in April 2013, colocated with the Evo\* 2013 events EuroGP, EvoCOP, EvoMUSART and EvoApplications. The 10 revised full papers presented together with 9 poster papers were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics in the field of biological data analysis and computational biology. They address important problems in biology, from the molecular and genomic dimension to the individual and population level, often drawing inspiration from biological systems in oder to produce solutions to biological problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642373429 ISBN 13: 9783642373428
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spain, in September 2012.The 20 revised full papers presented were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on bioinspired and machine learning methods, machine learning applications, semantics and ontology based techniques, and lattice computing and games.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642372066 ISBN 13: 9783642372063
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 16th European Conference on Genetic Programming, EuroGP 2013, held in Vienna, Austria, in April 2013 co-located with the Evo\* 2013 events, EvoMUSART, EvoCOP, EvoBIO, and EvoApplications.The 18 revised full papers presented together with 5 poster papers were carefully reviewed and selected from 47 submissions. The wide range of topics in this volume reflects the current state of research in the field, including different genres of GP (tree-based, linear, grammar-based, Cartesian), theory, novel operators, and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642370861 ISBN 13: 9783642370861
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeGrounding Linked Open Data in WordNet: The Case of the OSM Semantic Network.- A Strategy for Optimizing a Multi-Site Query in a Distributed Spatial Database.- The Impact of Spatial Resolution and Representation on Human Mobility Predictability.- A Data-driven Approach for Convergence Prediction on Road Network.- Tour Suggestion for Outdoor Activities.- Interpreting Pedestrian Bahaviour by Visualising and Clustering Movement Data.- A Multi-Modal Communication Approach to Describing the Surroundings to Mobile Users.- An Adaptive Context Acquisition Framework to Support Mobile Spatial and Context-Aware Applications.- Comparing Close Destination and Route-based Similarity Metrics for the Analysis of Map User Trajectories A Sensor Data Mediator Bridging the OGC Sensor Observation Service (SOS) and the OASIS Open Data Protocol (OData).- Dynamic Objects E_ect on Visibility Analysis in 3D Urban Environments.- Exploring Spatial Business Data: A Resource Oriented Architecture eCampus Application.- ISOGA: a System for Geographical Reachability Analysis Enhanced with Statistics.- A high performance Web-based system for analyzing and visualizing spatiotemporal data for climate studies.- Personalized Accessibility Maps (PAMs) for Communities with Special Needs.- A probabilistic model for road selection in mobile maps.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.
Verlag: Springer New York, Springer New York Mär 2013, 2013
ISBN 10: 1461439299 ISBN 13: 9781461439295
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -This engineering dynamics textbook is aimed at beginning graduate students in mechanical engineering and other related engineering disciplines who need training in dynamics as applied to engineering mechanisms. It introduces the formal mathematical development of Lagrangian mechanics (and its corollaries), while solving numerous engineering applications.The author¿s goal is to instill an understanding of the basic physics required for engineering dynamics, while providing a recipe (algorithm) for the simulation of engineering mechanisms such as robots.The book will be reasonably self-contained so that the practicing engineer interested in this area can also make use of it.This book is made accessible to the widest possible audience by numerous, solved examples and diagrams that apply the principles to real engineering applications.¿Provides an applied textbook for intermediate/advanced engineering dynamics courses;¿Discusses Lagrangian mechanics in the context of numerous engineering applications;¿Includes numerous, solved examples, illustrative diagrams and applied exercises in every chapterSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642369456 ISBN 13: 9783642369452
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeBeyond the Geneva Convention on the Treatment of Object Aliasing.-The Geneva Convention on the Treatment of Object Aliasing.-Ownership Types: A Survey.-Notions of Aliasing and Ownership.-Understanding Ownership Types with Dependent Types.-Object Graphs with Ownership Domains: An Empirical Study.-Alias Control for Deterministic Parallelism.-Alias Analysis for Object-Oriented Programs.-Immutability.-Fractional Permissions.-Object Ownership in Program Verification.-State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.-Separation Logic for Object-Oriented Programming.-VeriFast for Java: A Tutorial.- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.-Location Types for Safe Programming with Near and Far References.-The Future of Aliasing in Parallel Programming.-Aliasing Visions: Ownership and Location.-Alias Analysis: Beyond the Code.-How, Then, Should We Program.-A Retrospective on Aliasing Type Systems: 2012-2022.-Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.-Ownership Types: A Survey.-Notions of Aliasing and Ownership.-Understanding Ownership Types with Dependent Types.-Object Graphs with Ownership Domains: An Empirical Study.-Alias Control for Deterministic Parallelism.-Alias Analysis for Object-Oriented Programs.-Immutability.-Fractional Permissions.-Object Ownership in Program Verification.-State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.-Separation Logic for Object-Oriented Programming.-VeriFast for Java: A Tutorial.- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.-Location Types for Safe Programming with Near and Far References.-The Future of Aliasing in Parallel Programming.-Aliasing Visions: Ownership and Location.-Alias Analysis: Beyond the Code.-How, Then, Should We Program.-A Retrospective on Aliasing Type Systems: 2012-2022.-Structured Aliasing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642371949 ISBN 13: 9783642371943
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 17th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2013, held in Beijing, China, in April 2013. The 32 revised full papers were carefully reviewed and selected from 167 submissions. The papers cover a wide range of topics including molecular sequence analysis; genes and regulatory elements; molecular evolution; gene expression; biological networks; sequencing and genotyping technologies; genomics; epigenomics; metagenomics; population, statistical genetics; systems biology; computational proteomics; computational structural biology; imaging; large-scale data management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642372554 ISBN 13: 9783642372551
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This two-volume set, consisting of LNCS 7816 and LNCS 7817, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, CICLING 2013, held on Samos, Greece, in March 2013. The total of 91 contributions presented was carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections named: general techniques; lexical resources; morphology and tokenization; syntax and named entity recognition; word sense disambiguation and coreference resolution; semantics and discourse; sentiment, polarity, subjectivity, and opinion; machine translation and multilingualism; text mining, information extraction, and information retrieval; text summarization; stylometry and text simplification; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642356613 ISBN 13: 9783642356612
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -The Jacobian of a smooth projective curve is undoubtedly one of the most remarkable and beautiful objects in algebraic geometry. This work is an attempt to develop an analogous theory for smooth projective surfaces - a theory of the nonabelian Jacobian of smooth projective surfaces. Just like its classical counterpart, our nonabelian Jacobian relates to vector bundles (of rank 2) on a surface as well as its Hilbert scheme of points. But it also comes equipped with the variation of Hodge-like structures, which produces a sheaf of reductive Lie algebras naturally attached to our Jacobian. This constitutes a nonabelian analogue of the (abelian) Lie algebra structure of the classical Jacobian. This feature naturally relates geometry of surfaces with the representation theory of reductive Lie algebras/groups. This work¿s main focus is on providing an in-depth study of various aspects of this relation. It presents a substantial body of evidence that the sheaf of Lie algebras on the nonabelian Jacobian is an efficient tool for using the representation theory to systematically address various algebro-geometric problems. It also shows how to construct new invariants of representation theoretic origin on smooth projective surfaces.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642330800 ISBN 13: 9783642330803
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -The book deals with data protection issues from practical viewpoints. 40% of the content focus on the Malaysian Personal Data Protection Act (PDPA) 2010 progress, whilst 60% of the content focus on leading comparative practical guidance from Europe. Part of the PDPA provisions is mirrored from European approaches and practices. The approach of this book is straightforward, handy and readable and is supplemented by practical applications, illustrations, tables and diagrams. Practical examples highlighted in this book range from cloud computing, radio frequency identification technology, social media networks and information security to basic related aspects of data protection issues covering strategic leadership, management, governance and audit in businesses, organisations and local authorities. Recommended best practices have been outlined for practical guidance accompanied with future challenges and opportunities for Malaysia and ASEAN. The book is equally suitable for academics, practitioners, governmental officials and regulators dealing with data protection within their sector-specific legislation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2013, 2013
ISBN 10: 3642358187 ISBN 13: 9783642358180
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This work explores the operation and regulation of copyright collective management in Nigeria. The nexus between creativity and copyright and how creativity has played a pivotal role in development is explained. The need to balance the interests of authors and users is discussed and the societies representing the interest of copyright owners are illustrated.Further, Nigeriäs legal framework for collective management is enunciated from a pre-independence and post-independence perspective. In the course of this regulatory challenges encountered in the administration of collective management organizations, steps so far taken to address the problems, legislative reforms and judicial decisions are discussed.Apath to the new regime is chartered. The South African Copyright collective management system is explored and a comparison between the Nigerian and South African system is made. Thereby the need for supervisory and regulatory agencies of government is shown to seek the national interest regarding the collective administration of copyright and related rights. Then, suggestions for improvement and lessons for Africa are provided.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.
Verlag: Springer US, Springer New York Mär 2013, 2013
ISBN 10: 1461359171 ISBN 13: 9781461359173
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -to saythank you.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.
Verlag: Springer US, Springer New York Mär 2013, 2013
ISBN 10: 1468474006 ISBN 13: 9781468474008
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -In the late 1950's, the group of Soviet mathematicians consisting of L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze, and E. F. Mishchenko made fundamental contributions to optimal control theory. Much of their work was collected in their monograph, The Mathematical Theory of Optimal Processes. Subsequently, Professor Gamkrelidze made further important contributions to the theory of necessary conditions for problems of optimal control and general optimization problems. In the present monograph, Professor Gamkrelidze presents his current view of the fundamentals of optimal control theory. It is intended for use in a one-semester graduate course or advanced undergraduate course. We are now making these ideas available in English to all those interested in optimal control theory. West Lafayette, Indiana, USA Leonard D. Berkovitz Translation Editor Vll Preface This book is based on lectures I gave at the Tbilisi State University during the fall of 1974. It contains, in essence, the principles of general control theory and proofs of the maximum principle and basic existence theorems of optimal control theory. Although the proofs of the basic theorems presented here are far from being the shortest, I think they are fully justified from the conceptual view point. In any case, the notions we introduce and the methods developed have one unquestionable advantage -they are constantly used throughout control theory, and not only for the proofs of the theorems presented in this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.
Verlag: Springer Japan, Springer Japan Mär 2013, 2013
ISBN 10: 4431543058 ISBN 13: 9784431543053
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -Universities and research institutes are increasingly expected to contribute to society by creating innovation from the returns of their research results and the establishment of new technologies. Toward that goal, Keio University in Japan held an international symposium titled ¿Fulfilling the Promise of Technology Transfer: Fostering Innovation for the Benefit of Society.¿ From that symposium the following contents are included in the present volume: 1) A showcase of ideas and case studies to promote future creation of innovation by universities and research institutes worldwide, including information on the R&D value chain, licensing, income generation, start-ups and mechanisms to encourage entrepreneurship, and the changing role of universities in fostering innovation. 2) Introduction of active research projects that aim to productize successful research results on an international level. For example, the book includes results of research on stem cell technologies and regenerative medicine as well as the realization and application of polymer photonics and the development of the core technology of polymer photonics. 3) Case studies from the U.K. in developing industry¿academia collaboration with various business partners ranging from start-ups and spinout companies to large enterprises. 4) Reports of the achievements of the technological transfer activities at Keio University supported by the 5-year public fund, with suggestions for future prospects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.
Verlag: Springer US, Springer New York Mär 2013, 2013
ISBN 10: 1475712626 ISBN 13: 9781475712629
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Polar Ecology is one ecologist's attempt to sum up plant, animal and environmental relationships in the polar regions. Ecology grabs ecologists in different ways. I was grabbed in Antarctica by Adelie penguins, incubating contentedly at - 20°C with unmelting snow on their backs, and by minute black insects basking at lOoC in tufts of moss, while winds at - 15°C swept past unheeded. Some time later I saw snow buntings sheltering under Canadian eaves at - 30°C, and wondered (as I still wonder) how so tiny an organism maintains body temperature against so sharp a gradient. The subtitle of this book, if it had one, would be ' . an environmental approach'. My interests centre squarelyon plants and animals, but it is their responses to the environment-the physical conditions in which they find themselves-and effects of environmental constraints on their communities, that intrigue me most. In a small book, this has left little room for other important aspects of ecology-for example, the production and process ecology that currently preoccupy field researchers, and the biogeography and evolution of polar ecosystems that still provoke argument and speculation. My approach may provide background for other aspects of ecology, both polar and world-wide. I hope that the in-text citations and end-of-chapter bibliographies will help students to find their way into the broader fields beyond.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.
Verlag: Springer Basel, Birkhäuser Basel Mär 2013, 2013
ISBN 10: 3034803583 ISBN 13: 9783034803588
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -This eleventh volume in the Poincaré Seminar Series presents an interdisciplinary perspective on the concept of Time, which poses some of the most challenging questions in science. Five articles, written by the Fields medalist C. Villani, the two outstanding theoretical physicists T. Damour and C. Jarzynski, the leading experimentalist C. Salomon, and the famous philosopher of science H. Price, describe recent developments related to the mathematical, physical, experimental, and philosophical facets of this fascinating concept. These articles are also highly pedagogical, as befits their origin in lectures to a broad scientific audience. Highlights include a description of the manifold fundamental physical issues in play with time, in particular with the changes of perspective implied by Special and General Relativity; a mathematically precise discussion of irreversibility and entropy in the context of Boltzmann's and Vlasov's equations; a thorough survey of the recently developed ¿thermodynamics at the nanoscale,¿ the scale most relevant to biological physics; a description of the new cold atom space clockPHARAO to be installed in 2015 onboard the International Space Station, which will allow a test of Einstein's gravitational shift with a record precision of 2 × 10-6, and enable a test of the stability over time of the fundamental constants of physics, an issue first raised by Dirac in 1937; and last, but not least, a logical and clarifying philosophical discussion of ¿Time's arrow¿, a phrase first coined by Eddington in 1928 in a challenge to physics to resolve the puzzle of the time-asymmetry of our universe, and echoed here in a short poème en prose by C. de Mitry.This book should be of broad general interest to physicists, mathematicians, and philosophers.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 232 pp. Englisch.
Verlag: Springer New York, Springer New York Mär 2013, 2013
ISBN 10: 1461467136 ISBN 13: 9781461467137
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -The mounting problem of space debris in low earth orbit and its threat to the operation of application satellites has been increasingly recognized as space activities increase. The efforts of the Inter Agency Space Debris Coordinating Committee (IADC) and UN COPUS have now led to international guidelines to mitigate the creation of new debris. This book discusses the technical studies being developed for active removal processes and otherwise mitigating problems of space debris, particularly in low earth orbit. This book also considers threats to space systems and the Earth that comes from natural causes such as asteroids, coronal mass ejections, and radiation. After more than half a century of space applications and explorations, the time has come to consider ways to provide sustainability for long-term space activities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Englisch.
Verlag: Springer Japan, Springer Japan Mär 2013, 2013
ISBN 10: 4431543279 ISBN 13: 9784431543275
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -Following the Fukushima nuclear accident, a large volume of monitoring data has been collected about the soil, air, dust, and seawater, along with data about an immense number of foods supplied to the market. Little is known, however, about the effect of radioactive fallout on agriculture, information about which is vital. Although more than 80% of the damaged area is related to agriculture, in situ information specifically for agriculture is scarce. This book provides data about the actual movement and accumulation of radioactivity in the ecological system¿for example, whether debris deposited on mountains can be a cause of secondary contamination, under what conditions plants accumulate radioactive cesium in their edible parts, and how radioactivity is transferred from hay to milk. Because agriculture is so closely related to nature, many specialists with different areas of expertise must be involved in answering these questions. In the case of rice, researchers in rice cultivation as well as in soil, hydrology, and radioactivity measurement are working together to reveal the paths or accumulation of radioactivity in the field. For this purpose, the Graduate School of Agricultural and Life Sciences of The University of Tokyo has diverse facilities available throughout Japan, including farmlands, forests, and meadowlands. Many academic staff members have formed groups to conduct on-site research, with more than 40 volunteers participating. This book presents the data collected from the only project being systematically carried out across Japan after the Fukushima accident.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.