Abstract is missing.
- Multi-Domain Logic and its Applications to SATTudor Jebelean, Gábor Kusper. 3-8 [doi]
- Communicating Mathematics via Pen-Based InterfacesElena S. Smirnova, Stephen M. Watt. 9-18 [doi]
- Random Numbers for Quantum Key DistributionHugo Zbinden. 19 [doi]
- Graph Rewriting in Computational OrigamiTetsuo Ida. 20-27 [doi]
- Triangular Decomposition for Algebraic and Geometric ComputingDongming Wang. 28 [doi]
- Expansions and Equivalence of Queries Using Views with Parameters and NegationVictor Felea, Marian Razvan Balta. 31-38 [doi]
- On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent CalculiAlexander V. Lyaletski. 39-46 [doi]
- Axiomatization of Credulous Reasoning in Default Logics using Sequent CalculusMihaiela Lupea. 47-53 [doi]
- Non-Well-Founded Probabilities and Coinductive Probability LogicAndrew Schumann. 54-57 [doi]
- Abstract Matrix ArithmeticAlan P. Sexton, Volker Sorge, Stephen M. Watt. 61-68 [doi]
- On Computing Solutions of Linear Diophantine Equations with One Non-linear ParameterArmin Größlinger, Stefan Schuster. 69-76 [doi]
- Groebner Bases and Solutions to Diophantine EquationsMihai Cipu. 77-80 [doi]
- Complementaries of Greek Means with Respect to the Logarithmic MeanIulia Costin. 81-84 [doi]
- A Rewrite Stack Machine for ROC!Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras. 85-91 [doi]
- Lexical Chains Segmentation in SummarizationDoina Tatar, Andreea Diana Mihis, Gabriela Serban Czibula. 95-101 [doi]
- Supply Chain Risk Management by Mining Business DependenciesLucian Hancu. 102-109 [doi]
- Grammar-Based Automatic Extraction of DefinitionsAdrian Iftene, Ionut Pistol, Diana Trandabat. 110-115 [doi]
- Building a Textual Entailment System for the RTE3 Competition. Application to a QA SystemAdrian Iftene. 116-122 [doi]
- Clustering Heterogeneous Web Data using Clustering by Compression. Cluster ValidityAlexandra Cernian, Dorin Carstoiu, Adriana Olteanu. 123-126 [doi]
- Constrained Content Distribution and Communication Scheduling for Several Restricted Classes of GraphsMugurel Ionut Andreica, Nicolae Tapus. 129-136 [doi]
- Optimal Scheduling of Two Communication Flows on Multiple Disjoint Packet-Type Aware PathsMugurel Ionut Andreica, Nicolae Tapus. 137-144 [doi]
- Resource Competition and Synchronization in MembranesBogdan Aman, Gabriel Ciobanu. 145-151 [doi]
- Data Compression on Multisets. Submultiset-Free CodesCosmin Bonchis, Gabriel Ciobanu, Graiela Ghergu, Cornel Izbasa. 152-157 [doi]
- Coverability Problems for Jumping Petri NetsCristian Vidrascu. 158-163 [doi]
- A (Timed) State-Transition Semantics for Reflective Petri NetsLorenzo Capra. 164-170 [doi]
- The Numerical Solutions for an Elliptic Control ProblemRazvan Stefanescu, Viorel Arnautu. 173-176 [doi]
- Analytic Approximate Periodic Solutions Based on Harmonic AnalysisConstantin Bota, Bogdan Caruntu, Marius Babescu. 177-182 [doi]
- Gauss-Lobatto-Kronrod Formulae and Adaptive Numerical IntegrationRadu Tiberiu Trimbitas, Maria Gabriela Trimbitas. 183-186 [doi]
- A CRT-Based Solution to Yao s Millionaires ProblemSorin Iftene, Daniel Pasaila. 189-192 [doi]
- Secrecy for Bounded Security Protocols under Composed Keys and Disequality TestsCatalin V. Birjoveanu. 193-196 [doi]
- Some Structural and Security Properties of the Modular Secret SharingTatsiana Galibus, Gennadii Matveev, Nikolay Shenets. 197-200 [doi]
- A Comparative Landscape Analysis of Fitness Functions for Search-Based TestingRaluca Lefticaru, Florentin Ipate. 201-208 [doi]
- Semi-Automated Wrappers Using Rule TreesAdrian Iasinschi, Mirel Cosulschi. 209-215 [doi]
- Combining Old-Fashioned Computer Go with Monte Carlo GoFlorin Chelaru, Liviu Ciortuz. 216-222 [doi]
- Avoiding Segmentation in Multi-Digit Numeral String Recognition by Combining Single and Two-Digit Classifiers Trained without Negative ExamplesDan Ciresan. 225-230 [doi]
- Dynamics of a Utility Based Distributed Video Proxy-CacheClaudiu Cobârzan, Alin Mihaila, Cristina Mihaila. 231-238 [doi]
- Prufer Number Encoding for Genetic Bayesian Network Structure Learning AlgorithmBeata Reiz, Lehel Csató, Dan Dumitrescu. 239-242 [doi]
- Automatic Assessment of Cardiac Artery Disease by Using DCAD ModuleVahid Khalilzad-Sharghi, Alireza Talebpour, Alireza Kamali-Asl, Nastaran Hendijani. 243-246 [doi]
- Concern-Oriented and Ontology-Based Design Approach of Software ArchitecturesCrenguta Madalina Bogdan. 249-252 [doi]
- Clustering Based Automatic Refactorings IdentificationIstván Gergely Czibula, Gabriela Czibula. 253-256 [doi]
- iComponent: A Platform Independent Component Model for Dynamic Execution EnvironmentsIoan Lazar, Bazil Pârv, Simona Motogna, István Gergely Czibula, Codrut-Lucian Lazar. 257-264 [doi]
- Verbalising R2ML Rules into SBVROana Nicolae, Gerd Wagner. 265-272 [doi]
- ContractCML - A Contract Aware Component Modeling LanguageVladiela Petrascu, Dan Ioan Chiorean, Dragos Petrascu. 273-276 [doi]
- Termination Analysis by Program InversionStefan Andrei. 277-280 [doi]
- niSiDe: Interactive Tool for Understanding Distributed SoftwareDan C. Cosma. 281-284 [doi]
- Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++Petru Florin Mihancea. 285-288 [doi]
- Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented ProgrammingEneia Nicolae Todoran, Nicolae Gherman. 289-294 [doi]
- From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent ApproachAmelia Badica, Costin Badica. 297-304 [doi]
- Considerations on Using Ontologies in Complex SystemsVictoria Iordan, Alexandru Cicortas. 305-309 [doi]
- Solving the Countdown Problem Using Automatic Composition of Semantic Web ServicesAndrei-Horia Mogos, Adina Magda Florea. 310-315 [doi]
- Using Mobile Agents and Intelligent Data Analysis Techniques for Climate Environment Modeling and Weather Analysis and PredictionMogos Radu Ioan, Socoll Paula Liliana. 316-319 [doi]
- DL-AgentRecom - A Multi-Agent Based Recommendation System for Scientific DocumentsHoria Emil Popa, Viorel Negru, Daniel Pop, Ionel Muscalagiu. 320-324 [doi]
- A Theory of Adaptable Contract-Based Service CompositionGiovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi. 327-334 [doi]
- Solving Storage Limitations Using a Peer-to-Peer Web File SystemFlorian Mircea Boian, Rares Florin Boian. 335-339 [doi]
- UML Model Refactoring as Refinement: A Coalgebraic PerspectiveLuÃs Soares Barbosa, Sun Meng. 340-347 [doi]
- Primal Congestion Control Algorithms for Multimedia StreamsAdrian Sterca. 348-353 [doi]
- Time Slot Groups - A Data Structure for QoS-Constrained Advance Bandwidth Reservation and Admission ControlMugurel Ionut Andreica, Nicolae Tapus. 354-357 [doi]
- BBUFs: A New Lookup Mechanism Based on IPV6Dan Cojocar. 358-361 [doi]
- Undecidability Results for Finite Interactive SystemsAlexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu. 366-369 [doi]
- Workflow Management for Symbolic Grid ServicesAlexandru Cârstea, Georgiana Macariu, Marc Frîncu, Dana Petcu. 373-379 [doi]
- A Distributed Algorithm for Critical Area Detection in Satellite ImageryRazvan Alecsandrescu, Florin Pop, Valentin Cristea. 380-386 [doi]
- Design and Performance Evaluation of a Resource Allocation System Based on Agreement ServicesMichel Hurfin, Jean-Pierre Le Narzul. 387-393 [doi]
- Designing a Grid-Based Training Platform for Earth ObservationSilviu Panica, Marian Neagul, Dana Petcu, Teodor Stefanut, Dorian Gorgan. 394-397 [doi]
- Designing a Dynamic Replication Engine for Grid Shared Data ProgrammingGeorgiana Macariu, Dacian Tudor, Vladimir Cretu. 402-409 [doi]
- Broadcasting Clouds Masks and Snow Areas Detected in MedioGrid to Mobile DevicesCiprian Bortos, Mihaela Ordean, Gheorghe Cosmin Silaghi. 410-415 [doi]
- Cluster Based Modeling and Remote Visualization of Virtual Geographical SpaceVictor Bacu, Lucian Muresan, Dorian Gorgan. 416-421 [doi]
- Practical Issues in Implementing TRNGs in FPGAs Based on the Ring Oscillator Sampling MethodOctavian Cret, Alin Suciu, Tamas Györfi. 433-438 [doi]
- Software Random Number Generation Based on Race ConditionsAdrian Colesa, Radu Tudoran, Sebastian Banescu. 439-444 [doi]
- Data Flow Entropy CollectorAlin Suciu, Kinga Marton, Zoltan Antal. 445-448 [doi]
- Bipolar Junction Effects for High Entropy Data HarvestersGabriel Chindris, Marius Muresan. 449-452 [doi]
- A Cryptographic Algorithm Based on a Pseudorandom Number GeneratorDominic Bucerzan. 453-456 [doi]
- Anatomy of Differential Power Analysis for AESJude Angelo Ambrose, Naeill Aldon, Aleksandar Ignjatovic, Sri Parameswaran. 459-466 [doi]
- Towards a Real-Time Scheduling Framework for Data Transfers in Tree NetworksMugurel Ionut Andreica, Eliana-Dina Tirsa. 467-474 [doi]
- Optimizing Automotive Cyber-Physical System Specifications with Multi-Event DependenciesStefan Andrei, Albert Mo Kim Cheng. 475-479 [doi]
- Timed and Hybrid Automata in SALP. Vijay Suman, Paritosh K. Pandya. 480-486 [doi]
- Hardware Implementation of P Systems Using Microcontrollers. An Operating Environment for Implementing a Partially Parallel Distributed ArchitectureSandra Maria Gómez Canaval, Abraham Gutierrez Rodriguez, Santiago Alonso Villaverde. 489-495 [doi]
- Algorithm for Application of Evolution Rules Based on Linear Diofantic EquationsAlberto Arteta, Luis Fernandez, Javier Gil. 496-500 [doi]
- Searching Ground States of Ising Spin Glasses with a Tree Bond-Based RepresentationAndrei Bautu, Elena Bautu, Henri Luchian. 501-506 [doi]
- An Evolutionary Approach for Modeling Time SeriesElena Bautu, Andrei Bautu, Henri Luchian. 507-513 [doi]
- Selective Breeding Analysed as a Communication Channel: Channel Capacity as a Fundamental Limit on Adaptive ComplexityChris Watkins. 514-518 [doi]
- Using Base Pairing Probabilities for MiRNA RecognitionDaniel Pasaila, Irina Mohorianu, Liviu Ciortuz. 519-525 [doi]
- Multi-Population Agent Search: Stigmergy and HeterogeneityCamelia Chira, Camelia-Mihaela Pintea, Dumitru Dumitrescu. 526-531 [doi]
- Shaping Up Clusters with PSOMihaela Breaban, Silvia Luchian. 532-537 [doi]
- Analysis of Some Mating and Collaboration Strategies in Evolutionary AlgorithmsAnca Gog, Camelia Chira, D. Dumitrescu, Daniela Zaharie. 538-542 [doi]
- An Adaptive Particle Swarm Optimizer Using Balanced Explorative and Exploitative BehaviorsSayan Ghosh, Debarati Kundu, Kaushik Suresh, Swagatam Das, Ajith Abraham. 543-550 [doi]
- Investigating Landscape Topology for Subpopulation Differentiation in Genetic ChromodynamicsRuxandra Stoean, Catalin Stoean, D. Dumitrescu. 551-554 [doi]
- Decentralized Dynamic Resource Allocation for Workflows in Grid EnvironmentsFlorin Pop, Ciprian Dobre, Valentin Cristea. 557-563 [doi]
- Towards Validating Prediction Systems for Process Understandability: Measuring Process UnderstandabilityJoachim Melcher, Detlef Seese. 564-571 [doi]
- Visualization and Clustering of Business Process Collections Based on Process Metric ValuesJoachim Melcher, Detlef Seese. 572-575 [doi]
- Checking Correctness and Compliance of Integrated Process ModelsRené Wörzberger, Thomas Kurpick, Thomas Heer. 576-583 [doi]