default search action
11th SYNASC 2009: Timisoara, Romania
- Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie:
11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009. IEEE Computer Society 2009, ISBN 978-1-4244-5910-0
Invited Talks
- James Harold Davenport
, Jacques Carette
The Sparsity Challenges. 3-7 - Lefteris M. Kirousis:
Coloring Random Graphs: A Short Survey. 8 - Tetsuo Ida:
A Compiler for Origami Construction and Verification. 9 - Laura Kovács
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. 10 - Helmut Veith:
Embedding Formal Methods into Systems Engineering. 11
Tutorials
- Nikolaj S. Bjørner:
SMT Solvers for Testing, Program Analysis and Verification at Microsoft. 15 - Andrei Voronkov:
Satisfiability and Theories. 16 - Andrey Rybalchenko:
Automated Methods for Proving Program Termination and Liveness. 17 - Helmut Veith:
Automated Software Analysis. 18
Symbolic Computation
- Qi Ding, Hong-Qing Zhang:
m-Hilbert Polynomial and Arbitrariness of the General Solution of Partial Differential Equations. 21-27 - Yanli Huang, Dongming Wang:
Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases. 28-36 - Amir Hashemi, Mahsad Kalantari:
A Hybrid Algorithm for Solving 7 Parameters Transformation. 37-44 - Grant Olney Passmore, Leonardo Mendonça de Moura:
Superfluous S-polynomials in Strategy-Independent Groebner Bases. 45-53 - Alberto Zanoni:
Toom-Cook 8-way for Long Integers Multiplication. 54-57
Logic and Programming
- Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap:
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. 61-68 - Maxime Dénès, Benjamin Lesage
Formal Proof of Theorems on Genetic Regulatory Networks. 69-76 - Madalina Erascu, Tudor Jebelean:
A Calculus for Imperative Programs: Formalization and Implementation. 77-84 - Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu:
Simplification and Generalization in CIRC. 85-92 - Codrut-Lucian Lazar, Ioan Lazar, Bazil Pârv, Simona Motogna
Using a fUML Action Language to Construct UML Models. 93-101 - Alexander V. Lyaletski
On Herbrand-like Theorems for Cut-free Modal Sequent Logics. 102-109
Numerical Computing
- Nadia Bonchis:
The Lucas Optimal Growth Model on Finite Horizon. 113-117 - Iuliana Borza, Flavius Turcu, Mohamed Najim:
Hybrid Modelling of an Audio Signal Based on 1-D Wold Decomposition. 118-123 - Cristian Cira Mihai:
Finding the Solutions of Nonlinear Equation Systems from an Interval. 124-129 - David Edwards Jr.:
A Numerical Solution of the Semi Linear Singularly Perturbed Boundary Value Problem Using Multi Region Finite Difference Method. 130-136 - Olariu S. Emanuel Florentin:
Monte Carlo Variance Reduction. Importance Sampling Techniques. 137-141 - Rongfen Lin, Hao Jiang, Lizhi Cheng:
Solving Nonsmooth Interval Equations with Slopes. 142-149 - Anton S. Muresan:
On a Functional-Differential Equation from Price Theory. 150-156 - Viorica Muresan:
An Algorithm for the Approximation of the Solution of a Functional-Integral Equation. 157-161 - Marius Paltanea, Sabin Tabirca
Cancer Prediction Modeling from Volumetric Data. 162-167 - Ivan Simecek
Sparse Matrix Computations Using the Quadtree Storage Format. 168-173 - Damian Trif:
MATLAB Package for Laguerre Spectral Method. 174-177
Parallel and Distributed Computing
- Mugurel Ionut Andreica
Fairness and QoS Enhancement Models and Techniques for Peer-to-Peer Content Sharing Systems. 181-188 - Simona Caraiman
A Grid Enabled Quantum Computer Simulator. 189-196 - Alexandru Cârstea, Georgiana Macariu, Marc Frîncu
Description and Execution of Patterns for Symbolic Computations. 197-204 - Marc Frîncu
Distributed Scheduling Policy in Service Oriented Environments. 205-212 - Marius Ion, Florin Pop, Ciprian Dobre
Dynamic Resources Allocation in Grid Enviroments. 213-220 - Boro Jakimovski
Performance Improvement of Genetic Algorithms by Adaptive Grid Workflows. 221-228 - Marieta Nastase, Ciprian Dobre
Fault Tolerance Using a Front-End Service for Large Scale Distributed Systems. 229-236 - Virginia Niculescu
Bounded Parallelism in PowerList and ParList Theories. 237-244 - Denisa Rodila
Semantic Annotation Based Service Composition for Grid Workflow Description and Execution. 245-253 - Alina Simion, Dragos Sbirlea, Florin Pop, Valentin Cristea:
Dynamic Scheduling Algorithms for Workflow Applications in Grid Environment. 254-261
Advances in the Theory of Computing
- Mugurel Ionut Andreica
Algorithms for Identifying Sequence Patterns with Several Types of Occurrence Constraints. 265-272 - Miklós Bartha, Miklós Krész
A Depth-first Algorithm to Reduce Graphs in Linear Time. 273-281 - Olaf Beyersdorff
On the Existence of Complete Disjoint NP-Pairs. 282-289 - Gabriel Ciobanu, Eneia Nicolae Todoran:
A Methodology for Concurrent Languages Development Based on Denotational Semantics. 290-298 - Liliana Cojocaru, Erkki Mäkinen
Classes of Szilard Languages in NC1. 299-306 - Mircea Marin
Factorizations of Regular Hedge Languages. 307-314
Artificial Intelligence
- Viorica R. Chifu, Ioan Salomie, Emil St. Chifu, Roland Vachter, Alpár Kövér:
Matching Semantic Web Services Using Learning Accuracy. 317-324 - Viorica R. Chifu, Ioan Salomie, Ioana Harsa, Marius Gherga:
Semantic Web Service Composition Method Based on Fluent Calculus. 325-332 - Tudor Cioara, Ionut Anghel
A Policy-Based Context Aware Self-Management Model. 333-340 - István Gergely Czibula
Dynamic Customization of Data Structures Instances Using an Agent Based Approach. 341-347 - Ion-Mircea Diaconescu, Gerd Wagner
Beliefs and Communication, The Basis of Collaborative Agents. 348-355 - D. Dumitrescu, Rodica Ioana Lung
Approximating and Combining Equilibria in Non-cooperative Games. 356-360 - Cristian Gratie
Alleviating Urban Traffic Congestion by Means of Adaptive Routing. 361-367 - Ion Iancu, Mihaela Colhon
Mamdani FLC with Various Implications. 368-375 - Cristina Bianca Pop, Viorica R. Chifu, Ioan Salomie, Mihaela Dînsoreanu
Immune-inspired Web Service Composition Framework. 376-383 - Nicolaie Popescu-Bodorin
Exploring New Directions in Iris Recognition. 384-391 - Ciprian-Petrisor Pungila
A Bray-Curtis Weighted Automaton for Detecting Malicious Code Through System-Call Analysis. 392-400 - Mihai Alexandru Ordean, Andrei Saupe, Mihaela Ordean, Melania Duma, Gheorghe Cosmin Silaghi
Enhanced Rule-Based Phonetic Transcription for the Romanian Language. 401-406 - Letitia Velcescu, Laurentiu Vasile:
Relational Operators in Heterogeneous Random Databases. 407-412 - Camelia Vidrighin Bratu, Rodica Potolea:
Unified Strategy for Feature Selection and Data Imputation. 413-419 - Alexandru-Ciprian Zavoianu
On Sensor Data Simulation. 420-425
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-11-15 19:45 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: