Institutional settings for networking in Poland

We consider institutional settings for networking in the context of innovative regional strategy development. Several examples of such institutions will be given and then conclusions and recommendations will be formulated emphasizing the pre-accession context. Poland completed the comprehensive reform of regional and local administration to have achieved a system similar to the system existing in the European Union. The system is based on the NUTS 2 size regions. Therefore, the competencies of the state and regional authorities to develop S/TD and Innovation infrastructure and policies in Poland are appropriate to the standards in the European Union. The paper will start with critical evaluation of the regional development policies recently presented by the regional self-governments in Poland. The overview of the implementation measures for these policies will be presented with an emphasis put on the pre-accession context. The second part of the contribution gives assumptions and general description of the Poland's National and Regional Innovation Systems that is substantially based on the findings of the Phare SCI-TECH II Programme concluded in 2000. The Centre for Industrial Management PAS took an active role in the implementation of this Programme. The analysis is based on the so-called 'Learning Regions', in which the role of dense inter-connetions between segments in the innovation systems comes into prominence.

Static Analysis of Deterministic Negotiations

Negotiation diagrams are a model of concurrent computation akin to workflow Petri nets. Deterministic negotiation diagrams, equivalent to the much studied and used free-choice workflow Petri nets, are surprisingly amenable to verification. Soundness (a property close to deadlock-freedom) can be decided in PTIME. Further, other fundamental questions like computing summaries or the expected cost, can also be solved in PTIME for sound deterministic negotiation diagrams, while they are PSPACE-complete in the general case. In this paper we generalize and explain these results. We extend the classical "meet-over-all-paths" (MOP) formulation of static analysis problems to our concurrent setting, and introduce Mazurkiewicz-invariant analysis problems, which encompass the questions above and new ones. We show that any Mazurkiewicz-invariant analysis problem can be solved in PTIME for sound deterministic negotiations whenever it is in PTIME for sequential flow-graphs---even though the flow-graph of a deterministic negotiation diagram can be exponentially larger than the diagram itself. This gives a common explanation to the low-complexity of all the analysis questions studied so far. Finally, we show that classical gen/kill analyses are also an instance of our framework, and obtain a PTIME algorithm for detecting anti-patterns in free-choice workflow Petri nets. Our result is based on a novel decomposition theorem, of independent interest, showing that sound deterministic negotiation diagrams can be hierarchically decomposed into (possibly overlapping) smaller sound diagrams.Comment: To appear in the Proceedings of LICS 2017, IEEE Computer Societ

Weak Alternating Timed Automata

Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for these automata is decidable. This result implies new decidability results for fragments of timed temporal logics. It is also shown that, unlike for MITL, the characterisation remains the same even if no punctual constraints are allowed

Using models to model-check recursive schemes

We propose a model-based approach to the model checking problem for recursive schemes. Since simply typed lambda calculus with the fixpoint operator, lambda-Y-calculus, is equivalent to schemes, we propose the use of a model of lambda-Y-calculus to discriminate the terms that satisfy a given property. If a model is finite in every type, this gives a decision procedure. We provide a construction of such a model for every property expressed by automata with trivial acceptance conditions and divergence testing. Such properties pose already interesting challenges for model construction. Moreover, we argue that having models capturing some class of properties has several other virtues in addition to providing decidability of the model-checking problem. As an illustration, we show a very simple construction transforming a scheme to a scheme reflecting a property captured by a given model.Comment: Long version of a paper presented at TLCA 201

On preparation of Poland´s regions to knowledge-based economy

Poland is in a phase of preparing intensively to the European Union Membership intensifying negotiation process and making necessary adjustments of its law and structures. One of actions is preparation to attain Poland''s readiness to use Structural Funds. Apart of fulfilling legal and institutional accession requirements, Poland must undertake an effort transitioning from middle income economy to the innovation-based economy in order to participate in the European Union policy oriented for enhancing its competitiveness. The objective of this contribution is to analyse the ability of existing regions in Poland (NUTS2) to fulfil requisites to create regions based on knowledge-for-development, such as setting up institutional and economic environment that enables free flow of knowledge, supporting ITC, encouraging innovation and entrepreneurship. Moreover it will be studied to what extent the educated and skilled population in selected regions can create, share and use knowledge. Finally the paper will discuss a situation regarding networks of research institutions, universities, industry (particularly with special concern on SMEs clusters), trying to reveal whether they are ready to use national and international knowledge and creating own knowledge. The above analysis will be presented in the framework of workpackages structure developed in the proposal of the IKINET project.

Measuring Social Capital and Proximimty

A question how to position and measure the value of social capital (SC) of a company, country or region has come to predominate the debate over society and governance. We argue that social capital is of static or dynamic nature. We provide a tool to suitably measure it under both concepts. Also, we demonstrate that it is proximity that plays an inestimable role in the analysis of social capital, be it at a company or country level. We introduce the concept of orthogonality in social sciences (static approach), known as the Orthogonality Principle: Two forms A and B are orthogonal or disjoint if and only if there exists a simple, one-dimensional decision rule of yes-no type by which we can decide whether an object from an analysed universe X belongs to A or B. Such a decision rule exists in relation to tangibles and intangibles of a given firm or country and demonstrate that they are mutually orthogonal, which means that both categories of assets can be added regardless of the measure (money, points scores, etc.). This will not be the case of formal and informal relations, important components of social capital. We describe four forms of capital as financial, physical, human and social and prove that they are mutually orthogonal. We postulate that the value of a firm/country (the value of its entire capital) is an aggregate value of the four components above. We introduce the concept of new GDP and describe how to evaluate it and compare with the GDP model used today. We argue (dynamic approach) that the Virtual Production Line, defined by us in 2006, is a good tool to study proximity, a concept introduced by the French proximity school. Like capital, proximity is complex and multidimensional, and depends on time. We propose that there are four forms of proximity: cognitive, emotive, spatial and organizational. By the Orthogonality Principle, we prove that they are mutually orthogonal. We also suggest methods to evaluate them based on that Principle. By an example we show how to measure trust on the country level, the main component of emotive proximity

Setting up proinnovative networks in Silesia

Silesia is the most industrialized region of Poland recently under huge reindustrialization in an effort to change its heavy industrial pattern into more diversified and innovative one. The reindustrialization processes is additionally complicated by the transformation of Polish economy from central planned to marked oriented. Proinnovative networks, in which under more or less formally conditions cooperate industrial/service companies, research/educational institutions, regional/central governments, professional bodies and even private persons, are put forward as a possible way to solve the reindustrialization problems. Their importance is emphasized in the Regional Development Strategy for Silesia, 2000-2015. The aim of present paper is to study factors and phenomena, which facilitate cooperation of partners within proinnovative networks, as well as describe problems, which are, faced both when setting up such a network and in its day by day business. Special attention is paid to so-called soft factors, the social capital of partners cooperating in the network. We introduce certain measures of social capital and demonstrate their usefulness. In second part of the paper we present a number of case studies of Silesia proinnovative networks. For each network we describe its objective, short history with results achieved so far, and future plans. We pay special attention to these networks, which are considered, at least in part, as the results of projects under the Framework Programmes of European Union.