1,116 research outputs found

    Membrane Fission: A Computational Complexity Perspective

    Get PDF
    Membrane fission is a process by which a biological membrane is split into two new ones in the manner that the content of the initial membrane is separated and distributed between the new membranes. Inspired by this biological phenomenon, membrane separation rules were considered in membrane computing. In this work, we investigate cell-like P systems with symport/antiport rules and membrane separation rules from a computational complexity perspective. Specifically, we establish a limit on the efficiency of such P systems which use communication rules of length at most two, and we prove the computational efficiency of this kind of models when using communication rules of length at most three. Hence, a sharp borderline between tractability and NP–hardness is provided in terms of the length of communication rules.Ministerio de Economía y Competitividad TIN2012-3743

    Bergman kernels and subadjunction

    Full text link
    In this article our main result is a more complete version of the statements obtained in {\rm [6]}. One of the important technical point of our proof is an L2m\displaystyle L^{2\over m} extension theorem of Ohsawa-Takegoshi type, which is derived from the original result by a simple fixed point method. Moreover, we show that these techniques combined with an appropriate form of the"invariance of plurigenera" can be used in order to obtain a new proof of the celebrated Y. Kawamata subadjunction theorem

    Generation of Diophantine Sets by Computing P Systems with External Output

    Get PDF
    In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. These P systems are stable under composition and iteration of functions. We prove that every diophantine set can be generated by such P systems; then, the universality of this model can be deduced from the theorem by Matiyasevich, Robinson, Davis and Putnam in which they establish that every recursively enumerable set is a diophantine set

    Orbifold generic semi-positivity: an application to families of canonically polarized manifolds

    Get PDF
    In this article we establish a version of Y. Miyaoka generic semi-positivity theorem in the context of log-canonical orbifold pairs. As an application, we show that the canonical bundle associated to a lc pair is big as soon as there exists a generically injective morphism from an ample line bundle to some symmetric power of the cotangent bundle associated to the orbifold pair.Comment: A (much) better versio

    FINANCIAL CONFIGURATIONS AND INTERACTIONS IN A TRANSFORMATION PROCESS OF A GLOBAL ECONOMY

    Get PDF
    This article aims to present the summary of issues related to Economic and Monetary Union (EMU) in the context of EU enlargement, analyzing legal rules and practical problems appeared. EMU Stability and Growth Pact is a challenge for Member States in circumstances where exactly the European Union Member States who have campaigned for the budgetary discipline required more relaxed conditions on the provisions of the Pact. Convergence criteria laid down in the Matriarchs Treaty (TEU) began to be increasingly difficult to be respected by Member States, therefore it was decided to greater flexibility of restraining and Growth Pact.Economic and Monetary Union (EMU) convergence criteria; budget deficit; inflation; Government indebtedness; the Stability and Growth Pact; European System of Central Banks (ESCB)

    THREE APPLICATIONS OF TRANSACTION COST ECONOMICS IN ROMANIA

    Get PDF
    We begin by investigating the use of complex contracts in Romania. A transparent transaction cost economics (TCE) model generates the hypothesis that buyer and seller relationship-specific investments have opposite effects on contract complexity. Our analysis counters the problem of unobserved heterogeneity, generates estimates of the effects of specific investments that are opposite in sign on opposite sides of the agreement, and explains the patterns in the biases of ordinary least-squares estimates. We continue by presenting a simple methodology for measuring transaction costs at agreement level. These costs are assessed as large, accounting for more than a fifth of value added. The validity of the measure is tested and quality of the data is analyzed. Finally, we investigate the determinants of transaction costs estimates thus obtained. Results show that TCE theory is very successful at predicting the existence of transaction costs and moderately so at predicting their size when incurred by firms.new institutional economics, transaction cost economics, contract complexity

    THREE APPLICATIONS OF TRANSACTION COST ECONOMICS IN ROMANIA

    Get PDF
    International Monetary Fund Institute, 700 19th Street, N.W,.Washington, D.C. 20431application, transaction

    On the Borda Method for Multicriterial Decision-Making

    Get PDF
    The present paper discusses two issues with multicriterial decision-making methods of Borda type (when scores such as n, n-1,
, 2, 1 are given to the objects to be ranked and the hierarchy is obtained based on the totals of these scores). The first issue is related to the influence on the result of various transformations of the scores. We show that a linear transformation of the scores does not change the final ranking and that (almost) any polynomial of second degree or more, with positive coefficients, can alter the solution (ranking). The same happens if one changes the scores by employing the logarithm, exponential, or square root functions. In the second part of the paper we consider an iterated version of the Borda method. We show that this method is not robust: there are cases when different solutions are returned at different iterations.borda method

    Decision P Systems and the P =NP Conjecture

    Get PDF
    We introduce decision P systems, which are a class of P systems with symbol-objects and external output. The main result of the paper is the following: if there exists an NP–complete problem that cannot be solved in polynomial time, with respect to the input length, by a deterministic decision P system constructed in polynomial time, then P = NP. From Zandron-Ferreti-Mauri’s theorem it follows that if P = NP, then no NP–complete problem can be solved in polynomial time, with respect to the input length, by a deterministic P system with active membranes but without membrane division, constructed in polynomial time from the input. Together, these results give a characterization of P = NP in terms of deterministic P systems

    Computing with cells: membrane systems - some complexity issues.

    Full text link
    Membrane computing is a branch of natural computing which abstracts computing models from the structure and the functioning of the living cell. The main ingredients of membrane systems, called P systems, are (i) the membrane structure, which consists of a hierarchical arrangements of membranes which delimit compartments where (ii) multisets of symbols, called objects, evolve according to (iii) sets of rules which are localised and associated with compartments. By using the rules in a nondeterministic/deterministic maximally parallel manner, transitions between the system configurations can be obtained. A sequence of transitions is a computation of how the system is evolving. Various ways of controlling the transfer of objects from one membrane to another and applying the rules, as well as possibilities to dissolve, divide or create membranes have been studied. Membrane systems have a great potential for implementing massively concurrent systems in an efficient way that would allow us to solve currently intractable problems once future biotechnology gives way to a practical bio-realization. In this paper we survey some interesting and fundamental complexity issues such as universality vs. nonuniversality, determinism vs. nondeterminism, membrane and alphabet size hierarchies, characterizations of context-sensitive languages and other language classes and various notions of parallelism
    • 

    corecore