Join Us
Sign In
My Subscriptions
Magazines
Journals
Video Library
Conference Proceedings
Individual CSDL Subscriptions
Institutional CSDL Subscriptions
Resources
Career Center
Tech News
Resource Center
Press Room
Advertising
Librarian Resources
IEEE.org
Help
About Us
Career Center
Cart
Create Account
Sign In
Toggle navigation
My Subscriptions
Browse Content
Resources
All
Home
Proceedings
SYNASC
SYNASC 2011
Generate Citations
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Sept. 26 2011 to Sept. 29 2011
Timisoara, Romania
ISBN: 978-0-7695-4630-8
Table of Contents
Papers
Title Page i
Freely available from IEEE.
pp. i
Papers
Title Page iii
Freely available from IEEE.
pp. iii
Papers
[Copyright notice]
Freely available from IEEE.
pp. iv
Papers
Table of contents
Freely available from IEEE.
pp. v-ix
Papers
Preface
Freely available from IEEE.
pp. x-xi
Papers
Committees and Reviewers
Freely available from IEEE.
pp. xii-xiv
Papers
Self-Organizing Context Aware Agent Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 3-10
by
Adina Magda Florea
Papers
What is Hybrid Symbolic-Numeric Computation?
Full-text access may be available. Sign in or learn about subscription options.
pp. 11
by
Erich Kaltofen
Papers
Symbol Elimination in Program Analysis
Full-text access may be available. Sign in or learn about subscription options.
pp. 12
by
Laura Kov´cs
Papers
Hybrid Fuzzy Rule-Based Classification
Full-text access may be available. Sign in or learn about subscription options.
pp. 13-15
by
Gerald Schaefer
Papers
Computational Tools for Mathematical Collaboration
Full-text access may be available. Sign in or learn about subscription options.
pp. 16-18
by
Stephen M. Watt
Papers
What can Symbolic Computation Contribute to Mathematics?
Full-text access may be available. Sign in or learn about subscription options.
pp. 19-20
by
Franz Winkler
Papers
A Theory and an Algorithm of Approximate Gröbner Bases
Full-text access may be available. Sign in or learn about subscription options.
pp. 23-30
by
Tateaki Sasaki
Papers
Tracking Method for Reparametrized Geometrical Constraint Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 31-38
by
Rémi Imbach
,
Pascal Mathis
,
Pascal Schreck
Papers
Long Integers and Polynomial Evaluation with Estrin's Scheme
Full-text access may be available. Sign in or learn about subscription options.
pp. 39-46
by
Marco Bodrato
,
Alberto Zanoni
Papers
On Kahan's Rules for Determining Branch Cuts
Full-text access may be available. Sign in or learn about subscription options.
pp. 47-51
by
Frédéric Chyzak
,
James H. Davenport
,
Christoph Koutschan
,
Bruno Salvy
Papers
A Computer Aided Software for Nonlinear Digital Control
Full-text access may be available. Sign in or learn about subscription options.
pp. 52-59
by
Valentin Tanasa
,
Dorothée Normand-Cyrot
Papers
Optimal Inequality Factor for Ehrlich-Aberth's Method
Full-text access may be available. Sign in or learn about subscription options.
pp. 63-70
by
Octavian Cira
,
Stefan Maruster
Papers
On the Interpolation Trigonometric Polynomial with an Arbitrary Even Number of Nodes
Full-text access may be available. Sign in or learn about subscription options.
pp. 71-74
by
Ernest Scheiber
Papers
A Method for Submodelling Inside Transient Flows
Full-text access may be available. Sign in or learn about subscription options.
pp. 75-82
by
Alin-Adrian Anton
Papers
Experiences in Computing Mesh Root Systems for Dynkin Diagrams Using Maple and C++
Full-text access may be available. Sign in or learn about subscription options.
pp. 83-86
by
Mariusz Felisiak
,
Daniel Simson
Papers
Project Duration Assessment Model Based on Modified Shortest Path Algorithm and Superposition
Full-text access may be available. Sign in or learn about subscription options.
pp. 87-90
by
Vesna Jevtic
,
Dalibor Dobrilovic
,
Jelena Stojanov
,
Zeljko Stojanov
Papers
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm
Full-text access may be available. Sign in or learn about subscription options.
pp. 93-100
by
Stefan Andrei
,
Albert M.K. Cheng
,
Vlad Radulescu
Papers
Proof Techniques for Synthesis of Sorting Algorithms
Full-text access may be available. Sign in or learn about subscription options.
pp. 101-109
by
Isabela Dramnesc
,
Tudor Jebelean
Papers
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach
Full-text access may be available. Sign in or learn about subscription options.
pp. 110-117
by
Carlo Bellettini
,
Lorenzo Capra
Papers
RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations
Full-text access may be available. Sign in or learn about subscription options.
pp. 118-122
by
Matthieu Martel
Papers
Using the Executable Semantics for CFG Extraction and Unfolding
Full-text access may be available. Sign in or learn about subscription options.
pp. 123-127
by
Mihail Asavoae
,
Irina Mariuca Asavoae
Papers
Psychologically Inspired, Rule-Based Outlier Detection in Noisy Data
Full-text access may be available. Sign in or learn about subscription options.
pp. 131-136
by
Be´ta Reiz
,
S´ndor Pongor
Papers
Integration of Association Rule Detection with Rule-Based Ontological Support for Product Recommendation
Full-text access may be available. Sign in or learn about subscription options.
pp. 137-144
by
Anita Hejja
,
Robert Andrei Buchmann
,
Anamaria Szekely
Papers
Intelligent Web-History Based on a Hybrid Clustering Algorithm for Future-Internet Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 145-152
by
Andrei Marin
,
Florin Pop
Papers
Part of Speech Tagging for Romanian Text-to-Speech System
Full-text access may be available. Sign in or learn about subscription options.
pp. 153-159
by
Lucian Radu Teodorescu
,
Razvan Boldizsar
,
Mihai Ordean
,
Melania Duma
,
Laura Detesan
,
Mihaela Ordean
Papers
Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction Grammars
Full-text access may be available. Sign in or learn about subscription options.
pp. 160-167
by
Liviu Ciortuz
,
Vlad Saveluc
Papers
A Supervised Learning Process to Elicit Fraud Cases in Online Auction Sites
Full-text access may be available. Sign in or learn about subscription options.
pp. 168-174
by
Vinicius Almendra
,
Denis Enachescu
Papers
Mapping a Relational Database into a RDF Repository
Full-text access may be available. Sign in or learn about subscription options.
pp. 175-182
by
Anamaria Szekely
,
Anita Hejja
,
Robert Andrei Buchmann
Papers
A GIS Integrated Solution for Traffic Management
Full-text access may be available. Sign in or learn about subscription options.
pp. 183-190
by
Emilian Necula
,
Raluca Necula
,
Adrian Iftene
Papers
A Reinforcement Learning Approach for Solving the Fragment Assembly Problem
Full-text access may be available. Sign in or learn about subscription options.
pp. 191-198
by
Maria-Iuliana Bocicor
,
Gabriela Czibula
,
Istvan-Gergely Czibula
Papers
Towards Extracting Semantic Information from Texts
Full-text access may be available. Sign in or learn about subscription options.
pp. 199-206
by
Diana Trandabat
Papers
A Genetic Approximation of Closest String via Rank Distance
Full-text access may be available. Sign in or learn about subscription options.
pp. 207-214
by
Liviu P. Dinu
,
Radu Ionescu
Papers
Cellular Genetic Algorithm with Communicating Grids for a Delivery Problem
Full-text access may be available. Sign in or learn about subscription options.
pp. 215-221
by
Octav Brudaru
,
Adrian Vilcu
,
Diana Popovici
Papers
Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDs
Full-text access may be available. Sign in or learn about subscription options.
pp. 222-229
by
Octav Brudaru
,
Cristian Rotaru
,
Iulian Furdu
Papers
The Runner -- Recommender System of Workout and Nutrition for Runners
Full-text access may be available. Sign in or learn about subscription options.
pp. 230-238
by
Mihnea Donciu
,
Madalina Ionita
,
Mihai Dascalu
,
Stefan Trausan-Matu
Papers
A Probabilistic Model-Free Approach in Learning Multivariate Noisy Linear Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 239-246
by
Luminita State
,
Iuliana Paraschiv-Munteanu
Papers
Short Text Categorization via Coherence Constraints
Full-text access may be available. Sign in or learn about subscription options.
pp. 247-250
by
Anca Dinu
Papers
Using Exploratory Data Analysis for Fraud Elicitation through Supervised Learning
Full-text access may be available. Sign in or learn about subscription options.
pp. 251-254
by
Vinicius Almendra
,
Bianca Roman
Papers
Probabilistic Approach for Automated Reasoning for Lane Identification in Intelligent Vehicles
Full-text access may be available. Sign in or learn about subscription options.
pp. 255-258
by
Voichita Popescu
,
Mihai Bace
,
Sergiu Nedevschi
Papers
Searching Simulation Scenarios on the Grid with ELSIGExplorer
Full-text access may be available. Sign in or learn about subscription options.
pp. 261-267
by
Ioan Lucian Muntean
,
Laura Maria Dansorean
Papers
Pattern Detection Model for Monitoring Distributed Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 268-275
by
Cristian-Mircea Dinu
,
Florin Pop
,
Valentin Cristea
Papers
Metric Denotational Semantics for Parallel Rewriting of Multisets
Full-text access may be available. Sign in or learn about subscription options.
pp. 276-283
by
Gabriel Ciobanu
,
Eneia Nicolae Todoran
Papers
A Distributed Approach for Solving Systems of Nonlinear Equations
Full-text access may be available. Sign in or learn about subscription options.
pp. 284-290
by
Adrian Mocanu
,
Nicolae Tapus
Papers
Grid Based Services and Tools for Hydrological Model Processing and Visualization
Full-text access may be available. Sign in or learn about subscription options.
pp. 291-298
by
Victor Bacu
,
Danut Mihon
,
Teodor Stefanut
,
Denisa Rodila
,
Dorian Gorgan
,
Pierluigi Cau
,
Simone Manca
Papers
A Data Dissemination Algorithm for Opportunistic Networks
Full-text access may be available. Sign in or learn about subscription options.
pp. 299-305
by
Radu-Ioan Ciobanu
,
Ciprian Dobre
,
Valentin Cristea
Papers
Parallel Migration Models Applied to Competitive Differential Evolution
Full-text access may be available. Sign in or learn about subscription options.
pp. 306-312
by
Petr Bujok
,
Josef Tvrdík
Papers
Multi-agent Resource Allocation Algorithm Based on the XSufferage Heuristic for Distributed Systems
Full-text access may be available. Sign in or learn about subscription options.
pp. 313-320
by
Alexandru Gherega
,
Valentin Pupezescu
Papers
An Upper Bound on Checking Test Complexity for Almost All Cographs
Full-text access may be available. Sign in or learn about subscription options.
pp. 323-330
by
Oleg V. Zubkov
,
Dmitry V. Chistikov
,
Andrey A. Voronenko
Papers
Nominal Semantics of the pi I-calculus
Full-text access may be available. Sign in or learn about subscription options.
pp. 331-338
by
Andrei Alexandru
,
Gabriel Ciobanu
Papers
On the Complexity of Szilard Languages of Matrix Grammars
Full-text access may be available. Sign in or learn about subscription options.
pp. 339-347
by
Liliana Cojocaru
,
Erkki Mäkinen
Papers
On a Non-periodic Shrinking Generator
Full-text access may be available. Sign in or learn about subscription options.
pp. 348-354
by
Inese Berzina
,
Raivis Bets
,
Janis Buls
,
Edmunds Cers
,
Liga Kuleša
Papers
Trust Model for Virtual Organizations
Full-text access may be available. Sign in or learn about subscription options.
pp. 357-364
by
Sofia Neata
,
Andreea Urzica
,
Adina Magda Florea
Papers
Multi-agent Stock Trading Algorithm Model
Full-text access may be available. Sign in or learn about subscription options.
pp. 365-372
by
Monica Tirea
,
Ioan Tandau
,
Viorel Negru
Papers
Enhancing Objects' Autonomy through the Classification of Objects' Interactions
Full-text access may be available. Sign in or learn about subscription options.
pp. 373-380
by
Calin Sandru
Papers
Software Framework for Agent-Based Games and Simulations
Full-text access may be available. Sign in or learn about subscription options.
pp. 381-388
by
George Sacerdotianu
,
Sorin Ilie
,
Costin Bãdicã
Papers
Communication Schemes of a Parallel Fluid Solver for Multi-scale Environmental Simulations
Full-text access may be available. Sign in or learn about subscription options.
pp. 391-397
by
Jérôme Frisch
,
Ralf-Peter Mundani
,
Ernst Rank
Papers
Dealing with Class Noise in Large Training Datasets for Malware Detection
Full-text access may be available. Sign in or learn about subscription options.
pp. 401-407
by
Dragos Gavrilut
,
Liviu Ciortuz
Papers
Lorenz Equilibrium: Concept and Evolutionary Detection
Full-text access may be available. Sign in or learn about subscription options.
pp. 408-412
by
Réka Nagy
,
D. Dumitrescu
,
Rodica Ioana Lung
Papers
Author Index
Freely available from IEEE.
pp. 413-414
[Roster page]
Freely available from IEEE.
pp. 416-416
Showing 66 out of 66