Table of Contents

• The Gradual Computerisation of Mathematics in MathLangFairouz Kamareddine. 3 [doi]
• SymGrid: A Framework for Symbolic Computations on the GridKevin Hammond. 4 [doi]
• Relational Declarative Programming with JBoss DroolsMark Proctor. 5 [doi]
• P2P Open Agent Networks for Decision MakingVladimir Gorodetsky, Oleg Karsaev, Vladimir Samoilov, Sergey Serebryakov. 6 [doi]
• Some Applications of Weakly Picard OperatorsIoan A. Rus. 7-10 [doi]
• Journal as Active Math-Agents: Outline of a Project with a Mathematics PublisherBruno Buchberger. 11-12 [doi]
• Modeling Origami and BeyondTetsuo Ida. 13 [doi]
• Descente Infinie Induction-Based Saturation ProceduresSorin Stratulat. 17-24 [doi]
• A Tool for Calculating Exponential Run-Time PropertiesHugh Anderson, Siau-Cheng Khoo, Yijie Liu. 25-32 [doi]
• Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and DecidabilityCatalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia. 33-40 [doi]
• Decompositions of Natural Numbers: From a Case Study in Mathematical Theory ExplorationAdrian Craciun, Madalina Hodorog. 41-47 [doi]
• Functional-Based Comparison between Two Special Classes of Uni- and Bidirectional Systolic ArraysLaura Ruff. 51-58 [doi]
• Parallel Multiple Polynomial Quadratic Sieve on Multi-Core ArchitecturesGeorgiana Macariu, Dana Petcu. 59-65 [doi]
• Branching Programs, Grammar Systems and the NC1 ClassLiliana Cojocaru. 66-73 [doi]
• Structural Properties and Observability in Membrane SystemsBogdan Aman, Gabriel Ciobanu. 74-81 [doi]
• Proving Behavioral Commutativity with CIRCDorel Lucanu. 85-92 [doi]
• Identification of Relational Discrepancies between Database Schemas and Source-Code in Enterprise ApplicationsCristina Marinescu. 93-100 [doi]
• McC and Mc#: Unified C++ and C# Design Facts Extractors ToolsPetru Florin Mihancea, George Ganea, Ioana Verebi, Cristina Marinescu, Radu Marinescu. 101-104 [doi]
• Sharing Rules between JBoss and JenaOana Nicolae, Ion-Mircea Diaconescu, Adrian Giurca, Gerd Wagner. 105-108 [doi]
• Approximation of Attractors by a Variable Time-Stepping Algorithm for Runge-Kutta MethodsPetre Bazavan. 111-117 [doi]
• Runge-Kutta Methods and Inverse Hermite InterpolationRadu Tiberiu Trimbitas, Maria Gabriela Trimbitas. 118-123 [doi]
• Customized Reflection Lines for Surface Interrogation in Car Body DesignDan Eugen Ulmet. 124-129 [doi]
• Invariance in the Class of Weighted Power MeansIulia Costin. 130-134 [doi]
• Principal Directions-Based Algorithm for Classification TasksLuminita State, Catalina Cocianu, Panayiotis Vlamos, Doru Constantin. 137-143 [doi]
• Implication-Based Support Measures for Fuzzy Association RulesIon Iancu, Mihai Gabroveanu, Mirel Cosulschi, Nicolae Constantinescu. 144-150 [doi]
• Using Shannon Entropy in ETL ProcessesMarian Razvan Balta, Victor Felea. 151-156 [doi]
• Wikipedia-Based Kernels for Text CategorizationZsolt Minier, Zalan Bodo, Lehel Csató. 157-164 [doi]
• On Equivalence of Queries Using ViewsVictor Felea, Marian Razvan Balta. 165-172 [doi]
• Weighted Threshold RSA Based on the Chinese Remainder TheoremSorin Iftene, Manuela Grindei. 175-181 [doi]
• An Extension of the RSA Trapdoor in a KEM/DEM FrameworkBogdan Groza. 182-187 [doi]
• Automatic State-Based Test Generation Using Genetic AlgorithmsRaluca Lefticaru, Florentin Ipate. 188-195 [doi]
• Approximate Satisfiability CountingStefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea. 196-202 [doi]
• Image-Adaptive Watermarking Using JSEG Segmentation TechniqueMonica Radulescu, Felicia Ionescu. 205-210 [doi]
• Semantic Categorization and Retrieval of ImagesAnca Loredana Ion, Liana Stanescu, Dumitru Dan Burdescu. 211-218 [doi]
• A Distributed Architecture System for Recognizing Textual EntailmentAdrian Iftene, Alexandra Balahur-Dobrescu, Daniel Matei. 219-226 [doi]
• An Agent for Constraint Acquisition and EmergenceJoël Quinqueton, Gilles Raymond, Christian Bessière. 229-234 [doi]
• Adaptive Information Provisioning in an Agent-Based Virtual Organization- Preliminary ConsiderationsMaria Ganzha, Marcin Paprzycki, Maciej Gawinecki, Costin Badica, Elvira Popescu, Myon-Woong Park. 235-241 [doi]
• Dynamic Workflow in Grid-MAS Integration ContextPaola Salle, Danièle Hérin, Frédéric Duvert, Stefano A. Cerri. 242-245 [doi]
• The CMDS Medical Diagnosis SystemBarna Laszlo Iantovics. 246-253 [doi]
• Adaptive Negotiation Based on Rewards and Regret in a Multi-Agent EnvironmentAdina Magda Florea, Eugenia Kalisz. 254-259 [doi]
• Experimental Analysis of the Impact of the Message Management in the Case of the ABT FamilyHoria Emil Popa, Ionel Muscalagiu, Diana Maria Muscalagiu, Viorel Negru. 260-266 [doi]
• Building Agent-Based Simulations Using Structural and Process Mental ModelsMarco Stuit, Nick B. Szirbik, Hans Wortmann. 267-274 [doi]
• AgentDiscover: A Multi-Agent System for Knowledge Discovery from DatabasesHoria Emil Popa, Daniel Pop, Viorel Negru, Daniela Zaharie. 275-282 [doi]
• Parallel CBIR System for Efficient Hyperspectral Image Retrieval from Heterogeneous Networks of WorkstationsAntonio Plaza, Javier Plaza, Abel Paz, Soraya Blazquez. 285-291 [doi]
• Grid Service for Environmental Data Retrieval and Disasters Detection Based on Satellite Image AnalysisMihai Pantelimon, Florin Pop, Valentin Cristea. 292-297 [doi]
• Cluster-Based Implementation of a Morphological Watershed Algorithm for Parallel Classification of Multichannel ImagesAntonio J. Plaza. 298-303 [doi]
• Remote Control for Graphic ApplicationsMarc Frîncu, Dana Petcu. 304-309 [doi]
• Automatic and Reliable Distribution of Data in Grids over Globus ToolkitAdrian Colesa, Teodor Pop, Iosif Ignat, Cosmin Ardelean. 310-316 [doi]
• A Performance Analysis on Message Passing Tools for the GridDacian Tudor, Georgiana Macariu, Vladimir Cretu. 317-322 [doi]
• Finding the Optimal Read Buffer Size for Grid ApplicationsRodica Potolea, Alin Suciu. 323-326 [doi]
• Composing Web-Based Mathematical ServicesAlexandru Cârstea, Georgiana Macariu, Marc Frîncu, Dana Petcu. 327-334 [doi]
• Mineral Explorations by Landsat Image RatiosMircea Alexandru Imbroane, Cornelia Melenti, Dorian Gorgan. 335-340 [doi]
• Diagrammatic Description of Satellite Image Processing WorkflowAnca Radu, Victor Bacu, Dorian Gorgan. 341-348 [doi]
• GLinda - Grid-Based Distributed Linda SystemIldiko Marton Kinga, Colesa Adrian. 349-352 [doi]
• A Distributed Algorithm for Multispectral Image SegmentationClaudiu Gruia, Florin Pop, Valentin Cristea. 353-360 [doi]
• Peer-to-Peer Wikis: Replication of Highly Dynamic Content on XWikiSergiu Dumitriu, Sabin C. Buraga. 361-366 [doi]
• On a Steffensen Type MethodIon Pavaloiu, Emil Catinas. 369-375 [doi]
• Strong Convergence of the Projection Method in Convex Feasibility ProblemStefan Maruster, Cristina Popirlan. 376-380 [doi]
• The Algorithm that Determines the Start Iteration of the Halley-Altman MethodOctavian Cira, Cristian-Mihai Cira. 381-386 [doi]
• Iterative Approximation of Fixed Points of Almost ContractionsVasile Berinde, Madalina Pacurar. 387-392 [doi]
• A Hybrid Genetic Programming and Boosting Technique for Learning Kernel Functions from Training DataMarta Gîrdea, Liviu Ciortuz. 395-402 [doi]
• AdaGEP - An Adaptive Gene Expression Programming AlgorithmElena Bautu, Andrei Bautu, Henri Luchian. 403-406 [doi]
• Graph Rewriting and Strategies for Modeling Biochemical NetworksOana Andrei, Hélène Kirchner. 407-414 [doi]
• Particle Swarm Optimization Hybrids for Searching Ground States of Ising Spin GlassesAndrei Bautu, Elena Bautu, Henri Luchian. 415-418 [doi]
• An Application of Ant Colony Optimization to Decision Making on Affective Virtual EntitiesJosé A. Mocholí, Javier Jaen. 419-426 [doi]
• Overrepresentations in Neutral Genotype-Phenotype Mappings and their ApplicationsDavid Iclanzan, D. Dumitrescu. 427-432 [doi]
• Designing Fast and Accurate Fuzzy Approximators with Kohonen Networks and Genetic AlgorithmsOctav Brudaru, Octavian Buzatu. 433-440 [doi]
• Neuro-Hill-Climber: A New Approach Towards More Intelligent Search and OptimizationDavid Iclanzan, Peter-Istvan Fulop, D. Dumitrescu. 441-448 [doi]
• A Bio-Inspired Approach for a Dynamic Railway ProblemPetrica C. Pop, Camelia-Mihaela Pintea, Corina Pop Sitar, Dumitru Dumitrescu. 449-452 [doi]
• A Hybrid Genetic Algorithm Based on the Potts SystemLaura Diosan, Dumitru Dumitrescu. 453-456 [doi]
• BluEJAMM: A Bluespec Embedded Java Architecture with Memory ManagementFlavius Gruian, Mark Westmijze. 459-466 [doi]
• PEARLS: An Integrated Environment for Task SchedulingNilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley, Stefan Andrei. 467-473 [doi]
• Path-Constrained Relaxed Schedulability AnalysisStefan Andrei, Samarjit Chakraborty. 474-482 [doi]
• Rule Modeling and InterchangeAdrian Giurca, Gerd Wagner. 485-491 [doi]
• Rules for Learner Modeling and Adaptation Provisioning in an Educational Hypermedia SystemElvira Popescu, Costin Badica, Philippe Trigano. 492-499 [doi]
• Proposal of Business Process and Rules Modeling with the XTT MethodGrzegorz J. Nalepa. 500-506 [doi]
• Towards Using Grid Services for Mining Fuzzy Association RulesMihai Gabroveanu, Ion Iancu, Mirel Cosulschi, Nicolae Constantinescu. 507-513 [doi]
• Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri NetLu Songfeng, Sun Chengfu, Ma Xinjian. 514-517 [doi]
• Towards a Mapping from Java Vocabulary to RDFSIon-Mircea Diaconescu, Gerd Wagner. 518-522 [doi]
• Towards Build-Time Interoperability of Workflow Definition LanguagesSarah D. Induruwa Fernando, Douglas A. Creager, Andrew C. Simpson. 525-532 [doi]
• A Reflective PN-Based Approach to Dynamic Workflow ChangeLorenzo Capra, Walter Cazzola. 533-540 [doi]
• A Process Mining Approach to Redesign Business Processes - A Case Study in Gas IndustryN. R. T. van Beest, L. Maruster. 541-548 [doi]