Springer springer mär 2008 (141 risultati)

Buch. Condizione: Neu. Neuware - Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explained from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study.…

Taschenbuch. Condizione: Neu. Neuware -Eine Projektgruppe des Berufsverbands Kinderkrankenpflege Österreich (BKKÖ) beschäftigte sich sieben Jahre lang mit Pflegediagnosen der NANDA und bearbeitete die bestehenden Diagnosen hinsichtlich relevanter Fragestellungen in der Kinder- und Jugendlichenpflege. Das Ergebnis dieser Projektarbeit wird nun erstmals in Buchform veröffentlicht. Nach einer kurzen Einführung zu den Schwerpunkten in der Kinder- und Jugendlichenpflege werden 36 Pflegediagnosen übersichtlich und gut strukturiert mit Angaben von Definition, bestimmenden Merkmalen, Kennzeichen (Symptome) und möglichen ursächlichen/beeinflussenden Faktoren bzw. Risikofaktoren aufgelistet. Die Erstellung der korrekten Pflegediagnose erleichtert die Beschreibung von realistischen Pflegezielen und notwendigen Pflegemaßnahmen, wobei dieses Buch zahlreiche Vorschläge für die Praxis aufzeigt. Pflegediagnosen, adaptiert für Kinder- und Jugendlichenpflege unterstützen in dieser praktischen und übersichtlichen Form somit die Pflegeplanung und liefern einen wichtigen Beitrag zur Pflegeforschung. 252 pp. Deutsch.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Eine Projektgruppe des Berufsverbands Kinderkrankenpflege Österreich (BKKÖ) beschäftigte sich sieben Jahre lang mit Pflegediagnosen der NANDA und bearbeitete die bestehenden Diagnosen hinsichtlich relevanter Fragestellungen in der Kinder- und Jugendlichenpflege. Das Ergebnis dieser Projektarbeit wird nun erstmals in Buchform veröffentlicht. Nach einer kurzen Einführung zu den Schwerpunkten in der Kinder- und Jugendlichenpflege werden 36 Pflegediagnosen übersichtlich und gut strukturiert mit Angaben von Definition, bestimmenden Merkmalen, Kennzeichen (Symptome) und möglichen ursächlichen/beeinflussenden Faktoren bzw. Risikofaktoren aufgelistet. Die Erstellung der korrekten Pflegediagnose erleichtert die Beschreibung von realistischen Pflegezielen und notwendigen Pflegemaßnahmen, wobei dieses Buch zahlreiche Vorschläge für die Praxis aufzeigt. Pflegediagnosen, adaptiert für Kinder- und Jugendlichenpflege unterstützen in dieser praktischen und übersichtlichen Form somit die Pflegeplanung und liefern einen wichtigen Beitrag zur Pflegeforschung.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Kelly's pragmatic approach to psychology arose from his clinical practice and has been a strong formative influence on clinical psychology and personality theory. Taking us through the development of Kelly's work and setting it in its historical context, this is a fascinating account of one of the foremost personality theories of the 20th century. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Erik Erikson has been described as 'probably the most significant post-Freudian thinker' with a 'unique and profound vision'. Al Gore was his student, Bill Clinton a great admirer. Getting to grips with his complex ideas however is no easy task. This book provides a comprehensive and in-depth road map to Erikson's work and is ideal for all students of Psychology. Stevens lucidly and authoritatively analyses his ideas about childhood development, adolescence, identity, the life cycle and his psychobiographical studies of Luther and Gandhi. This penetrating critique of Erikson's work reveals how relevant his ideas are today. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For over fifty years satellites have circled the Earth and spacecraft have been used to explore our solar system. Every day ordinary people around the world use satellites for satellite television, GPS navigation, weather forecasts and other technologies. Many people are curious about how something gets into space - and stays there - and what the terms used in the media actually mean. Also, with the advent of space tourism, some people are starting to wonder if they too could go into space and what it would be like.Here, the author explains the basics of what is involved, from the initial idea to the completion of the mission.The beauty of this text, written by an engineer who is also an accomplished science writer, is that it covers the subject comprehensively, and yet is almost entirely descriptive and non-mathematical.It deals with all aspects of spaceflight, from how to leave the Earth (including the design of the rocket, mission planning, navigation and communication), to life in space and the effects of weightlessness.The book also includes sections describing how an amateur can track satellites and understand their trajectories, and on the future of spaceflight, touching on what is, and what is not, possible given present and expected future technologies. 368 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Numbers have fascinated people for centuries. They are familiar to everyone, forming a central pillar of our understanding of the world, yet the number system was not presented to us ¿gift-wrapped¿ but, rather, was developed over millennia. Peter Higgins distills centuries of work into one delightful narrative that celebrates the mystery of numbers and explains how different kinds of numbers arose and why they are useful. Full of historical snippets and interesting examples, the book ranges from simple number puzzles and magic tricks, to showing how ideas about numbers relate to real-world problems, such as: How are our bank account details kept secure when shopping over the internet What are the chances of winning at Russian roulette; or of being dealt a flush in a poker hand As our understanding of numbers continues to evolve, this book invites us to rediscover the mystery and beauty of numbers and reminds us that the story of numbers is a tale with a long way to run.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Compression is an option naturally selected when faced with problems of high costs or restricted space. This book offers readers a succinct and reader-friendly foundation to the most important topics in the field of data compression. Complete and clear, it is the perfect reference for advanced undergraduates in computer science and requires a minimum of mathematics. An author-maintained website provides readers with errata and auxiliary material. Divided into two parts, Part I presents the basic approaches to data compression and describes a few popular techniques and methods that are commonly used to compress data. The reader will discover essential concepts. Part II concentrates on advanced techniques, such as arithmetic coding, orthogonal transforms, subband transforms and Burrows-Wheeler transform.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -David Harland opens with a review of the robotic probes, namely the Rangers which returned television before crashing into the Moon, the Surveyors which 'soft landed' in order to investigate the nature of the surface, and the Lunar Orbiters which mapped prospective Apollo landing sites. He then outlines the historic landing by Apollo 11 in terms of what was discovered. He concludes with a review of the robotic spacecraft that made remote-sensing observations of the Moon. The book develops the scientific theme of lunar geology, and therefore will be of use as background reading for undergraduate students of planetary sciences. Highlighted as a 'Commemorative Edition' on the cover, this second edition has a new Foreword by one of the original astronauts and a short extra section at the end previewing the prospect of a renewal of human exploration of the Moon. It includes new extra high quality graphics which are only now available and 32 pages of color illustrations.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -OpenGL Graphics Through Applications is a practical introduction to Computer Graphics with an emphasis on understanding through practice. Throughout the book, theory is followed by implementation using C / C++ and complete programs are provided on the Springer website.A procedural approach has been taken to algorithmic development while taking an object oriented approach when building artefacts from simple objects. The book covers a range of topics including: (1) image processing, (2) artefact construction, (3) introductory animation, (4) texturing, (5) curves surfaces and patterns.Robert Whitrow has taught computing courses from first year undergraduate to postgraduate MSc at a range of different institutions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Requirements and Architectures.- Deriving Non-zeno Behavior Models from Goal Models Using ILP.- What's in a Feature: A Requirements Engineering Perspective.- Formal Approach to Integrating Feature and Architecture Models.- Models, Model Transformations I.- Correctness-Preserving Configuration of Business Process Models.- Consistent Integration of Models Based on Views of Visual Languages.- Translating Model Simulators to Analysis Models.- Conceptual Models, UML.- Orthographic Modeling Environment.- HOL-OCL: A Formal Proof Environment for uml/ocl.- Towards Faithful Model Extraction Based on Contexts.- Leveraging Patterns on Domain Models to Improve UML Profile Definition.- Service Engineering/Adaptable Services.- When Things Go Wrong: Interrupting Conversations.- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.- Engineering Service Oriented Applications: From StPowla Processes to SRML Models.- Verification and Testing I.- A Logic of Graph Constraints.- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.- Modelling and Verification of Timed Interaction and Migration.- A Model Checking Approach for Verifying COWS Specifications.- Verification and Testing II.- Contextual Integration Testing of Classes.- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms.- Automated Analysis of Permission-Based Security Using UMLsec.- Objects and Components.- Software Quality Improvement Via Pattern Matching.- Object Composition in Scenario-Based Programming.- Regular Inference for State Machines Using Domains with Equality Tests.- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems.-Models, Model Transformations II.- Verification of Architectural Refactorings by Rule Extraction.- Formal Model-Driven Program Refactoring.- An Algebraic Semantics for MOF.- A Formal Framework for Developing Adaptable Service-Based Applications.- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications.- Clint: A Composition Language Interpreter (Tool Paper).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 448 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol.- An On-Line Secure E-Passport Protocol.- Secure Multi-Coupons for Federated Environments: Privacy-Preserving and Customer-Friendly.- 1-out-of-n Oblivious Signatures.- A Formal Study of the Privacy Concerns in Biometric-Based Remote Authentication Schemes.- Private Query on Encrypted Data in Multi-user Settings.- Towards Tamper Resistant Code Encryption: Practice and Experience.- A New Public Key Broadcast Encryption Using Boneh-Boyen-Goh's HIBE Scheme.- RSA Moduli with a Predetermined Portion: Techniques and Applications.- Variants of the Distinguished Point Method for Cryptanalytic Time Memory Trade-Offs.- Secure Cryptographic Precomputation with Insecure Memory.- Securing Peer-to-Peer Distributions for Mobile Devices.- Unified Rate Limiting in Broadband Access Networks for Defeating Internet Worms and DDoS Attacks.- Combating Spam and Denial-of-Service Attacks with Trusted Puzzle Solvers.- PROBE: A Process Behavior-Based Host Intrusion Prevention System.- Towards the World-Wide Quantum Network.- Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software.- Mediator-Free Secure Policy Interoperation of Exclusively-Trusted Multiple Domains.- Privacy of Recent RFID Authentication Protocols.- A New Hash-Based RFID Mutual Authentication Protocol Providing Enhanced User Privacy Protection.- An Efficient Countermeasure against Side Channel Attacks for Pairing Computation.- Efficient Arithmetic on Subfield Elliptic Curves over Small Finite Fields of Odd Characteristic.- Secure Computation of the Vector Dominance Problem.- Rational Secret Sharing with Repeated Games.- Distributed Private Matching and Set Operations.- Computational Soundness ofNon-Malleable Commitments.- Square Attack on Reduced-Round Zodiac Cipher.- Analysis of Zipper as a Hash Function.- On the Importance of the Key Separation Principle for Different Modes of Operation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.- Substructural Type Systems for Program Analysis.- Refereed Papers.- Integrating Answer Set Reasoning with Constraint Solving Techniques.- Optimizing Compilation of CHR with Rule Priorities.- Constructive Arithmetic.- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).- Dependent Types.- On-Demand Refinement of Dependent Types.- Proving Properties about Lists Using Containers.- Rewriting.- Termination of Narrowing in Left-Linear Constructor Systems.- Complexity Analysis by Rewriting.- Rewriting and Call-Time Choice: The HO Case.- Program Transformation.- Semantics and Pragmatics of New Shortcut Fusion Rules.- A Generalization of the Folding Rule for the Clark-Kunen Semantics.- Logic and Lambda-Calculus.- Types for Hereditary Head Normalizing Terms.- A New Translation for Semi-classical Theories - Backtracking without CPS.- Types.- Undoing Dynamic Typing (Declarative Pearl).- Typed Dynamic Control Operators for Delimited Continuations.- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.- Constraints II.- Quantitative Logic Programming Revisited.- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.- Debugging.- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.- EasyCheck - Test Data for Free.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Asynchronous JavaScript and XML (Ajax) is a web technique used to transfer data between a browser and server asynchronously without posting the web page to the server. 'Asynchronously' implies that the processing of the web page continues while the Ajax request is sent to the server and a response is received from the server. The web page, or section(s) of the web page, is refreshed with the Ajax response without reposting the web page. Ajax has the following advantages over non-Ajax web applications. Reduced response time and reduced server load, as the complete web page is not reposted. Reduced bandwidth of web applications as only data is transferred and the HTML format is applied in the browser. Separation of data, format and style.The book covers web search and RSS Feed with Ajax as well as form validation with Ajax frameworks for Java, JSP, JSF, and PHP. It discusses using Ajax in Oracle JDeveloper and is IDE based. JDeveloper has the following advantages over Eclipse IDE. JDeveloper 11g provides an integrated JavaScript Editor for Ajax/Web development. It also provides a PHP extension. JDeveloper has a built-in support for JSF and for JDBC.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 240 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the University of Naples Congress Centre with spectacular views over the Gulf of Naples. This volume contains the papers for the 21 oral presentations and 10 posters that were presented during this time. A diverse array of topics were covered re ecting the current state of research in the eld of Genetic Programming, including the latest work on representations, theory, operators and analysis, evolvable hardware, agents and numerous applications. A rigorous, double-blind peer review process was employed, with each s- mission reviewed by at least three members of the international Program C- mittee. In total 61 papers were submitted this year, making an acceptance rate of 34% for full papers, and an overall acceptance rate of 51% including posters. S- mission of papers and the reviewing process were greatly assisted by the use of the MyReview management software originally developed by Philippe Rigaux, Bertrand Chardon and other colleagues from the Universit¿e Paris-Sud Orsay, France. We are especially grateful to Marc Schoenauer from INRIA, France for managing this system. Reviewers were asked to nominate keywords specifying their area of expertise, and these keywords were matched to those selected by the authors of the submitted papers with the assistance of the optimal assignment feature of the conference management software.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 392 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Modelling and Mining of Networked Information Spaces.- Workshop on Algorithms and Models for the Web Graph.- Expansion and Lack Thereof in Randomly Perturbed Graphs.- Web Structure in 2005.- Local/Global Phenomena in Geometrically Generated Graphs.- Approximating PageRank from In-Degree.- Probabilistic Relation between In-Degree and PageRank.- Communities in Large Networks: Identification and Ranking.- Combating Spamdexing: Incorporating Heuristics in Link-Based Ranking.- Traps and Pitfalls of Topic-Biased PageRank.- A Scalable Multilevel Algorithm for Graph Clustering and Community Structure Detection.- A Phrase Recommendation Algorithm Based on Query Stream Mining in Web Search Engines.- Characterization of Graphs Using Degree Cores.- Web Structure Mining by Isolated Stars.- Representing and Quantifying Rank - Change for the Web Graph.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 184 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A Hybrid Random Subspace Classifier Fusion Approach for Protein Mass Spectra Classification.- Using Ant Colony Optimization-Based Selected Features for Predicting Post-synaptic Activity in Proteins.- Generating Linkage Disequilibrium Patterns in Data Simulations Using genomeSIMLA.- DEEPER: A Full Parsing Based Approach to Protein Relation Extraction.- Improving the Performance of Hierarchical Classification with Swarm Intelligence.- Protein Interaction Inference Using Particle Swarm Optimization Algorithm.- Divide, Align and Full-Search for Discovering Conserved Protein Complexes.- Detection of Quantitative Trait Associated Genes Using Cluster Analysis.- Frequent Subsplit Representation of Leaf-Labelled Trees.- Inference on Missing Values in Genetic Networks Using High-Throughput Data.- Mining Gene Expression Patterns for the Discovery of Overlapping Clusters.- Development and Evaluation of an Open-Ended Computational Evolution System for the Genetic Analysis of Susceptibility to Common Human Diseases.- Gene Selection and Cancer Microarray Data Classification Via Mixed-Integer Optimization.- Detection of Protein Complexes in Protein Interaction Networks Using n-Clubs.- Learning Gaussian Graphical Models of Gene Networks with False Discovery Rate Control.- Enhancing Parameter Estimation of Biochemical Networks by Exponentially Scaled Search Steps.- A Wrapper-Based Feature Selection Method for ADMET Prediction Using Evolutionary Computing.- On the Convergence of Protein Structure and Dynamics. Statistical Learning Studies of Pseudo Folding Pathways.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Probabilistic Inductive Logic Programming.- Formalisms and Systems.- Relational Sequence Learning.- Learning with Kernels and Logical Representations.- Markov Logic.- New Advances in Logic-Based Probabilistic Modeling by PRISM.- CLP( ): Constraint Logic Programming for Probabilistic Knowledge.- Basic Principles of Learning Bayesian Logic Programs.- The Independent Choice Logic and Beyond.- Applications.- Protein Fold Discovery Using Stochastic Logic Programs.- Probabilistic Logic Learning from Haplotype Data.- Model Revision from Temporal Logic Properties in Computational Systems Biology.- Theory.- A Behavioral Comparison of Some Probabilistic Logic Models.- Model-Theoretic Expressivity Analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 356 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Digital Geometry and Topology: Curves and Surfaces.- Connectivity Preserving Voxel Transformation.- Thinning on Quadratic, Triangular, and Hexagonal Cell Complexes.- Experimental Comparison of Continuous and Discrete Tangent Estimators Along Digital Curves.- Polyhedral Surface Approximation of Non-convex Voxel Sets through the Modification of Convex Hulls.- Weighted Neighborhood Sequences in Non-standard Three-Dimensional Grids - Parameter Optimization.- Computing Homology Generators for Volumes Using Minimal Generalized Maps.- Digital Segments and Hausdorff Discretization.- Combinatorics in Digital Spaces: Lattice Polygons, Polytopes, Tilings, and Patterns.- Scaling of Plane Figures That Assures Faithful Digitization.- Computing Admissible Rotation Angles from Rotated Digital Images.- On the Number of hv-Convex Discrete Sets.- Finding the Orthogonal Hull of a Digital Object: A Combinatorial Approach.- A Discrete Approach for Supervised Pattern Recognition.- Image Representation, Segmentation, Grouping, and Reconstruction.- Robust Decomposition of Thick Digital Shapes.- Segmentation of Noisy Discrete Surfaces.- MRF Labeling with a Graph-Shifts Algorithm.- Label Space: A Multi-object Shape Representation.- A New Image Segmentation Technique Using Maximum Spanning Tree.- Applications of Computational Geometry, Integer and Linear Programming to Image Analysis.- Reducing the Coefficients of a Two-Dimensional Integer Linear Constraint.- A Branch & Bound Algorithm for Medical Image Registration.- Global Optimization for First Order Markov Random Fields with Submodular Priors.- Transformation Polytopes for Line Correspondences in Digital Images.- Linear Boundary and Corner Detection Using Limited Number of Sensor Rows.- Fuzzy and Stochastic Image Analysis, ParallelArchitectures and Algorithms.- A Convergence Proof for the Horn-Schunck Optical-Flow Computation Scheme Using Neighborhood Decomposition.- Topologically Correct 3D Surface Reconstruction and Segmentation from Noisy Samples.- Detecting the Most Unusual Part of a Digital Image.- Labeling Irregular Graphs with Belief Propagation.- Grammars and Models for Image or Scene Analysis.- Image Registration Using Markov Random Coefficient Fields.- A Secret Sharing Scheme for Digital Images Based on Two-Dimensional Linear Cellular Automata.- Pure 2D Picture Grammars (P2DPG) and P2DPG with Regular Control.- A Deterministic Turing Machine for Context Sensitive Translation of Braille Codes to Urdu Text.- Rewriting P Systems Generating Iso-picture Languages.- Discrete Tomography, Medical Imaging, and Biometrics.- Reconstructing a Matrix with a Given List of Coefficients and Prescribed Row and Column Sums Is NP-Hard.- A Reasoning Framework for Solving Nonograms.- A Memetic Algorithm for Binary Image Reconstruction.- Personal Identification Based on Weighting Key Point Scheme for Hand Image.- A Min-Cost-Max-Flow Based Algorithm for Reconstructing Binary Image from Two Projections Using Similar Images.- Comparison of Local and Global Region Merging in the Topological Map.- Novel Edge Detector.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 464 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Trustworthy Global Computing.- Elimination of Ghost Variables in Program Logics.- Web Service Composition: From Analysis to Autonomy.- ServiceCombinatorsfor FarmingVirtualMachines.- Accepted Papers.- Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.- Extracting Control from Data: User Interfaces of MIDP Applications.- Extending Operational Semantics of the Java Bytecode.- Relational Analysis for Delivery of Services.- Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems.- Type-Safe Distributed Programming with ML5.- Transactional Service Level Agreement.- On the Complexity of Termination Inference for Processes.- A Practical Approach for Establishing Trust Relationships between Remote Platforms Using Trusted Computing.- Access Control Based on Code Identity for Open Distributed Systems.- Service Oriented Architectural Design.- Replicating Web Services for Scalability.- Location-Aware Quality of Service Measurements for Service-Level Agreements.- Multipoint Session Types for a Distributed Calculus.- On Progress for Structured Communications.- A Protocol Compiler for Secure Sessions in ML.- Application of Dependency Graphs to Security Protocol Analysis.- Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.- Anonymity Protocol with Identity Escrow and Analysis in the Applied -Calculus.- Tutorial Papers.- Formal Approaches to Information-Hiding (Tutorial).- Computational Soundness of Equational Theories (Tutorial).- Adversaries and Information Leaks (Tutorial).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talk.- Hardware Verification: Techniques, Methodology and Solutions.- Parameterized Systems.- ExtendingAutomatedCompositionalVerification to the Full Class of Omega-Regular Languages.- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols.- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.- Model Checking - I.- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.- Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.- On-the-Fly Techniques for Game-Based Software Model Checking.- Computing Simulations over Tree Automata.- Applications.- Formal Pervasive Verification of a Paging Mechanism.- Analyzing Stripped Device-Driver Executables.- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion.- Model Checking - II.- Conditional Probabilities over Probabilistic and Nondeterministic Systems.- On Automated Verification of Probabilistic Programs.- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.- Fast Directed Model Checking Via Russian Doll Abstraction.- Static Analysis.- A SAT-Based Approach to Size Change Termination with Global Ranking Functions.- Efficient Automatic STE Refinement Using Responsibility.- Reasoning Algebraically About P-Solvable Loops.- On Local Reasoning in Verification.- Concurrent/Distributed Systems.- Interprocedural Analysis of Concurrent Programs Under a Context Bound.- Context-Bounded Analysis of Concurrent Queue Systems.- On Verifying Fault Tolerance of Distributed Protocols.- Tools - I.- The Real-Time Maude Tool.- Z3: An Efficient SMT Solver.- Computation and Visualisation of Phase Portraits for Model Checking SPDIs.- GOAL Extended: Towards a Research Tool for Omega Automata andTemporal Logic.- Symbolic Execution.- RWset: Attacking Path Explosion in Constraint-Based Test Generation.- Demand-Driven Compositional Symbolic Execution.- Peephole Partial Order Reduction.- Abstraction, Interpolation.- Efficient Interpolant Generation in Satisfiability Modulo Theories.- Quantified Invariant Generation Using an Interpolating Saturation Prover.- Accelerating Interpolation-Based Model-Checking.- Automatically Refining Abstract Interpretations.- Tools - II.- SVISS: Symbolic Verification of Symmetric Systems.- RESY: Requirement Synthesis for Compositional Model Checking.- Scoot: A Tool for the Analysis of SystemCModels.- Trust, Reputation.- Trusted Source Translation of a Total Function Language.- Rocket-Fast Proof Checking for SMT Solvers.- SDSIrep: A Reputation System Based on SDSI.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 540 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Program Termination.- Proving Termination with (Boolean) Satisfaction.- Termination Analysis of Logic Programs Based on Dependency Graphs.- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.- Program Transformation.- Towards a Normal Form for Mercury Programs.- Aggregates for CHR through Program Transformation.- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.- Denotation by Transformation.- Constraint Solving and Analysis.- Generation of Rule-Based Constraint Solvers: Combined Approach.- A Scalable Inclusion Constraint Solver Using Unification.- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.- Software Engineering.- Snapshot Generation in a Constructive Object-Oriented Modeling Language.- Synthesis of Data Views for Communicating Processes.- Action Refinement in Process Algebra and Security Issues.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- Learning with Kernels and Logical Representations.- Beyond Prediction: Directions for Probabilistic and Relational Learning.- Extended Abstracts.- Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract).- Learning Directed Probabilistic Logical Models Using Ordering-Search.- Learning to Assign Degrees of Belief in Relational Domains.- Bias/Variance Analysis for Relational Domains.- Full Papers.- Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases.- Clustering Relational Data Based on Randomized Propositionalization.- Structural Statistical Software Testing with Active Learning in a Graph.- Learning Declarative Bias.- ILP :- Just Trie It.- Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning.- Empirical Comparison of 'Hard' and 'Soft' Label Propagation for Relational Classification.- A Phase Transition-Based Perspective on Multiple Instance Kernels.- Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilistic Estimates.- Applying Inductive Logic Programming to Process Mining.- A Refinement Operator Based Learning Algorithm for the Description Logic.- Foundations of Refinement Operators for Description Logics.- A Relational Hierarchical Model for Decision-Theoretic Assistance.- Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming.- Revising First-Order Logic Theories from Examples Through Stochastic Local Search.- Using ILP to Construct Features for Information Extraction from Semi-structured Text.- Mode-Directed Inverse Entailment for Full Clausal Theories.- Mining of Frequent Block Preserving Outerplanar Graph Structured Patterns.- Relational Macros for Transfer in Reinforcement Learning.- Seeing theForest Through the Trees.- Building Relational World Models for Reinforcement Learning.- An Inductive Learning System for XML Documents.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Computational Biology: Its Challenges Past, Present, and Future.- Bootstrapping the Interactome: Unsupervised Identification of Protein Complexes in Yeast.- CompostBin: A DNA Composition-Based Algorithm for Binning Environmental Shotgun Reads.- Reconstructing the Evolutionary History of Complex Human Gene Clusters.- Ab Initio Whole Genome Shotgun Assembly with Mated Short Reads.- Orchestration of DNA Methylation.- BayCis: A Bayesian Hierarchical HMM for Cis-Regulatory Module Decoding in Metazoan Genomes.- A Combined Expression-Interaction Model for Inferring the Temporal Activity of Transcription Factors.- A Fast, Alignment-Free, Conservation-Based Method for Transcription Factor Binding Site Discovery.- The Statistical Power of Phylogenetic Motif Models.- Transcriptional Regulation and Cancer Genomics.- Automatic Recognition of Cells (ARC) for 3D Images of C. elegans.- Spectrum Fusion: Using Multiple Mass Spectra for De Novo Peptide Sequencing.- A Fragmentation Event Model for Peptide Identification by Mass Spectrometry.- A Bayesian Approach to Protein Inference Problem in Shotgun Proteomics.- De Novo Sequencing of Nonribosomal Peptides.- Systems Metabolic Engineering.- Protein Function Prediction Based on Patterns in Biological Networks.- Automatic Parameter Learning for Multiple Network Alignment.- An Integrative Network Approach to Map the Transcriptome to the Phenome.- Fast and Accurate Alignment of Multiple Protein Networks.- High-Resolution Modeling of Cellular Signaling Networks.- At the Origin of Life: How Did Folded Proteins Evolve .- Locating Multiple Gene Duplications through Reconciled Trees.- Rapid and Accurate Protein Side Chain Prediction with Local Backbone Information.- Algorithms for Joint Optimization of Stability and Diversity in Planning Combinatorial Libraries of Chimeric Proteins.- DLIGHT - Lateral Gene Transfer Detection Using Pairwise Evolutionary Distances in a Statistical Framework.- Computation of Median Gene Clusters.- BCL-2: From Translocation to Therapy.- Detecting Disease-Specific Dysregulated Pathways Via Analysis of Clinical Expression Profiles.- Constructing Treatment Portfolios Using Affinity Propagation.- Bubbles: Alternative Splicing Events of Arbitrary Dimension in Splicing Graphs.- More Efficient Algorithms for Closest String and Substring Problems.- Disruption of a Transcriptional Regulatory Pathway Contributes to Phenotypes in Carriers of Ataxia Telangiectasia.- Accounting for Non-genetic Factors Improves the Power of eQTL Studies.- Effects of Genetic Divergence in Identifying Ancestral Origin Using HAPAA.- On the Inference of Ancestries in Admixed Populations.- Increasing Power in Association Studies by Using Linkage Disequilibrium Structure and Molecular Function as Prior Information.- Panel Construction for Mapping in Admixed Populations Via Expected Mutual Information.- Constructing Level-2 Phylogenetic Networks from Triplets.- Accurate Computation of Likelihoods in the Coalescent with Recombination Via Parsimony.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 504 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -At the intersection of disruptive and accelerated change in the environment and globalization, business leaders around the world are trying to embrace change and incorporate innovative business models in the basics of their businesses. While innovation in their products and services remain a priority, increasing emphasis is being placed on rethinking how customer value is developed and delivered, rethinking the profit formula and the financial model, and making corresponding changes to the core resources. This book presents new and innovative business models that are increasingly becoming a key to business success in a rapidly changing world. It details new and appropriate analytics, frameworks, insights, and forecasts for strategy and execution.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 344 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The authors of this book clearly explain the potential advantages of using Radio Frequency Identification (RFID) technology in a modern manufacturing and supply chain context. Areas of emphasis include integration of RFID data into legacy IT architectures, RFID-MES-ERP integration, and cost-benefit considerations. The presentation is not restricted to intra-company production planning, but also emphasizes the benefits of inter-company collaboration. Six case studies based on SAP's ERP systems and MPDV's MES solution show how to successfully implement cross-company supply chain integration using RFID technology.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 180 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Intergenerational justice has been achieved if the opportunities of the members of the next generation to fulfill their needs are better than those of the members of the preceding generation. For this, each generation ought to leave for the next generation an amount of resources is at least equal to its own amount.The book deals with the complex relationship between intergenerational justice and demographic change and is characterized by its interdisciplinary approach. The authors come from a multitude of professional backgrounds and from several countries. This illustrates the implications of the demographic shift from many different perspectives. The book deals not only with the aspects of economic policy but also with environmental, societal and philosophical issues. The comprehensive volume is composed of five sections that pinpoint demographic trends, examine the impact of demographic changes on key indicators, investigate the relationship between key indicators and intergenerational justice, scrutinize population policies, and finally propose ways to implement long-term thinking on these issues.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 324 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Adaptive Tabu Tenure Computation in Local Search.- A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems.- Cooperative Particle Swarm Optimization for the Delay Constrained Least Cost Path Problem.- Effective Neighborhood Structures for the Generalized Traveling Salesman Problem.- Efficient Local Search Limitation Strategies for Vehicle Routing Problems.- Evolutionary Local Search for the Minimum Energy Broadcast Problem.- Exploring Multi-objective PSO and GRASP-PR for Rule Induction.- An Extended Beam-ACO Approach to the Time and Space Constrained Simple Assembly Line Balancing Problem.- Graph Colouring Heuristics Guided by Higher Order Graph Properties.- A Hybrid Column Generation Approach for the Berth Allocation Problem.- Hybrid Metaheuristic for the Prize Collecting Travelling Salesman Problem.- An ILS Based Heuristic for the Vehicle Routing Problem with Simultaneous Pickup and Delivery and Time Limit.- An Immune Genetic Algorithm Based on Bottleneck Jobs for the Job Shop Scheduling Problem.- Improved Construction Heuristics and IteratedLocal Search for the Routing and Wavelength Assignment Problem.- Improving Metaheuristic Performance by Evolving a Variable Fitness Function.- Improving Query Expansion with Stemming Terms: A New Genetic Algorithm Approach.- Inc\*: An Incremental Approach for Improving Local Search Heuristics.- Metaheuristics for the Bi-objective Ring Star Problem.- Multiobjective Prototype Optimization with Evolved Improvement Steps.- Optimising Multiple Kernels for SVM by Genetic Programming.- Optimization of Menu Layouts by Means of Genetic Algorithms.- A Path Relinking Approach with an Adaptive Mechanism to Control Parameters for the Vehicle Routing Problem with Time Windows.- Reactive Stochastic LocalSearch Algorithms for the Genomic Median Problem.- Solving Graph Coloring Problems Using Learning Automata.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 304 pp. Englisch.…