Table of Contents

• Self-Organizing Context Aware Agent SystemsAdina Magda Florea. 3-10 [doi]
• What is Hybrid Symbolic-Numeric Computation?Erich Kaltofen. 11 [doi]
• Symbol Elimination in Program AnalysisLaura Kovács. 12 [doi]
• Hybrid Fuzzy Rule-Based ClassificationGerald Schaefer. 13-15 [doi]
• Computational Tools for Mathematical CollaborationStephen M. Watt. 16-18 [doi]
• What can Symbolic Computation Contribute to Mathematics?Franz Winkler. 19-20 [doi]
• A Theory and an Algorithm of Approximate Gröbner BasesTateaki Sasaki. 23-30 [doi]
• Tracking Method for Reparametrized Geometrical Constraint SystemsRémi Imbach, Pascal Mathis, Pascal Schreck. 31-38 [doi]
• Long Integers and Polynomial Evaluation with Estrin's SchemeMarco Bodrato, Alberto Zanoni. 39-46 [doi]
• On Kahan's Rules for Determining Branch CutsFrédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy. 47-51 [doi]
• A Computer Aided Software for Nonlinear Digital ControlValentin Tanasa, Dorothée Normand-Cyrot. 52-59 [doi]
• Optimal Inequality Factor for Ehrlich-Aberth's MethodOctavian Cira, Stefan Maruster. 63-70 [doi]
• On the Interpolation Trigonometric Polynomial with an Arbitrary Even Number of NodesErnest Scheiber. 71-74 [doi]
• A Method for Submodelling Inside Transient FlowsAlin-Adrian Anton. 75-82 [doi]
• Experiences in Computing Mesh Root Systems for Dynkin Diagrams Using Maple and C++Mariusz Felisiak, Daniel Simson. 83-86 [doi]
• Project Duration Assessment Model Based on Modified Shortest Path Algorithm and SuperpositionVesna Jevtic, Dalibor Dobrilovic, Jelena Stojanov, Zeljko Stojanov. 87-90 [doi]
• Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling AlgorithmStefan Andrei, Albert M. K. Cheng, Vlad Radulescu. 93-100 [doi]
• Proof Techniques for Synthesis of Sorting AlgorithmsIsabela Dramnesc, Tudor Jebelean. 101-109 [doi]
• Reachability Analysis of Time Basic Petri Nets: A Time Coverage ApproachCarlo Bellettini, Lorenzo Capra. 110-117 [doi]
• RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision ComputationsMatthieu Martel. 118-122 [doi]
• Using the Executable Semantics for CFG Extraction and UnfoldingMihail Asavoae, Irina Mariuca Asavoae. 123-127 [doi]
• Psychologically Inspired, Rule-Based Outlier Detection in Noisy DataBeáta Reiz, Sándor Pongor. 131-136 [doi]
• Integration of Association Rule Detection with Rule-Based Ontological Support for Product RecommendationAnita Hejja, Robert Andrei Buchmann, Anamaria Szekely. 137-144 [doi]
• Intelligent Web-History Based on a Hybrid Clustering Algorithm for Future-Internet SystemsAndrei Marin, Florin Pop. 145-152 [doi]
• Part of Speech Tagging for Romanian Text-to-Speech SystemLucian Radu Teodorescu, Razvan Boldizsar, Mihai Alexandru Ordean, Melania Duma, Laura Detesan, Mihaela Ordean. 153-159 [doi]
• Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction GrammarsLiviu Ciortuz, Vlad Saveluc. 160-167 [doi]
• A Supervised Learning Process to Elicit Fraud Cases in Online Auction SitesVinicius Almendra, Denis Enachescu. 168-174 [doi]
• Mapping a Relational Database into a RDF RepositoryAnamaria Szekely, Anita Hejja, Robert Andrei Buchmann. 175-182 [doi]
• A GIS Integrated Solution for Traffic ManagementEmilian Necula, Raluca Necula, Adrian Iftene. 183-190 [doi]
• A Reinforcement Learning Approach for Solving the Fragment Assembly ProblemMaria-Iuliana Bocicor, Gabriela Czibula, István Gergely Czibula. 191-198 [doi]
• Towards Extracting Semantic Information from TextsDiana Trandabat. 199-206 [doi]
• A Genetic Approximation of Closest String via Rank DistanceLiviu Petrisor Dinu, Radu-Tudor Ionescu. 207-214 [doi]
• Cellular Genetic Algorithm with Communicating Grids for a Delivery ProblemOctav Brudaru, Adrian Vilcu, Diana Popovici. 215-221 [doi]
• Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDsOctav Brudaru, Cristian Rotaru, Iulian Furdu. 222-229 [doi]
• The Runner - Recommender System of Workout and Nutrition for RunnersMihnea Donciu, Madalina Ionita, Mihai Dascalu, Stefan Trausan-Matu. 230-238 [doi]
• A Probabilistic Model-Free Approach in Learning Multivariate Noisy Linear SystemsLuminita State, Iuliana Paraschiv-Munteanu. 239-246 [doi]
• Short Text Categorization via Coherence ConstraintsAnca Dinu. 247-250 [doi]
• Using Exploratory Data Analysis for Fraud Elicitation through Supervised LearningVinicius Almendra, Bianca Roman. 251-254 [doi]
• Probabilistic Approach for Automated Reasoning for Lane Identification in Intelligent VehiclesVoichita Popescu, Mihai Bace, Sergiu Nedevschi. 255-258 [doi]
• Searching Simulation Scenarios on the Grid with ELSIGExplorerIoan Lucian Muntean, Laura Maria Dansorean. 261-267 [doi]
• Pattern Detection Model for Monitoring Distributed SystemsCristian-Mircea Dinu, Florin Pop, Valentin Cristea. 268-275 [doi]
• Metric Denotational Semantics for Parallel Rewriting of MultisetsGabriel Ciobanu, Eneia Nicolae Todoran. 276-283 [doi]
• A Distributed Approach for Solving Systems of Nonlinear EquationsAdrian Mocanu, Nicolae Tapus. 284-290 [doi]
• Grid Based Services and Tools for Hydrological Model Processing and VisualizationVictor Bacu, Danut Mihon, Teodor Stefanut, Denisa Rodila, Dorian Gorgan, Pierluigi Cau, Simone Manca. 291-298 [doi]
• A Data Dissemination Algorithm for Opportunistic NetworksRadu-Ioan Ciobanu, Ciprian Dobre, Valentin Cristea. 299-305 [doi]
• Parallel Migration Models Applied to Competitive Differential EvolutionPetr Bujok, Josef Tvrdík. 306-312 [doi]
• Multi-agent Resource Allocation Algorithm Based on the XSufferage Heuristic for Distributed SystemsAlexandru Gherega, Valentin Pupezescu. 313-320 [doi]
• An Upper Bound on Checking Test Complexity for Almost All CographsOleg V. Zubkov, Dmitry V. Chistikov, Andrey A. Voronenko. 323-330 [doi]
• Nominal Semantics of the pi I-calculusAndrei Alexandru, Gabriel Ciobanu. 331-338 [doi]
• On the Complexity of Szilard Languages of Matrix GrammarsLiliana Cojocaru, Erkki Mäkinen. 339-347 [doi]
• On a Non-periodic Shrinking GeneratorInese Berzina, Raivis Bets, Janis Buls, Edmunds Cers, Liga Kulesa. 348-354 [doi]
• Trust Model for Virtual OrganizationsSofia Neata, Andreea Urzica, Adina Magda Florea. 357-364 [doi]
• Multi-agent Stock Trading Algorithm ModelMonica Tirea, Ioan Tandau, Viorel Negru. 365-372 [doi]
• Enhancing Objects' Autonomy through the Classification of Objects' InteractionsCalin Sandru. 373-380 [doi]
• Software Framework for Agent-Based Games and SimulationsGeorge Sacerdotianu, Sorin Ilie, Costin Badica. 381-388 [doi]
• Communication Schemes of a Parallel Fluid Solver for Multi-scale Environmental SimulationsJérôme Frisch, Ralf-Peter Mundani, Ernst Rank. 391-397 [doi]
• Dealing with Class Noise in Large Training Datasets for Malware DetectionDragos Gavrilut, Liviu Ciortuz. 401-407 [doi]
• Lorenz Equilibrium: Concept and Evolutionary DetectionRéka Nagy, D. Dumitrescu, Rodica Ioana Lung. 408-412 [doi]