The Role of Regional Development Policies in Reducing Territorial Disparities

This paper aim is to analyze the variance of the net nominal monthly earnings by counties and development regions using the most recent estimated statistics from Statistical yearbook 2007. We applied one-factor analysis of variance – ANOVA. We considered that the „Romanian development regions” is a factor of interest and we tested if it has a significant effect on the “net nominal monthly earnings” regional differences.economic development; social development; competitiveness; growth; regional development.

Crisis Management Effects on Tourism Services Firms and its Impact on Development Sustainable Cities

Tourism is an industry that benefits from highly optimistic predictions for the future, its importance became increasingly large, both globally and regionally, nationally and locally. Studies in the field already demonstrates that tourism can be considered, the main industry in terms of contribution to gross world product, the number 1 as regards the assimilation of labor employed and the most important investor of capital. According to data published Monday by the Statistical Office of the EU, the spread of financial crisis has affected tourism obvious. According to statistics, last year, spent the night in hotels in the EU was 1.578 billion, registering a decrease of 0.5% over the previous year. The same number saw an increase of 3.4% in 2007 compared with the previous year and an increase of 2.9% in 2006. If an analysis of different periods, you can see the obvious influence of financial crisis on tourism development and its impact on cities. In terms of sustainable development, an issue to be highlighted concerns that tourism, as a phenomenon, but that activity is unique in its way through dependence on a show against the environment, social and cultural values what is found in the areas of interest. Because of this dependency, tourism has an undeniable interest in ensuring the sustainability of these values.worldwide economic crisis, tourism, gross world product, labor employed, investor, sustainable development

Can we Consider as Being „Miraculous” the Solutions Suggested by the Laureates of Nobel Prize in Order to Stop the World Economical Crisis

Today we are in a global economic crisis. It is not an economic crisis because of scale, for the worst case there was a recession of a few percent of GDP, but rather because it was consistently induced. The best strategies have been proposed so far are essentially neo-Keynesian, as private demand fell, public expenditure can change aggregate demand to provide a stimulus to the economy. At best, this can provide the necessary infrastructure for positive externalities through network effects, at worst, will only serve as a delay tactic, leading to a greater crisis in the near future. Nobel prizes were created by scientist and businessman Alfred Nobel (1833 - 1896), inventor (1867), which, in his will asked that his immense wealth income are offered each year „awards as the which, in the previous year, brought the greatest service of humanity”. Thus, by the will left by Alfred Nobel, Nobel prizes are awarded to institutions: - Swedish Royal Academy of Science: Nobel Prize in Physics, Chemistry Nobel Prize Nobel Prize in Economics; - Carolina Institute in Stockholm: Nobel Prize for Medicine; - Swedish Academy: Nobel Prize for Literature; - Committee composed of five persons of Parliament of Norway: Nobel Peace Prize Nobel prizes are awarded, so in 1901, except for economics, established in 1968 by the Central Bank of Sweden to commemorate the 300th anniversary of the founding of this institution. More specifically, Nobel Prizes have been awarded since December 10, 1901, after their author's death. They consist of: a medal, a diploma and a sum of money, which at first was worth U.S. $40,000, then increased to$ 1,000,000. Nobel Prize in cash value increased slightly since 1950, according to the Foundation website. Should mention that The Nobel Foundation has awarded prizes during World War or during World War II. Given these great discoveries of illustrious researchers could find solutions to global economic crisis. If so intense study should find practical solutions and not pure theory which seem to be medalists. Are they able to implement scientifically proven theory?global economic crisis, Nobel Prize, Elinor Ostrom, recesssion

Restructuring Measures, Upgrading and Rethinking of the Role and Functioning of the Government Under the Required Information Society. Case Study: Gorj

The spirit of the Lisbon strategy (2000) defines a new opportunity to increase competitiveness at all levels, which is supported by the implementation of scientific knowledge, infrastructure and its implementation mechanisms to serve the new economy based on a new revolution, a life-oriented good for present and next, taking control of major risks that affect global action under uncertainty. With the relaunch of the Lisbon Strategy (2005), the policy has been recognized as a primary tool at the community level, helping to implement the idea of growth and jobs - not only because a third of the Community budget, but also that the strategies drawn up at the local and regional levels should form an integral part of efforts to promote sustainable development at local level. Programming period 2007-2013 suggests that one of the areas of intervention of the Structural Funds, namely the European Social Fund reform and upgrading administrative capacity in the context of achieving good governance, especially in those areas that generate progress, as well as economic, employment, education, social and environmental. Romania is the most important development opportunities, nearly four years after accession to the European Union and integration in an increasingly globalized economy. Romania's future is that of a dynamic, competitive and innovative, working in the economic, social and political European Union and the global economy. In this context, we can say that “we need to rebuild post-integration is first and foremost a spiritual and institutional process that must include all public and private interests carriers” (revised Lisbon Strategy, 2005, p.4). Therefore, the Romanian National Reform Programme for 2007- 2010, elaborated in the context of the European Strategy for Growth and Employment Strategy (revised Lisbon Strategy, 2005, p.4) states that “to achieve economic and employment performance, coupled with a social system is the essence of policies aimed sustainable development in Romania in the subject" and "Improving the administrative capacity - is a horizontal priority of utmost importance, aimed at providing the specific measures necessary to sustain competitiveness in key areas”. To change the background of the relationship between the administration and the citizen has an important role covering the work of public administrations in order to seek the powers of the institution and the citizens of the services offered by county government. All this leads to the need to implement a management information system of the institution of the prefect. The study in this paper just highlights the integrated information system in local public administration of the county, where disclosure of institutional modernization, the introduction of information technology has resulted in increased efficiency of public administration, debureaucratization and improving quality of service delivered to citizens.information system, efficiency, local public administration, debureaucratization

On the Path-Width of Integer Linear Programming

We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it. However, one of these graphs is of path-width at most 2n, where n is the number of variables in the instance. Since FO is decidable on graphs of bounded path- width, we obtain an alternative decidability result for ILP. The technique we use underlines a common principle to prove decidability which has previously been employed for automata with auxiliary storage. We also show how this new result links to automata theory and program verification.Comment: In Proceedings GandALF 2014, arXiv:1408.556

Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

We present a variant of ATL with distributed knowledge operators based on a synchronous and perfect recall semantics. The coalition modalities in this logic are based on partial observation of the full history, and incorporate a form of cooperation between members of the coalition in which agents issue their actions based on the distributed knowledge, for that coalition, of the system history. We show that model-checking is decidable for this logic. The technique utilizes two variants of games with imperfect information and partially observable objectives, as well as a subset construction for identifying states whose histories are indistinguishable to the considered coalition

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data

Full version of the paper with the same title accepted at CAV'10.We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data domains. We define for that a framework based on abstract interpretation which combines a specific finite-range abstraction on the shape of the heap with an abstract domain on sequences of data, considered as a parameter of the approach. We instantiate our framework by introducing different abstractions on data sequences allowing to reason about various aspects such as their sizes, the sums or the multisets of their elements, or relations on their data at different (linearly ordered or successive) positions. To express the latter relations we define a new domain whose elements correspond to an expressive class of first order universally quantified formulas. We have implemented our techniques in an efficient prototype tool and we have shown that our approach is powerful enough to generate non-trivial invariants for a significant class of programs