%{search_type} search results

This two-volume set constitutes the proceedings of the Third International Conference on Pattern Recognition and Artificial Intelligence, ICPRAI 2022, which took place in Paris, France, in June 2022. The 98 full papers presented were carefully reviewed and selected from 192 submissions. The papers present new advances in the field of pattern recognition and artificial intelligence. They are organized in topical sections as follows: pattern recognition; computer vision; artificial intelligence; big data.
(source: Nielsen Book Data)

• A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem.- An Approach Based on Particle Swarm Optimization for Inspection of Spacecraft Hulls by a Swarm of Miniaturized Robots.- Automatic Design of Multi-Objective Particle Swarm Optimizers.- Automatic Extraction of Understandable Controllers from Video Observations of Swarm Behaviors.- Benchmarking Performances of Collective Decision-making Strategies with Respect to Communication Bandwidths in Discrete Collective Estimation.- Best-of-N Collective Decisions on a Hierarchy.- Collective Decision-making for Conflict Resolution in Multi-Agent Pathfinding.- Controlling Robot Swarm Aggregation through a Minority of Informed Robots.- Decentralized Multi-Agent Path Finding in Warehouse Environments for Fleets of Mobile Robots with Limited Communication Range.- Decomposition and Merging Co-operative Particle Swarm Optimization with Random Grouping.- Dynamic Spatial Guided Multi-Guide Particle Swarm Optimization Algorithm for Many-Objective Optimization.- Extracting Symbolic Models of Collective Behaviors with Graph Neural Networks and Macro-Micro Evolution.- Learning Resilient Swarm Behaviors via Ongoing Evolution.- Mind the Gap! Predictive Flocking of Aerial Robot Swarm in Cluttered Environments.- Moving Mixtures of Active and Passive Elements with Robots That Do Not Compute.- Real-time Coordination of a Foraging Robot Swarm Using Blockchain Smart Contracts.- Robot Swarms Break Decision Deadlocks in Collective Perception through Cross-inhibition.- Self-Organized Chain Formation of Nano-Drones in an Open Space.- The Hidden Benefits of Limited Communication and Slow Sensing in Collective Monitoring of Dynamic Environments.- A Novel Time-of-Flight Range and Bearing Sensor System for Micro Air Vehicle Swarms.- An Adaptive Metric Model for Collective Motion Structures in Dynamic Environments.- An Extension of the iMOACOR Algorithm Based on Layer-Set Selection.- Binary Particle Swarm Optimization for Selective Cell Switch-Off in Ultra-Dense 5G Networks.- Choeur Synthetique: an Art Installation Based on Swarm Robotics.- Component Swarm Optimization using Virtual Forces for Solving Layout Problems.- Constant Bearing Flocking.- Distributed Sorting in Complex Environments.- Effect of Different Communication Affordances on the Emergence of Collaboration Strategies in an Online Multiplayer Game.- Generating and Analyzing Collective Step-climbing Behavior in a Multi-legged Robotic Swarm.- Modeling Immune Search through the Lymphatic Network.- Optimization of a Self-organized Collective Motion in a Robotic Swarm.- Response Threshold Distributions to Improve Best-of-N Decisions in Minimalistic Robot Swarms.- Stability-Guided Particle Swarm Optimization.- Animals Are Not Particles: Towards a Second Generation of 'Hetero-Swarm' Robotics.- Applying PSO to Find Optimal Strategy for 3D Chip Layout Design.- Particle Swarm Optimization Applied to the Direct Aperture Optimization Problem on Radiotherapy.- Search Space Illumination of Robot Swarm Parameters for Trustworthiness.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 13th International Conference on Swarm Intelligence, ANTS 2022, held in Malaga, Spain, in November 2022. The 19 full papers presented, together with 14 short papers and 4 extended abstracts were carefully reviewed and selected from 45 submissions. ANTS 2022 contributions are dealing with any aspect of swarm intelligence such as behavioral models of social insects, empirical and theoretical research in swarm intelligence, application of swarm intelligence methods, and much more.
(source: Nielsen Book Data)

• Machine Learning in Hybrid Environment for Information Identification with Remotely Sensed Image Data
• Clustering-Based Aggregation of High-Utility Patterns from Unknown Multi-Database
• A Study of Three Different Approaches to Point Placement on a Line in an Inexact Model
• Cinolib: A Generic Programming Header Only C++ Library for Processing Polygonal and Polyhedral Meshes
• Trust Computation in VANET Cloud
• Received Power Exploration of Cooperative WSN Deployed in Adjustable Antenna Height Environment
• A Built-in Circuit for Self-Reconfiguring Mesh-Connected Processor Arrays with Spares on Diagonal.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 34th issue of the Transactions on Computational Science, contains seven in-depth papers focusing on research on data analytics using machine learning and pattern recognition, with applications in wireless networks, databases, and remotely sensed data.

• Taming Complex Beliefs.- Ideal Chaotic Pattern Recognition Is Achievable: The Ideal-M-AdNN-Its Design and Properties.- A Framework for an Adaptive Grid Scheduling: An Organizational Perspective.- Data Extraction from Online Social Networks Using Application.- Programming Interface in a Multi Agent System Approach.- Cooperatively Searching Objects Based on Mobile Agents.- Agent Based Optimisation of VoIP Communication.- Towards Rule Interoperability: Design of Drools Rule Bases Using the XTT2 Method.- Artificial Immune System for Forecasting Time Series with Multiple Seasonal Cycles.- Machine Ranking of 2-Uncertain Rules Acquired from Real Data.
• (source: Nielsen Book Data)

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This eleventh issue contains 9 carefully selected and thoroughly revised contributions.
(source: Nielsen Book Data)

• Iterative-Deepening Search with On-Line Tree Size Prediction / Ethan Burns and Wheeler Ruml
• A Learning Optimization Algorithm in Graph Theory / Versatile Search for Extremal Graphs Using a Learning Algorithm / Gilles Caporossi and Pierre Hansen
• A Math-Heuristic Dantzig-Wolfe Algorithm for the Capacitated Lot Sizing Problem / Marco Caserta and Stefan Voß
• Application of the Nested Rollout Policy Adaptation Algorithm to the Traveling Salesman Problem with Time Windows / Tristan Cazenave and Fabien Teytaud
• Parallel Algorithm Configuration / Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown
• Community Detection in Social and Biological Networks Using Differential Evolution / Guanbo Jia, Zixing Cai, Mirco Musolesi, Yong Wang and Dan A. Tennant, et al.
• A Study on Large Population MOEA Using Adaptive [epsilon]-Box Dominance and Neighborhood Recombination for Many-Objective Optimization / Naoya Kowatari, Akira Oyama, Hernán E. Aguirre and Kiyoshi Tanaka.

• A Non-adaptive Stochastic Local Search Algorithm for the CHeSC 2011 Competition / Franco Mascia and Thomas Stützle
• Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness / Olaf Mersmann, Bernd Bischl, Jakob Bossek, Heike Trautmann and Markus Wagner, et al.
• Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming / Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele and Stefan Woltran
• High-Dimensional Model-Based Optimization Based on Noisy Evaluations of Computer Games / Mike Preuss, Tobias Wagner and David Ginsbourger
• Pilot, Rollout and Monte Carlo Tree Search Methods for Job Shop Scheduling / Thomas Philip Runarsson, Marc Schoenauer and Michèle Sebag
• Minimizing Time When Applying Bootstrap to Contingency Tables Analysis of Genome-Wide Data / Francesco Sambo and Barbara Di Camillo
• Quantifying Homogeneity of Instance Sets for Algorithm Configuration / Marius Schneider and Holger H. Hoos.

• Automatically Configuring Algorithms for Scaling Performance / James Styles, Holger H. Hoos and Martin Müller
• Upper Confidence Tree-Based Consistent Reactive Planning Application to MineSweeper / Michèle Sebag and Olivier Teytaud
• Bounding the Effectiveness of Hypervolume-Based ([mu]+[lambda])-Archiving Algorithms / Tamara Ulrich and Lothar Thiele
• Optimization by l1-Constrained Markov Fitness Modelling / Gabriele Valentini, Luigi Malagò and Matteo Matteucci
• Vehicle Routing and Adaptive Iterated Local Search within the HyFlex Hyper-heuristic Framework / James D. Walker, Gabriela Ochoa, Michel Gendreau and Edmund K. Burke
• Quasi-elementary Landscapes and Superpositions of Elementary Landscapes / Darrell Whitley and Francisco Chicano
• Fast Permutation Learning / Tony Wauters, Katja Verbeeck, Patrick De Causmaecker and Greet Vanden Berghe
• Parameter-Optimized Simulated Annealing for Application Mapping on Networks-on-Chip / Bo Yang, Liang Guang, Tero Säntti and Juha Plosila
• Learning Algorithm Portfolios for Parallel Execution / Xi Yun and Susan L. Epstein.

• Bayesian Optimization Using Sequential Monte Carlo / Romain Benassi, Julien Bect and Emmanuel Vazquez
• Influence of the Migration Period in Parallel Distributed GAs for Dynamic Optimization / Yesnier Bravo, Gabriel Luque and Enrique Alba
• A Hyper-Heuristic Inspired by Pearl Hunting / C.Y. Chan, Fan Xue, W.H. Ip and C.F. Cheung
• Five Phase and Genetic Hive Hyper-Heuristics for the Cross-Domain Search / Tomasz Cichowicz, Maciej Drozdowski, Michał Frankiewicz, Grzegorz Pawlak and Filip Rytwiński, et al.
• Implicit Model Selection Based on Variable Transformations in Estimation of Distribution / Emanuele Corsano, Davide Cucci, Luigi Malagò and Matteo Matteucci
• Improving the Exploration in Upper Confidence Trees / Adrien Couëtoux, Hassen Doghmen and Olivier Teytaud
• Parallel GPU Implementation of Iterated Local Search for the Travelling Salesman Problem / Audrey Delévacq, Pierre Delisle and Michaël Krajecki
• Constraint-Based Local Search for the Costas Array Problem / Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou and Salvador Abreu.

• Evaluation of a Family of Reinforcement Learning Cross-Domain Optimization Heuristics / Luca Di Gaspero and Tommaso Urli
• Autonomous Local Search Algorithms with Island Representation / Adrien Goëffon and Frédéric Lardeux
• An Approach to Instantly Use Single-Objective Results for Multi-objective Evolutionary Combinatorial Optimization / Christian Grimme and Joachim Lepping
• Lower Bounds and Upper Bounds for MaxSAT / Federico Heras, Antonio Morgado and Joao Marques-Silva
• Determining the Characteristic of Difficult Job Shop Scheduling Instances for a Heuristic Solution Method / Helga Ingimundardottir and Thomas Philip Runarsson
• Expected Improvements for the Asynchronous Parallel Global Optimization of Expensive Functions: Potentials and Challenges / Janis Janusevskis, Rodolphe Le Riche, David Ginsbourger and Ramunas Girdziusas
• Effect of SMS-EMOA Parameterizations on Hypervolume Decreases / Leonard Judt, Olaf Mersmann and Boris Naujoks
• Effects of Speciation on Evolution of Neural Networks in Highly Dynamic Environments / Peter Krčah.

• Natural Max-SAT Encoding of Min-SAT / Adrian Kügel
• A New Hyperheuristic Algorithm for Cross-Domain Search Problems / Andreas Lehrbaum and Nysret Musliu
• Brain Cine-MRI Sequences Registration Using B-Spline Free-Form Deformations and MLSDO Dynamic Optimization Algorithm / Julien Lepagnot, Amir Nakib, Hamouche Oulhadj and Patrick Siarry
• Global Optimization for Algebraic Geometry -- Computing Runge-Kutta Methods / Ivan Martino and Giuseppe Nicosia
• Clause Sharing in Parallel MaxSAT / Ruben Martins, Vasco Manquinho and Inês Lynce
• An Intelligent Hyper-Heuristic Framework for CHeSC 2011 / Mustafa Mısır, Katja Verbeeck, Patrick De Causmaecker and Greet Vanden Berghe
• An Efficient Meta-heuristic Based on Self-control Dominance Concept for a Bi-objective Re-entrant Scheduling Problem with Outsourcing / Atefeh Moghaddam, Farouk Yalaoui and Lionel Amodeo.

• A Tree Search Approach to Sparse Coding / Rui Rei, João P. Pedroso, Hideitsu Hino and Noboru Murata
• Adaptive Control of the Number of Crossed Genes in Many-Objective Evolutionary Optimization / Hiroyuki Sato, Carlos A. Coello Coello, Hernán E. Aguirre and Kiyoshi Tanaka
• Counter Implication Restart for Parallel SAT Solvers / Tomohiro Sonobe and Mary Inaba
• Learning the Neighborhood with the Linkage Tree Genetic Algorithm / Dirk Thierens and Peter A.N. Bosman
• A Comparison of Operator Utility Measures for On-Line Operator Selection in Local Search / Nadarajen Veerapen, Jorge Maturana and Frédéric Saubion
• Monte Carlo Methods for Preference Learning / Paolo Viappiani
• Hybridizing Reactive Tabu Search with Simulated Annealing / Stefan Voß and Andreas Fink.

• Iterative-Deepening Search with On-Line Tree Size Prediction
• A Learning Optimization Algorithm in Graph Theory: Versatile Search for Extremal Graphs Using a Learning Algorithm
• A Math-Heuristic Dantzig-Wolfe Algorithm for the Capacitated Lot Sizing Problem
• Application of the Nested Rollout Policy Adaptation Algorithm to the Traveling Salesman Problem with Time Windows
• Parallel Algorithm Configuration
• Community Detection in Social and Biological Networks Using Differential Evolution
• A Study on Large Population MOEA Using Adaptive ε-Box Dominance and Neighborhood Recombination for Many
• Objective Optimization
• A Non-adaptive Stochastic Local Search Algorithm High-Dimensional Model-Based Optimization Based on Noisy Evaluations of Computer Games
• Pilot, Rollout and Monte Carlo Tree Search Methods for Job Shop Scheduling
• Minimizing Time When Applying Bootstrap to Contingency Tables Analysis of Genome-Wide Data
• Quantifying Homogeneity of Instance Sets for Algorithm Configuration
• Automatically Configuring Algorithms for Scaling Performance
• Upper Confidence Tree-Based Consistent Reactive Planning Application to MineSweeper
• Influence of the Migration Period in Parallel Distributed Gas for Dynamic Optimization
• A Hyper-Heuristic Inspired by Pearl Hunting
• Five Phase and Genetic Hive Hyper-Heuristics for the Cross-Domain Search
• Implicit Model Selection Based on Variable Transformations in Estimation of Distribution
• Improving the Exploration in Upper Confidence Trees
• Parallel GPU Implementation of Iterated Local Search for the Travelling Salesman Problem
• Evaluation of a Family of Reinforcement Learning Cross-Domain Optimization Heuristics.-Effect of SMS-EMOA Parameterizations on Hypervolume Decreases.
• Effects of Speciation on Evolution of Neural Networks in Highly Dynamic Environments
• Natural Max-SAT Encoding of Min-SAT. A New Hyperheuristic Algorithm for Cross-Domain Search Problems
• Brain Cine-MRI Sequences Registration Using B-Spline Free-Form Deformations and MLSDO Dynamic Optimization Algorithm
• Global Optimization for Algebraic Geometry
• Clause Sharing in Parallel MaxSAT
• An Intelligent Hyper-Heuristic Framework for CHeSC 2011.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Learning and Intelligent Optimization, LION 6, held in Paris, France, in January 2012. The 23 long and 30 short revised papers were carefully reviewed and selected from a total of 99 submissions. The papers focus on the intersections and uncharted territories between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. In addition to the paper contributions the conference also included 3 invited speakers, who presented forefront research results and frontiers, and 3 tutorial talks, which were crucial in bringing together the different components of LION community.

• On the Pattern Recognition and Classification of Stochastically Episodic Events / Colin Bellinger and B. John Oommen
• Paraconsistent Reasoning for Semantic Web Agents / Linh Anh Nguyen and Andrzej Szałas
• An Agent Model for Cognitive and Affective Empathic Understanding of Other Agents / Zulfiqar A. Memon and Jan Treur
• Multiagent Based Simulation as a Supply Chain Analysis Workbench / Jacek Jakieła, Paweł Litwin and Marcin Olech
• On the Effective Distribution and Maintenance of Knowledge Represented by Complementary Graphs / Leszek Kotulski and Adam Sędziwy
• Agent System for Managing Distributed Mobile Interactive Documents in Knowledge-Based Organizations / Magdalena Godlewska
• Agent Cooperation within Adversarial Teams in Dynamic Environment -- Key Issues and Development Trends / Bartłomiej Józef Dzieńkowski and Urszula Markowska-Kaczmar
• On Pricing Strategies of Boundedly Rational Telecommunication Operators / Bogumil Kaminski and Maciej Latek
• Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking / Norihiro Kamide
• Learning Predictive Models for Financial Time Series by Using Agent Based Simulations / Filippo Neri.

Annotation The LNCS journal Transactions on Computational Collective Intelligence (TCCI) focuses on all facets of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This, the sixth issue of Transactions on Computational Collective Intelligence contains 10 selected papers, focusing on the topics of classification, agent cooperation, paraconsistent reasoning and agent distributed mobile interaction.

• The Process of Reaching Agreement in Meaning Negotiation / Elisa Burato and Matteo Cristani
• Formalizing Emotional E-Commerce Agents for a Simple Negotiation Protocol / Veronica Jascanu, Nicolae Jascanu and Severin Bumbaru
• Engineering Multi-Agent Systems through Statecharts-Based JADE Agents and Tools / Giancarlo Fortino, Francesco Rango and Wilma Russo
• Fleet Organization Models for Online Vehicle Routing Problems / Mahdi Zargayouna and Besma Zeddini
• Neural Smooth Function Approximation and Prediction with Adaptive Learning Rate / Villèvo Adanhounmè, Théophile K. Dagba and Sèmiyou A. Adédjouma
• A Multi-classifier Approach to Dialogue Act Classification Using Function Words / James O'Shea, Zuhair Bandar and Keeley Crockett
• Building Group Recommendations in E-Learning Systems / Danuta Zakrzewska
• Individual Semiosis in Multi-Agent Systems / Wojciech Lorkiewicz, Radoslaw Katarzyniak and Ryszard Kowalczyk
• Evaluation of Multi-Agent Systems: Proposal and Validation of a Metric Plan / Pierpaolo Di Bitonto, Maria Laterza, Teresa Roselli and Veronica Rossano
• Egress Modeling through Cellular Automata Based Multi-Agent Systems / Jarosław Wąs.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This seventh issue contains a collection of ten carefully selected and thorougly revised contributions.

• Introduction to Active Sets and Unification / Germano Resconi, Chris Hinde
• Modeling a Teacher in a Tutorial-like System Using Learning Automata / B. John Oommen, M. Khaled Hashem
• Power Network Reliability Computations Using Multi-agent Simulation / Aleš Horák, Miroslav Prýmek, Tadeusz Sikora
• Sequence Automata for Researching Consensus Levels / Henryk Piech
• An Analysis of the Influence of Fundamental Indexing on Financial Markets through Agent-Based Modeling: The Fundamentalist and Fundamental Indexing / Hiroshi Takahashi
• Agent-Driven Integration Architecture for Component-Based Software Development / Sodany Kiv, Yves Wautelet, Manuel Kolp
• Adaptive Tutoring in an Intelligent Conversational Agent System / Annabel Latham, Keeley Crockett
• Biological and Computational Perspectives on the Emergence of Social Phenomena: Shared Understanding and Collective Power / Jan Treur
• Agent-Based Crowd Simulation in Airports Using Games Technology / Olivier Szymanezyk, Tom Duckett
• Approximate Algorithms for Solving O1 Consensus Problems Using Complex Tree Structure / Marcin Maleszka, Ngoc Thanh Nguyen.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This eighth issue contains a collection of ten carefully selected and thorougly revised contributions.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This third issue contains a collection of 10 articles selected from high-quality submissions addressing advances in the foundations and applications of computational collective intelligence.
(source: Nielsen Book Data)

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This fourth issue contains a collection of 6 articles selected from high-quality submissions. The first paper of Ireneusz Czarnowski entitled "Distributed Learning with Data Reduction" consists of 120 pages and has a monograph chracter. The second part consists of five regular papers adressing advances in the foundations and applications of computational collective intelligence

• Improved N-grams Approach for Web Page Language Identification
• Image Edge Detection Using Variation-Adaptive Ant Colony Optimization
• An Iterative Process for Component-Based Software Development Centered on Agents
• Cellular Gene Expression Programming Classifier Learning
• A Situation-Aware Computational Trust Model for Selecting Partners
• Using the Perseus System for Modelling Epistemic Interactions
• Reduction of Faulty Detected Shot Cuts and Cross Dissolve Effects in Video Segmentation Process of Different Categories of Digital Videos
• Using Knowledge Integration Techniques for User Profile Adaptation Method in Document Retrieval Systems
• Modeling Agents and Agent Systems
• Online News Event Extractionfor Global Crisis Surveillance.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This 5th issue contains a collection of 10 carefully selected and thorougly revised contributions. The articles deal with the following topics: web page language identification; a novel image edge detection approach using ant colony optimization techniques; component-based software development through the use of the agent paradigm; a method for integrating gene expression programming and cellular evolutionary algorithms; a model for selecting partners in a society, focussing on contextual fitness; a model for agent knowledge acquisition; methods of faulty video detection; a model for integrating the archival knowledge included in a user profile; a universal and formal description for agent systems; and a real-time and mulitilingual news event extraction system.

• Invited Talks
• A Structure for Dependability Arguments
• Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
• ASM Papers
• Synchronous Message Passing and Semaphores: An Equivalence Proof
• AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps
• Bârun: A Scripting Language for CoreASM
• AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
• An Executable Semantics of the SystemC UML Profile
• Alloy Papers
• Specifying Self-configurable Component-Based Systems with FracToy
• Trace Specifications in Alloy
• An Imperative Extension to Alloy
• Towards Formalizing Network Architectural Descriptions
• Lightweight Modeling of Java Virtual Machine Security Constraints
• Alloy+HotCore: A Fast Approximation to Unsat Core
• B Papers
• Supporting Reuse in Event B Development: Modularisation Approach
• Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
• Applying the B Method for the Rigorous Development of Smart Card Applications
• Automatic Verification for a Class of Proof Obligations with SMT-Solvers
• A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
• Development of a Synchronous Subset of AADL
• Matelas: A Predicate Calculus Common Formal Definition for Social Networking
• Structured Event-B Models and Proofs
• Refinement-Animation for Event-B
• Towards a Method of Validation
• Reactivising Classical B
• Event-B Decomposition for Parallel Programs
• Z Papers
• Communication Systems in ClawZ
• Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods
• Towards Formally Templated Relational Database Representations in Z
• Translating Z to Alloy
• ABZ Short Papers (Abstracts)
• B-ASM: Specification of ASM à la B
• A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking
• On the Modelling and Analysis of Amazon Web Services Access Policies
• Architecture as an Independent Variable for Aspect-Oriented Application Descriptions
• ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models
• Introducing Specification-Based Data Structure Repair Using Alloy
• Secrecy UML Method for Model Transformations
• Improving Traceability between KAOS Requirements Models and B Specifications
• Code Synthesis for Timed Automata: A Comparison Using Case Study
• Towards Validation of Requirements Models
• A Proof Based Approach for Formal Verification of Transactional BPEL Web Services
• On an Extensible Rule-Based Prover for Event-B
• B Model Abstraction Combining Syntactic and Semantic Methods
• A Basis for Feature-Oriented Modelling in Event-B
• Using Event-B to Verify the Kmelia Components and Their Assemblies
• Starting B Specifications from Use Cases
• Integrating SMT-Solvers in Z and B Tools
• Formal Analysis in Model Management: Exploiting the Power of CZT.

This book constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. The 26 full papers presented were carefully reviewed and selected from 60 submissions. The book also contains two invited talks and abstracts of 18 short papers which address work in progress, industrial experience reports and tool descriptions. The papers cover recent advances in four equally rigorous methods for software and hardware development: abstract state machines (ASM), Alloy, B and Z. They share a common conceptual framework, centered around the notions of state and operation, and promote mathematical precision in the modeling, verification and construction of highly dependable systems.

• Computer Vision and Robotics.- A Hierarchical Recursive Partial Active Basis Model.- Facial Feature Model for Emotion Recognition Using Fuzzy Reasoning.- Face Recognition Using Simplicial Complexes.- Skeleton Simplification by Key Points Identification.- Learning and Fast Object Recognition in Robot Skill Acquisition: A New Method.- Light Source Intensity Adjustment for Enhanced Feature Extraction.- Fringe-Pattern Demodulation Using a Parametric Method Based on Differential Evolution.- ANIMA: Non-conventional Brain-Computer Interfaces in Robot Control through Electroencephalography and Electrooculography, ARP Module.- Efficient Roughness Recognition for Velocity Updating by Wheeled-Robots Navigation.- Image Processing.- Fingerprint Verification with Non-linear Composite Correlation Filters.- Automatic Ultrasound Image Analysis in Hashimoto's Disease.- Estimating Quality Bounds of JPEG 2000 Compressed Leukocytes Images.- Surface Material Segmentation Using Polarisation.- Measurement of Defocus Level in Iris Images Using Different Convolution Kernel Methods.- Radon Transform Algorithm for Fingerprint Core Point Detection.- Genetic Algorithms and Tabu Search for Correcting Lanes in DNA Images.- Adaptive Algorithm-Based Fused Bayesian Maximum Entropy-Variational Analysis Methods for Enhanced Radar Imaging.- Iris Segmentation Using a Statistical Approach.- Neural Networks and Signal Processing.- Adaboost Classifier by Artificial Immune System Model.- Cost-Sensitive Neural Networks and Editing Techniques for Imbalance Problems.- Designing RBFNNs Using Prototype Selection.- A Learning Social Network with Recognition of Learning Styles Using Neural Networks.- On-line Signature Verification Based on Modified Dynamic Time Warping and Wavelet Sub-band Coding.- New Dissimilarity Measures for Ultraviolet Spectra Identification.- Third Degree Volterra Kernel for Newborn Cry Estimation.- Pattern Recognition and Data Mining.- Cascading an Emerging Pattern Based Classifier.- A New Combined Filter-Wrapper Framework for Gene Subset Selection with Specialized Genetic Operators.- Hybrid Feature Selection Method for Supervised Classification Based on Laplacian Score Ranking.- Navigating K-Nearest Neighbor Graphs to Solve Nearest Neighbor Searches.- On the Design of a Hardware-Software Architecture for Acceleration of SVM's Training Phase.- A Highly Parallel Algorithm for Frequent Itemset Mining.- A Hybrid Methodology for Pattern Recognition in Signaling Cervical Cancer Pathways.- Graph Indexing and Retrieval Based on Median Graphs.- A Novel Method for Counting Models on Grid Boolean Formulas.- Natural Language and Document Processing.- Sentence to Document Level Emotion Tagging - A Coarse-Grained Study on Bengali Blogs.- Clustering Weblogs on the Basis of a Topic Detection Method.- A Naive Bayes Approach to Cross-Lingual Word Sense Disambiguation and Lexical Substitution.- Supervised Learning for Semantic Classification of Spanish Collocations.- Recognizing Textual Entailment with Statistical Methods.
• (source: Nielsen Book Data)

The Mexican Conference on Pattern Recognition 2010 (MCPR 2010) was the second event organized by the Mexican Association for Computer Vision, N- rocomputing and Robotics (MACVNR). These conferences provide a forum for exchanging scienti?c results and experiences, sharing new knowledge, and - creasing the cooperation between research groups in pattern recognition and related areas, in Mexico, as well as international cooperation. MCPR 2010 was held in Puebla, Mexico, it was hosted and sponsored by the Computer Science Department of the National Institute of Astrophysics, Optics and Electronics (INAOE), jointly with the Center for Computing Research of the National Polytechnic Institute (CIC-IPN). From 89 full papers submitted, 39(43.8%) were accepted for publication in theseproceedingsandfor presentationattheconference.Thecontributionsor- inated from 20 di?erent countries. The review process was carried out by the Scienti?c Committee, composed of internationally recognized scientists, all - perts in their respective ?elds. The conference bene?ted from the contributions made by the invited spe- ers: Edwin Hancock from the Department of Computer Science, University of York (UK); Guozhu Dong from the Data Mining Research Lab, Department of ComputerScienceandEngineering, WrightStateUniversity(USA); andErnesto Bribiesca Correa from the Department of Computer Science of the Center for Research in Applied Mathematics and Systems of the National Autonomous University of Mexico, IIMAS-UNAM (Mexico). We would like to express our sincere gratitude to the invited speakers.
(source: Nielsen Book Data)

• Invited Talks.- From Region Based Image Representation to Object Discovery and Recognition.- Learning on Manifolds.- Classification and Trees.- Structural Patterns in Complex Networks through Spectral Analysis.- Structural Descriptions.- Graph Embedding Using an Edge-Based Wave Kernel.- A Structured Learning Approach to Attributed Graph Embedding.- Machine Learning.- Combining Elimination Rules in Tree-Based Nearest Neighbor Search Algorithms.- Localized Projection Learning.- Entropy-Based Variational Scheme for Fast Bayes Learning of Gaussian Mixtures.- Structural Learning.- Learning Graph Quantization.- High-Dimensional Spectral Feature Selection for 3D Object Recognition Based on Reeb Graphs.- Dissimilarity-Based Multiple Instance Learning.- A Game Theoretic Approach to Learning Shape Categories and Contextual Similarities.- Poster Session.- A Comparison between Two Representatives of a Set of Graphs: Median vs. Barycenter Graph.- Impact of Visual Information on Text and Content Based Image Retrieval.- Automatic Traffic Monitoring from Satellite Images Using Artificial Immune System.- Graduated Assignment Algorithm for Finding the Common Labelling of a Set of Graphs.- Affinity Propagation for Class Exemplar Mining.- Guided Informative Image Partitioning.- Visual Alphabets on Different Levels of Abstraction for the Recognition of Deformable Objects.- Graph Embedding Based on Nodes Attributes Representatives and a Graph of Words Representation.- Extracting Plane Graphs from Images.- Indexing Tree and Subtree by Using a Structure Network.- Attributed Graph Matching for Image-Features Association Using SIFT Descriptors.- A Causal Extraction Scheme in Top-Down Pyramids for Large Images Segmentation.- Fast Population Game Dynamics for Dominant Sets and Other Quadratic Optimization Problems.- What Is the Complexity of a Network? The Heat Flow-Thermodynamic Depth Approach.- New Partially Labelled Tree Similarity Measure: A Case Study.- Complete Search Space Exploration for SITG Inside Probability.- Commute-Time Convolution Kernels for Graph Clustering.- Geometric Methods.- Non-Euclidean Dissimilarities: Causes and Informativeness.- Non-parametric Mixture Models for Clustering.- Structural Methods for Vision.- A Probabilistic Approach to Spectral Unmixing.- A Game-Theoretic Approach to the Enforcement of Global Consistency in Multi-view Feature Matching.- An Algorithm for Recovering Camouflage Errors on Moving People.- Clustering.- Semi-supervised Clustering Using Heterogeneous Dissimilarities.- On Consensus Clustering Validation.- Pairwise Probabilistic Clustering Using Evidence Accumulation.- Exploring the Performance Limit of Cluster Ensemble Techniques.- Contour Grouping by Clustering with Multi-feature Similarity Measure.- Poster Session.- A Psychophysical Evaluation of Texture Degradation Descriptors.- Content-Based Tile Retrieval System.- Performance Improvement in Multiple-Model Speech Recognizer under Noisy Environments.- On Feature Combination for Music Classification.- Information Theoretical Kernels for Generative Embeddings Based on Hidden Markov Models.- Dynamic Linear Combination of Two-Class Classifiers.- Large-Scale Text to Image Retrieval Using a Bayesian K-Neighborhood Model.- Maximum a Posteriori Based Kernel Classifier Trained by Linear Programming.- Improvement of the Disc Harmonic Moments Descriptor by an Exponentially Decaying Distance Transform.- Feature Level Fusion of Face and Palmprint Biometrics.- Scale and Rotation Invariant Detection of Singular Patterns in Vector Flow Fields.- Using K-NN SVMs for Performance Improvement and Comparison to K-Highest Lagrange Multipliers Selection.- Automatic Speech Segmentation Based on Acoustical Clustering.- An Efficient Iris and Eye Corners Extraction Method.- Dissimilarity-Based Methods.- An Empirical Comparison of Kernel-Based and Dissimilarity-Based Feature Spaces.- The Dissimilarity Representation as a Tool for Three-Way Data Classification: A 2D Measure.- Regularising the Ricci Flow Embedding.- Spherical Embedding and Classification.- Language.- Language Detection and Tracking in Multilingual Documents Using Weak Estimators.- Similarity Word-Sequence Kernels for Sentence Clustering.- Bayesian Adaptation for Statistical Machine Translation.- A Generative Score Space for Statistical Dialog Characterization in Social Signalling.- Multiple Classifiers.- A Modular Approach to Training Cascades of Boosted Ensembles.- A Linear Combination of Classifiers via Rank Margin Maximization.- Combination of Dichotomizers for Maximizing the Partial Area under the ROC Curve.- Graphs.- Ihara Coefficients: A Flexible Tool for Higher Order Learning.- A New Spectral Bound on the Clique Number of Graphs.- Large Sample Statistics in the Domain of Graphs.- Statistical Pattern Recognition.- Analysis of the Multi-Dimensional Scale Saliency Algorithm and Its Application to Texture Categorization.- Interactive Image Retrieval Using Smoothed Nearest Neighbor Estimates.- Kernel Fusion of Multiple Histogram Descriptors for Robust Face Recognition.- Structural Methods for OCR.- Efficient OCR Post-Processing Combining Language, Hypothesis and Error Models.- Rejection Threshold Estimation for an Unknown Language Model in an OCR Task.- A New Editing Scheme Based on a Fast Two-String Median Computation Applied to OCR.
• (source: Nielsen Book Data)

This volume in the Springer Lecture Notes in Computer Science (LNCS) series contains the papers presented at the S+SSPR 2010 Workshops, which was the seventh occasion that SPR and SSPR workshops have been held jointly. S+SSPR 2010 was organized by TC1 and TC2, Technical Committees of the International Association for Pattern Recognition(IAPR), andheld inCesme, Izmir, whichis a seaside resort on the Aegean coast of Turkey. The conference took place during August 18-20, 2010, only a few days before the 20th International Conference on Pattern Recognition (ICPR) which was held in Istanbul. The aim of the series of workshops is to create an international forum for the presentation of the latest results and exchange of ideas between researchers in the ?elds of statistical and structural pattern recognition. SPR 2010 and SSPR 2010 received a total of 99 paper submissions from many di?erent countries around the world, giving it a truly international perspective, as has been the case for previous S+SSPR workshops. This volume contains 70 accepted papers, 39 for oral and 31 for poster presentation. In addition to par- lel oral sessions for SPR and SSPR, there were two joint oral sessions of interest to both SPR and SSPR communities. Furthermore, to enhance the workshop experience, there were two joint panel sessions on "Structural Learning" and "Clustering, " in which short author presentations were followed by discussion. Another innovation this year was the ?lming of the proceedings by Videol- tures.
(source: Nielsen Book Data)

• HYDRA: A Middleware-Oriented Integrated Architecture for e-Procurement in Supply Chains.- Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic
• An Efficient Ant-Based Edge Detector.- Stochastic Local Search for Core Membership Checking in Hedonic Games.- A Different Perspective on a Scale for Pairwise Comparisons.- An Awareness-Based Learning Model to Deal with Service Collaboration in Cloud Computing.- Ontology-Based Administration of Web Directories.- Distributed Deliberative Recommender Systems.- Fuzzy Cognitive and Social Negotiation Agent Strategy for Computational Collective Intelligence.- The Living Cell as a Multi-agent Organisation: A Compositional Organisation Model of Intracellular Dynamics.
• (source: Nielsen Book Data)

We would like to present, with great pleasure, the first volume of a new journal, Transactions on Computational Collective Intelligence (TCCI). This journal, part of the new journal subline in the Springer series Lecture Notes in Computer Science, is devoted to research in computer-based methods of computational collective intel- gence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new metho- logical, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc. , aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. TCCI is a double-blind refereed and authoritative reference dealing with the wo- ing potential of CCI methodologies and applications as well as emerging issues of interest to professionals and academics. This inaugural issue contains a collection of articles selected from regular subm- sions and invited papers of substantially extended contributions based on the best papers presented at the first International Conference on Computational Collective Intelligence: Semantic Web, Social Networks and Multiagent Systems (ICCCI 2009) during October 5-7, 2009 in Wroclaw (Poland). This issue introduces advances in the foundations and applications of CCI and includes 10 papers.
(source: Nielsen Book Data)

• Integration Proposal for Description Logic and Attributive Logic
• Towards Semantic Web Rules
• A Cross-Cultural Multi-agent Model of Opportunism in Trade
• Enhancing Social Search: A Computational Collective Intelligence Model of Behavioural Traits, Trust and Time
• Group-Oriented Services: A Shift towards Consumer-Managed Relationships in the Telecom Industry
• The Semantic Web: From Representation to Realization
• Decision Support System Based on Computational Collective Intelligence in Campus Information Systems
• Fuel Crime Conceptualization through Specialization of Ontology for Investigation Management System
• A Robust Approach for Nonlinear UAV Task Assignment Problem under Uncertainty
• Pricing the Services in Dynamic Environment: Agent Pricing Model
• JABAT Middleware as a Tool for Solving Optimization Problems.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This second TCCI issue contains a collection of 10 articles selected from high-quality submissions addressing advances in the foundations and applications of computational collective intelligence.

• 1: Computations of Stochastic Systems Guest Editor: Magdy A. El-Tawil
• Mean Square Convergent Numerical Methods for Nonlinear Random Differential Equations
• A Discrete-Time Geo/G/1 Retrial Queue with Starting Failures and Impatient Customers
• Using Homotopy-WHEP Technique in Solving Nonlinear Diffusion Equation with Stochastic No Homogeneity
• Itô-Stratonovitch Formula for the Wave Equation on a Torus
• The Solution of Non-linear Diffusion Equation under Stochastic Nonhomogeneity Using Symbolic WHEP and Pickard Algorithms
• 2: Computational Methods for Complex Systems
• An Analysis of Secure Processor Architectures
• Compensation of the Scheme Dispersion and Dissipation by Artificial Non-linear Additions
• Retracted: New Mathematical Conception and Computation Algorithm for Study of Quantum 3D Disordered Spin System under the Influence of External Field
• Grid-Technology for Chemical Reactions Calculation
• Erratum
• Retracted: New Mathematical Conception and Computation Algorithm for Study of Quantum 3D Disordered Spin System under the Influence of External Field.

Annotation The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The 7th€issue of the Transactions on Computational Science journal is devoted to core computational science techniques, such as grid computing, advanced numerical methods, and stochastic systems. It has been divided into two parts. The five papers in Part I€focus on computations of stochastic systems and the four papers in Part II focus on computational methods for complex systems.

• Environmental Modeling and Identification Based on Changes in Sensory Information.- Polymorphic Particle Swarm Optimization.- C-Strategy: A Dynamic Adaptive Strategy for the CLONALG Algorithm.- A Comparison of Genotype Representations to Acquire Stock Trading Strategy Using Genetic Algorithms.- Automatic Adaptive Modeling of Fuzzy Systems Using Particle Swarm Optimization.- Computational Algorithm for Some Problems with Variable Geometrical Structure.- In-Place Linear-Time Algorithms for Euclidean Distance Transform.- A Foundation of Demand-Side Resource Management in Distributed Systems.- Modified Bias Field Fuzzy C-Means for Effective Segmentation of Brain MRI.- Visualization of Monotone Data by Rational Bi-cubic Interpolation.- C1 Monotone Scattered Data Interpolation.
• (source: Nielsen Book Data)

The 8th issue of "The Transactions on Computational Science" has been divided into two parts. Part I, prepared by Guest Editors Nadia Nedjah, Abdelhamid Bouchachia, and Luiza de Macedo Mourelle, consists of 5 detailed papers, presenting state-of-the-art research results on adaptive models for evolutionary computation and their application in various dynamic environments. The 6 papers in Part II take an in-depth look at selected computational science research in the areas of geometric computing, Euclidean distance transform, distributed systems, segmentation, visualization of monotone data, and data interpolation.
(source: Nielsen Book Data)

This volume (II) contains all publications accepted for the symposiums and workshops held in parallel with the 10th International Work-Conference on Artificial Neural Networks (IWANN 2009), covering a wide spectrum of technological areas such as distributed computing, artificial intelligence, bioinformatics, soft computing and ambient-assisted living: * DCAI 2009 (International Symposium on Distributed Computing and Artificial Intelligence), covering artificial intelligence and its applications in distributed environments, such as the Internet, electronic commerce, mobile communi- tions, wireless devices, distributed computing, and so on. This event accepted a total of 96 submissions selected from a submission pool of 157 papers, from 12 different countries. * IWAAL 2009 (International Workshop of Ambient-Assisted Living), covering solutions aimed at increasing the quality of life, safety and health problems of elderly and disabled people by means of technology. This event accepted a - tal of 42 submissions selected from a submission pool of 78 papers, from 9 d- ferent countries. * IWPACBB 2009 (Third International Workshop on Practical Applications of Computational Biology and Bioinformatics), covering computational biology and bioinformatics as a possibility for knowledge discovery, modelling and - timization tasks, aiming at the development of computational models so that the response of biological complex systems to any perturbation can be p- dicted. This event accepted a total of 39 submissions selected from a subm- sion pool of 75 papers, from 6 different countries.
(source: Nielsen Book Data)

• Philosophical Reflections
• Philosophical Conceptions of Information
• The Syntactical Approach
• Information Theory, Relative Entropy and Statistics
• Information: The Algorithmic Paradigm
• The Semantical Approach
• Information Algebra
• Uncertain Information
• Comparing Questions and Answers: A Bit of Logic, a Bit of Language, and Some Bits of Information
• Channels: From Logic to Probability
• Beyond the Semantical Approach
• Modeling Real Reasoning
• Philosophical Conclusions
• One or Many Concepts of Information?

This book presents the scientific outcome of a joint effort of the computer science departments of the universities of Berne, Fribourg and Neuchatel. Within an initiative devoted to 'Information and Knowledge', these research groups collaborated over several years on issues of logic, probability, inference, and deduction. The goal of this volume is to examine whether there is any common ground between the different approaches to the concept of information. The structure of this book could be represented by a circular model, with an innermost syntactical circle, comprising statistical and algorithmic approaches; a second, larger circle, the semantical one, in which 'meaning' enters the stage; and, finally an outermost circle, the pragmatic one, casting light on real-life logical reasoning. These articles are complemented by two philosophical contributions exploring the wide conceptual field as well as taking stock of the articles on the various formal theories of information.
(source: Nielsen Book Data)