springer springer sep 2008 (624 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book provides an elementary-level introduction to R, targeting both non-statistician scientists in various fields and students of statistics. The main mode of presentation is via code examples with liberal commenting of the code and the output, from the computational as well as the statistical viewpoint. Brief sections introduce the statistical methods before they are used. A supplementary R package can be downloaded and contains the data sets.All examples are directly runnable and all graphics in the text are generated from the examples. The statistical methodology covered includes statistical standard distributions, one- and two-sample tests with continuous data, regression analysis, one- and two-way analysis of variance, regression analysis, analysis of tabular data, and sample size calculations. In addition, the last four chapters contain introductions to multiple linear regression analysis, linear models in general, logistic regression, and survival analysis. 364 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -R is an Open Source implementation of the S language. It works on multiple computing platforms and can be freely downloaded. R is now in widespread use for teaching at many levels as well as for practical data analysis and methodological development.

Taschenbuch. Condizione: Neu. Neuware -Decreasing the magnetic field signature of a naval vessel will reduce its susceptibility to detonating naval influence mines and the probability of a submarine being detected by underwater barriers and maritime patrol aircraft. Both passive and active techniques for reducing the magnetic signatures produced by a vessel's ferromagnetism, roll-induced eddy currents, corrosion-related sources, and stray fields are presented. Mathematical models of simple hull shapes are used to predict the levels of signature reduction that might be achieved through the use of alternate construction materials. Also, the process of demagnetizing a steel-hulled ship is presented, along with the operation of shaft-grounding systems, paints, and alternate configurations for power distribution cables. In addition, active signature reduction technologies are described, such as degaussing and deamping, which attempt to cancel the fields surrounding a surface ship or submarine rather than eliminate its source. Table of Contents: Introduction / Passive Magnetic Silencing Techniques / Active Signature Compensation / SummarySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 80 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Quantum computation, one of the latest joint ventures between physics and the theory of computation, is a scientific field whose main goals include the development of hardware and algorithms based on the quantum mechanical properties of those physical systems used to implement such algorithms.Solving difficult tasks (for example, the Satisfiability Problem and other NP-complete problems) requires the development of sophisticated algorithms, many ofwhich employ stochastic processes as their mathematical basis.Discrete random walks are a popular choice among those stochastic processes.Inspired on the success of discrete random walks in algorithm development, quantum walks, an emerging field of quantum computation, is a generalization of random walks into the quantum mechanical world.The purpose of this lecture is to provide a concise yet comprehensive introduction to quantum walks.Table of Contents: Introduction / Quantum Mechanics / Theory of Computation / Classical Random Walks / Quantum Walks / Computer Science and Quantum Walks / ConclusionsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Heredity performs literal communication of immensely long genomes through immensely long time intervals. Genomes nevertheless incur sporadic errors referred to as mutations which have significant and often dramatic effects, after a time interval as short as a human life. How can faithfulness at a very large timescale and unfaithfulness at a very short one be conciliated The engineering problem of literal communication has been completely solved during the second half of the XX-th century. Originating in 1948 from Claude Shannon's seminal work, information theory provided means to measure information quantities and proved that communication is possible through an unreliable channel (by means left unspecified) up to a sharp limit referred to as its capacity, beyond which communication becomes impossible. The quest for engineering means of reliable communication, named error-correcting codes, did not succeed in closely approaching capacity until 1993 when Claude Berrou and Alain Glavieuxinvented turbocodes. By now, the electronic devices which invaded our daily lives (e.g., CD, DVD, mobile phone, digital television) could not work without highly efficient error-correcting codes. Reliable communication through unreliable channels up to the limit of what is theoretically possible has become a practical reality: an outstanding achievement, however little publicized. As an engineering problem that nature solved aeons ago, heredity is relevant to information theory. The capacity of DNA is easily shown to vanish exponentially fast, which entails that error-correcting codes must be used to regenerate genomes so as to faithfully transmit the hereditary message. Moreover, assuming that such codes exist explains basic and conspicuous features of the living world, e.g., the existence of discrete species and their hierarchical taxonomy, the necessity of successive generations and even the trend of evolution towards increasingly complex beings. Providing geneticists with an introduction to information theory and error-correcting codes as necessary tools of hereditary communication is the primary goal of this book. Some biological consequences of their use are also discussed, and guesses about hypothesized genomic codes are presented. Another goal is prompting communication engineers to get interested in genetics and biology, thereby broadening their horizon far beyond the technological field, and learning from the most outstanding engineer: Nature. Table of Contents: Foreword / Introduction / A Brief Overview of Molecular Genetics / An Overview of Information Theory / More on Molecular Genetics / More on Information Theory / An Outline of Error-Correcting Codes / DNA is an Ephemeral Memory / A Toy Living World / Subsidiary Hypothesis, Nested System / Soft Codes / Biological Reality Conforms to the Hypotheses / Identification of Genomic Codes / Conclusion and PerspectivesSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume introduces an entirely new pseudodifferential analysis on the line, the opposition of which to the usual (Weyl-type) analysis can be said to reflect that, in representation theory, between the representations from the discrete and from the (full, non-unitary) series, or that between modular forms of the holomorphic and substitute for the usual Moyal-type brackets. This pseudodifferential analysis relies on the one-dimensional case of the recently introduced anaplectic representation and analysis, a competitor of the metaplectic representation and usual analysis.Besides researchers and graduate students interested in pseudodifferential analysis and in modular forms, the book may also appeal to analysts and physicists, for its concepts making possible the transformation of creation-annihilation operators into automorphisms, simultaneously changing the usual scalar product into an indefinite but still non-degenerate one.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Operating systems provide the fundamental mechanisms for securing computer processing. Since the 1960s, operating systems designers have explored how to build 'secure' operating systems - operating systems whose mechanisms protect the system against a motivated adversary. Recently, the importance of ensuring such security has become a mainstream issue for all operating systems. In this book, we examine past research that outlines the requirements for a secure operating system and research that implements example systems that aim for such requirements. For system designs that aimed to satisfy these requirements, we see that the complexity of software systems often results in implementation challenges that we are still exploring to this day. However, if a system design does not aim for achieving the secure operating system requirements, then its security features fail to protect the system in a myriad of ways. We also study systems that have been retrofit with secure operating system features after an initial deployment. In all cases, the conflict between function on one hand and security on the other leads to difficult choices and the potential for unwise compromises. From this book, we hope that systems designers and implementors will learn the requirements for operating systems that effectively enforce security and will better understand how to manage the balance between function and security. Table of Contents: Introduction / Access Control Fundamentals / Multics / Security in Ordinary Operating Systems / Verifiable Security Goals / Security Kernels / Securing Commercial Operating Systems / Case Study: Solaris Trusted Extensions / Case Study: Building a Secure Operating System for Linux / Secure Capability Systems / Secure Virtual Machine Systems / System AssuranceSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The ability to reason correctly is critical to most aspects of computer science and to software development in particular. Since logic is the discipline concerned with the general rules and criteria of correct reasoning anyone involved with computer science and software development will benefit from studying logic and its applications to computing.Features: Covers elementary logic and its application to most stages of software development, discusses the application of logic to the English language, as software development begins usually with problems described by end users in ordinary English, emphasizes truth functional logic as well as quantificational logic, includes various examples and exercises to enable independent self-study.This book provides a reader friendly foundation and offers valuable insight into the topic, serving as a helpful reference for practitioners and advanced students involved with software development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Buch. Condizione: Neu. Neuware -The circumstances that will shape the long-term future of our planet will be constrained by what is physically possible and what is not. This full color book provides a quantitative view of our civilization over the next 100,000 years, in comparison to the 40-60,000 years it took for modern humans to emerge from Africa, on the basis of contemporary scientific and technological knowledge. The evolution of the Earth¿s atmosphere and the origin of water are highlighted as the most important factors for the emergence and the development of life.The authors consider both cosmic and natural hazards, pointing out that scientific information provided by satellites and communication systems on the ground could prevent many unnecessary casualties by forward planning and the installation of elementary precautions. The Earth¿s evolving climate is considered, showing how greenhouse gases have played an important role in the past climate, whereas human industrial and agricultural emissions will greatly impact our future.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The best way to become acquainted with a subject is to write a book about it. ¿Benjamin Disraeli i. Background The purpose of this book is provide an introduction to using a server-side programming language to solve some kinds of computing problems that cannot be solved with a client-side language such as JavaScript. The language is PHP (originally created in 1994 by Danish/Icelandic programmer Rasmus Lerdorf as ¿Personal Home Page Tools¿ for dealing with his own web site). The PHP language does not have a formal specification, as C does, for example. It is developed and maintained by a User Group of volunteers and is, essentially, defined by the most recently available free download. Although this might seem to be a shaky foundation on which to make a commitment to learning a programming language, PHP has a very large world-wide base of users and applications, which ensures its role into the foreseeable future. This book should not be considered as a PHP reference source and it does not deal exhaustively even with those elements of the PHP language used in the book. (This should be considered a blessing by the casual programmer. ) If you need more information, there is a huge amount of information online about PHP. Hopefully, this book will help you filter this information to focus on solving typical science and engineering problems. An excellent online source for information about PHP is php. net/manual/en/index. php, maintained by the PHP 1 Documentation Group.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Information wird im betrieblichen Kontext überwiegend durch die Ressource 'Daten' bestimmt. Das Buch vermittelt auf anschauliche Weise, wie Daten entstehen, wie sie systematisiert und aufgebaut sind und welche betriebswirtschaftliche Bedeutung sie haben. Damit werden erstmals sowohl die betriebswirtschaftlichen als auch die methodischen Grundlagen des Produktionsfaktors Information behandelt. Die grafische Umsetzung erfolgt mit der Unified Modelling Language (UML). Darüber hinaus wird das Konzept der Extensible Markup Language (XML) vorgestellt. 256 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -A major theme of this book is the development of a consistent unified model framework for the evaluation of bond options. In general options on zero bonds (e.g. caps) and options on coupon bearing bonds (e.g. swaptions) are linked by no-arbitrage relations through the correlation structure of interest rates. Therefore, unspanned stochastic volatility (USV) as well as Random Field (RF) models are used to model the dynamics of entire yield curves. The USV models postulate a correlation between the bond price dynamics and the subordinated stochastic volatility process, whereas Random Field models allow for a deterministic correlation structure between bond prices of different terms. Then the pricing of bond options is done either by running a Fractional Fourier Transform or by applying the Integrated Edgeworth Expansion approach. The latter is a new extension of a generalized series expansion of the (log) characteristic function, especially adapted for the computation of exercise probabilities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Buch. Condizione: Neu. Neuware -Containing a synopsis of national bases of jurisdication (one of the first of its kind) international law is presented here through litigation. Legal procedures determine what the law is. The great variety of procedures which determine international law including diplomatic means are comprehensively examined. This perspective is original and helps to explain foreign policy expediences and conflicting prescriptive rules. Written as an academic study the book is also meant to benefit those practising in the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Buch. Condizione: Neu. Neuware -Digital networking technologies are empowering organizations to form dynamic networks, generating exceptional or ¿smart¿ results. These Smart Business Networks (SBNs) enable individual organizations to compete more effectively and to respond better to a changing world. This idea attracted a diverse group of academic scholars and business professionals to Beijing from May 19-23, 2008, hosted by Tsinghua University. They discovered new ways to manage network resources, operate business processes across a network, create a business operations platform, understand the importance of network position and the smart mastering of technology. Effective managers, they concluded, must have a firm understanding of these fundamental network concepts in order to orchestrate the networks of the future. This book presents the results of an intense and energizing event which resulted in new theoretical foundations and practical insights.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These proceedings contain the papers selected for presentation at the 13th European Symposium on Research in Computer Security¿¿ESORICS 2008¿¿held October 6¿8, 2008 in Torremolinos (Malaga), Spain, and hosted by the University of Malaga, C- puter Science Department. ESORICS has become the European research event in computer security. The symposium started in 1990 and has been organized on alternate years in different European countries. From 2002 it has taken place yearly. It attracts an international audience from both the academic and industrial communities. In response to the call for papers, 168 papers were submitted to the symposium. These papers were evaluated on the basis of their significance, novelty, and technical quality. Each paper was reviewed by at least three members of the Program Comm- tee. The Program Committee meeting was held electronically, holding intensive d- cussion over a period of two weeks. Finally, 37 papers were selected for presentation at the symposium, giving an acceptance rate of 22%.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. Recent technological advances have enabled the large-scale adoption of d- grams in a diverse range of areas. Increasingly sophisticated visual represen- tions are emerging and, to enable e ective communication, insight is required into how diagrams are used and when they are appropriate for use. The per- sive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the eld of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualizations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams. The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour.Diagrams 2008 was the fth event in this conf- ence series, which was launched in Edinburghduring September 2000.Diagrams attracts a large number of researchers from virtually all related elds, placing the conference as a major international event in the area. Diagrams is the only conference that provides a united forum for all areas that are concerned with the study of diagrams: for example, architecture, - ti cial intelligence, cartography, cognitive science, computer science, education, graphicdesign,historyofscience,human-computerinteraction,linguistics,logic, mathematics,philosophy,psychology,andsoftwaremodelling.Weseeissuesfrom all of these elds discussed in the papers collected in the present volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Embedded and ubiquitous computing systems have considerably increased their scope of application over the past few years, and they now also include missi- and business-critical scenarios. The advances call for a variety of compelling - sues, including dependability, real-time, quality-of-service, autonomy, resource constraints, seamless interaction, middleware support, modeling, veri cation, validation, etc. The International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) brings together experts in the eld of emb- ded and ubiquitous computing systems with the aim of exchanging ideas and advancing the state of the art about the above-mentioned issues. I was honored to chair the sixth edition of the workshop, which continued the tradition of past editions with high-quality research results. I was particularly pleased to host the workshop in the wonderful scenario of Capri, with its stunning views and traditions. The workshop started in 2003 as an IEEE event, and then in 2007 it became a agship event of the IFIP Working Group 10.2 on embedded systems. The last few editions, held in Hakodate (Japan), Vienna (Austria), Seattle (USA), Gyeongju (Korea), and Santorini (Greece), were co-located with the IEEE - ternationalSymposiumonObject/Component/Service-OrientedReal-TimeD- tributed Computing (ISORC). This year, SEUS was held as a stand-alone event for the rst time, and, - spite the additionalorganizationaldi culties, it resultedina high-qualityevent, with papers from four continents (from USA, Europe, East Asia and Australia), (co-) authored and presented from senior scientists coming from academia or leading industrial research centers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Sequences and Their Applications, SETA 2008, held in Lexington, KY, USA in September 2008. The 32 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial and algebraic foundations; security aspects of sequences; algorithms; correlation of sequences over rings; nonlinear functions over finite fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The general idea that brains anticipate the future, that they engage in prediction, and that one means of doing this is through some sort of inner model that can be run of ine,hasalonghistory. SomeversionoftheideawascommontoAristotle,aswell as to many medieval scholastics, to Leibniz and Hume, and in more recent times, to Kenneth Craik and Philip Johnson-Laird. One reason that this general idea recurs continually is that this is the kind of picture that introspection paints. When we are engaged in tasks it seems that we form images that are predictions, or anticipations, and that these images are isomorphic to what they represent. But as much as the general idea recurs, opposition to it also recurs. The idea has never been widely accepted, or uncontroversial among psychologists, cognitive scientists and neuroscientists. The main reason has been that science cannot be s- is ed with metaphors and introspection. In order to gain acceptance, an idea needs to be formulated clearly enough so that it can be used to construct testable hypot- ses whose results will clearly supportor cast doubtupon the hypothesis. Next, those ideasthatare formulablein one oranothersortof symbolismor notationare capable of being modeled, and modeling is a huge part of cognitive neuroscience. If an idea cannot be clearly modeled, then there are limits to how widely it can be tested and accepted by a cognitive neuroscience community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Buch. Condizione: Neu. Neuware -The evolution of technology has set the stage for the rapid growth of the video Web: broadband Internet access is ubiquitous, and streaming media protocols, systems, and encoding standards are mature. In addition to Web video delivery, users can easily contribute content captured on low cost camera phones and other consumer products. The media and entertainment industry no longer views these developments as a threat to their established business practices, but as an opportunity to provide services for more viewers in a wider range of consumption contexts. The emergence of IPTV and mobile video services offers unprecedented access to an ever growing number of broadcast channels and provides the flexibility to deliver new, more personalized video services. Highly capable portable media players allow us to take this personalized content with us, and to consume it even in places where the network does not reach. Video search engines enable users to take advantage of these emerging video resources for a wide variety of applications including entertainment, education and communications. However, the task of information extr- tion from video for retrieval applications is challenging, providing opp- tunities for innovation. This book aims to first describe the current state of video search engine technology and second to inform those with the req- site technical skills of the opportunities to contribute to the development of this field. Today¿s Web search engines have greatly improved the accessibility and therefore the value of the Web.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Automatic course generation is a very important area of research with numerous practical applications in e-learning. It has been studied since the 1980s within the fields of intelligent tutoring, AI and education, adaptive hypermedia and web-based educational systems. Many approaches have been proposed, but hardly any have resulted in generic and practically applied systems. A number of problems have remained unresolved. These problems are addressed by this work.This book focuses on course generation based on Hierarchical Task Network planning (HTN planning). This course generation framework enables the formalization and application of complex and realistic pedagogical knowledge. The volume describes basic techniques for course generation, which are used to formalize seven different types of courses (for instance, introducing the learner to previously unknown concepts and supporting the learner during rehearsal) and several elementary learning goals (e.g., selecting an appropriate example or exercise). This framework has been implemented and evaluated with good results in several domains, with users from different countries and universities, in the context of an EU project.Course generation based on HTN planning is implemented in PAIGOS and has been evaluated by technical, formative and summative evaluations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 18th International Conference on Inductive Logic Programming was held in Prague, September 10¿12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics lending ILP research its unique focus, we were glad to see in this year¿s proceedings a good n- ber of papers contributing to areas such as statistical relational learning, graph mining, or the semantic web. To help open ILP to more mainstream research areas, the conference featured three excellent invited talks from the domains of the semantic web (Frank van Harmelen), bioinformatics (Mark Craven) and cognitive sciences (Josh Tenenbaum). We deliberately looked for speakers who are not directly involved in ILP research. We further invited a tutorial on stat- tical relational learning (Kristian Kersting) to meet the strong demand to have the topic presented from the ILP perspective. Lastly, Stefano Bertolo from the European Commission was invited to give a talk on the ideal niches for ILP in the current EU-supported research on intelligent content and semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008. The 17 papers presented in this volume, together with abstracts of 2 invited papers, were carefully reviewed and selected from 39 submissions. The topics covered are software performance engineering; stochastic process algebra and SANs; performance query specification and measurement; computer and communications networks; queueing theory and Markov chains; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held in Malaga, Spain, in October 2008. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers discuss specific aspects of combinations of metaheuristics and other solving techniques for tackling particular relevant constrained optimization problems, such as fiber optic networks, time tabling and freight train scheduling problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the post-genomic era, a holistic understanding of biological systems and p- cesses,inalltheircomplexity,is criticalincomprehendingnature¿schoreography of life. As a result, bioinformatics involving its two main disciplines, namely, the life sciences and the computational sciences, is fast becoming a very promising multidisciplinary research eld. With the ever-increasing application of lar- scalehigh-throughputtechnologies,suchasgeneorproteinmicroarraysandmass spectrometry methods, the enormous body of information is growing rapidly. Bioinformaticians are posed with a large number of di cult problems to solve, arising not only due to the complexities in acquiring the molecular infor- tion but also due to the size and nature of the generated data sets and/or the limitations of the algorithms required for analyzing these data. Although the eld of bioinformatics is still in its embryonic stage, the recent advancements in computational and information-theoretic techniques are enablingus to c- ductvariousinsilicotestingandscreeningofmanylab-basedexperimentsb efore these are actually performed in vitro or in vivo. These in silico investigations are providing new insights for interpretation and establishing a new direction for a deeper understanding. Among the various advanced computational methods currently being applied to such studies, the pattern recognition techniques are mostly found to be at the core of the whole discovery process for apprehending the underlying biological knowledge. Thus, we can safely surmise that the - going bioinformatics revolution may, in future, inevitably play a major role in many aspects of medical practice and/or the discipline of life sciences.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Buch. Condizione: Neu. Neuware -Iusethetermlogicalandrelationallearning torefertothesub eldofarti cial intelligence,machinelearninganddataminingthatisconcernedwithlearning in expressive logical or relational representations. It is the union of inductive logic programming, (statistical) relational learning and multi-relational data mining, which all have contributed techniques for learning from data in re- tional form. Even though some early contributions to logical and relational learning are about forty years old now, it was only with the advent of - ductive logic programming in the early 1990s that the eld became popular. Whereas initial work was often concerned with logical (or logic programming) issues,thefocushasrapidlychangedtothediscoveryofnewandinterpretable knowledge from structured data, often in the form of rules, and soon imp- tant successes in applications in domains such as bio- and chemo-informatics and computational linguistics were realized. Today, the challenges and opp- tunities of dealing with structured data and knowledge have been taken up by the arti cial intelligence community at large and form the motivation for a lot of ongoing research. Indeed, graph, network and multi-relational data mining are now popular themes in data mining, and statistical relational learning is receiving a lot of attention in the machine learning and uncertainty in art- cial intelligence communities. In addition, the range of tasks for which logical and relational techniques have been developed now covers almost all machine learning and data mining tasks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Buch. Condizione: Neu. Neuware -'The Testing Network' presents an integrated approach to testing based on cutting-edge methodologies, processes and tools in today's IT context. It means complex network-centric applications to be tested in heterogeneous IT infrastructures and in multiple test environments (also geographically distributed). The added-value of this book is the in-depth explanation of all processes and relevant methodologies and tools to address this complexity. Main aspects of testing are explained using TD/QC - the world-leader test platform.This up-to-date know-how is based on real-life IT experiences gained in large-scale projects of companies operating worldwide. The book is abundantly illustrated to better show all technical aspects of modern testing in a national and international context. The author has a deep expertise by designing and giving testing training in large companies using the above-mentioned tools and processes. 'The Testing Network' is a unique synthesis of core test topics applied in real-life.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008. The 36 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 102 submissions. All important issues in language theory are addressed including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory and logic; bio-inspired computing; quantum computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 564 pp. Englisch.

Buch. Condizione: Neu. Neuware -The ability to interface patient monitors directly to a computer, and generate a clinical record has existed for over 20 years. However, the acceptance of comprehensive electronic medical records in anesthesia has been slow to develop. Experts anticipate this reluctance is changing because of enhanced patient care through the use of detailed health information record systems. Anesthesia Informatics provides the health informatician and administrator with a comprehensive overview of this blossoming technology. With contributions from leaders in the field, this user-friendly guide addresses how this technology has enhanced both the need for and the ability to collect and apply data in an acute care setting. It also offers invaluable insight on the business implications and the rationales required to make a purchase decision. Each section outlines need to know information to help the reader with the implementation and utilization of an Anesthesia Information Management System. Useful case scenarios focus on the ideal components (anesthesia record, business rationale, communication, collaboration, and training) of a fully automated record-keeping system.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.