CSDL - Proceedings S

SYNASC 2006 Committees (PDF)

pp. xii

ACSys 2006 (PDF)

pp. xiii

GridCAD 2006 (PDF)

pp. xiii

MTE 2006 (PDF)

pp. xiii

NCA 2006 (PDF)

pp. xiv

PN&WM 2006 (PDF)

pp. xiv

Invited Talks

Mathematical Theory Exploration (PDF)

Bruno Buchberger, Johannes Kepler University, Austria

pp. 3-4

Emergence in Problem Solving, Classification and Machine Learning (Abstract)

Joel Quinqueton, LIRMM, France

pp. 5-9

PDF

Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics (PDF)

Limsoon Wong, National University of Singapore, Singapore

pp. 10

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

Tuning Evolutionary Algorithm Performance Using Nature Inspired Heuristics (PDF)

Ajith Abraham, Yonsei University, Korea

pp. 13

Mathematical Theory Exploration Workshop (I)

MATHsAiD: A Mathematical Theorem Discovery Tool (Abstract)

Roy L. McCasland

Alan Bundy, University of Edinburgh, UK

pp. 17-22

PDF

Scheme-Based Systematic Exploration of Natural Numbers (Abstract)

Madalina Hodorog, Institute e-Austria, Romania

Adrian Craciun, Institute e-Austria, Romania

pp. 23-34

PDF

SYNASC Session: Computer Algebra and Applications

Implementing Parameterized Type Algorithm Definitions in Mathematica (Abstract)

Alina Andreica, "Babes-Bolyai" University, Romania

pp. 35-40

PDF

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

Radu Zapotinschi, University of Cluj-Napoca, Romania

Dorina Peter, Astronomical Institute of the Romanian Academy, Romania

pp. 41-46

PDF

Doing Numerical Cosmology with the Cactus Code (Abstract)

Dumitru N. Vulcanov, The West University of Timisoara, Romania

pp. 47-54

PDF

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

PDF

SYNASC Session: Data Mining

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

Maylis Delest, LaBRI, France

Jean-Marc Fedou, I3S, France

Guy Melancon, LIRMM, France

pp. 63-68

PDF

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

Gabriela Serban, "Babes-Bolyai" University, Romania

Grigoreta Sofia Moldovan, "Babes-Bolyai" University, Romania

pp. 69-74

PDF

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

Mirel Cosulschi, University of Craiova, Romania

Adrian Giurca, Brandenburg Technical University Cottbus, Germany

Bogdan Udrescu, University of Craiova, Romania

Nicolae Constantinescu, University of Craiova, Romania

Mihai Gabroveanu, University of Craiova, Romania

pp. 75-78

PDF

The Complexity of a Probabilistic Approach to Deal with Missing Values in a Decision Tree (Abstract)

Lamis Hawarah, TIMC-IMAG, France

Ana Simonet, TIMC-IMAG, France

Michel Simonet, TIMC-IMAG, France

pp. 79-84

PDF

SYNASC Session: Automated Reasoning, Logics, and Planning

The SAD System in Three Dimensions (Abstract)

Anatoly Anisimov, Kyiv National Taras Shevchenko University, Ukraine

Alexander Lyaletski, Kyiv National Taras Shevchenko University, Ukraine

pp. 85-88

PDF

Non-Archimedean Valued Sequent Logic (Abstract)

Andrew Schumann, Belarusian State University, Belarus

pp. 89-92

PDF

Incremental Deterministic Planning (Abstract)

Stefan Andrei, National University of Singapore, Singapore

Wei-Ngan Chin, National University of Singapore, Singapore

Martin Rinard, MIT, USA

pp. 93-102

PDF

SYNASC Session: Image Processing and Geometric Visualization

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

Luminita A. Vese, University of California, Los Angeles, USA

Stanley J. Osher, University of California, Los Angeles, USA

pp. 103-110

PDF

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

Adrian Ion, Vienna University of Technology, Austria

Thomas Illetschko, Vienna University of Technology, Austria

Yll Haxhimusa, Vienna University of Technology, Austria

Walter G. Kropatsch, Vienna University of Technology, Austria

pp. 111-118

PDF

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

Liana Stanescu, University of Craiova, Romania

Anca Ion, University of Craiova, Romania

Dan Burdescu, University of Craiova, Romania

Marius Brezovan, University of Craiova, Romania

pp. 119-124

PDF

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

Ye-Peng Guan, Shanghai University, China

pp. 125-132

PDF

SYNASC Session: Learning and Fuzzy Control

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

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

Gladys Casas, Universidad Central de Las Villas, Cuba

pp. 133-140

PDF

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

PDF

SYNASC Session: Symbolic and Numeric Algorithms

Pivot-Free Block Matrix Inversion (Abstract)

Stephen M. Watt, University of Western Ontario, Canada

pp. 151-155

PDF

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

PDF

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

Wei Xiao, Crimson Logic, Singapore

Eng-Wee Chionh, National University of Singapore, Singapore

pp. 164-170

PDF

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

Octavian Cira, "Aurel Vlaicu" University of Arad, Romania

Cristian-Mihai Cira, "Aurel Vlaicu" University of Arad, Romania

pp. 171-174

PDF

On the Newton's Iterative Method for the Characteristic Equation of a Real Symmetric Matrix (Abstract)

Romulus Militaru, University of Craiova, Romania

pp. 175-180

PDF

SYNASC Session: Formal Methods in Software Design

Process Algebra Specification of Flexible Manufacturing Systems (Abstract)

M. Carmen Ruiz, Universidad de Castilla-La Mancha, Spain

Diego Cazorla, Universidad de Castilla-La Mancha, Spain

Fernando Cuartero, Universidad de Castilla-La Mancha, Spain

J. Jose Pardo, Universidad de Castilla-La Mancha, Spain

pp. 181-186

PDF

A Meta-Model for Enterprise Applications (Abstract)

Cristina Marinescu, "Politehnica" University of Timisoara, Romania

Ioan Jurca, "Politehnica" University of Timisoara, Romania

pp. 187-194

PDF

Restraint Order Component Model Execution (Abstract)

Andreea Vescan, Babes-Bolyai University, Romania

pp. 195-200

PDF

Agents for Complex Systems Workshop (I)

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

Iuliana Dogaru, University of Craiova, Romania

Amelia Badica, University of Craiova, Romania

Costin Badica, University of Craiova, Romania

pp. 201-204

PDF

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

Costin Badica, University of Craiova, Romania

Gabriel-George Popa, University of Craiova, Romania

Mihnea Scafes, University of Craiova, Romania

Maria Ganzha, Polish Academy of Science, Poland

Maciej Gawinecki, Polish Academy of Science, Poland

Pawel Kobzdej, Polish Academy of Science, Poland

Marcin Paprzycki, Polish Academy of Science, Poland

pp. 205-208

PDF

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

Hong Jiang, University of South Carolina, USA

Popa Horia Emil, The University of West, Timisoara, Romania

pp. 209-216

PDF

Multi-Agent Architecture for Knowledge Discovery (Abstract)

Daniel Pop, West University of Timisoara, Romania

Viorel Negru, West University of Timisoara, Romania

Calin Sandru, West University of Timisoara, Romania

pp. 217-226

PDF

Agents for Complex Systems Workshop (II)

A Dynamic Strategy Agent for Supply Chain Management (Abstract)

Mihai Stan, University "Politehnica" of Bucharest, Romania

Bogdan Stan, University "Politehnica" of Bucharest, Romania

Adina Magda Florea, University "Politehnica" of Bucharest, Romania

pp. 227-232

PDF

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

PDF

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

Camelia-M. Pintea, 'Babes-Bolyai' University, Romania

Camelia Chira, 'Babes-Bolyai' University, Romania

D. Dumitrescu, 'Babes-Bolyai' University, Romania

pp. 239-243

PDF

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

PDF

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

PDF

Clouds Mask Algorithm (Abstract)

Floricica Parauan, iQuest Technologies SRL

Mihaela Ordean, iQuest Technologies SRL

Andrei Diamandi, ANM Bucharest, Romania

pp. 259-266

PDF

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

Victor Bacu, Technical University of Cluj-Napoca, Romania

Ovidiu Muresan, Technical University of Cluj-Napoca, Romania

Dorian Gorgan, Technical University of Cluj-Napoca, Romania

pp. 267-273

PDF

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

PDF

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

Cornelia Melenti, Technical University of Cluj-Napoca, Romania

Daniel Safta, Technical University of Cluj-Napoca, Romania

Dorian Gorgan, Technical University of Cluj-Napoca, Romania

pp. 279-288

PDF

Grid Computing Applications Development Workshop (II)

Active Objects Based Application over Grid Environment (Abstract)

Rares Barbantan, Technical University of Cluj-Napoca, Romania

Dorian Gorgan, Technical University of Cluj-Napoca, Romania

pp. 289-295

PDF

Providing High Data Availability in MedioGRID (Abstract)

Adrian Colesa, Technical University of Cluj-Napoca

Iosif Ignat, Technical University of Cluj-Napoca

Radu Opris, Technical University of Cluj-Napoca

pp. 296-302

PDF

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

Marcela S. Boboila, University Politehnica of Bucharest, Romania

George V. Iordache, University Politehnica of Bucharest, Romania

Florin Pop, University Politehnica of Bucharest, Romania

Valentin Cristea, University Politehnica of Bucharest, Romania

pp. 303-308

PDF

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

PDF

Natural Computing and Applications Workshop (I)

Cooperative Evolution of Rules for Classification (Abstract)

Catalin Stoean, University of Craiova, Romania

Mike Preuss, University of Dortmund, Germany

D. Dumitrescu, Babes-Bolyai University, Romania

Ruxandra Stoean, University of Craiova, Romania

pp. 317-322

PDF

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

PDF

Evolutionary Support Vector Regression Machines (Abstract)

Ruxandra Stoean, University of Craiova, Romania

D. Dumitrescu, Babes-Bolyai University, Romania

Mike Preuss, University of Dortmund, Germany

Catalin Stoean, University of Craiova, Romania

pp. 330-335

PDF

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

Yong Fan, Tsinghua University, China

Ji-hong Zhu, Tsinghua University, China

Zeng-qi Sun, Tsinghua University, China

pp. 336-342

PDF

Natural Computing and Applications Workshop (II)

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

Victor Martinez, Universidad Politecnica de Madrid, Spain

Fernando Arroyo, Universidad Politecnica de Madrid, Spain

Abraham Gutierrez, Universidad Politecnica de Madrid, Spain

Luis Fernandez, Universidad Politecnica de Madrid, Spain

pp. 343-349

PDF

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

Abraham Gutierrez, Universidad Politecnica de Madrid, Spain

Luis Fernandez, Universidad Politecnica de Madrid, Spain

Fernando Arroyo, Universidad Politecnica de Madrid, Spain

Victor Martinez, Universidad Politecnica de Madrid, Spain

pp. 350-353

PDF

Number Encodings and Arithmetics over Multisets (Abstract)

Cosmin Bonchis, Research Institute "e-Austria" Timisoara, Romania

Cornel Izbasa, Research Institute "e-Austria" Timisoara, Romania

Gabriel Ciobanu, Romanian Academy, Institute of Computer Science, Romania

pp. 354-364

PDF

Natural Computing and Applications Workshop (III)

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

Crina Grosan, Babes-Bolyai University, Romania

Ajith Abraham, Yonsei University, Korea

Stefan Tigan, University Iuliu Hatieganu, Romania

pp. 365-371

PDF

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

Aili Han, Shandong University at Weihai, China; Shandong University, China

Daming Zhu, Shandong University, China

pp. 372-377

PDF

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

Guojian Cheng, Xi'an Shiyou University, China

Tianshi Liu, Xi'an Shiyou University, China

Kuisheng Wang, Xi'an Shiyou University, China

Jiaxin Han, Xi'an Shiyou University, China

pp. 378-381

PDF

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

Yuan-bin Mo, China Jiliang University, China

He-tong Liu, China Jiliang University, China

pp. 382-388

PDF

Petri Nets and their Applications to Workflow Management Workshop (I)

Modeling Workflows with Recursive ECATNets (Abstract)

Awatef Hicheur, CEDRIC-CNAM Paris France

Kamel Barkaoui, CEDRIC-CNAM Paris France

Noura Boudiaf, CEDRIC-CNAM Paris France

pp. 389-398

PDF

Characterizing Workflow Nets Using Regions (Abstract)

Nadia Busi, Universita di Bologna, Italy

G. Michele Pinna, Universita di Cagliari, Italy

pp. 399-406

PDF

Marked-Controlled Reconfigurable Workflow Nets (Abstract)

Marisa Llorens, DSIC, UPV, Spain

Javier Oliver, DSIC, UPV, Spain

pp. 407-413

PDF

Using BPM Technologies for Material Balances Modelling (Abstract)

Alexandra Fortis, Tibiscus University, Romania

Florin Fortis, West University of Timisoara, Romania

pp. 414-422

PDF

Petri Nets and their Applications to Workflow Management Workshop (II)

E-timed Workflow Nets (Abstract)

Ferucio Laurentiu Tiplea, "Al. I. Cuza" University of Iasi, Romania

Geanina Ionela Macovei, Iasi County Council, Romania

pp. 423-429

PDF

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

PDF

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

Lorenzo Capra, Universita degli Studi di Milano, Italy

pp. 437-444

PDF

Author Index

Author Index (PDF)

pp. 445