8. SYNASC 2006: Timisoara, Romania

8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania. IEEE Computer Society 2006, ISBN 0-7695-2740-X BibTeX

Invited Talks

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

Mathematical Theory Exploration Workshop (I)

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

SYNASC Session: Computer Algebra and Applications

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

SYNASC Session: Data Mining

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

SYNASC Session: Automated Reasoning, Logics, and Planning

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

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
Electronic Edition (link) BibTeX
Adrian Ion, Thomas Illetschko, Yll Haxhimusa, Walter G. Kropatsch:
Distinguishing 3D-Topological Configurations of Two Tori. 111-118
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Ye-Peng Guan:
Automatic Extraction of Lip Based on Wavelet Edge Detection. 125-132
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Marius L. Tomescu, Gheorghe Petrov:
A Stability Analysis Method for Nonlinear Systems with Fuzzy Logic Controller. 141-150
Electronic Edition (link) BibTeX

SYNASC Session: Symbolic and Numeric Algorithms

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

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
Electronic Edition (link) BibTeX
Cristina Marinescu, Ioan Jurca:
A Meta-Model for Enterprise Applications. 187-194
Electronic Edition (link) BibTeX
Andreea Vescan:
Restraint Order Component Model Execution. 195-200
Electronic Edition (link) BibTeX

Agents for Complex Systems Workshop (I)

Iuliana Dogaru, Amelia Badica, Costin Badica:
Conceptual Architecture of a Multi-Agent System for News Syndication. 201-204
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Daniel Pop, Viorel Negru, Calin Sandru:
Multi-Agent Architecture for Knowledge Discovery. 217-226
Electronic Edition (link) BibTeX

Agents for Complex Systems Workshop (II)

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

Grid Computing Applications Development Workshop (I)

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

Grid Computing Applications Development Workshop (II)

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

Natural Computing and Applications Workshop (I)

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

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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu:
Number Encodings and Arithmetics over Multisets. 354-364
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Aili Han, Daming Zhu:
DNA Computing Model for the Minimum Spanning Tree Problem. 372-377
Electronic Edition (link) BibTeX
Guojian Cheng, Tianshi Liu, Kuisheng Wang, Jiaxin Han:
Soft Competitive Learning and Growing Self-Organizing Neural Networks for Pattern Classification. 378-381
Electronic Edition (link) BibTeX
Yuan-bin Mo, He-tong Liu:
The Design of Neural Network Direct Inverse Controller Based on Complex Particle Swarm Optimization Algorithm. 382-388
Electronic Edition (link) BibTeX

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

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

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

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