2

Alan Sexton, Volker Sorge and Stephen Watt. Abstract Matrix Arithmetic

7

Constantin Doru and Luminita State. An Algorithm for Estimating the Independent Components with Improved Convergence Rate

17

Constantin Bota, Bogdan Caruntu and Marius Babescu. Analytic approximate periodic solutions based on harmonic analysis

18

Mugurel Ionut Andreica and Nicolae Tapus. Constrained Content Distribution and Communication Scheduling for Several Restricted Classes of Graphs

21

Lucian Hancu. Supply Chain Risk Management by Mining Business Dependencies

22

Ioan Lazar, Bazil Parv, Simona Motogna, Istvan-Gergely Czibula and Codrut-Lucian Lazar. iComponent: A Platform-Independent Component Model for Dynamic

24

Victor FELEA and Marian BALTA. Expansions and Equivalence of Queries using Views with Parameters

36

Mugurel Ionut Andreica and Nicolae Tapus. Optimal Scheduling of Two Communication Flows on Multiple Disjoint Packet-Type Aware Paths

37

Doina Tatar, Andreea Diana Mihis and Gabriela Czibula. Lexical Chains Segmentation in Summarization

48

Alexander Lyaletski . On efficient inference search in first-order cut-free modal sequent calculi

51

Cosmin Bonchis, Gabriel Ciobanu, Gratiela Ghergu and Cornel Izbasa. Data compression on multisets. Submultiset-free codes

52

Bogdan Aman and Gabriel Ciobanu. Resource Competition and Synchronization in Membranes

54

Mihaiela Lupea. Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus

55

Cristian Vidrascu. Coverability Problems for Jumping Petri Nets

59

Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu and Gheorghe Grigoras. A Rewrite Stack Machine for ROC!

63

Armin Größlinger and Stefan Schuster. On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter

66

Adrian Iasinschi and Mirel Cosulschi. Semi-automated Wrappers using Rule Trees

68

Adrian Iftene. Building a Textual Entailment system for the RTE3 competition. Application to a QA system

70

Dan Ciresan. Avoiding Segmentation in Multi-digit Numeral String Recognition by Combining Single and Two-digit Classifiers Trained without Negative Examples

71

Adrian Iftene, Ionut Cristian Pistol and Diana TRANDABAT. Grammar-based Automatic Extraction of Definitions

74

Florin Chelaru. Combining Old-fashioned Computer Go with Monte Carlo Go

75

Raluca Lefticaru and Florentin Ipate. A comparative landscape analysis of fitness functions for search-based testing

77

Oana Nicolae and Gerd Wagner. Verbalising R2ML rules into SBVR

81

Quocnam Tran. Temporal Logic Reasoning by Means of Groebner Bases in Boolean Rings

1

Istvan Gergely Czibula and Gabriela Czibula. Clustering based automatic refactorings identification

3

Crenguta Bogdan. Concern-Oriented and Ontology-Based Design Approach of Software Architectures

10

Mihai Cipu. Groebner bases and solutions to Diophantine equations

13

Sorin Iftene and Daniel Pasaila. A CRT-based Solution to Yao's Millionaires' Problem

14

Tatsiana Galibus, Gennadii Matveev and Nikolay Shenets. Some Structural and Security Properties of the Modular Secret Sharing

15

Petru F. Mihancea. Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++

25

Alexandra Cernian, Dorin Carstoiu and Adriana Olteanu. Clustering Heterogeneous Web Data using Clustering by Compression. Cluster Validity

31

Catalin Birjoveanu. Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests

35

Radu Trimbitas and Maria Gabriela Trimbitas. Gauss-Lobatto-Kronrod formulae and adaptive numerical integration

39

Stefan Andrei. Termination Analysis by Program Inversion

45

Vahid Khalilzad-Sharghi, Alireza Talebpour, Alireza Kamali Asl and Nastaran Hendijani. Automatic Assessment of Cardiac Artery Disease Using DCAD Module

47

Dan C. Cosma. Interactive Tool for Understanding Distributed Software

49

Andrew Schumann. Non-well-founded Probabilities and Coinductive Probability Logic

53

Claudiu Cobarzan and Cristina Mihaila. A Genetic Algorithm for Utility Based Video Proxy-Caching

58

Iulia Costin. Complementaries of Greek means with respect to the logarithmic mean

73

Stefanescu Razvan and Viorel Arnautu. The Numerical Solutions for an Elliptic Control Problem

78

Beata Reiz, Lehel Csató and Dan Dumitrescu. Prüfer number encoding for genetic Bayesian network structure learning algorithm

82

Vladiela Petrascu, Dan Chiorean and Dragos Petrascu. ContractCML - a Contract Aware Component Modeling Language

83

Eneia Nicolae Todoran and Nicolae Gherman. Semantic interpreter for modern communication abstractions in concurrent object-oriented programming

89

Maria Miroiu and Constantin Alin Miroiu. RBF Neural Network Based Plug-in Rules with Reject Option