Fixed-parameter Tractability
On the fixed parameter tractability of agreement-based phylogenetic distances
... implies fixed-parameter tractability where the parameter is not the total number of reticulations in the optimal network displaying the two input trees, but instead the maximum number of ...
21
Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version)
... a fixed class of “efficient” queries, we study parameterized query classes, ...is fixed; in particular, its arity is ...namely, fixed-parameter tractability with linear time complexity ...
70
Fixed-Parameter Algorithms For Protein Similarity Search Under mRNA Structure Constraints
... Key Words: mRNA optimization, protein similarity, Selenocysteine insertion, parameterized com- plexity, fixed-parameter tractability. 1 Introduction Perhaps the most significant process in molecular ...
14
On Fixed-Path Rationing Methods
... xed-path rationing methods, and characterizes them by eciency, strategy-proofness, consistency, and resource-monotonicity.1 His theorem applies to both the continuous and the discrete mo[r] ...
10
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability.
... the tractability boarder between polynomial and NP-hard settings, along several parameters: the syntax of formulas, the al- lowed weights, as well as the number of agents, propositional symbols, and formulas per ...
7
On fixed-point hardware polynomials
... The reason for normalizing functions to unit intervals is that it greatly simplifies the arithmetic analysis needed to build an efficient architecture. This is indeed at the core of the contributions of this article. In ...
6
On fixed-path rationing methods
... Sprumont, Y.: The Division Problem with Single-Peaked Preferences: A Characterization of the Uniform Allocation Rule, Econometrica 59 1991, 509{519.. Thomson, W.: Consistent Solutions to[r] ...
9
Cosmological Parameter Estimation: Method
... unbiased around the maximum but has not been tested against the real likelihood function in the wings. Once the likelihood function L( −−→ δT fb ) is known, one is able to compute L(Θ) for a family of models. As we have ...
12
Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs
... 5 On Trees and Motifs With Bounded Number of Colors Although Theorem 4 gives a nice complementary result to the sharp hardness result of Theorem 2, it still leaves a certain gap. In the following section we aim to close ...
12
Activatability for simulation tractability of NP problems: Application to Ecology
... Application In this application, four processes are represented by four real values coded on 16 bit- structure called genes (see figure 6). The animal (a parasitoid 4 wasp) has an initial position along a trade-off ...
14
Combined Tractability of Query Evaluation via Tree Automata and Cycluits
... FPT-linear tractability result generalizes to frontier-guarded Datalog, and its extensions with clique- guards and stratified (but unguarded) negation, taking the rule body size and instance treewidth as the ...
20
Proving Fixed Points
... Deductive Method. In contrast with the fixed point approach, the deductive method starts from the proofs admissible in an inference system. These proofs are represented as trees, called proof trees. These are ...
9
Predicting the Best System Parameter Configuration: the (Per Parameter Learning) PPL method
... After indexing, the next step is to generate the set of K system configurations including the various values of the considered parameters in P. If all the possible configurations were generated, the chance of getting the ...
11
Fixed-point-like theorems on subspaces
... [2] L. Brouwer, ¨ Uber Abbildung von Mannigfaltigkeiten, Math. Ann. 71 (1911), 97–115 (German). [3] A. Cellina, Approximation of set valued functions and fixed point theorems, Ann. Mat. Pura Appl. (4) 82 (1969), ...
14
Parametrizations, fixed and random effects
... |y(i) − s(t i )| 2 + λQ(s) : s ∈ H 2 }, (4) where H 2 is the infinite dimensional space of all functions with square in- tegrable second derivative, and λ > 0 denotes the smoothing parameter. Generalized ...
26
Fixed points: influence of impurities
... the fixed-point-cell uncertainty component attributable to impurities because some impurities can alter the melting temperature without broadening the melting ...
34
Finding Repeats With Fixed Gap
... Unité de recherche INRIA Lorraine LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex France Unité de recherche[r] ...
19
Fixed-point-like theorems on subspaces
... [12] Hirsch, M., Magill, M., Mas-Colell, A., A geometric approach to a class of equilibrium existence theorems, Journal of Mathematical Economics 19, (1990) 95-106. [13] Husseini, S. Y., Lasry, J.M., Magill, M., ...
14
On Homogeneous Distributed Parameter Systems
... where H and V are scalar functions of time and space variables. The quantity H(t, x) is the water level at the instant of time t ∈ R + in the point x ∈ R, and V (t, x) is the water velocity in the same position. The ...
7
Automated MOSFET parameter extraction
... After the test files are inserted and read by the newanal program, the program will first calculate the threshold voltage using maximum slope method (described in section 5.1), the [r] ...
78