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
export record as
dblp key:
conf/synasc/Kamareddine07 export record as
dblp key:
Kevin Hammond :
SymGrid: A Framework for Symbolic Computations on the Grid.
4
export record as
dblp key:
Mark Proctor :
Relational Declarative Programming with JBoss Drools.
5
export record as
dblp key:
conf/synasc/GorodetskyKSS07 export record as
dblp key:
Ioan A. Rus :
Some Applications of Weakly Picard Operators.
7-10
export record as
dblp key:
Bruno Buchberger :
Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher.
11-12
export record as
dblp key:
Automated Reasoning and Formal Verification
export record as
dblp key:
Sorin Stratulat :
'Descente Infinie' Induction-Based Saturation Procedures.
17-24
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Parallel and Distributed Computing
export record as
dblp key:
Laura Ruff :
Functional-Based Comparison between Two Special Classes of Uni- and Bidirectional Systolic Arrays.
51-58
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Verification and Software Quality
export record as
dblp key:
Dorel Lucanu :
Proving Behavioral Commutativity with CIRC.
85-92
export record as
dblp key:
Cristina Marinescu :
Identification of Relational Discrepancies between Database Schemas and Source-Code in Enterprise Applications.
93-100
export record as
dblp key:
conf/synasc/MihanceaGVMM07 export record as
dblp key:
Symbolic and Numeric Algorithms
export record as
dblp key:
Petre Bazavan :
Approximation of Attractors by a Variable Time-Stepping Algorithm for Runge-Kutta Methods.
111-117
export record as
dblp key:
export record as
dblp key:
Dan Eugen Ulmet :
Customized Reflection Lines for Surface Interrogation in Car Body Design.
124-129
export record as
dblp key:
Iulia Costin :
Invariance in the Class of Weighted Power Means.
130-134
Data Mining
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Verification and Security
export record as
dblp key:
export record as
dblp key:
Bogdan Groza :
An Extension of the RSA Trapdoor in a KEM/DEM Framework.
182-187
export record as
dblp key:
export record as
dblp key:
Image and Text Processing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
ACSys:
Workshop on Agents for Complex Systems
export record as
dblp key:
conf/synasc/QuinquetonRB07 export record as
dblp key:
conf/synasc/GanzhaPGBPP07 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
GridCAD:
Workshop on Grid Computing Applications Development
export record as
dblp key:
export record as
dblp key:
conf/synasc/PantelimonPC07 export record as
dblp key:
Antonio J. Plaza :
Cluster-Based Implementation of a Morphological Watershed Algorithm for Parallel Classification of Multichannel Images.
298-303
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
IMNE:
Workshop on Iterative Methods for Nonlinear Equations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
NCA:
Workshop on Natural Computing and Applications
export record as
dblp key:
Marta Gîrdea ,
Liviu Ciortuz :
A Hybrid Genetic Programming and Boosting Technique for Learning Kernel Functions from Training Data.
395-402
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
RTES:
Workshop on Real Time and Embedded Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
RuleApps:
Workshop on Rule-Based Applications
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Grzegorz J. Nalepa :
Proposal of Business Process and Rules Modeling with the XTT Method.
500-506
export record as
dblp key:
conf/synasc/GabroveanuICC07 export record as
dblp key:
export record as
dblp key:
conf/synasc/DiaconescuW07
WfPM:
Workshop on Workflows and Process Management
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
