On the correspondence between conformance testing and regular inference

Abstract. Conformance testing for finite state machines and regular inference both aim at identifying the model structure underlying a black box system on the basis of a limited set of observations. Whereas the former technique checks for equivalence with a given conjecture model, the latter techniques addresses the corresponding synthesis problem by means of techniques adopted from automata learning. In this paper we establish a common framework to investigate the similarities of these techniques by showing how results in one area can be transferred to results in the other and to explain the reasons for their differences.

European Social Fund Financial Assistance to Latvia

Maģistra darba tēmas „Eiropas Sociālā fonda finansiālā palīdzība Latvijai” izvēle saistīta ar to, ka Latvijai kā Eiropas Savienības dalībvalstij ir pieejama tās finanšu palīdzība. Tai skaitā Latvijai ir pieejams Eiropas Sociālā fonda finansējums. Izmantojot šos līdzekļus Latvijai ir iespēja attīstītos visos aspektos – ekonomiski, sociāli, uzlabot iedzīvotāju dzīves līmeni un modernizēt tehniskas, transporta infrastruktūras. Pašreizējā situācijā Latvija var virzīt piejamos Eiropas Sociālā fonda līdzekļus, lai uzlabotu sociālo stāvokli, iedzīvotāju dzīves līmeni valstī, samazināt bezdarbu, paaugstināt nodarbinātības līmeni, iedzīvotāju kvalifikāciju un zināšanas. Maģistra darba mērķis ir, pamatjoties uz pieejamiem izziņas materiāliem par Eiropas Sociālā fonda palīdzību Latvijai, izdarīt secinājumus un izstrādāt priekšlikumus Eiropas Sociālā fonda finansējuma darbības principu pilnveidošanai un attīstībai Latvijā. Darbs sastāv no trim nodaļām. Pirmajā nodaļā tiek apskatīti Eiropas Savienības pirmsstrukturālie fondi un Latvijai pieejamie struktūrfondi pēc iestāšanos ES. Tiek noformulēti galvenie ES pirmsstrukturālie fondi, kas bija pieejami Latvijā, pēc iestāšanos ES strukturālie fondi, noteikta to būtība, veidi un mērķi. Tiks izskatīta Eiropas Sociālā fonda administrēšanas sistēmas process. Otrajā nodaļā tiek analizētas Eiropas Sociālā fonda atbalsta programmas „Cilvēkresursi un nodarbinātība” un tas prioritātes izglītībā, nodarbinātības veicināšanā un veselība uzlabošana darbā un pārējās prioritātes. Trešajā nodaļā tiek analizēti Eiropas Sociālā fonda Latvijā īstenotie projekti un ieguvumi, izmantojot Eiropas Sociālā fonda finanšu līdzekļus pirmajā plānošanas periodā 2004. - 2006.gados un nākamā plānošanas periodā 2007.- 2013. gados. Maģistra darba nobeigumā autore sniedz savus secinājumus, kas radušies darba izstrādes gaitā, un izvirza priekšlikumus Eiropas Sociālā fonda finansējumu darbības principu pilnveidošanai un attīstībai Latvijā. Maģistra darba pētījuma periods ir laika posms no 2004. gada līdz 2010. gadam. Maģistra darba apjoms 96 lapas (ieskaitot pielikumus), 16 tabulas, 17 attēli un 6 pielikumi.Master thesis theme “The European Social funds financial assistance to Latvia” chose is due to the fact that Latvia as EU Member State is available to use its financial assistance, including European Social fund financing. Latvia has to develop in all aspects – economics, social welfare, make better population’s standard of living and modernize technical, transport infrastructures. In a current situation Latvia may use available European Social funds to improve the social conditions of life levels in the country – to reduce unemployment, raise employment levels, personal qualifications and competence. The objective of the master thesis is to appraise the European Social fund financial help make conclusions and to work out suggestions based on made research to improve the European Social fund financial use in Latvia. The master thesis consists of three chapters. The first chapter reveals the pre-accession instruments financed by the EU and the structural funds accessible in Latvia after entering the EU, its quiddity, forms and objectives. There is also a review of structural funds administrating system process. The next part dedicated to the analysis of the European Social fund investment in Latvia programming period 2007-2013 through 1st operational programme “Human Resources and Employment”. The final part is dedicated to the analysis of the European Social fund projects implement in Latvia and benefits through the European Social fund funding of the first programming period 2004 – 2006 and the next programming period 2007 – 2013 years. In the master thesis conclusion the author offers conclusions, which showed in the writing process of the thesis, and bring forward suggestions of improvement of the European Social fund financing use in Latvia. The master thesis research time period is 2004 – 2010 years. The master thesis comprises 96 pages, 16 tables, 17 figures and 6 appendix

Learning meets Verification

Abstract. In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann’s and Angluin’s algorithms, we describe some of the extensions catering for specialized or richer classes of automata. Furthermore, we survey their recent application to verification problems.