Search results for "Theory of Computation"
showing 10 items of 42 documents
TIGHT BOUNDS FOR THE SPACE COMPLEXITY OF NONREGULAR LANGUAGE RECOGNITION BY REAL-TIME MACHINES
2013
We examine the minimum amount of memory for real-time, as opposed to one-way, computation accepting nonregular languages. We consider deterministic, nondeterministic and alternating machines working within strong, middle and weak space, and processing general or unary inputs. In most cases, we are able to show that the lower bounds for one-way machines remain tight in the real-time case. Memory lower bounds for nonregular acceptance on other devices are also addressed. It is shown that increasing the number of stacks of real-time pushdown automata can result in exponential improvement in the total amount of space usage for nonregular language recognition.
A Survey of Continuous-Time Computation Theory
1997
Motivated partly by the resurgence of neural computation research, and partly by advances in device technology, there has been a recent increase of interest in analog, continuous-time computation. However, while special-case algorithms and devices are being developed, relatively little work exists on the general theory of continuous- time models of computation. In this paper, we survey the existing models and results in this area, and point to some of the open research questions. Final Draft peerReviewed
Splicing Systems from Past to Future: Old and New Challenges
2014
A splicing system is a formal model of a recombinant behaviour of sets of double stranded DNA molecules when acted on by restriction enzymes and ligase. In this survey we will concentrate on a specific behaviour of a type of splicing systems, introduced by P\u{a}un and subsequently developed by many researchers in both linear and circular case of splicing definition. In particular, we will present recent results on this topic and how they stimulate new challenging investigations.
Sensitivity versus block sensitivity of Boolean functions
2010
Determining the maximal separation between sensitivity and block sensitivity of Boolean functions is of interest for computational complexity theory. We construct a sequence of Boolean functions with bs(f) = 1/2 s(f)^2 + 1/2 s(f). The best known separation previously was bs(f) = 1/2 s(f)^2 due to Rubinstein. We also report results of computer search for functions with at most 12 variables.
A Stochastic Programming Model for the Optimal Issuance of Government Bonds
2010
Sovereign states issue fixed and floating securities to fund their public debt. The value of such portfolios strongly depends on the fluctuations of the term structure of interest rates. This is a typical example of planning under uncertainty, where decisions has to be drawn on the base of the key stochastic economic factors underneath the model.We propose a multistage stochastic programming model to select portfolios of bonds, where the aim of the decision maker is that of minimizing the cost of the decision process. At the same time, we bound the conditional Value-at-Risk, a measure of risk which accounts for the losses of the tail distribution. We build an efficient frontier to trade-off…
Languages associated with saturated formations of groups
2013
International audience; In a previous paper, the authors have shown that Eilenberg's variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of nilpotent groups, soluble groups and supersoluble groups. Our method also applies to new examples, like the class of groups having a Sylow tower.; Dans un article précédent, les auteurs avaient montré comment étendre le théorème des variétés d'Eilenberg à des structures plus g…
Pure Functions in C: A Small Keyword for Automatic Parallelization
2017
AbstractThe need for parallel task execution has been steadily growing in recent years since manufacturers mainly improve processor performance by increasing the number of installed cores instead of scaling the processor’s frequency. To make use of this potential, an essential technique to increase the parallelism of a program is to parallelize loops. Several automatic loop nest parallelizers have been developed in the past such as PluTo. The main restriction of these tools is that the loops must be statically analyzable which, among other things, disallows function calls within the loops. In this article, we present a seemingly simple extension to the C programming language which marks fun…
Optimal Starting Conditions for the Rendezvous Maneuver, Part 2: Mathematical Programming Approach
2008
In a companion paper (Part 1, J. Optim. Theory Appl. 137(3), [2008]), we determined the optimal starting conditions for the rendezvous maneuver using an optimal control approach. In this paper, we study the same problem with a mathematical programming approach.
Metric regularity and second-order necessary optimality conditions for minimization problems under inclusion constraints
1994
In this paper, we establish some general metric regularity results for multivalued functions on Banach spaces. Then, we apply them to derive second-order necessary optimality conditions for the problem of minimizing a functionf on the solution set of an inclusion 0?F(x) withx?C, whenF has a closed convex second-order derivative.
General Concepts in Metaheuristic Search
2017
Metaheuristics have become a very popular family of solution methods for optimization problems because they are capable of finding “acceptable” solutions in a “reasonable” amount of time. Most optimization problems in practice are too complex to be approached by exact methods that can guarantee finding global optimal solutions. The time required to find and verify globally optimal solutions is impractical in most applications. An entire computational theory, which we will not discussed here, has been developed around problem complexity. It suffices to say that it is now known that the great majority of the optimization problems found in practice fall within a category that makes them “compu…