%{search_type} search results

• Intro; Contents; Literary epigraph; PREFACE; THE SEA SERPENT AS ENDURING MYSTERY; Acknowledgements;
• Chapter 1. BACKGROUND; 1.1 SEA SERPENTS AND NATURAL HISTORY; 1.2 SEA SERPENTS AND CRYPTOZOOLOGY; 1.3 SEA SERPENTS AND FORENSIC HISTORICAL ECOLOGY AND ETHNOZOOLOGY;
• Chapter 2. NINETEENTH-CENTURY MARITIME CONTEXT; 2.1 THE ECO-CULTURAL SEASCAPE; 2.2 THE TOWN BUILT BY FISH; 2.3 THE GREAT NEW ENGLAND SEA SERPENT;
• Chapter 3. CULTURAL HISTORY OF THE GLOUCESTER SEA SERPENT; 3.1 HAPPENINGS; 3.2 INVESTIGATIONS; 3.3 HUMILIATION; 3.4 HISTORIOGRAPHY; 3.5 IMAGINATION

• Chapter 4. NATURAL HISTORY OF THE GLOUCESTER SEA SERPENT4.1 'SO INTERESTING A LINK IN THE CHAIN OF ANIMATED BEINGS'; 4.1.1 Eyewitness accounts; 4.1.2 Anecdotal analyses; 4.1.3 Assembling the composite cryptid; 4.2 'THE MOST INTERESTING PROBLEM IN THE SCIENCE OF NATURAL HISTORY'; 4.2.1 To catch a serpent...but then, perhaps not; 4.2.2 The controversy... 'But for a tuna, Richard, a tuna!';
• Chapter 5. INTERPRETIVE HISTORY OF THE GLOUCESTER SEA SERPENT; 5.1 NATURAL HISTORY AND ILLATION; 5.2 CRYPTOZOOLOGY AND CONFIRMATION BIAS; 5.3 CONSERVATION BIOLOGY AND INCONVENIENT TRUTHS

• 5.3.1 Inanimate illusion or real object?5.3.2 Multiple animals or single creature?; 5.3.3 Giant serpent or something else?; 5.3.4 Serpentine body biological or inanimate?; 5.3.5 'Body' a single serpentine object or formed by component parts?; 5.3.6 Natural phenomena or anthropogenic artifact?; 5.4 CANDIDATE SCREENING AND ATTEMPTS AT A TENTATIVE IDENTIFICATION OF THE ENTANGLED MARINE ANIMAL; 5.4.1 What the observed characteristics of the 'head' can tell us; 5.4.2 What the displayed locomotory behaviour can tell us; 5.4.3 What the observed estimated swimming speed can tell us

• 5.4.4 What the observed location of the sightings can tell us5.4.5 What the observed phenology of the sightings can tell us; 5.5 LINGERING QUESTIONS CONCERNING THE NATURE OF THE BEAST; Literary hypograph and final note; A final note on the elusive nature of sea serpents; APPENDIX 1; Visiting the Gloucester Sea Serpent at Age Two Hundred; APPENDIX 2; Sea Serpents: 'The Best Explanation Yet'

• Claude Berge - Sculptor of Graph Theory.- ?-path-connectivity and mk-generation: an Upper Bound on m.- Automated Results and Conjectures on Average Distance in Graphs.- Brambles, Prisms and Grids.- Dead Cell Analysis in Hex and the Shannon Game.- Ratios of Some Domination Parameters in Graphs and Claw-free Graphs.- Excessive Factorizations of Regular Graphs.- Odd Pairs of Cliques.- Recognition of Perfect Circular-arc Graphs.- On Edge-maps whose Inverse Preserves Flows or Tensions.- On the Extremal Number of Edges in 2-Factor Hamiltonian Graphs.- Generalized Colourings (Matrix Partitions) of Cographs.- A Note on [k, l]-sparse Graphs.- Even Pairs in Bull-reducible Graphs.- Kernels in Orientations of Pretransitive Orientable Graphs.- Nonrepetitive Graph Coloring.- A Characterization of the 1-well-covered Graphs with no 4-cycles.- A Graph-theoretical Generalization of Berge's Analogue of the Erd?s-Ko-Rado Theorem.- Independence Polynomials and the Unimodality Conjecture for Very Well-covered, Quasi-regularizable, and Perfect Graphs.- Precoloring Extension on Chordal Graphs.- On the Enumeration of Bipartite Minimum Edge Colorings.- Kempe Equivalence of Colorings.- Acyclic 4-choosability of Planar Graphs with Girth at Least 5.- Automorphism Groups of Circulant Graphs - a Survey.- Hypo-matchings in Directed Graphs.- On Reed's Conjecture about ?, ? and ?.- On the Generalization of the Matroid Parity Problem.- Reconstruction of a Rank 3 Oriented Matroids from its Rank 2 Signed Circuits.- The Normal Graph Conjecture is True for Circulants.- Two-arc Transitive Near-polygonal Graphs.- Open Problems.
• (source: Nielsen Book Data)

In July 2004, a conference on graph theory was held in Paris in memory of Claude Berge, one of the pioneers of the field. The event brought together many prominent specialists on topics such as perfect graphs and matching theory, upon which Claude Berge's work has had a major impact. This volume includes contributions to these and other topics from many of the participants.
(source: Nielsen Book Data)

• Quantum Dynamics and Spectral Theory.- Solving the Ten Martini Problem.- Swimming Lessons for Microbots.- Landau-Zener Formulae from Adiabatic Transition Histories.- Scattering Theory of Dynamic Electrical Transport.- The Landauer-Buttiker Formula and Resonant Quantum Transport.- Point Interaction Polygons: An Isoperimetric Problem.- Limit Cycles in Quantum Mechanics.- Cantor Spectrum for Quasi-Periodic Schroedinger Operators.- Quantum Field Theory and Statistical Mechanics.- Adiabatic Theorems and Reversible Isothermal Processes.- Quantum Massless Field in 1+1 Dimensions.- Stability of Multi-Phase Equilibria.- Ordering of Energy Levels in Heisenberg Models and Applications.- Interacting Fermions in 2 Dimensions.- On the Essential Spectrum of the Translation Invariant Nelson Model.- Quantum Kinetics and Bose-Einstein Condensation.- Bose-Einstein Condensation as a Quantum Phase Transition in an Optical Lattice.- Long Time Behaviour to the Schroedinger-Poisson-X? Systems.- Towards the Quantum Brownian Motion.- Bose-Einstein Condensation and Superradiance.- Derivation of the Gross-Pitaevskii Hierarchy.- Towards a Microscopic Derivation of the Phonon Boltzmann Equation.- Disordered Systems and Random Operators.- On the Quantization of Hall Currents in Presence of Disorder.- Equality of the Bulk and Edge Hall Conductances in 2D.- Generic Subsets in Spaces of Measures and Singular Continuous Spectrum.- Low Density Expansion for Lyapunov Exponents.- Poisson Statistics for the Largest Eigenvalues in Random Matrix Ensembles.- Semiclassical Analysis and Quantum Chaos.- Recent Results on Quantum Map Eigenstates.- Level Repulsion and Spectral Type for One-Dimensional Adiabatic Quasi-Periodic Schroedinger Operators.- Low Lying Eigenvalues of Witten Laplacians and Metastability (After Hel.er-Klein-Nier and Helffer-Nier).- The Mathematical Formalism of a Particle in a Magnetic Field.- Fractal Weyl Law for Open Chaotic Maps.- Spectral Shift Function for Magnetic Schroedinger Operators.- Counting String/M Vacua.
• (source: Nielsen Book Data)

This selection of outstanding articles - an outgrowth of the QMath9 meeting for young scientists - covers new techniques and recent results on spectral theory, statistical mechanics, Bose-Einstein condensation, random operators, magnetic Schroedinger operators and more. The book's pedagogical style makes it a useful introduction to the research literature for postgraduate students. For more expert researchers it will serve as a concise source of modern reference.
(source: Nielsen Book Data)

• MCO 2008.- Optimal Flight Paths Reducing the Aircraft Noise during Landing.- Scalability Analysis of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor Networks.- Single Straddle Carrier Routing Problem in Port Container Terminals: Mathematical Model and Solving Approaches.- Employing "Particle Swarm Optimization" and "Fuzzy Ranking Functions" for Direct Solution of EOQ Problem.- Linear Reformulations of Integer Quadratic Programs.- Control of Some Graph Invariants in Dynamic Routing.- A Simulation Tool for Analyzing and Improving the Maternity Block Management.- Solving the Multiple Objective Integer Linear Programming Problem.- Generalized Polychotomic Encoding: A Very Short Bit-Vector Encoding of Tree Hierarchies.- Mathematical Programming Formulations for the Bottleneck Hyperplane Clustering Problem.- Constraint Propagation with Tabu List for Min-Span Frequency Assignment Problem.- Evolutionary Optimisation of Kernel and Hyper-Parameters for SVM.- Lot-Sizing and Sequencing on a Single Imperfect Machine.- Best and Worst Optimum for Linear Programs with Interval Right Hand Sides.- Transit Network Re-timetabling and Vehicle Scheduling.- Traveling Salesman Problem and Membership in Pedigree Polytope - A Numerical Illustration.- The Minimum Weight In-Tree Cover Problem.- On Importance of a Special Sorting in the Maximum-Weight Clique Algorithm Based on Colour Classes.- An Extended Comparison of the Best Known Algorithms for Finding the Unweighted Maximum Clique.- An Adapted Branch and Bound Algorithm for Approximating Real Root of a Ploynomial.- Portfolio Selection under Piecewise Affine Transaction Costs: An Integer Quadratic Formulation.- An Exact Method for a Discrete Quadratic Fractional Maximum Problem.- Disaggregation of Bipolar-Valued Outranking Relations.- A Performance Study of Task Scheduling Heuristics in HC Environment.- Performance Evaluation in a Queueing System M 2/G/1.- Outcome-Space Polyblock Approximation Algorithm for Optimizing over Efficient Sets.- A DC Programming Approach for Mixed-Integer Linear Programs.- Simulation-Based Optimization for Steel Stacking.- Robust Hedging of Electricity Retail Portfolios with CVaR Constraints.- Value Functions and Transversality Conditions for Infinite Horizon Optimal Control Problems.- Modeling the Mobile Oil Recovery Problem as a Multiobjective Vehicle Routing Problem.- Empirical Analysis of an Online Algorithm for Multiple Trading Problems.- A Novel Approach for the Nurse Scheduling Problem.- Postoptimal Analysis in Nonserial Dynamic Programming.- A Novel Optimization in Guillotine Cut Applied Reel of Steel.- Robust Production Planning: An Alternative to Scenario-Based Optimization Models.- Challenging the Incomparability Problem: An Approach Methodology Based on ZAPROS.- DC Programming Approach for a Class of Nonconvex Programs Involving l 0 Norm.- Finding Maximum Common Connected Subgraphs Using Clique Detection or Constraint Satisfaction Algorithms.- Analysis and Solution Developement of the Single-Vehicle Inventory Routing Problem.- A Methodology for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques.- Composite Dispatching Rule Generation through Data Mining in a Simulated Job Shop.- Co-author Network Analysis in DBLP: Classifying Personal Names.- On Clustering the Criteria in an Outranking Based Decision Aid Approach.- A Fast Parallel SVM Algorithm for Massive Classification Tasks.- A Wavelet Based Multi Scale VaR Model for Agricultural Market.- Using Formal Concept Analysis for the Extraction of Groups of Co-expressed Genes.- Join on Closure Systems Using Direct Implicational Basis Representation.- G 1 Blending B-Spline Surfaces and Optimization.- A Delineation Algorithm for Particle Images Online.- Improving Inter-cluster Broadcasting in Ad Hoc Networks by Delayed Flooding.- Improved Time Complexities of Algorithms for the Directional Minimum Energy Broadcast Problem.- Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications.- A Context-Aware Broadcast Protocol for Mobile Wireless Networks.- Stability of Two-Stage Queues with Blocking.- A Competitive Neural Network for Intrusion Detection Systems.- Transfer Graph Approach for Multimodal Transport Problems.- Wireless Traffic Service Communication Platform for Cars.- System Architecture for C2C Communications Based on Mobile WiMAX.- Accuracy and Efficiency in Simulating VANETs.- Design of Highly Nonlinear Balanced Boolean Functions Using an Hybridation of DCA and Simulated Annealing Algorithm.- Non-standard Attacks against Cryptographic Protocols, with an Example over a Simplified Mutual Authentication Protocol.- Provable Security against Impossible Differential Cryptanalysis Application to CS-Cipher.- VNSOptClust: A Variable Neighborhood Search Based Approach for Unsupervised Anomaly Detection.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Second International Conference MCO 2008, Metz, France, September 2008. The 65 revised full papers presented were carefully reviewed and selected from 160 submissions. In this book the papers are organized in topical sections on optimization and decision making; data mining theory, systems and applications; computer vision and image processing; computer communications and networks; and optimization and search techniques for security, reliability, trust.
(source: Nielsen Book Data)

• Rendering and Analysis.- Simulation Level of Detail for Virtual Humans.- Towards Natural Gesture Synthesis: Evaluating Gesture Units in a Data-Driven Approach to Gesture Synthesis.- 3D Audiovisual Rendering and Real-Time Interactive Control of Expressivity in a Talking Head.- Semantic Segmentation of Motion Capture Using Laban Movement Analysis.- Culture and Identity.- A Computational Model of Culture-Specific Conversational Behavior.- Ethnic Identity and Engagement in Embodied Conversational Agents.- Neuroticism - A Competitive Advantage (Also) for IVAs?.- Behavior Models.- Emotionally Expressive Head and Body Movement During Gaze Shifts.- Fuzzy Similarity of Facial Expressions of Embodied Agents.- The Behavior Markup Language: Recent Developments and Challenges.- Dynamic Behavior Qualifiers for Conversational Agents.- Feedback Models.- Creating Rapport with Virtual Agents.- Incremental Multimodal Feedback for Conversational Agents.- Searching for Prototypical Facial Feedback Signals.- Fluid Semantic Back-Channel Feedback in Dialogue: Challenges and Progress.- Dialogues.- T2D: Generating Dialogues Between Virtual Agents Automatically from Text.- So Let's See: Taking and Keeping the Initiative in Collaborative Dialogues.- Applications.- Health Document Explanation by Virtual Agents.- Virtual Patients for Clinical Therapist Skills Training.- Integrating a Virtual Agent into the Real World: The Virtual Anatomy Assistant Ritchie.- Proactive Authoring for Interactive Drama: An Author's Assistant.- Evaluation.- The Effects of an Embodied Conversational Agent's Nonverbal Behavior on User's Evaluation and Behavioral Mimicry.- Spatial Social Behavior in Second Life.- Generating Embodied Descriptions Tailored to User Preferences.- Gaze Models.- Scrutinizing Natural Scenes: Controlling the Gaze of an Embodied Conversational Agent.- Attentive Presentation Agents.- The Rickel Gaze Model: A Window on the Mind of a Virtual Human.- Emotions.- Embodied Creative Agents: A Preliminary Social-Cognitive Framework.- Feel the Difference: A Guide with Attitude!.- It's All in the Anticipation.- Incorporating Emotion Regulation into Virtual Stories.- Poster Session.- Endowing Emotional Agents with Coping Strategies: From Emotions to Emotional Behaviour.- From IVAs to Comics Generating Comic Strips from Emergent Stories with Autonomous Characters.- Emotional Agents with Team Roles to Support Human Group Training.- Context Awareness in Mobile Relational Agents.- Implicit Training of Virtual Agents.- Human Actors and Virtual Agents Playing Together to Transform Stage Direction Practices.- Towards Characters with a Full Episodic Memory.- Towards Fast Prototyping of IVAs Behavior: Pogamut 2.- Towards a Multicultural ECA Tour Guide System.- Towards the Specification of an ECA with Variants of Gestures.- AI-RPG Toolkit: Towards A Deep Model Implementation for Improvisational Virtual Drama.- Attention Based, Naive Strategies, for Guiding Intelligent Virtual Agents.- Behavioural Reactive Agents for Video Game Opponents with Personalities.- Adapting Hierarchical Social Organisation by Introducing Fear into an Agent Architecture.- Roles of a Talking Head in a Cooperative Human-Robot Dialogue System.- Modeling Imitational Behavior Via Social Comparison Theory.- Social Animation in Complex Environments.- A Script Driven Multimodal Embodied Conversational Agent Based on a Generic Framework.- A Quiz Game Console Based on a Generic Embodied Conversational Agent Framework.- AVSML: An XML-Based Markup Language for Web Information Integration in 3D Virtual Space.- Simulation Environment for Anticipatory Behaving Agents from the Artificial Life Domain.- Towards an Architecture for Aligned Speech and Gesture Production.- Avatar Puppetry Using Real-Time Audio and Video Analysis.- Double Appraisal for Synthetic Characters.- An Expressive Avatar for Instant Messaging Endowed with Emotional Intelligence.- ALICIA.- Towards a Unified Model of Social and Environment-Directed Agent Gaze Behaviour.- Automatic Generation of Expressive Gaze in Virtual Animated Characters: From Artists Craft to a Behavioral Animation Model.- Analyzing Gaze During Face-to-Face Interaction.- Affect and Metaphor in an ICA: Further Developments.- A Case-Based Approach to Intelligent Virtual Agent's Interaction Experience Representation.- Modeling Spatiotemporal Uncertainty in Dynamic Virtual Environments.- Industrial Demos.- Avatars Contributions to Commercial Applications with Living ActorTM Technology.- The CereVoice Characterful Speech Synthesiser SDK.- VirtuOz Interactive Agents.- Finger Tracking for Virtual Agents.- Techniques of Dialogue Simulation.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 7th International Workshop on Intelligent Virtual Agents, IVA 2007, held in Paris, France, September 2007. The 19 revised full papers and 12 revised short papers presented together with five invited talks and the abstracts of 32 poster papers are organized in topical sections on rendering and analysis, culture and identity, behavior models, feedback models, dialogues, applications, evaluation, gaze models and emotions.
(source: Nielsen Book Data)

• Stellar Nucleosynthesis.- Formation of the Solar System: a Chronology Based on Meteorites.- The Formation of Crust and Mantle of the Rocky Planets and the Mineral Environment of the Origin of Life.- Water and Climates on Mars.- Planetary Atmospheres: From Solar System Planets to Exoplanets.- What About Exoplanets?.- Habitability: the Point of View of an Astronomer.- Habitability: the Point of View of a Biologist.- Impact Events and the Evolution of the Earth.- Towards a Global Earth Regulation.- The Last Common Ancestor of Modern Cells.- An Extreme Environment on Earth: Deep-Sea Hydrothermal Vents. Lessons for Exploration of Mars and Europa.- Comets, Titan and Mars: Astrobiology and Space Projects.- Quantum Astrochemistry: Numerical Simulation as an Alternative to Experiments.- Artificial Life or Digital Dissection.
• (source: Nielsen Book Data)

First comprehensive, beginning graduate level book on the emergent science of astrobiology.
(source: Nielsen Book Data)

• Invited Talks.- Encapsulating Reaction-Diffusion Computers.- On the Computational Capabilities of Several Models.- Universality, Reducibility, and Completeness.- Using Approximation to Relate Computational Classes over the Reals.- A Survey of Infinite Time Turing Machines.- The Tiling Problem Revisited (Extended Abstract).- Decision Versus Evaluation in Algebraic Complexity.- A Universal Reversible Turing Machine.- P Systems and Picture Languages.- Regular Papers.- Partial Halting in P Systems Using Membrane Rules with Permitting Contexts.- Uniform Solution of QSAT Using Polarizationless Active Membranes.- Satisfiability Parsimoniously Reduces to the TantrixTM Rotation Puzzle Problem.- Planar Trivalent Network Computation.- On the Power of Networks of Evolutionary Processors.- Study of Limits of Solvability in Tag Systems.- Query Completeness of Skolem Machine Computations.- More on the Size of Higman-Haines Sets: Effective Constructions.- Insertion-Deletion Systems with One-Sided Contexts.- Accepting Networks of Splicing Processors with Filtered Connections.- Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata.- Four Small Universal Turing Machines.- Changing the Neighborhood of Cellular Automata.- A Simple P-Complete Problem and Its Representations by Language Equations.- Slightly Beyond Turing's Computability for Studying Genetic Programming.- A Smallest Five-State Solution to the Firing Squad Synchronization Problem.- Small Semi-weakly Universal Turing Machines.- Simple New Algorithms Which Solve the Firing Squad Synchronization Problem: A 7-States 4n-Steps Solution.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 2007. The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, cellular automata, tiling of the plane, neural networks, molecular computations, BSS machines, infinite cellular automata, real machines, and quantum computing.
(source: Nielsen Book Data)

• Programming Languages.- Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.- Lisp.- Aspects.- Models and Aspects - Handling Crosscutting Concerns in MDSD.- Aspects, Dependencies, and Interactions.- AOSD and Reflection: Benefits and Drawbacks to Software Evolution.- Program Reasoning.- Formal Techniques for Java-Like Programs.- Program Analysis for Security and Privacy.- Software Engineering.- Object-Oriented Reengineering.- Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation.- Quantitative Approaches in Object-Oriented Software Engineering.- Architectures and Components.- Architecture-Centric Evolution: New Issues and Trends.- Component-Oriented Programming.- Fractal Component-Based Software Engineering.- Applications.- Object Technology for Ambient Intelligence and Pervasive Computing: Language Constructs and Infrastructures.- Parallel/High-Performance Object-Oriented Scientific Computing Today.- Tenth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts.
• (source: Nielsen Book Data)

This book contains the final reports of 19 workshops held during the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006. The 19 reports cover the entire range of object technology and related topics, presenting a coherent and highly representative snapshot of the major trends in the field.
(source: Nielsen Book Data)

• QuickCheck Testing for Fun and Profit.- A Constraint Programming Approach to Bioinformatics Structural Problems.- Rewriting Haskell Strings.- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning.- Algebraic Knowledge Discovery Using Haskell.- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang.- Automatic Incrementalization of Prolog Based Static Analyses.- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.- Combining Static Analysis and Profiling for Estimating Execution Times.- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.- Compiling Constraint Handling Rules for Efficient Tabled Evaluation.- Prolog Performance on Larger Datasets.- BAD, a Declarative Logic-Based Language for Brain Modeling.- From Zinc to Design Model.- Inductive Logic Programming by Instance Patterns.- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement.- The Joins Concurrency Library.- HPorter: Using Arrows to Compose Parallel Processes.- Coupled Schema Transformation and Data Conversion for XML and SQL.- Aspect-Oriented Programming in Higher-Order and Linear Logic.- Partial Evaluation of Pointcuts.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed.
(source: Nielsen Book Data)

• Invited Talk.- DIVINE: DIscovering Variables IN Executables.- Session 1.- Verifying Compensating Transactions.- Model Checking Nonblocking MPI Programs.- Model Checking Via ?CFA.- Using First-Order Theorem Provers in the Jahob Data Structure Verification System.- Invited Tutorial.- Interpolants and Symbolic Model Checking.- Session 2.- Shape Analysis of Single-Parent Heaps.- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.- On Flat Programs with Lists.- Invited Talk.- Automata-Theoretic Model Checking Revisited.- Session 3.- Language-Based Abstraction Refinement for Hybrid System Verification.- More Precise Partition Abstractions.- The Spotlight Principle.- Lattice Automata.- Invited Tutorial.- Learning Algorithms and Formal Verification (Invited Tutorial).- Session 4.- Constructing Specialized Shape Analyses for Uniform Change.- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.- Automated Verification of Shape and Size Properties Via Separation Logic.- Invited Talk.- Towards Shape Analysis for Device Drivers.- Session 5.- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.- Symmetry and Completeness in the Analysis of Parameterized Systems.- Better Under-Approximation of Programs by Hiding Variables.- Invited Tutorial.- The Constraint Database Approach to Software Verification.- Session 6.- Constraint Solving for Interpolation.- Assertion Checking Unified.- Invariant Synthesis for Combined Theories.
• (source: Nielsen Book Data)

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.
(source: Nielsen Book Data)

• Genetic Programming.- Santa Fe Trail Hazards.- Size Control with Maximum Homologous Crossover.- Machine Learning.- A New Classification-Rule Pruning Procedure for an Ant Colony Algorithm.- Swarm-Based Distributed Clustering in Peer-to-Peer Systems.- Simultaneous Optimization of Weights and Structure of an RBF Neural Network.- An Exponential Representation in the API Algorithm for Hidden Markov Models Training.- Applications.- Memetic Algorithms for the MinLA Problem.- Niching in Evolution Strategies and Its Application to Laser Pulse Shaping.- A Modified Genetic Algorithm for the Beam Angle Optimization Problem in Intensity-Modulated Radiotherapy Planning.- Combinatorial Optimization.- On a Property Analysis of Representations for Spanning Tree Problems.- A Cooperative Multilevel Tabu Search Algorithm for the Covering Design Problem.- Enhancements of NSGA II and Its Application to the Vehicle Routing Problem with Route Balancing.- The Importance of Scalability When Comparing Dynamic Weighted Aggregation and Pareto Front Techniques.- Co-evolution.- A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT.- Analysing Co-evolution Among Artificial 3D Creatures.- Self-assembling.- A Critical View of the Evolutionary Design of Self-assembling Systems.- Algorithmic Self-assembly by Accretion and by Carving in MGS.- Evolutionary Design of a DDPD Model of Ligation.- Artificial Life and Bioinformatics.- Population Structure and Artificial Evolution.- Outlines of Artificial Life: A Brief History of Evolutionary Individual Based Models.- An Enhanced Genetic Algorithm for Protein Structure Prediction Using the 2D Hydrophobic-Polar Model.- Incorporating Knowledge of Secondary Structures in a L-System-Based Encoding for Protein Folding.- Advances.- The Electromagnetism Meta-heuristic Applied to the Resource-Constrained Project Scheduling Problem.- Applications of Racing Algorithms: An Industrial Perspective.- An Immunological Algorithm for Global Numerical Optimization.- Algorithms (X, sigma, eta): Quasi-random Mutations for Evolution Strategies.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Artificial Evolution, EA 2005, held in Lille, France, in October 2005. The 26 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers cover all aspects of artificial evolution: genetic programming, machine learning, combinatorial optimization, co-evolution, self-assembling, artificial life and bioinformatics.
(source: Nielsen Book Data)

• Autonomic networks
• Self-configuration
• Autonomic platform and services
• Autonomic management and discovery
• Policy-based management
• Ad hoc, sensor, and ambient autonomic networks
• Autonomic control of mobile networks.