Abstract is missing.
- The Sparsity ChallengesJames Harold Davenport, Jacques Carette. 3-7 [doi]
- Coloring Random Graphs: A Short SurveyLefteris M. Kirousis. 8 [doi]
- A Compiler for Origami Construction and VerificationTetsuo Ida. 9 [doi]
- Finding Loop Invariants for Programs over Arrays Using a Theorem ProverLaura Kovács, Andrei Voronkov. 10 [doi]
- Embedding Formal Methods into Systems EngineeringHelmut Veith. 11 [doi]
- SMT Solvers for Testing, Program Analysis and Verification at MicrosoftNikolaj Bjørner. 15 [doi]
- Satisfiability and TheoriesAndrei Voronkov. 16 [doi]
- Automated Methods for Proving Program Termination and LivenessAndrey Rybalchenko. 17 [doi]
- Automated Software AnalysisHelmut Veith. 18 [doi]
- m-Hilbert Polynomial and Arbitrariness of the General Solution of Partial Differential EquationsQi Ding, Hong-Qing Zhang. 21-27 [doi]
- Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner BasesYanli Huang, Dongming Wang. 28-36 [doi]
- A Hybrid Algorithm for Solving 7 Parameters TransformationA. Hashemi, M. Kalantari. 37-44 [doi]
- Superfluous S-polynomials in Strategy-Independent Groebner BasesGrant Olney Passmore, Leonardo Mendonça de Moura. 45-53 [doi]
- Toom-Cook 8-way for Long Integers MultiplicationAlberto Zanoni. 54-57 [doi]
- A Hierarchy of Tractable Subclasses for SAT and Counting SAT ProblemsStefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap. 61-68 [doi]
- Formal Proof of Theorems on Genetic Regulatory NetworksMaxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard. 69-76 [doi]
- A Calculus for Imperative Programs: Formalization and ImplementationMadalina Erascu, Tudor Jebelean. 77-84 [doi]
- Simplification and Generalization in CIRCEugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu. 85-92 [doi]
- Using a fUML Action Language to Construct UML ModelsCodrut-Lucian Lazar, Ioan Lazar, Bazil Pârv, Simona Motogna, István Gergely Czibula. 93-101 [doi]
- On Herbrand-like Theorems for Cut-free Modal Sequent LogicsAlexander V. Lyaletski. 102-109 [doi]
- The Lucas Optimal Growth Model on Finite HorizonNadia Bonchis. 113-117 [doi]
- Hybrid Modelling of an Audio Signal Based on 1-D Wold DecompositionIuliana Borza, Flavius Turcu, Mohamed Najim. 118-123 [doi]
- Finding the Solutions of Nonlinear Equation Systems from an IntervalCristian Cira Mihai. 124-129 [doi]
- A Numerical Solution of the Semi Linear Singularly Perturbed Boundary Value Problem Using Multi Region Finite Difference MethodDavid Edwards Jr.. 130-136 [doi]
- Monte Carlo Variance Reduction. Importance Sampling TechniquesOlariu S. Emanuel Florentin. 137-141 [doi]
- Solving Nonsmooth Interval Equations with SlopesRongfen Lin, Hao Jiang, Lizhi Cheng. 142-149 [doi]
- On a Functional-Differential Equation from Price TheoryAnton S. Muresan. 150-156 [doi]
- An Algorithm for the Approximation of the Solution of a Functional-Integral EquationViorica Muresan. 157-161 [doi]
- Cancer Prediction Modeling from Volumetric DataMarius Paltanea, Sabin Tabirca, Yin Jie Chen, Mark Tangney. 162-167 [doi]
- Sparse Matrix Computations Using the Quadtree Storage FormatIvan Simecek. 168-173 [doi]
- MATLAB Package for Laguerre Spectral MethodDamian Trif. 174-177 [doi]
- Fairness and QoS Enhancement Models and Techniques for Peer-to-Peer Content Sharing SystemsMugurel Ionut Andreica, Irina Borozan, Lucian-Ionut Balaceanu, Nicolae Tapus. 181-188 [doi]
- A Grid Enabled Quantum Computer SimulatorSimona Caraiman, Alexandru Archip, Vasile I. Manta. 189-196 [doi]
- Description and Execution of Patterns for Symbolic ComputationsAlexandru Cârstea, Georgiana Macariu, Marc Frîncu, Dana Petcu. 197-204 [doi]
- Distributed Scheduling Policy in Service Oriented EnvironmentsMarc Frîncu. 205-212 [doi]
- Dynamic Resources Allocation in Grid EnviromentsMarius Ion, Florin Pop, Ciprian Dobre, Valentin Cristea. 213-220 [doi]
- Performance Improvement of Genetic Algorithms by Adaptive Grid WorkflowsBoro Jakimovski, Dragan Sahpaski, Goran Velinov. 221-228 [doi]
- Fault Tolerance Using a Front-End Service for Large Scale Distributed SystemsMarieta Nastase, Ciprian Dobre, Florin Pop, Valentin Cristea. 229-236 [doi]
- Bounded Parallelism in PowerList and ParList TheoriesVirginia Niculescu, Adriana Mihaela Guran. 237-244 [doi]
- Semantic Annotation Based Service Composition for Grid Workflow Description and ExecutionDenisa Rodila, Victor Bacu, Dorian Gorgan. 245-253 [doi]
- Dynamic Scheduling Algorithms for Workflow Applications in Grid EnvironmentAlina Simion, Dragos Sbirlea, Florin Pop, Valentin Cristea. 254-261 [doi]
- Algorithms for Identifying Sequence Patterns with Several Types of Occurrence ConstraintsMugurel Ionut Andreica, Nicolae Tapus, Andrei Grigorean. 265-272 [doi]
- A Depth-first Algorithm to Reduce Graphs in Linear TimeMiklós Bartha, Miklós Krész. 273-281 [doi]
- On the Existence of Complete Disjoint NP-PairsOlaf Beyersdorff. 282-289 [doi]
- A Methodology for Concurrent Languages Development Based on Denotational SemanticsGabriel Ciobanu, Eneia Nicolae Todoran. 290-298 [doi]
- 1Liliana Cojocaru, Erkki Mäkinen, Ferucio Laurentiu Tiplea. 299-306 [doi]
- Factorizations of Regular Hedge LanguagesMircea Marin, Adrian Craciun. 307-314 [doi]
- Matching Semantic Web Services Using Learning AccuracyViorica R. Chifu, Ioan Salomie, Emil St. Chifu, Roland Vachter, Alpár Kövér. 317-324 [doi]
- Semantic Web Service Composition Method Based on Fluent CalculusViorica R. Chifu, Ioan Salomie, Ioana Harsa, Marius Gherga. 325-332 [doi]
- A Policy-Based Context Aware Self-Management ModelTudor Cioara, Ionut Anghel, Ioan Salomie, Mihaela Dinsoreanu. 333-340 [doi]
- Dynamic Customization of Data Structures Instances Using an Agent Based ApproachIstván Gergely Czibula, Gabriela Czibula, Adriana Mihaela Guran. 341-347 [doi]
- Beliefs and Communication, The Basis of Collaborative AgentsIon-Mircea Diaconescu, Gerd Wagner. 348-355 [doi]
- Approximating and Combining Equilibria in Non-cooperative GamesD. Dumitrescu, Rodica Ioana Lung, Tudor Dan Mihoc. 356-360 [doi]
- Alleviating Urban Traffic Congestion by Means of Adaptive RoutingCristian Gratie, Adina Magda Florea. 361-367 [doi]
- Mamdani FLC with Various ImplicationsIon Iancu, Mihaela Colhon. 368-375 [doi]
- Immune-inspired Web Service Composition FrameworkCristina Bianca Pop, Viorica R. Chifu, Ioan Salomie, Mihaela Dinsoreanu, Iulia Vartic, Monica Vlad. 376-383 [doi]
- Exploring New Directions in Iris RecognitionNicolaie Popescu-Bodorin. 384-391 [doi]
- A Bray-Curtis Weighted Automaton for Detecting Malicious Code Through System-Call AnalysisCiprian-Petrisor Pungila. 392-400 [doi]
- Enhanced Rule-Based Phonetic Transcription for the Romanian LanguageMihai Alexandru Ordean, Andrei Saupe, Mihaela Ordean, Melania Duma, Gheorghe Cosmin Silaghi. 401-406 [doi]
- Relational Operators in Heterogeneous Random DatabasesLetitia Velcescu, Laurentiu Vasile. 407-412 [doi]
- Unified Strategy for Feature Selection and Data ImputationCamelia Vidrighin Bratu, Rodica Potolea. 413-419 [doi]
- On Sensor Data SimulationAlexandru-Ciprian Zavoianu, Ciprian Dorin Craciun. 420-425 [doi]