NCA 2005 (PDF)
Preface (PDF)
ACSys 2005 (PDF)
CAVIS 2005 (PDF)
PN & WM 2005 (PDF)
SYNASC 2005 Committees (PDF)
Natural Computation for Business Intelligence from Web Usage Mining (Abstract)
Membrane Computing as a Framework for Modeling Economic Processes (Abstract)
Theory and Practice of Programming Applied to Membrane Systems (Abstract)
Rule-Based Programming with ρLog (Abstract)
A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields (Abstract)
Checking RSC Criteria for Extended Dixon Resultant by Interpolation Method (Abstract)
A Connectivity Analysis Approach in Geometric Constraint Solving (Abstract)
Symbolic Modeling of Database Representations (Abstract)
Archeology of Code Duplication: Recovering Duplication Chains from Small Duplication Fragments (Abstract)
Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA (Abstract)
A New Core-Based Method for Hierarchical Incremental Clustering (Abstract)
Performance Analysis of Generics in Scientific Computing (Abstract)
Building an Object Oriented Computational Algebra System Based on Design Patterns (Abstract)
COMODI: On the Graphical User Interface (Abstract)
Remarks on Evaluation of Correlation Dimension for 5 French Stock Data (Abstract)
AFOPT Algorithm for Multi-Level Databases (Abstract)
Adaptive AFOPT Algorithm (Abstract)
A Combinative Method for Decision Tree Construction (Abstract)
Cryptanalysis of an Authentication Protocol (Abstract)
General Secret Sharing Based on Determinants (Abstract)
A Generalization of the Cellular Automata Rule-30 Cryptoscheme (Abstract)
Data Compression Using Surrounding Contexts (Abstract)
Distributed Database Replication — A Game Theory? (Abstract)
Multiple 1D Data Parallel Wavelet Transform (Abstract)
Logic Restructuring for Delay Balancing in Wave-Pipelined Circuits: An Integer Programming Approach (Abstract)
VirtualDive — A VR-Based Educational Virtual Environment (Abstract)
Mobile Agents in a Multi-Agent E-Commerce System (Abstract)
Embedding Emotions in an Artificial Tutor (Abstract)
Colored Petri Nets State-Space Reduction via Symbolic Execution (Abstract)
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol (Abstract)
An Algorithm for Automated Generation of Invariants for Loops with Conditionals (Abstract)
Specifications and Verification of Network Protocols by Process Algebra (Abstract)
Specification of Coordinated Objects and Verification of Their Temporal Properties (Abstract)
Functional-Based Synthesis of Systolic Online Multipliers (Abstract)
Emotional Ant Based Modeling of Crowd Dynamics (Abstract)
Performance Tuning of Evolutionary Algorithms Using Particle Sub Swarms (Abstract)
Improving Ant Systems Using a Local Updating Rule (Abstract)
A Reinforcement Learning Algorithm for Spiking Neural Networks (Abstract)
On the Controllability of the Continuous-Time Hopfield-Type Neural Networks (Abstract)
A New Nature-Inspired Computation Model Ising Model with Rays (Abstract)
Symbolic Regression on Noisy Data with Genetic and Gene Expression Programming (Abstract)
A GEP-Based Approach for Solving Fredholm First Kind Integral Equations (Abstract)
Computer-Aided Diagnosis for Lung CT Using Artificial Life Models (Abstract)
A Model for Parallel Evolutionary Search (Abstract)
A New Subpopulation Model for Evolutionary Multimodal Optimization (Abstract)
Density Based Clustering with Crowding Differential Evolution (Abstract)
Verification of Resource Constraints for Concurrent Workflows (Abstract)
Timed Workflow Nets (Abstract)
Instantiating Nets and Their Applications to Workflow Nets (Abstract)
Modular Analysis of Concurrency in Jumping Petri Nets (Abstract)
One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems (Abstract)
Modelling Parallel Phenomena in Conversations with P Systems (Abstract)
On P Systems with Bounded Parallelism (Abstract)
Symbolic Representations of Biological Oscillations (Abstract)
A Hardware Circuit for Selecting Active Rules in Transition P Systems (Abstract)
P Colonies Working in the Maximally Parallel and in the Sequential Mode (Abstract)
A Simulator and an Evolution Program for Conformon-P Systems (Abstract)
On Symport/Antiport P Systems with One or Two Symbols (Abstract)
Investigating Local Evolutions in Dynamical Probabilistic P Systems (Abstract)
Characterizing Tractability with Membrane Creation (Abstract)
Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets (Abstract)
On Generating Trees by P Systems with Active Membranes (Abstract)
Author Index (PDF)