The Community for Technology Leaders
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2006)
Timisoara, Romania
Sept. 26, 2006 to Sept. 29, 2006
ISBN: 0-7695-2740-X
TABLE OF CONTENTS

ACSys 2006 (PDF)

pp. xiii

GridCAD 2006 (PDF)

pp. xiii
Introduction

Preface (PDF)

pp. xi

MTE 2006 (PDF)

pp. xiii

PN&WM 2006 (PDF)

pp. xiv
Invited Talks

Mathematical Theory Exploration (PDF)

Bruno Buchberger , Johannes Kepler University, Austria
pp. 3-4

Tiers of webOrigami Programming (PDF)

Tetsuo Ida , University of Tsukuba, Japan
pp. 11

Improving Pen-Based Mathematical Interfaces (PDF)

Stephen Watt , The University of Western Ontario, Canada
pp. 12
Mathematical Theory Exploration Workshop (I)

MATHsAiD: A Mathematical Theorem Discovery Tool (Abstract)

Alan Bundy , University of Edinburgh, UK
pp. 17-22

Scheme-Based Systematic Exploration of Natural Numbers (Abstract)

Adrian Craciun , Institute e-Austria, Romania
Madalina Hodorog , Institute e-Austria, Romania
pp. 23-34
SYNASC Session: Computer Algebra and Applications

Implementing Parameterized Type Algorithm Definitions in Mathematica (Abstract)

Alina Andreica , "Babes-Bolyai" University, Romania
pp. 35-40

A Two-Level Programming Approach to Volume Propagation in Higher-Dimensional Spaces (Abstract)

Dorina Peter , Astronomical Institute of the Romanian Academy, Romania
Radu Zapotinschi , University of Cluj-Napoca, Romania
pp. 41-46

Doing Numerical Cosmology with the Cactus Code (Abstract)

Dumitru N. Vulcanov , The West University of Timisoara, Romania
pp. 47-54

The Use of Maple Platform for the Study of Geodesic Motion on Curved Spacetimes (Abstract)

Dumitru N. Vulcanov , West University of Timisoara, Romania
Valentina D. Vulcanov , Free University of Berlin, Germany
pp. 55-62
SYNASC Session: Data Mining

A Quality Measure for Multi-Level Community Structure (Abstract)

Maylis Delest , LaBRI, France
Guy Melancon , LIRMM, France
Jean-Marc Fedou , I3S, France
pp. 63-68

A New k-means Based Clustering Algorithm in Aspect Mining (Abstract)

Grigoreta Sofia Moldovan , "Babes-Bolyai" University, Romania
Gabriela Serban , "Babes-Bolyai" University, Romania
pp. 69-74

HTML Pattern Generator--Automatic Data Extraction from Web Pages (Abstract)

Mihai Gabroveanu , University of Craiova, Romania
Mirel Cosulschi , University of Craiova, Romania
Nicolae Constantinescu , University of Craiova, Romania
Bogdan Udrescu , University of Craiova, Romania
Adrian Giurca , Brandenburg Technical University Cottbus, Germany
pp. 75-78
SYNASC Session: Automated Reasoning, Logics, and Planning

The SAD System in Three Dimensions (Abstract)

Alexander Lyaletski , Kyiv National Taras Shevchenko University, Ukraine
Anatoly Anisimov , Kyiv National Taras Shevchenko University, Ukraine
pp. 85-88

Non-Archimedean Valued Sequent Logic (Abstract)

Andrew Schumann , Belarusian State University, Belarus
pp. 89-92

Incremental Deterministic Planning (Abstract)

Martin Rinard , MIT, USA
Stefan Andrei , National University of Singapore, Singapore
Wei-Ngan Chin , National University of Singapore, Singapore
pp. 93-102
SYNASC Session: Image Processing and Geometric Visualization

Color Texture Modeling and Color Image Decomposition in a Variational-PDE Approach (Abstract)

Stanley J. Osher , University of California, Los Angeles, USA
Luminita A. Vese , University of California, Los Angeles, USA
pp. 103-110

Distinguishing 3D-Topological Configurations of Two Tori (Abstract)

Walter G. Kropatsch , Vienna University of Technology, Austria
Yll Haxhimusa , Vienna University of Technology, Austria
Thomas Illetschko , Vienna University of Technology, Austria
Adrian Ion , Vienna University of Technology, Austria
pp. 111-118

Algorithms and Results in Content-Based Visual Query of the Image Databases Resulting from Dicom Files (Abstract)

Anca Ion , University of Craiova, Romania
Dan Burdescu , University of Craiova, Romania
Liana Stanescu , University of Craiova, Romania
Marius Brezovan , University of Craiova, Romania
pp. 119-124

Automatic Extraction of Lip Based on Wavelet Edge Detection (Abstract)

Ye-Peng Guan , Shanghai University, China
pp. 125-132
SYNASC Session: Learning and Fuzzy Control

A New Measure Based in the Rough Set Theory to Estimate the Training Set Quality (Abstract)

Gladys Casas , Universidad Central de Las Villas, Cuba
Yaile Caballero , Universidad de Camaguey, Cuba
Rafael Bello , Universidad Central de Las Villas, Cuba
Alberto Taboada , Universidad Central de Las Villas, Cuba
Ann Nowe , Vrije Universiteit it Brussel, Belgium
Maria M. Garcia , Universidad Central de Las Villas, Cuba
pp. 133-140

A Stability Analysis Method for Nonlinear Systems with Fuzzy Logic Controller (Abstract)

Marius L. Tomescu , "Aurel Vlaicu" University of Arad, Romania
Gheorghe Petrov , West University of Timisoara, Romania
pp. 141-150
SYNASC Session: Symbolic and Numeric Algorithms

Pivot-Free Block Matrix Inversion (Abstract)

Stephen M. Watt , University of Western Ontario, Canada
pp. 151-155

A New Approach for Accelerating the Sparse Matrix-Vector Multiplication (Abstract)

Pavel Tvrdik , Czech Technical University, Prague
Ivan Simecek , Czech Technical University, Prague
pp. 156-163

Bracket Producing Rows and Columns of the Dixon Determinant (Abstract)

Eng-Wee Chionh , National University of Singapore, Singapore
Wei Xiao , Crimson Logic, Singapore
pp. 164-170

The Optimum Convergence Condition for the Durand-Kerner Type Simultaneous Inclusion Method (Abstract)

Cristian-Mihai Cira , "Aurel Vlaicu" University of Arad, Romania
Octavian Cira , "Aurel Vlaicu" University of Arad, Romania
pp. 171-174
SYNASC Session: Formal Methods in Software Design

Process Algebra Specification of Flexible Manufacturing Systems (Abstract)

J. Jose Pardo , Universidad de Castilla-La Mancha, Spain
Diego Cazorla , Universidad de Castilla-La Mancha, Spain
Fernando Cuartero , Universidad de Castilla-La Mancha, Spain
M. Carmen Ruiz , Universidad de Castilla-La Mancha, Spain
pp. 181-186

A Meta-Model for Enterprise Applications (Abstract)

Ioan Jurca , "Politehnica" University of Timisoara, Romania
Cristina Marinescu , "Politehnica" University of Timisoara, Romania
pp. 187-194

Restraint Order Component Model Execution (Abstract)

Andreea Vescan , Babes-Bolyai University, Romania
pp. 195-200
Agents for Complex Systems Workshop (I)

Conceptual Architecture of a Multi-Agent System for News Syndication (Abstract)

Iuliana Dogaru , University of Craiova, Romania
Costin Badica , University of Craiova, Romania
Amelia Badica , University of Craiova, Romania
pp. 201-204

Design Considerations for a Negotiation Component in a Model E-commerce Agent System (Abstract)

Gabriel-George Popa , University of Craiova, Romania
Costin Badica , University of Craiova, Romania
Marcin Paprzycki , Polish Academy of Science, Poland
Maciej Gawinecki , Polish Academy of Science, Poland
Pawel Kobzdej , Polish Academy of Science, Poland
Maria Ganzha , Polish Academy of Science, Poland
Mihnea Scafes , University of Craiova, Romania
pp. 205-208

Implementation and Evaluation Model for the Asynchronous Search Techniques: From a Synchronously Distributed System to an Asynchronous Distributed System (Abstract)

Ionel Muscalagiu , The University "Politehnica" of Timisoara, Romania
Popa Horia Emil , The University of West, Timisoara, Romania
Hong Jiang , University of South Carolina, USA
pp. 209-216

Multi-Agent Architecture for Knowledge Discovery (Abstract)

Viorel Negru , West University of Timisoara, Romania
Daniel Pop , West University of Timisoara, Romania
Calin Sandru , West University of Timisoara, Romania
pp. 217-226
Agents for Complex Systems Workshop (II)

A Dynamic Strategy Agent for Supply Chain Management (Abstract)

Adina Magda Florea , University "Politehnica" of Bucharest, Romania
Mihai Stan , University "Politehnica" of Bucharest, Romania
Bogdan Stan , University "Politehnica" of Bucharest, Romania
pp. 227-232

Applying Agent Technology in Water Pollution Monitoring Systems (Abstract)

Mihaela Oprea , University Petroleum-Gas of Ploiesti, Romania
Constantin Nichita , University Petroleum-Gas of Ploiesti, Romania
pp. 233-238

Combining Meta-Heuristics to Solve the Rook Problem (Abstract)

D. Dumitrescu , 'Babes-Bolyai' University, Romania
Camelia Chira , 'Babes-Bolyai' University, Romania
Camelia-M. Pintea , 'Babes-Bolyai' University, Romania
pp. 239-243

Collaborative Agents Interaction Using Message Passing Interface (Abstract)

Gabriel Ciobanu , "A.I.Cuza" University of Iasi, Faculty of Computer Science and Romanian Academy, Institute of Computer Science, Romania
pp. 244-250
Grid Computing Applications Development Workshop (I)

Grid Service Based on GIMP for Processing Remote Sensing Images (Abstract)

Dana Petcu , West University of Timisoara, Romania
Victoria Iordan , West University of Timisoara, Romania
pp. 251-258

Clouds Mask Algorithm (Abstract)

Andrei Diamandi , ANM Bucharest, Romania
Mihaela Ordean , iQuest Technologies SRL
Floricica Parauan , iQuest Technologies SRL
pp. 259-266

MODIS Image Based Computation of Vegetation Indices in MedioGRID Architecture (Abstract)

Ovidiu Muresan , Technical University of Cluj-Napoca, Romania
Dorian Gorgan , Technical University of Cluj-Napoca, Romania
Victor Bacu , Technical University of Cluj-Napoca, Romania
pp. 267-273

A Parallel Algorithm for Rendering Huge Terrain Surfaces (Abstract)

Norbert Somosi , West University of Timisoara, Romania
Dana Petcu , West University of Timisoara, Romania
pp. 274-278

PIMS--Multispectral Image Processing Tool for Semantic Information Detection Based on Vegetation Indices (Abstract)

Dorian Gorgan , Technical University of Cluj-Napoca, Romania
Cornelia Melenti , Technical University of Cluj-Napoca, Romania
Daniel Safta , Technical University of Cluj-Napoca, Romania
pp. 279-288
Grid Computing Applications Development Workshop (II)

Active Objects Based Application over Grid Environment (Abstract)

Dorian Gorgan , Technical University of Cluj-Napoca, Romania
Rares Barbantan , Technical University of Cluj-Napoca, Romania
pp. 289-295

Providing High Data Availability in MedioGRID (Abstract)

Radu Opris , Technical University of Cluj-Napoca
Adrian Colesa , Technical University of Cluj-Napoca
Iosif Ignat , Technical University of Cluj-Napoca
pp. 296-302

A Framework for Scheduling Image Processing Applications in MedioGRID (Abstract)

Valentin Cristea , University Politehnica of Bucharest, Romania
Florin Pop , University Politehnica of Bucharest, Romania
George V. Iordache , University Politehnica of Bucharest, Romania
Marcela S. Boboila , University Politehnica of Bucharest, Romania
pp. 303-308

The Design of Stateful Web Services Based on Web Service Resource Framework Implemented in Globus Toolkit 4 (Abstract)

Laura Sebu , "Politehnica" University of Timisoara
Horia Ciocarlie , "Politehnica" University of Timisoara
pp. 309-316
Natural Computing and Applications Workshop (I)

Cooperative Evolution of Rules for Classification (Abstract)

Ruxandra Stoean , University of Craiova, Romania
Mike Preuss , University of Dortmund, Germany
D. Dumitrescu , Babes-Bolyai University, Romania
Catalin Stoean , University of Craiova, Romania
pp. 317-322

A New Scheme of Using Inference Inside Evolutionary Computation Techniques to Solve CSPs (Abstract)

Madalina Ionita , "Al. I. Cuza" University, Iasi, Romania
Mihaela Breaban , "Al. I. Cuza" University, Iasi, Romania
Cornelius Croitoru , "Al. I. Cuza" University, Iasi, Romania
pp. 323-329

Evolutionary Support Vector Regression Machines (Abstract)

Mike Preuss , University of Dortmund, Germany
Ruxandra Stoean , University of Craiova, Romania
Catalin Stoean , University of Craiova, Romania
D. Dumitrescu , Babes-Bolyai University, Romania
pp. 330-335

Intelligent Optimization Approach of Eigenstructure Assignment Based Flight Control for Advanced Fighter (Abstract)

Yong Fan , Tsinghua University, China
Zeng-qi Sun , Tsinghua University, China
Ji-hong Zhu , Tsinghua University, China
pp. 336-342
Natural Computing and Applications Workshop (II)

Hardware Implementation of a Bounded Algorithm for Application of Rules in a Transition P-System (Abstract)

Luis Fernandez , Universidad Politecnica de Madrid, Spain
Fernando Arroyo , Universidad Politecnica de Madrid, Spain
Abraham Gutierrez , Universidad Politecnica de Madrid, Spain
Victor Martinez , Universidad Politecnica de Madrid, Spain
pp. 343-349

Design of a Hardware Architecture Based on Microcontrollers for the Implementation of Membrane Systems (Abstract)

Luis Fernandez , Universidad Politecnica de Madrid, Spain
Victor Martinez , Universidad Politecnica de Madrid, Spain
Fernando Arroyo , Universidad Politecnica de Madrid, Spain
Abraham Gutierrez , Universidad Politecnica de Madrid, Spain
pp. 350-353

Number Encodings and Arithmetics over Multisets (Abstract)

Cornel Izbasa , Research Institute "e-Austria" Timisoara, Romania
Gabriel Ciobanu , Romanian Academy, Institute of Computer Science, Romania
Cosmin Bonchis , Research Institute "e-Austria" Timisoara, Romania
pp. 354-364
Natural Computing and Applications Workshop (III)

Engineering Drug Design Using a Multi-Input Multi-Output Neuro-Fuzzy System (Abstract)

Ajith Abraham , Yonsei University, Korea
Crina Grosan , Babes-Bolyai University, Romania
Stefan Tigan , University Iuliu Hatieganu, Romania
pp. 365-371

DNA Computing Model for the Minimum Spanning Tree Problem (Abstract)

Daming Zhu , Shandong University, China
Aili Han , Shandong University at Weihai, China; Shandong University, China
pp. 372-377

Soft Competitive Learning and Growing Self-Organizing Neural Networks for Pattern Classification (Abstract)

Jiaxin Han , Xi'an Shiyou University, China
Guojian Cheng , Xi'an Shiyou University, China
Tianshi Liu , Xi'an Shiyou University, China
Kuisheng Wang , Xi'an Shiyou University, China
pp. 378-381

The Design of Neural Network Direct Inverse Controller Based on Complex Particle Swarm Optimization Algorithm (Abstract)

He-tong Liu , China Jiliang University, China
Yuan-bin Mo , China Jiliang University, China
pp. 382-388
Petri Nets and their Applications to Workflow Management Workshop (I)

Modeling Workflows with Recursive ECATNets (Abstract)

Noura Boudiaf , CEDRIC-CNAM Paris France
Awatef Hicheur , CEDRIC-CNAM Paris France
Kamel Barkaoui , CEDRIC-CNAM Paris France
pp. 389-398

Characterizing Workflow Nets Using Regions (Abstract)

G. Michele Pinna , Universita di Cagliari, Italy
Nadia Busi , Universita di Bologna, Italy
pp. 399-406

Marked-Controlled Reconfigurable Workflow Nets (Abstract)

Javier Oliver , DSIC, UPV, Spain
Marisa Llorens , DSIC, UPV, Spain
pp. 407-413

Using BPM Technologies for Material Balances Modelling (Abstract)

Florin Fortis , West University of Timisoara, Romania
Alexandra Fortis , Tibiscus University, Romania
pp. 414-422
Petri Nets and their Applications to Workflow Management Workshop (II)

E-timed Workflow Nets (Abstract)

Geanina Ionela Macovei , Iasi County Council, Romania
Ferucio Laurentiu Tiplea , "Al. I. Cuza" University of Iasi, Romania
pp. 423-429

The Confluence Property for Petri Nets and its Applications (Abstract)

Ioana Leahu , "Al. I. Cuza" University of Iasi, Romania
Ferucio Laurentiu Tiplea , "Al. I. Cuza" University of Iasi, Romania
pp. 430-436

Applying a Symbolic Approach for SWN Enabling Test to Workflow Models (Abstract)

Lorenzo Capra , Universita degli Studi di Milano, Italy
pp. 437-444
Author Index

Author Index (PDF)

pp. 445
96 ms
(Ver 3.3 (11022016))