1,116 research outputs found
Membrane Fission: A Computational Complexity Perspective
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
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
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
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
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
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
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
International Monetary Fund Institute, 700 19th Street, N.W,.Washington, D.C. 20431application, transaction
On the Borda Method for Multicriterial Decision-Making
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
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.
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
- âŠ