default search action
8th SYNASC 2006: Timisoara, Romania
- Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, Joël Quinqueton:
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
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
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 V. Anisimov
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 J. 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
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
A New Measure Based in the Rough Set Theory to Estimate the Training Set Quality. 133-140 - Marius-Lucian Tomescu
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
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
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
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
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
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
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
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
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
Cooperative Evolution of Rules for Classification. 317-322 - Madalina Ionita
A New Scheme of Using Inference Inside Evolutionary Computation Techniques to Solve CSPs. 323-329 - Ruxandra Stoean
Evolutionary Support Vector Regression Machines. 330-335 - Yong Fan, Jihong Zhu
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
Hardware Implementation of a Bounded Algorithm for Application of Rules in a Transition P-System. 343-349 - Abraham Gutiérrez
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
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
Marked-Controlled Reconfigurable Workflow Nets. 407-413 - Alexandra 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: