Default Cover Image

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 iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-ix
Papers
PrefaceFreely available from IEEE.pp. x-xi
Papers
Committees and ReviewersFreely available from IEEE.pp. xii-xiv
Papers
Self-Organizing Context Aware Agent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 3-10
Papers
What is Hybrid Symbolic-Numeric Computation?Full-text access may be available. Sign in or learn about subscription options.pp. 11
Papers
Symbol Elimination in Program AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 12
Papers
Hybrid Fuzzy Rule-Based ClassificationFull-text access may be available. Sign in or learn about subscription options.pp. 13-15
Papers
Computational Tools for Mathematical CollaborationFull-text access may be available. Sign in or learn about subscription options.pp. 16-18
Papers
What can Symbolic Computation Contribute to Mathematics?Full-text access may be available. Sign in or learn about subscription options.pp. 19-20
Papers
A Theory and an Algorithm of Approximate Gröbner BasesFull-text access may be available. Sign in or learn about subscription options.pp. 23-30
Papers
Tracking Method for Reparametrized Geometrical Constraint SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 31-38
Papers
Long Integers and Polynomial Evaluation with Estrin's SchemeFull-text access may be available. Sign in or learn about subscription options.pp. 39-46
Papers
On Kahan's Rules for Determining Branch CutsFull-text access may be available. Sign in or learn about subscription options.pp. 47-51
Papers
A Computer Aided Software for Nonlinear Digital ControlFull-text access may be available. Sign in or learn about subscription options.pp. 52-59
Papers
Optimal Inequality Factor for Ehrlich-Aberth's MethodFull-text access may be available. Sign in or learn about subscription options.pp. 63-70
Papers
On the Interpolation Trigonometric Polynomial with an Arbitrary Even Number of NodesFull-text access may be available. Sign in or learn about subscription options.pp. 71-74
Papers
A Method for Submodelling Inside Transient FlowsFull-text access may be available. Sign in or learn about subscription options.pp. 75-82
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
Papers
Project Duration Assessment Model Based on Modified Shortest Path Algorithm and SuperpositionFull-text access may be available. Sign in or learn about subscription options.pp. 87-90
Papers
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 93-100
Papers
Proof Techniques for Synthesis of Sorting AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 101-109
Papers
Reachability Analysis of Time Basic Petri Nets: A Time Coverage ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 110-117
Papers
RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision ComputationsFull-text access may be available. Sign in or learn about subscription options.pp. 118-122
Papers
Using the Executable Semantics for CFG Extraction and UnfoldingFull-text access may be available. Sign in or learn about subscription options.pp. 123-127
Papers
Psychologically Inspired, Rule-Based Outlier Detection in Noisy DataFull-text access may be available. Sign in or learn about subscription options.pp. 131-136
Papers
Integration of Association Rule Detection with Rule-Based Ontological Support for Product RecommendationFull-text access may be available. Sign in or learn about subscription options.pp. 137-144
Papers
Intelligent Web-History Based on a Hybrid Clustering Algorithm for Future-Internet SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 145-152
Papers
Part of Speech Tagging for Romanian Text-to-Speech SystemFull-text access may be available. Sign in or learn about subscription options.pp. 153-159
Papers
Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction GrammarsFull-text access may be available. Sign in or learn about subscription options.pp. 160-167
Papers
A Supervised Learning Process to Elicit Fraud Cases in Online Auction SitesFull-text access may be available. Sign in or learn about subscription options.pp. 168-174
Papers
Mapping a Relational Database into a RDF RepositoryFull-text access may be available. Sign in or learn about subscription options.pp. 175-182
Papers
A GIS Integrated Solution for Traffic ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 183-190
Papers
A Reinforcement Learning Approach for Solving the Fragment Assembly ProblemFull-text access may be available. Sign in or learn about subscription options.pp. 191-198
Papers
Towards Extracting Semantic Information from TextsFull-text access may be available. Sign in or learn about subscription options.pp. 199-206
Papers
A Genetic Approximation of Closest String via Rank DistanceFull-text access may be available. Sign in or learn about subscription options.pp. 207-214
Papers
Cellular Genetic Algorithm with Communicating Grids for a Delivery ProblemFull-text access may be available. Sign in or learn about subscription options.pp. 215-221
Papers
Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDsFull-text access may be available. Sign in or learn about subscription options.pp. 222-229
Papers
The Runner -- Recommender System of Workout and Nutrition for RunnersFull-text access may be available. Sign in or learn about subscription options.pp. 230-238
Papers
A Probabilistic Model-Free Approach in Learning Multivariate Noisy Linear SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 239-246
Papers
Short Text Categorization via Coherence ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 247-250
Papers
Using Exploratory Data Analysis for Fraud Elicitation through Supervised LearningFull-text access may be available. Sign in or learn about subscription options.pp. 251-254
Papers
Probabilistic Approach for Automated Reasoning for Lane Identification in Intelligent VehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 255-258
Papers
Searching Simulation Scenarios on the Grid with ELSIGExplorerFull-text access may be available. Sign in or learn about subscription options.pp. 261-267
Papers
Pattern Detection Model for Monitoring Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 268-275
Papers
Metric Denotational Semantics for Parallel Rewriting of MultisetsFull-text access may be available. Sign in or learn about subscription options.pp. 276-283
Papers
A Distributed Approach for Solving Systems of Nonlinear EquationsFull-text access may be available. Sign in or learn about subscription options.pp. 284-290
Papers
Grid Based Services and Tools for Hydrological Model Processing and VisualizationFull-text access may be available. Sign in or learn about subscription options.pp. 291-298
Papers
A Data Dissemination Algorithm for Opportunistic NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 299-305
Papers
Parallel Migration Models Applied to Competitive Differential EvolutionFull-text access may be available. Sign in or learn about subscription options.pp. 306-312
Papers
Multi-agent Resource Allocation Algorithm Based on the XSufferage Heuristic for Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 313-320
Papers
An Upper Bound on Checking Test Complexity for Almost All CographsFull-text access may be available. Sign in or learn about subscription options.pp. 323-330
Papers
Nominal Semantics of the pi I-calculusFull-text access may be available. Sign in or learn about subscription options.pp. 331-338
Papers
On the Complexity of Szilard Languages of Matrix GrammarsFull-text access may be available. Sign in or learn about subscription options.pp. 339-347
Papers
On a Non-periodic Shrinking GeneratorFull-text access may be available. Sign in or learn about subscription options.pp. 348-354
Papers
Trust Model for Virtual OrganizationsFull-text access may be available. Sign in or learn about subscription options.pp. 357-364
Papers
Multi-agent Stock Trading Algorithm ModelFull-text access may be available. Sign in or learn about subscription options.pp. 365-372
Papers
Enhancing Objects' Autonomy through the Classification of Objects' InteractionsFull-text access may be available. Sign in or learn about subscription options.pp. 373-380
Papers
Software Framework for Agent-Based Games and SimulationsFull-text access may be available. Sign in or learn about subscription options.pp. 381-388
Papers
Communication Schemes of a Parallel Fluid Solver for Multi-scale Environmental SimulationsFull-text access may be available. Sign in or learn about subscription options.pp. 391-397
Papers
Dealing with Class Noise in Large Training Datasets for Malware DetectionFull-text access may be available. Sign in or learn about subscription options.pp. 401-407
Papers
Lorenz Equilibrium: Concept and Evolutionary DetectionFull-text access may be available. Sign in or learn about subscription options.pp. 408-412
Papers
Author IndexFreely available from IEEE.pp. 413-414
[Roster page]Freely available from IEEE.pp. 416-416
Showing 66 out of 66