9. SYNASC 2007:
Timisoara,
Romania
Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie (Eds.):
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007.
IEEE Computer Society 2007, ISBN 978-0-7695-3078-9 
Invited Talks
Automated Reasoning and Formal Verification
Parallel and Distributed Computing
- Laura Ruff:
Functional-Based Comparison between Two Special Classes of Uni- and Bidirectional Systolic Arrays.
51-58
- Georgiana Macariu, Dana Petcu:
Parallel Multiple Polynomial Quadratic Sieve on Multi-Core Architectures.
59-65
- Liliana Cojocaru:
Branching Programs, Grammar Systems and the NC1 Class.
66-73
- Bogdan Aman, Gabriel Ciobanu:
Structural Properties and Observability in Membrane Systems.
74-81
Formal Verification and Software Quality
Symbolic and Numeric Algorithms
Data Mining
- Luminita State, Catalina Cocianu, Panayiotis Vlamos, Doru Constantin:
Principal Directions-Based Algorithm for Classification Tasks.
137-143
- Ion Iancu, Mihai Gabroveanu, Mirel Cosulschi, Nicolae Constantinescu:
Implication-Based Support Measures for Fuzzy Association Rules.
144-150
- Marian Razvan Balta, Victor Felea:
Using Shannon Entropy in ETL Processes.
151-156
- Zsolt Minier, Zalan Bodo, Lehel Csató:
Wikipedia-Based Kernels for Text Categorization.
157-164
- Victor Felea, Marian Razvan Balta:
On Equivalence of Queries Using Views.
165-172
Formal Verification and Security
Image and Text Processing
ACSys:
Workshop on Agents for Complex Systems
- Joël Quinqueton, Gilles Raymond, Christian Bessiere:
An Agent for Constraint Acquisition and Emergence.
229-234
- Maria Ganzha, Marcin Paprzycki, Maciej Gawinecki, Costin Badica, Elvira Popescu, Myon-Woong Park:
Adaptive Information Provisioning in an Agent-Based Virtual Organization- Preliminary Considerations.
235-241
- Paola Salle, Danièle Hérin, Frédéric Duvert, Stefano A. Cerri:
Dynamic Workflow in Grid-MAS Integration Context.
242-245
- Barna Laszlo Iantovics:
The CMDS Medical Diagnosis System.
246-253
- Adina Magda Florea, Eugenia Kalisz:
Adaptive Negotiation Based on Rewards and Regret in a Multi-Agent Environment.
254-259
- Horia Emil Popa, Ionel Muscalagiu, Diana Maria Muscalagiu, Viorel Negru:
Experimental Analysis of the Impact of the Message Management in the Case of the ABT Family.
260-266
- Marco Stuit, Nick B. Szirbik, Hans Wortmann:
Building Agent-Based Simulations Using Structural and Process Mental Models.
267-274
- Horia Emil Popa, Daniel Pop, Viorel Negru, Daniela Zaharie:
AgentDiscover: A Multi-Agent System for Knowledge Discovery from Databases.
275-282
GridCAD:
Workshop on Grid Computing Applications Development
- Antonio Plaza, Javier Plaza, Abel Paz, Soraya Blazquez:
Parallel CBIR System for Efficient Hyperspectral Image Retrieval from Heterogeneous Networks of Workstations.
285-291
- Mihai Pantelimon, Florin Pop, Valentin Cristea:
Grid Service for Environmental Data Retrieval and Disasters Detection Based on Satellite Image Analysis.
292-297
- Antonio J. Plaza:
Cluster-Based Implementation of a Morphological Watershed Algorithm for Parallel Classification of Multichannel Images.
298-303
- Marc Frîncu, Dana Petcu:
Remote Control for Graphic Applications.
304-309
- Adrian Colesa, Teodor Pop, Iosif Ignat, Cosmin Ardelean:
Automatic and Reliable Distribution of Data in Grids over Globus Toolkit.
310-316
- Dacian Tudor, Georgiana Macariu, Vladimir Cretu:
A Performance Analysis on Message Passing Tools for the Grid.
317-322
- Rodica Potolea, Alin Suciu:
Finding the Optimal Read Buffer Size for Grid Applications.
323-326
- Alexandru Cârstea, Georgiana Macariu, Marc Frîncu, Dana Petcu:
Composing Web-Based Mathematical Services.
327-334
- Mircea Alexandru Imbroane, Cornelia Melenti, Dorian Gorgan:
Mineral Explorations by Landsat Image Ratios.
335-340
- Anca Radu, Victor Bacu, Dorian Gorgan:
Diagrammatic Description of Satellite Image Processing Workflow.
341-348
- Ildiko Marton Kinga, Colesa Adrian:
GLinda - Grid-Based Distributed Linda System.
349-352
- Claudiu Gruia, Florin Pop, Valentin Cristea:
A Distributed Algorithm for Multispectral Image Segmentation.
353-360
- Sergiu Dumitriu, Sabin C. Buraga:
Peer-to-Peer Wikis: Replication of Highly Dynamic Content on XWiki.
361-366
IMNE:
Workshop on Iterative Methods for Nonlinear Equations
NCA:
Workshop on Natural Computing and Applications
- Marta Gîrdea, Liviu Ciortuz:
A Hybrid Genetic Programming and Boosting Technique for Learning Kernel Functions from Training Data.
395-402
- Elena Bautu, Andrei Bautu, Henri Luchian:
AdaGEP - An Adaptive Gene Expression Programming Algorithm.
403-406
- Oana Andrei, Hélène Kirchner:
Graph Rewriting and Strategies for Modeling Biochemical Networks.
407-414
- Andrei Bautu, Elena Bautu, Henri Luchian:
Particle Swarm Optimization Hybrids for Searching Ground States of Ising Spin Glasses.
415-418
- José A. Mocholí, Javier Jaen:
An Application of Ant Colony Optimization to Decision Making on Affective Virtual Entities.
419-426
- David Iclanzan, D. Dumitrescu:
Overrepresentations in Neutral Genotype-Phenotype Mappings and their Applications.
427-432
- Octav Brudaru, Octavian Buzatu:
Designing Fast and Accurate Fuzzy Approximators with Kohonen Networks and Genetic Algorithms.
433-440
- David Iclanzan, Peter-Istvan Fulop, D. Dumitrescu:
Neuro-Hill-Climber: A New Approach Towards More Intelligent Search and Optimization.
441-448
- Petrica C. Pop, Camelia-Mihaela Pintea, Corina Pop Sitar, Dumitru Dumitrescu:
A Bio-Inspired Approach for a Dynamic Railway Problem.
449-452
- Laura Diosan, Dumitru Dumitrescu:
A Hybrid Genetic Algorithm Based on the Potts System.
453-456
RTES:
Workshop on Real Time and Embedded Systems
RuleApps:
Workshop on Rule-Based Applications
WfPM:
Workshop on Workflows and Process Management
Copyright © Sat Nov 21 00:51:13 2009
by Michael Ley (ley@uni-trier.de)
