default search action
9th SYNASC 2007: Timisoara, Romania
- Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie:
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
- Fairouz Kamareddine:
The Gradual Computerisation of Mathematics in MathLang. 3 - Kevin Hammond
:
SymGrid: A Framework for Symbolic Computations on the Grid. 4 - Mark Proctor:
Relational Declarative Programming with JBoss Drools. 5 - Vladimir Gorodetsky, Oleg Karsaev, Vladimir Samoilov, Sergey Serebryakov
P2P Open Agent Networks for Decision Making. 6 - Ioan A. Rus:
Some Applications of Weakly Picard Operators. 7-10 - Bruno Buchberger:
Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. 11-12 - Tetsuo Ida:
Modeling Origami and Beyond. 13
Automated Reasoning and Formal Verification
- Sorin Stratulat:
'Descente Infinie' Induction-Based Saturation Procedures. 17-24 - Hugh Anderson, Siau-Cheng Khoo, Yijie Liu:
A Tool for Calculating Exponential Run-Time Properties. 25-32 - Catalin Dima
Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. 33-40 - Adrian Craciun
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration. 41-47
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
Structural Properties and Observability in Membrane Systems. 74-81
Formal Verification and Software Quality
- Dorel Lucanu:
Proving Behavioral Commutativity with CIRC. 85-92 - Cristina Marinescu:
Identification of Relational Discrepancies between Database Schemas and Source-Code in Enterprise Applications. 93-100 - Petru Florin Mihancea, George Ganea, Ioana Verebi, Cristina Marinescu, Radu Marinescu:
McC and Mc#: Unified C++ and C# Design Facts Extractors Tools. 101-104 - Oana Nicolae, Ion-Mircea Diaconescu, Adrian Giurca, Gerd Wagner:
Sharing Rules between JBoss and Jena. 105-108
Symbolic and Numeric Algorithms
- Petre Bazavan:
Approximation of Attractors by a Variable Time-Stepping Algorithm for Runge-Kutta Methods. 111-117 - Radu Tiberiu Trimbitas, Maria Gabriela Trimbitas:
Runge-Kutta Methods and Inverse Hermite Interpolation. 118-123 - Dan Eugen Ulmet:
Customized Reflection Lines for Surface Interrogation in Car Body Design. 124-129 - Iulia Costin:
Invariance in the Class of Weighted Power Means. 130-134
Data Mining
- Luminita State, Catalina Cocianu
Principal Directions-Based Algorithm for Classification Tasks. 137-143 - Ion Iancu, Mihai Gabroveanu
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, Zalán Bodó
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
- Sorin Iftene, Manuela Grindei:
Weighted Threshold RSA Based on the Chinese Remainder Theorem. 175-181 - Bogdan Groza
An Extension of the RSA Trapdoor in a KEM/DEM Framework. 182-187 - Raluca Lefticaru
Automatic State-Based Test Generation Using Genetic Algorithms. 188-195 - Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea:
Approximate Satisfiability Counting. 196-202
Image and Text Processing
- Monica Radulescu, Felicia Ionescu:
Image-Adaptive Watermarking Using JSEG Segmentation Technique. 205-210 - Anca Loredana Ion
Semantic Categorization and Retrieval of Images. 211-218 - Adrian Iftene
A Distributed Architecture System for Recognizing Textual Entailment. 219-226
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
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 László Iantovics
The CMDS Medical Diagnosis System. 246-253 - Adina Magda Florea
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
AgentDiscover: A Multi-Agent System for Knowledge Discovery from Databases. 275-282
GridCAD: Workshop on Grid Computing Applications Development
- Antonio Plaza
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
Remote Control for Graphic Applications. 304-309 - Adrian Colesa
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
Composing Web-Based Mathematical Services. 327-334 - Mircea Alexandru Imbroane, Cornelia Melenti
Mineral Explorations by Landsat Image Ratios. 335-340 - Anca Radu, Victor Bacu
Diagrammatic Description of Satellite Image Processing Workflow. 341-348 - Ildiko Marton Kinga, Adrian Colesa:
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
- Ion Pavaloiu
On a Steffensen Type Method. 369-375 - Stefan Maruster, Cristina Popirlan:
Strong Convergence of the Projection Method in Convex Feasibility Problem. 376-380 - Octavian Cira, Cristian-Mihai Cira:
The Algorithm that Determines the Start Iteration of the Halley-Altman Method. 381-386 - Vasile Berinde
Iterative Approximation of Fixed Points of Almost Contractions. 387-392
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
AdaGEP - An Adaptive Gene Expression Programming Algorithm. 403-406 - Oana Andrei
Graph Rewriting and Strategies for Modeling Biochemical Networks. 407-414 - Andrei Bautu
Particle Swarm Optimization Hybrids for Searching Ground States of Ising Spin Glasses. 415-418 - José A. Mocholí, Javier Jaén Martínez
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, Péter István Fülöp, D. Dumitrescu:
Neuro-Hill-Climber: A New Approach Towards More Intelligent Search and Optimization. 441-448 - Petrica C. Pop
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
- Flavius Gruian, Mark Westmijze:
BluEJAMM: A Bluespec Embedded Java Architecture with Memory Management. 459-466 - Nilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley, Stefan Andrei:
PEARLS: An Integrated Environment for Task Scheduling. 467-473 - Stefan Andrei, Samarjit Chakraborty
Path-Constrained Relaxed Schedulability Analysis. 474-482
RuleApps: Workshop on Rule-Based Applications
- Adrian Giurca, Gerd Wagner
Rule Modeling and Interchange. 485-491 - Elvira Popescu
Rules for Learner Modeling and Adaptation Provisioning in an Educational Hypermedia System. 492-499 - Grzegorz J. Nalepa:
Proposal of Business Process and Rules Modeling with the XTT Method. 500-506 - Mihai Gabroveanu
Towards Using Grid Services for Mining Fuzzy Association Rules. 507-513 - Lu Songfeng, Sun Chengfu, Ma Xinjian:
Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net. 514-517 - Ion-Mircea Diaconescu, Gerd Wagner:
Towards a Mapping from Java Vocabulary to RDFS. 518-522
WfPM: Workshop on Workflows and Process Management
- Sarah D. Induruwa Fernando, Douglas A. Creager, Andrew C. Simpson
Towards Build-Time Interoperability of Workflow Definition Languages. 525-532 - Lorenzo Capra
A Reflective PN-Based Approach to Dynamic Workflow Change. 533-540 - N. R. T. P. van Beest, Laura Maruster
A Process Mining Approach to Redesign Business Processes - A Case Study in Gas Industry. 541-548
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 2025-01-06 21:31 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: