The Community for Technology Leaders
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2005)
Timisoara, Romania
Sept. 25, 2005 to Sept. 29, 2005
ISBN: 0-7695-2453-2
TABLE OF CONTENTS
Introduction

NCA 2005 (PDF)

pp. xiii

Preface (PDF)

pp. xi

ACSys 2005 (PDF)

pp. xiii

CAVIS 2005 (PDF)

pp. xiii

PN & WM 2005 (PDF)

pp. xiv
Cover
Introduction
Invited Talks

Membrane Computing as a Framework for Modeling Economic Processes (Abstract)

Gheorghe Păun , Institute of Mathematics of the Romanian Academy
Radu A. Păun , University of Maryland at College Park
pp. 11-18

Theory and Practice of Programming Applied to Membrane Systems (Abstract)

Gabriel Ciobanu , Research Institute "e-Austria" Timişoara and Romanian Academy
pp. 19-25
Symbolic and Numeric Computing

Rule-Based Programming with ρLog (Abstract)

Tetsuo Ida , University of Tsukuba
Mircea Marin , University of Tsukuba
pp. 31-38

A Connectivity Analysis Approach in Geometric Constraint Solving (Abstract)

Xinli Zhang , Chengdu University of Information Technology
Dayong Zhu , University of Electronic Science and Technology of China
pp. 52-55
Symbolic Modeling and Software Design

Symbolic Modeling of Database Representations (Abstract)

Alina Andreica , "Babeş-Bolyai" University
Iulia Mantu , "Babeş-Bolyai" University
Daniel Stuparu , "Babeş-Bolyai" University
pp. 59-62

Archeology of Code Duplication: Recovering Duplication Chains from Small Duplication Fragments (Abstract)

Richard Wettel , Institute e-Austria Timişoara
Radu Marinescu , Institute e-Austria Timişoara
pp. 63-70

Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA (Abstract)

Cosmin Spahiu , University of Craiova
Amelia Bădică , University of Craiova
Maria Teodorescu , University of Craiova
Costin Bădică , University of Craiova
Chris Fox , University of Essex
pp. 71-74
Data Clustering and Image Processing

A New Core-Based Method for Hierarchical Incremental Clustering (Abstract)

Gabriela Şerban , "Babeş-Bolyai" University
Alina Câmpan , "Babeş-Bolyai" University
pp. 77-82
Scientific Computing Systems and User Interfaces

Performance Analysis of Generics in Scientific Computing (Abstract)

Stephen M. Watt , University of Western Ontario
Laurentiu Dragan , University of Western Ontario
pp. 93-100

COMODI: On the Graphical User Interface (Abstract)

Bazil Pârv , Babeş-Bolyai University
Andreea Fanea , Babeş-Bolyai University
Vladiela Ciobotariu-Boer , Babeş-Bolyai University
Dragoş Petraşcu , Babeş-Bolyai University
Zsolt I. Lázár , Babeş-Bolyai University
pp. 109-113

Using Excel as a Front-End for MLF (Abstract)

Mircea Dragan , University of Oradea
pp. 114-117
Data Mining

Remarks on Evaluation of Correlation Dimension for 5 French Stock Data (Abstract)

Piotr Lipinski , University of Wrocław
Anna Bartkowiak , University of Wrocław
pp. 121-128

AFOPT Algorithm for Multi-Level Databases (Abstract)

Robert Győrödi , University of Oradea
Cornelia Győrödi , University of Oradea
Mirela Pater , University of Oradea
Zoltan David , University of Oradea
Ovidiu Boc , University of Oradea
pp. 129-133

Adaptive AFOPT Algorithm (Abstract)

Ovidiu Boc , University of Oradea
Cornelia Györödi , University of Oradea
Zoltan David , University of Oradea
Mirela Pater , University of Oradea
Robert Györödi , University of Oradea
pp. 134-138

A Combinative Method for Decision Tree Construction (Abstract)

Daniel Pop , West University of Timişoara
Viorel Negru , West University of Timişoara
Ciprian Jichici , West University of Timişoara
pp. 139-143
Cryptography and Compression Algorithms

Cryptanalysis of an Authentication Protocol (Abstract)

Bogdan Groza , "Politehnica" University of Timisoara
Dorina Petrica , "Politehnica" University of Timisoara
pp. 147-153

General Secret Sharing Based on Determinants (Abstract)

Sorin Iftene , "Al. I. Cuza" University
pp. 154-157

A Generalization of the Cellular Automata Rule-30 Cryptoscheme (Abstract)

Adriana Popovici , University of the West Timişoara
Dan Popovici , University of the West Timişoara
pp. 158-164

Data Compression Using Surrounding Contexts (Abstract)

Ionuţ Popa , "Al. I. Cuza" University of Iaşi
pp. 165-167
Distributed and Parallel Computation

Distributed Database Replication — A Game Theory? (Abstract)

Horea Adrian Grebla , Babes-Bolyai University of Cluj-Napoca
Calin Cenan , Technical University of Cluj-Napoca
pp. 174-177

Multiple 1D Data Parallel Wavelet Transform (Abstract)

Darian Onchiş , "Eftimie Murgu" University
Constantin Marta , "Eftimie Murgu" University
pp. 178-181
Workshop on Agents for Complex Systems

VirtualDive — A VR-Based Educational Virtual Environment (Abstract)

Fabrice Harrouet , Virtual Reality European Center
Ronan Querrec , Virtual Reality European Center
Serge Morvan , Virtual Reality European Center
Christophe Le Gal , Virtual Reality European Center
Luca-Dan Şerbănaţi , Politehnica University of Bucharest
Dorin-Mircea Popovici , Ovidius University of Constanta and Virtual Reality European Center
pp. 191-198

A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication (Abstract)

Cătălin Hriţcu , "A. I. Cuza" University of Iaşi
Sabin C. Buraga , "A. I. Cuza" University of Iaşi
pp. 199-206

Mobile Agents in a Multi-Agent E-Commerce System (Abstract)

Marcin Paprzycki , OSU and SWPS
Costin Bădică , University of Craiova
Maria Ganzha , Elbląg University of Humanities and Economy
pp. 207-214

Determining the Number of Messages Transmitted for the Temporary Links in the Case of ABT Family Techniques (Abstract)

Manuela Panoiu , "Politehnica" University of Timisoara
Popa Horia-Emil , The University of the West
Ionel Muscalagiu , "Politehnica" University of Timisoara
pp. 215-222

Embedding Emotions in an Artificial Tutor (Abstract)

Eugenia Kalisz , Politehnica University of Bucharest
Adina Florea , Politehnica University of Bucharest
pp. 223-228
Workshop on Computer-Aided Verification of Information Systems

Colored Petri Nets State-Space Reduction via Symbolic Execution (Abstract)

Lorenzo Capra , Universitá degli studi di Milano
pp. 231-238

A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol (Abstract)

Diego Cazorla , Universidad de Castilla-La Mancha
M. Carmen Ruiz , Universidad de Castilla-La Mancha
Juan Jose Pardo , Universidad de Castilla-La Mancha
Fernando Cuartero , Universidad de Castilla-La Mancha
pp. 239-244

An Algorithm for Automated Generation of Invariants for Loops with Conditionals (Abstract)

Laura Ildikó Kovács , Johannes Kepler University and Institute e-Austria
Tudor Jebelean , Johannes Kepler University and Institute e-Austria
pp. 245-249

Specifications and Verification of Network Protocols by Process Algebra (Abstract)

K. N. Sridhar , National University of Singapore
Gabriel Ciobanu , Research Institute "e-Austria" Timişoara and Romanian Academy
pp. 250-258

Specification of Coordinated Objects and Verification of Their Temporal Properties (Abstract)

Dorel Lucanu , "A. I.Cuza" University
Gabriel Ciobanu , Romanian Academy
Mihai Daneş , "A. I.Cuza" University
pp. 259-266

Functional-Based Synthesis of Systolic Online Multipliers (Abstract)

Laura Szakacs , Babes-Bolyai University Cluj
Tudor Jebelean , RISC-Linz
pp. 267-275
Workshop on Natural Computing and Applications

Emotional Ant Based Modeling of Crowd Dynamics (Abstract)

Crina Grosan , Babes-Bolyai University
Soumya Banarjee , Institute of Management Studies
Ajith Abraham , Chung-Ang University
pp. 279-286

Performance Tuning of Evolutionary Algorithms Using Particle Sub Swarms (Abstract)

Crina Grosan , Babes-Bolyai University
Ajith Abraham , Chung-Ang University
Monica Nicoara , Babes-Bolyai University
pp. 287-294

Improving Ant Systems Using a Local Updating Rule (Abstract)

D. Dumitrescu , "Babeş-Bolyai" University
Camelia-Mihaela Pintea , "George Coşbuc" College
pp. 295-298

A Reinforcement Learning Algorithm for Spiking Neural Networks (Abstract)

Răzvan V. Florian , Center for Cognitive and Neural Studies, University of Genoa and Babeş-Bolyai University
pp. 299-306

On the Controllability of the Continuous-Time Hopfield-Type Neural Networks (Abstract)

L. Brăescu , West University of Timişoara
E. Kaslik , West University of Timişoara
Şt. Balint , West University of Timişoara
pp. 307-314

A New Nature-Inspired Computation Model Ising Model with Rays (Abstract)

Dumitru Dumitrescu , Babeş-Bolyai University
Laura Dioşan , Babeş-Bolyai University
Delia David , Babeş-Bolyai University
pp. 315-320

Symbolic Regression on Noisy Data with Genetic and Gene Expression Programming (Abstract)

Elena Băutu , "Ovidius" University
Andrei Băutu , "Mircea cel Bătrân" Naval Academy
Henri Luchian , "Al. I. Cuza" University
pp. 321-324

A GEP-Based Approach for Solving Fredholm First Kind Integral Equations (Abstract)

Henri Luchian , "Al. I. Cuza" University
Elena Băutu , "Ovidius" University
Andrei Băutu , "Mircea cel Bătrân" Naval Academy
pp. 325-328

Computer-Aided Diagnosis for Lung CT Using Artificial Life Models (Abstract)

Sorin Cristian Cheran , Istituto Nazionale di Fisica Nucleare, Universita degli Studi di Torino and Associazione Sviluppo Piemonte
Gianfranco Gargano , Istituto Nazionale di Fisica Nucleare and Univerita degli Studi di Bari
pp. 329-332

A Model for Parallel Evolutionary Search (Abstract)

D. Dumitrescu , Babes-Bolyai University of Cluj-Napoca
Anca Gog , Babes-Bolyai University of Cluj-Napoca
pp. 333-338

A New Subpopulation Model for Evolutionary Multimodal Optimization (Abstract)

Rodica Ioana Lung , Babeş Bolyai University of Cluj Napoca
D. Dumitrescu , Babeş Bolyai University of Cluj Napoca
pp. 339-342

Density Based Clustering with Crowding Differential Evolution (Abstract)

Daniela Zaharie , West University of Timişoara
pp. 343-350
Workshop on Petri Nets and Their Applications to Workflow Management

Verification of Resource Constraints for Concurrent Workflows (Abstract)

Jingfu Zhong , Tsinghua University
Binheng Song , Tsinghua University
pp. 353-360

Timed Workflow Nets (Abstract)

Geanina Ionela Macovei , Iaşi County Council
Ferucio Laurenţiu Ţiplea , University of Central Florida
pp. 361-366

Instantiating Nets and Their Applications to Workflow Nets (Abstract)

Ferucio Laurenţiu Ţiplea , University of Central Florida
Aurora Ţiplea , Iaşi County Council
pp. 367-373

Modular Analysis of Concurrency in Jumping Petri Nets (Abstract)

Cristian Vidraşcu , University "Al. I. Cuza" of Iaşi
pp. 374-381
Workshop on Theory and Applications of P Systems

One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems (Abstract)

Rudolf Freund , Vienna University of Technology
Agustín Riscos-Núñez , University of Sevilla
Artiom Alhazov , Rovira i Virgili University and Academy of Sciences of Moldova
pp. 385-394

Modelling Parallel Phenomena in Conversations with P Systems (Abstract)

M. Dolores Jiménez-López , Universitat Rovira i Virgili
Gemma Bel-Enguix , Universitat Rovira i Virgili
pp. 395-398

On P Systems with Bounded Parallelism (Abstract)

Marian Gheorghe , University of Sheffield
Mario J. Pérez-Jiménez , University of Seville
Francesco Bernardini , University of Sheffield
Maurice Margenstern , Université de Metz
Sergey Verlan , Université de Metz
Natalio Krasnogor , University of Nottingham
Francisco J. Romero-Campero , University of Seville
pp. 399-406

Symbolic Representations of Biological Oscillations (Abstract)

Luca Bianco , University of Verona
Simone Zorzan , University of Verona
Vincenzo Manca , University of Verona
pp. 407-414

A Hardware Circuit for Selecting Active Rules in Transition P Systems (Abstract)

Fernando Arroyo , Technical University of Madrid
Luis Fernández , Technical University of Madrid
Victor J. Martínez , Technical University of Madrid
Luis F. Mingo , Technical University of Madrid
pp. 415-418

P Colonies Working in the Maximally Parallel and in the Sequential Mode (Abstract)

Marion Oswald , Vienna University of Technology
Rudolf Freund , Vienna University of Technology
pp. 419-426

A Simulator and an Evolution Program for Conformon-P Systems (Abstract)

Pierluigi Frisco , University of Exeter
Ranulf T. Gibson , University of Exeter
pp. 427-430

On Symport/Antiport P Systems with One or Two Symbols (Abstract)

Oscar H. Ibarra , University of California at Santa Barbara
Sara Woodworth , University of California at Santa Barbara
pp. 431-439

Investigating Local Evolutions in Dynamical Probabilistic P Systems (Abstract)

Daniela Besozzi , Università di Milano
Dario Pescini , Università di Milano-Bicocca
Giancarlo Mauri , Università di Milano-Bicocca
pp. 440-447

Characterizing Tractability with Membrane Creation (Abstract)

Mario J. Pérez-Jiménez , University of Sevilla
Miguel A. Gutiérrez-Naranjo , University of Sevilla
Agustín Riscos-Núñez , University of Sevilla
Francisco J. Romero-Campero , University of Sevilla
pp. 448-457

Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets (Abstract)

Aurelia Profir , Academy of Sciences
Emilian Guţuleac , Technical University of Moldova
Elena Boian , Academy of Sciences
pp. 458-461

On Generating Trees by P Systems with Active Membranes (Abstract)

R. Rama , Indian Institute of Technology - Madras
H. Ramesh , Indian Institute of Technology - Madras
pp. 462-466
Author Index

Author Index (PDF)

pp. 467-468
102 ms
(Ver )