Computer Algebra and Applications -- On Wintner’s Conjecture About Central Configurations -- Polynomial General Solutions for First Order Autonomous ODEs -- The Newton Polygon Method for Differential Equations -- Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems -- Hybrid Method for Solving New Pose Estimation Equation System -- Some Necessary Conditions…
Information Systems and Information Technologies (ISIT) Workshop -- Mobile Communications (Mobicomm) Workshop -- Authentication Authorization Accounting (AAA) Workshop -- Computational Geometry and Applications (CGA’05) Workshop -- Virtual Reality in Scientific Applications and Learning (VRSAL 2005) Workshop -- Molecular Structures and Processes Workshop -- Pattern Recognition and Ubiquitous …
1. Introduction -- 2. Overview -- 3. Technical Prerequisites -- 4. Change of Basis -- 5. Modular Squarefree and Greatest Factorial Factorization -- 6. Modular Hermite Integration -- 7. Computing All Integral Roots of the Resultant -- 8. Modular Algorithms for the Gosper-Petkovšek Form -- 9. Polynomial Solutions of Linear First Order Equations -- 10. Modular Gosper and Almkvist & Zeilberger Alg…
Workshop On “High Performance Computing in Academia: Systems and Applications” -- Workshop on “Tools for Program Development and Analysis in Computational Science” -- Workshop on “Computer Graphics and Geometric Modeling, CGGM 2005” -- Workshop on “Modelling of Complex Systems by Cellular Automata” -- Workshop on “Wireless and Mobile Systems” -- Workshop on “Dynamic Data D…
Keynote Speech -- Research Issues in Adapting Computing to Small Devices -- Mobile Context-Aware Systems – Linking the Physical and Digital World -- Architecture -- A Data Transformations Based Approach for Optimizing Memory and Cache Locality on Distributed Memory Multiprocessors -- A Fetch Policy Maximizing Throughput and Fairness for Two-Context SMT Processors -- A Loop Transformation Usin…
Invited Talks -- T? ??? ?í ? ??í?? ? The Interaction Between Algorithms and Game Theory -- Using an Adaptive Memory Strategy to Improve a Multistart Heuristic for Sequencing by Hybridization -- High-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed Regular Papers -- The “Real” Approximation Factor of the MST Heuristic for the Minimum…
Monumental Dams -- Approach of Mechanical Behaviour and Rupture of Cohesive Granular Media. Validation on a Model Medium -- Phase Change of Volatile Organic Compounds in Soil Remediation Processes -- Thermo-mechanical Behaviour of a Soil. Yield Surface Evolution -- Water Transport in Soil with Phase Change -- Tunnels in Saturated Elasto-plastic Soils: Three-dimensional Validation of a Plane Sim…
Crisp matrix and bi-matrix games: some basic results -- Fuzzy sets -- Fuzzy numbers and fuzzy arithmetic -- Linear and quadratic programming under fuzzy environment -- Duality in linear and quadratic programming under fuzzy environment -- Matrix games with fuzzy goals -- Matrix games with fuzzy pay-offs -- More on matrix games with fuzzy pay-offs -- Fuzzy Bi-Matrix Games -- Modality and other a…
Pore Scale Network Modelling -- Bundle-of-Tubes Model for Calculating Dynamic Effects in the Capillary-Pressure-Saturation Relationship -- Predictive Pore-Scale Modeling of Single and Multiphase Flow -- Digitally Reconstructed Porous Media: Transport and Sorption Properties -- Pore-Network Modeling of Isothermal Drying in Porous Media -- Phenomenological Meniscus Model for Two-Phase Flows in Po…
Variable Neighborhood Search for Extremal Graphs. XI. Bounds on Algebraic Connectivity -- Problems and Results on Geometric Patterns -- Data Depth and Maximum Feasible Subsystems -- The Maximum Independent Set Problem and Augmenting Graphs -- Interior Point and Semidefinite Approaches in Combinatorial Optimization -- Balancing Mixed-Model Supply Chains -- Bilevel Programming: A Combinatorial Pe…