Exploració per títol
Ara es mostren els items 32127-32146 de 245593
-
Bounded-width QBF is PSPACE-complete
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013)
Text en actes de congrés
Accés obertTree-width is a well-studied parameter of structures that measures their similarity to a tree. Many important NP-complete problems, such as Boolean satisfiability (SAT), are tractable on bounded tree-width instances. In ... -
Bounded-width QBF is PSPACE-complete
(2014-11-01)
Article
Accés obertTree-width and path-width are two well-studied parameters of structures that measure their similarity to a tree and a path, respectively. We show that QBF on instances with constant path-width, and hence constant tree-width, ... -
Boundedness of stable solutions to semilinear elliptic equations: A survey
(2017-05-01)
Article
Accés obertThis article is a survey on boundedness results for stable solutions to semilinear elliptic problems. For these solutions, we present the currently known L8 estimates that hold for all nonlinearities. Such estimates are ... -
Bounding Hilbert Space dimension from Temporal Correlations
(Universitat Politècnica de Catalunya, 2009-09-09)
Projecte Final de Màster Oficial
Accés obertIn this work, we tackle the problem of assessing the Hilbert space dimension from the set of correlations obtained when measuring in a nonlocal black box scheme. The concept of a dimension witness and its recent applications ... -
Bounding steady-state availability models with group repair and phase type repair distributions
(1999-05)
Article
Accés obertWe propose an algorithm to obtain bounds for the steady-state availability using Markov models in which only a small portion of the state space is generated. The algorithm is applicable to models with group repair and ... -
Bounding steady-state availability models with phase type repair distributions
(1998)
Comunicació de congrés
Accés obertWe propose a method to obtain bounds for the steady-state availability using Markov models in which only a small portion of the state space is generated. The method is applicable to models with phase type repair distributions ... -
Bounding the complexity of advice functions
(1992-08)
Report de recerca
Accés obertIt was known that every set A in P/poly has an advice function in PF(¿P2(A)). This note shows that A also has an advice function in PF (NP(A) ¿¿p3). From this new bound, it is shown that separating ¿P2 and ¿p2 relative to ... -
Bounding the distance from a reachable/controllable equisingular switched linear system to the set of non-reachable/uncontrollable ones
(2016)
Article
Accés obertNo necessary and sufficient condition for reachability of switched linear singular systems has been found in general, but only in the case of the so-called “equisingular systems”. In this case, it is possible to obtain an ... -
Bounding the distance of a controllable and observable system to an uncontrollable or unobservable one
(1999)
Article
Accés obertLet $(A,B,C)$ be a triple of matrices representing a time-invariant linear system $\left .\aligned \dot x(t)&=Ax(t)+Bu(t)\\y(t)&=Cx(t)\endaligned \right \}$ under similarity equivalence, corresponding to a realization ... -
Bounding the distance of a controllable system to an uncontrollable one
(1998)
Article
Accés obertLet $(A,B)$ be a pair of matrices representing a time-invariant linear system $\dot x(t)=Ax(t)+Bu(t)$ under block-similarity equivalence. In this paper we measure the distance between a controllable pair of matrices ... -
Bounding the expected length of longest common subsequences and forests
(1998-09-01)
Report de recerca
Accés obertWe present improvements to two techniques to find lower and upper bounds for the expected length of longest common subsequences and forests of two random sequences of the same length, over a fixed size, uniformly ... -
Bounding the expected length of longest common subsequences and forests
(1996-05)
Report de recerca
Accés obertSubsumed by LSI-98-50-R -
Bounding the gap between a free group (outer) automorphism and its inverse
(2016-09-01)
Article
Accés obertFor any finitely generated group GG , two complexity functions aGaG and ßGßG are defined to measure the maximal possible gap between the norm of an automorphism (respectively, outer automorphism) of GG and the norm ... -
Bounding the output error in a buck power converter using perturbation theory
(Hindawi, 2008-07)
Article
Accés obertWe show the main results obtained when applying the average theory to Zero Average Dynamic control technique in a buck power converter with pulse-width modulation (PWM). In particular, we have obtained the bound values for ... -
Bounding the volume of facet-empty lattice tetrahedra
(2005)
Article
Accés obert -
Bounds and adaptivity for 3D limit analysis
(2009-06-08T10:28:14Z)
Text en actes de congrés
Accés obertIn the present paper we compute upper and lower bounds for limit analysis in two and three dimensions. From the solution of the discretised upper and lower bound problems, and from the optimum displacement rate and stress ... -
Bounds for quantities of interest and adaptivity in the element-free Galerkin method
(Wiley and Sons, 2008-07)
Article
Accés obertA novel approach to implicit residual-type error estimation in mesh-free methods and an adaptive refinement strategy are presented. This allows computing upper and lower bounds of the error in energy norm with the ultimate ... -
Bounds for the Nakamura number
(Springer, 2019-04)
Article
Accés obertThe Nakamura number is an appropriate invariant of a simple game to study the existence of social equilibria and the possibility of cycles. For symmetric (quota) games its number can be obtained by an easy formula. For ... -
Bounds for value at risk : the approach based on copulas with homogeneous tails
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2008)
Article
Accés obertThe theory of copulas provides a useful tool for modeling dependence in risk management. In insurance and nance, as well as in other applications, dependence of extreme events is particularly important, hence there is ... -
Bounds of functional outputs for parabolic problems. Part I: Exact bounds of the discontinuous Galerkin time discretization
(2008-03)
Article
Accés obertClassical implicit residual type error estimators require using an underlying spatial finer mesh to compute bounds for some quantity of interest. Consequently, the bounds obtained are only guaranteed asymptotically that ...