Table of Contents

• Mathematical Theory ExplorationBruno Buchberger. 3-4 [doi]
• Emergence in Problem Solving, Classification and Machine LearningJoël Quinqueton. 5-9 [doi]
• Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and StatisticsLimsoon Wong. 10 [doi]
• Tiers of webOrigami ProgrammingTetsuo Ida. 11 [doi]
• Improving Pen-Based Mathematical InterfacesStephen M. Watt. 12 [doi]
• Tuning Evolutionary Algorithm Performance Using Nature Inspired HeuristicsAjith Abraham. 13 [doi]
• MATHsAiD: A Mathematical Theorem Discovery ToolRoy L. McCasland, Alan Bundy. 17-22 [doi]
• Scheme-Based Systematic Exploration of Natural NumbersMadalina Hodorog, Adrian Craciun. 23-34 [doi]
• Implementing Parameterized Type Algorithm Definitions in MathematicaAlina Andreica. 35-40 [doi]
• A Two-Level Programming Approach to Volume Propagation in Higher-Dimensional SpacesRadu Zapotinschi, Dorina Peter. 41-46 [doi]
• Doing Numerical Cosmology with the Cactus CodeDumitru N. Vulcanov. 47-54 [doi]
• The Use of Maple Platform for the Study of Geodesic Motion on Curved SpacetimesDumitru N. Vulcanov, Valentina D. Vulcanov. 55-62 [doi]
• A Quality Measure for Multi-Level Community StructureMaylis Delest, Jean-Marc Fedou, Guy Melançon. 63-68 [doi]
• A New k-means Based Clustering Algorithm in Aspect MiningGabriela Serban, Grigoreta Sofia Moldovan. 69-74 [doi]
• HTML Pattern Generator--Automatic Data Extraction from Web PagesMirel Cosulschi, Adrian Giurca, Bogdan Udrescu, Nicolae Constantinescu, Mihai Gabroveanu. 75-78 [doi]
• The Complexity of a Probabilistic Approach to Deal with Missing Values in a Decision TreeLamis Hawarah, Ana Simonet, Michel Simonet. 79-84 [doi]
• The SAD System in Three DimensionsAnatoly Anisimov, Alexander V. Lyaletski. 85-88 [doi]
• Non-Archimedean Valued Sequent LogicAndrew Schumann. 89-92 [doi]
• Incremental Deterministic PlanningStefan Andrei, Wei-Ngan Chin, Martin C. Rinard. 93-102 [doi]
• Color Texture Modeling and Color Image Decomposition in a Variational-PDE ApproachLuminita A. Vese, Stanley Osher. 103-110 [doi]
• Distinguishing 3D-Topological Configurations of Two ToriAdrian Ion, Thomas Illetschko, Yll Haxhimusa, Walter G. Kropatsch. 111-118 [doi]
• Algorithms and Results in Content-Based Visual Query of the Image Databases Resulting from Dicom FilesLiana Stanescu, Anca Ion, Dumitru Dan Burdescu, Marius Brezovan. 119-124 [doi]
• Automatic Extraction of Lip Based on Wavelet Edge DetectionYe-Peng Guan. 125-132 [doi]
• A New Measure Based in the Rough Set Theory to Estimate the Training Set QualityYaile Caballero, Rafael Bello, Alberto Taboada, Ann Nowé, María M. García, Gladys Casas. 133-140 [doi]
• A Stability Analysis Method for Nonlinear Systems with Fuzzy Logic ControllerMarius L. Tomescu, Gheorghe Petrov. 141-150 [doi]
• Pivot-Free Block Matrix InversionStephen M. Watt. 151-155 [doi]
• A New Approach for Accelerating the Sparse Matrix-Vector MultiplicationPavel Tvrdík, Ivan Simecek. 156-163 [doi]
• Bracket Producing Rows and Columns of the Dixon DeterminantWei Xiao, Eng-Wee Chionh. 164-170 [doi]
• The Optimum Convergence Condition for the Durand-Kerner Type Simultaneous Inclusion MethodOctavian Cira, Cristian-Mihai Cira. 171-174 [doi]
• On the Newton s Iterative Method for the Characteristic Equation of a Real Symmetric MatrixRomulus Militaru. 175-180 [doi]
• Process Algebra Specification of Flexible Manufacturing SystemsM. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo. 181-186 [doi]
• A Meta-Model for Enterprise ApplicationsCristina Marinescu, Ioan Jurca. 187-194 [doi]
• Restraint Order Component Model ExecutionAndreea Vescan. 195-200 [doi]
• Conceptual Architecture of a Multi-Agent System for News SyndicationIuliana Dogaru, Amelia Badica, Costin Badica. 201-204 [doi]
• Design Considerations for a Negotiation Component in a Model E-commerce Agent SystemCostin Badica, Gabriel-George Popa, Mihnea Scafes, Maria Ganzha, Maciej Gawinecki, Pawel Kobzdej, Marcin Paprzycki. 205-208 [doi]
• Implementation and Evaluation Model for the Asynchronous Search Techniques: From a Synchronously Distributed System to an Asynchronous Distributed SystemIonel Muscalagiu, Hong Jiang, Horia Emil Popa. 209-216 [doi]
• Multi-Agent Architecture for Knowledge DiscoveryDaniel Pop, Viorel Negru, Calin Sandru. 217-226 [doi]
• A Dynamic Strategy Agent for Supply Chain ManagementMihai Stan, Bogdan Stan, Adina Magda Florea. 227-232 [doi]
• Applying Agent Technology in Water Pollution Monitoring SystemsMihaela Oprea, Constantin Nichita. 233-238 [doi]
• Combining Meta-Heuristics to Solve the Rook ProblemCamelia-Mihaela Pintea, Camelia Chira, D. Dumitrescu. 239-243 [doi]
• Collaborative Agents Interaction Using Message Passing InterfaceGabriel Ciobanu. 244-250 [doi]
• Grid Service Based on GIMP for Processing Remote Sensing ImagesDana Petcu, Victoria Iordan. 251-258 [doi]
• Clouds Mask AlgorithmFloricica Parauan, Mihaela Ordean, Andrei Diamandi. 259-266 [doi]
• MODIS Image Based Computation of Vegetation Indices in MedioGRID ArchitectureVictor Bacu, Ovidiu Muresan, Dorian Gorgan. 267-273 [doi]
• A Parallel Algorithm for Rendering Huge Terrain SurfacesNorbert Somosi, Dana Petcu. 274-278 [doi]
• PIMS--Multispectral Image Processing Tool for Semantic Information Detection Based on Vegetation IndicesCornelia Melenti, Daniel Safta, Dorian Gorgan. 279-288 [doi]
• Active Objects Based Application over Grid EnvironmentRares Barbantan, Dorian Gorgan. 289-295 [doi]
• Providing High Data Availability in MedioGRIDAdrian Colesa, Iosif Ignat, Radu Opris. 296-302 [doi]
• A Framework for Scheduling Image Processing Applications in MedioGRIDMarcela S. Boboila, George V. Iordache, Florin Pop, Valentin Cristea. 303-308 [doi]
• The Design of Stateful Web Services Based on Web Service Resource Framework Implemented in Globus Toolkit 4Laura Sebu, Horia Ciocarlie. 309-316 [doi]
• Cooperative Evolution of Rules for ClassificationCatalin Stoean, Mike Preuss, Dumitru Dumitrescu, Ruxandra Stoean. 317-322 [doi]
• A New Scheme of Using Inference Inside Evolutionary Computation Techniques to Solve CSPsMadalina Ionita, Mihaela Breaban, Cornelius Croitoru. 323-329 [doi]
• Evolutionary Support Vector Regression MachinesRuxandra Stoean, Dumitru Dumitrescu, Mike Preuss, Catalin Stoean. 330-335 [doi]
• Intelligent Optimization Approach of Eigenstructure Assignment Based Flight Control for Advanced FighterYong Fan, Ji-hong Zhu, Zeng-qi Sun. 336-342 [doi]
• Hardware Implementation of a Bounded Algorithm for Application of Rules in a Transition P-SystemVictor J. Martínez, Fernando Arroyo, Abraham Gutierrez, Luis Fernández. 343-349 [doi]
• Design of a Hardware Architecture Based on Microcontrollers for the Implementation of Membrane SystemsAbraham Gutierrez, Luis Fernández, Fernando Arroyo, Victor J. Martínez. 350-353 [doi]
• Number Encodings and Arithmetics over MultisetsCosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu. 354-364 [doi]
• Engineering Drug Design Using a Multi-Input Multi-Output Neuro-Fuzzy SystemCrina Grosan, Ajith Abraham, Stefan Tigan. 365-371 [doi]
• DNA Computing Model for the Minimum Spanning Tree ProblemAili Han, Daming Zhu. 372-377 [doi]
• Soft Competitive Learning and Growing Self-Organizing Neural Networks for Pattern ClassificationGuojian Cheng, Tianshi Liu, Kuisheng Wang, Jiaxin Han. 378-381 [doi]
• The Design of Neural Network Direct Inverse Controller Based on Complex Particle Swarm Optimization AlgorithmYuan-bin Mo, He-tong Liu. 382-388 [doi]
• Modeling Workflows with Recursive ECATNetsAwatef Hicheur, Kamel Barkaoui, Noura Boudiaf. 389-398 [doi]
• Characterizing Workflow Nets Using RegionsNadia Busi, G. Michele Pinna. 399-406 [doi]
• Marked-Controlled Reconfigurable Workflow NetsMarisa Llorens, Javier Oliver. 407-413 [doi]
• Using BPM Technologies for Material Balances ModellingAlexandra Fortis, Florin Fortis. 414-422 [doi]
• E-timed Workflow NetsFerucio Laurentiu Tiplea, Geanina Ionela Macovei. 423-429 [doi]
• The Confluence Property for Petri Nets and its ApplicationsIoana Leahu, Ferucio Laurentiu Tiplea. 430-436 [doi]
• Applying a Symbolic Approach for SWN Enabling Test to Workflow ModelsLorenzo Capra. 437-444 [doi]