Search results for "Computation theory"
showing 6 items of 336 documents
ON-LINE CONSTRUCTION OF A SMALL AUTOMATON FOR A FINITE SET OF WORDS
2012
In this paper we describe a "light" algorithm for the on-line construction of a small automaton recognising a finite set of words. The algorithm runs in linear time. We carried out good experimental results on real dictionaries, on biological sequences and on the sets of suffixes (resp. factors) of a set of words that shows how our automaton is near to the minimal one. For the suffixes of a text, we propose a modified construction that leads to an even smaller automaton. We moreover construct linear algorithms for the insertion and deletion of a word in a finite set, directly from the constructed automaton.
Very narrow quantum OBDDs and width hierarchies for classical OBDDs
2014
In the paper we investigate a model for computing of Boolean functions - Ordered Binary Decision Diagrams (OBDDs), which is a restricted version of Branching Programs. We present several results on the comparative complexity for several variants of OBDD models. - We present some results on the comparative complexity of classical and quantum OBDDs. We consider a partial function depending on a parameter k such that for any k > 0 this function is computed by an exact quantum OBDD of width 2, but any classical OBDD (deterministic or stable bounded-error probabilistic) needs width 2 k+1. - We consider quantum and classical nondeterminism. We show that quantum nondeterminism can be more efficien…
Scheduling under the network of temporo-spatial proximity relationships
2017
We discuss and introduce to the schedulingeld a novel, qualitative optimization model - scheduling under the network of temporo-spatial proximity relationships.We introduce a half perimeter proximity measure as an objective of scheduling.We present and evaluate an incremental Sequence Pair neighborhood evaluation algorithm, applicable to both scheduling and rectangle packing problems in VLSI industry. In this paper, we discuss and introduce to the scheduling field a novel optimization objective - half perimeter proximity measure in scheduling under the network of temporo-spatial proximity relationships. The presented approach enables to qualitatively express various reasons of scheduling ce…
Automatic surrogate modelling technique selection based on features of optimization problems
2019
A typical scenario when solving industrial single or multiobjective optimization problems is that no explicit formulation of the problem is available. Instead, a dataset containing vectors of decision variables together with their objective function value(s) is given and a surrogate model (or metamodel) is build from the data and used for optimization and decision-making. This data-driven optimization process strongly depends on the ability of the surrogate model to predict the objective value of decision variables not present in the original dataset. Therefore, the choice of surrogate modelling technique is crucial. While many surrogate modelling techniques have been discussed in the liter…
Understanding the White-Emitting CaMoO4 Co-Doped Eu3+, Tb3+, and Tm3+ Phosphor through Experiment and Computation
2019
In this article, the synthesis by means of the spray pyrolysis method, of the CaMoO4 and rare-earth cation (RE3+)-doped CaMoO4:xRE3+ (RE3+ = Eu3+, Tb3+, and Tm3+; and x = 1, 2, and 4% mol) compounds, is presented. The as-synthesized samples were characterized using X-ray diffraction, Rietveld refinement, field emission scanning electron microscopy (FE-SEM), Raman spectroscopy, and photoluminescence (PL) spectroscopy. To complement and rationalize the experimental results, first-principles calculations, at the density functional theory level, have been performed to analyze the band structure and density of states. In addition, a theoretical method based on the calculations of surface energie…
Husserl's Transcendentalization of Mathematical Naturalism
2020
Abstract The paper aims to capture a form of naturalism that can be found “built-in” in phenomenology, namely the idea to take science or mathematics on its own, without postulating extraneous normative “molds” on it. The paper offers a detailed comparison of Penelope Maddy’s naturalism about mathematics and Husserl’s approach to mathematics in Formal and Transcendental Logic (1929). It argues that Maddy’s naturalized methodology is similar to the approach in the first part of the book. However, in the second part Husserl enters into a transcendental clarification of the evidences and presuppositions of the mathematicians’ work, thus “transcendentalizing” his otherwise naturalist approach t…