8. SYNASC 2006: Timisoara, Romania

Invited Talks

• Bruno Buchberger:
  Mathematical Theory Exploration. 3-4
  
• Joël Quinqueton:
  Emergence in Problem Solving, Classification and Machine Learning. 5-9
  
• Limsoon Wong:
  Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics. 10
  
• Tetsuo Ida:
  Tiers of webOrigami Programming. 11
  
• Stephen M. Watt:
  Improving Pen-Based Mathematical Interfaces. 12
  
• Ajith Abraham:
  Tuning Evolutionary Algorithm Performance Using Nature Inspired Heuristics. 13
  

Mathematical Theory Exploration Workshop (I)

• Roy L. McCasland, Alan Bundy:
  MATHsAiD: A Mathematical Theorem Discovery Tool. 17-22
  
• Madalina Hodorog, Adrian Craciun:
  Scheme-Based Systematic Exploration of Natural Numbers. 23-34
  

SYNASC Session: Computer Algebra and Applications

• Alina Andreica:
  Implementing Parameterized Type Algorithm Definitions in Mathematica. 35-40
  
• Radu Zapotinschi, Dorina Peter:
  A Two-Level Programming Approach to Volume Propagation in Higher-Dimensional Spaces. 41-46
  
• Dumitru N. Vulcanov:
  Doing Numerical Cosmology with the Cactus Code. 47-54
  
• Dumitru N. Vulcanov, Valentina D. Vulcanov:
  The Use of Maple Platform for the Study of Geodesic Motion on Curved Spacetimes. 55-62
  

SYNASC Session: Data Mining

• Maylis Delest, Jean-Marc Fedou, Guy Melançon:
  A Quality Measure for Multi-Level Community Structure. 63-68
  
• Gabriela Serban, Grigoreta Sofia Moldovan:
  A New k-means Based Clustering Algorithm in Aspect Mining. 69-74
  
• Mirel Cosulschi, Adrian Giurca, Bogdan Udrescu, Nicolae Constantinescu, Mihai Gabroveanu:
  HTML Pattern Generator--Automatic Data Extraction from Web Pages. 75-78
  
• Lamis Hawarah, Ana Simonet, Michel Simonet:
  The Complexity of a Probabilistic Approach to Deal with Missing Values in a Decision Tree. 79-84
  

SYNASC Session: Automated Reasoning, Logics, and Planning

• Anatoly Anisimov, Alexander V. Lyaletski:
  The SAD System in Three Dimensions. 85-88
  
• Andrew Schumann:
  Non-Archimedean Valued Sequent Logic. 89-92
  
• Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard:
  Incremental Deterministic Planning. 93-102
  

SYNASC Session: Image Processing and Geometric Visualization

• Luminita A. Vese, Stanley Osher:
  Color Texture Modeling and Color Image Decomposition in a Variational-PDE Approach. 103-110
  
• Adrian Ion, Thomas Illetschko, Yll Haxhimusa, Walter G. Kropatsch:
  Distinguishing 3D-Topological Configurations of Two Tori. 111-118
  
• Liana Stanescu, Anca Ion, Dumitru Dan Burdescu, Marius Brezovan:
  Algorithms and Results in Content-Based Visual Query of the Image Databases Resulting from Dicom Files. 119-124
  
• Ye-Peng Guan:
  Automatic Extraction of Lip Based on Wavelet Edge Detection. 125-132
  

SYNASC Session: Learning and Fuzzy Control

• Yaile Caballero, Rafael Bello, Alberto Taboada, Ann Nowé, María M. García, Gladys Casas:
  A New Measure Based in the Rough Set Theory to Estimate the Training Set Quality. 133-140
  
• Marius-Lucian Tomescu, Gheorghe Petrov:
  A Stability Analysis Method for Nonlinear Systems with Fuzzy Logic Controller. 141-150
  

SYNASC Session: Symbolic and Numeric Algorithms

• Stephen M. Watt:
  Pivot-Free Block Matrix Inversion. 151-155
  
• Pavel Tvrdík, Ivan Simecek:
  A New Approach for Accelerating the Sparse Matrix-Vector Multiplication. 156-163
  
• Wei Xiao, Eng-Wee Chionh:
  Bracket Producing Rows and Columns of the Dixon Determinant. 164-170
  
• Octavian Cira, Cristian-Mihai Cira:
  The Optimum Convergence Condition for the Durand-Kerner Type Simultaneous Inclusion Method. 171-174
  
• Romulus Militaru:
  On the Newton's Iterative Method for the Characteristic Equation of a Real Symmetric Matrix. 175-180
  

SYNASC Session: Formal Methods in Software Design

• M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo:
  Process Algebra Specification of Flexible Manufacturing Systems. 181-186
  
• Cristina Marinescu, Ioan Jurca:
  A Meta-Model for Enterprise Applications. 187-194
  
• Andreea Vescan:
  Restraint Order Component Model Execution. 195-200
  

Agents for Complex Systems Workshop (I)

• Iuliana Dogaru, Amelia Badica, Costin Badica:
  Conceptual Architecture of a Multi-Agent System for News Syndication. 201-204
  
• Costin Badica, Gabriel-George Popa, Mihnea Scafes, Maria Ganzha, Maciej Gawinecki, Pawel Kobzdej, Marcin Paprzycki:
  Design Considerations for a Negotiation Component in a Model E-commerce Agent System. 205-208
  
• Ionel Muscalagiu, Hong Jiang, Horia Emil Popa:
  Implementation and Evaluation Model for the Asynchronous Search Techniques: From a Synchronously Distributed System to an Asynchronous Distributed System. 209-216
  
• Daniel Pop, Viorel Negru, Calin Sandru:
  Multi-Agent Architecture for Knowledge Discovery. 217-226
  

Agents for Complex Systems Workshop (II)

• Mihai Stan, Bogdan Stan, Adina Magda Florea:
  A Dynamic Strategy Agent for Supply Chain Management. 227-232
  
• Mihaela Oprea, Constantin Nichita:
  Applying Agent Technology in Water Pollution Monitoring Systems. 233-238
  
• Camelia-Mihaela Pintea, Camelia Chira, D. Dumitrescu:
  Combining Meta-Heuristics to Solve the Rook Problem. 239-243
  
• Gabriel Ciobanu:
  Collaborative Agents Interaction Using Message Passing Interface. 244-250
  

Grid Computing Applications Development Workshop (I)

• Dana Petcu, Victoria Iordan:
  Grid Service Based on GIMP for Processing Remote Sensing Images. 251-258
  
• Floricica Parauan, Mihaela Ordean, Andrei Diamandi:
  Clouds Mask Algorithm. 259-266
  
• Victor Bacu, Ovidiu Muresan, Dorian Gorgan:
  MODIS Image Based Computation of Vegetation Indices in MedioGRID Architecture. 267-273
  
• Norbert Somosi, Dana Petcu:
  A Parallel Algorithm for Rendering Huge Terrain Surfaces. 274-278
  
• Cornelia Melenti, Daniel Safta, Dorian Gorgan:
  PIMS--Multispectral Image Processing Tool for Semantic Information Detection Based on Vegetation Indices. 279-288
  

Grid Computing Applications Development Workshop (II)

• Rares Barbantan, Dorian Gorgan:
  Active Objects Based Application over Grid Environment. 289-295
  
• Adrian Colesa, Iosif Ignat, Radu Opris:
  Providing High Data Availability in MedioGRID. 296-302
  
• Marcela S. Boboila, George V. Iordache, Florin Pop, Valentin Cristea:
  A Framework for Scheduling Image Processing Applications in MedioGRID. 303-308
  
• Laura Sebu, Horia Ciocarlie:
  The Design of Stateful Web Services Based on Web Service Resource Framework Implemented in Globus Toolkit 4. 309-316
  

Natural Computing and Applications Workshop (I)

• Catalin Stoean, Mike Preuss, Dumitru Dumitrescu, Ruxandra Stoean:
  Cooperative Evolution of Rules for Classification. 317-322
  
• Madalina Ionita, Mihaela Breaban, Cornelius Croitoru:
  A New Scheme of Using Inference Inside Evolutionary Computation Techniques to Solve CSPs. 323-329
  
• Ruxandra Stoean, Dumitru Dumitrescu, Mike Preuss, Catalin Stoean:
  Evolutionary Support Vector Regression Machines. 330-335
  
• Yong Fan, Ji-hong Zhu, Zeng-qi Sun:
  Intelligent Optimization Approach of Eigenstructure Assignment Based Flight Control for Advanced Fighter. 336-342
  

Natural Computing and Applications Workshop (II)

• Victor J. Martínez, Fernando Arroyo, Abraham Gutierrez, Luis Fernández:
  Hardware Implementation of a Bounded Algorithm for Application of Rules in a Transition P-System. 343-349
  
• Abraham Gutierrez, Luis Fernández, Fernando Arroyo, Victor J. Martínez:
  Design of a Hardware Architecture Based on Microcontrollers for the Implementation of Membrane Systems. 350-353
  
• Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu:
  Number Encodings and Arithmetics over Multisets. 354-364
  

Natural Computing and Applications Workshop (III)

• Crina Grosan, Ajith Abraham, Stefan Tigan:
  Engineering Drug Design Using a Multi-Input Multi-Output Neuro-Fuzzy System. 365-371
  
• Aili Han, Daming Zhu:
  DNA Computing Model for the Minimum Spanning Tree Problem. 372-377
  
• Guojian Cheng, Tianshi Liu, Kuisheng Wang, Jiaxin Han:
  Soft Competitive Learning and Growing Self-Organizing Neural Networks for Pattern Classification. 378-381
  
• Yuan-bin Mo, He-tong Liu:
  The Design of Neural Network Direct Inverse Controller Based on Complex Particle Swarm Optimization Algorithm. 382-388
  

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

• Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf:
  Modeling Workflows with Recursive ECATNets. 389-398
  
• Nadia Busi, G. Michele Pinna:
  Characterizing Workflow Nets Using Regions. 399-406
  
• Marisa Llorens, Javier Oliver:
  Marked-Controlled Reconfigurable Workflow Nets. 407-413
  
• Alexandra Fortis, Florin Fortis:
  Using BPM Technologies for Material Balances Modelling. 414-422
  

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

• Ferucio Laurentiu Tiplea, Geanina Ionela Macovei:
  E-timed Workflow Nets. 423-429
  
• Ioana Leahu, Ferucio Laurentiu Tiplea:
  The Confluence Property for Petri Nets and its Applications. 430-436
  
• Lorenzo Capra:
  Applying a Symbolic Approach for SWN Enabling Test to Workflow Models. 437-444