Browsing by Title
Now showing items 1206112080 of 80701

Bounded and dissipative solutions of the BoucWen model for hysteretic structural systems
(200406)
Part of book or chapter of book
Open AccessThe aim of this paper is to give the conditions on the hysteretic BoucWen model so that (i) it has the property of being bounded input bounded output (BIBO), and (ii) it dissipates energy (or is passive). This study leads ... 
Bounded expansion in models of webgraphs
(20071002)
Article
Open AccessWe study the bounded expansion of several models of web graphs. We show that various deterministic graph models for large complex networks have constant bounded expansion.We study two random models of webgraphs, showing ... 
Bounded model checking for asynchronous concurrent systems
(Universitat Politècnica de Catalunya, 20140304)
Doctoral thesis
Open Access 
Bounded solutions of some nonlinear elliptic equations in cylindrical domains
(1997)
Article
Open AccessThe existence of a (unique) solution of the second order semilinear elliptic equation $$ \sum^{n}_{i,j=0}a_{ij}(x)u_{x_{i}x_{j}}+f(\nabla u,u,x)=0 $$ with $x=(x_{0},x_{1},\dots, x_{n})\in (s_{0},\infty )\times \Omega '$, ... 
Bounded synchronization in resistive multiterminal VSCHVDC transmission systems
(Institute of Electrical and Electronics Engineers (IEEE), 2014)
Conference report
Restricted access  publisher's policyMultiterminal VSCHVDC transmission is a promising solution to transport energy from the generating plants to the distribution stations, and the number and size of the corresponding power grids is expected to increase in ... 
Boundedwidth QBF is PSPACEcomplete
(Schloss Dagstuhl  LeibnizZentrum für Informatik, 2013)
Conference report
Open AccessTreewidth is a wellstudied parameter of structures that measures their similarity to a tree. Many important NPcomplete problems, such as Boolean satisﬁability (SAT), are tractable on bounded treewidth instances. In ... 
Boundedwidth QBF is PSPACEcomplete
(20141101)
Article
Restricted access  publisher's policyTreewidth and pathwidth are two wellstudied parameters of structures that measure their similarity to a tree and a path, respectively. We show that QBF on instances with constant pathwidth, and hence constant treewidth, ... 
Bounding Hilbert Space dimension from Temporal Correlations
(Universitat Politècnica de Catalunya, 20090909)
Master thesis
Open AccessIn 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 steadystate availability models with group repair and phase type repair distributions
(199905)
Article
Open AccessWe propose an algorithm to obtain bounds for the steadystate 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 steadystate availability models with phase type repair distributions
(1998)
Conference lecture
Open AccessWe propose a method to obtain bounds for the steadystate 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 distance of a controllable and observable system to an uncontrollable or unobservable one
(1999)
Article
Open AccessLet $(A,B,C)$ be a triple of matrices representing a timeinvariant 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
Open AccessLet $(A,B)$ be a pair of matrices representing a timeinvariant linear system $\dot x(t)=Ax(t)+Bu(t)$ under blocksimilarity equivalence. In this paper we measure the distance between a controllable pair of matrices ... 
Bounding the expected length of longest common subsequences and forests
(19980901)
External research report
Open AccessWe 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
(199605)
External research report
Open AccessSubsumed by LSI9850R 
Bounding the output error in a buck power converter using perturbation theory
(Hindawi, 200807)
Article
Open AccessWe show the main results obtained when applying the average theory to Zero Average Dynamic control technique in a buck power converter with pulsewidth modulation (PWM). In particular, we have obtained the bound values for ... 
Bounding the volume of facetempty lattice tetrahedra
(2005)
Article
Open Access 
Bounds and adaptivity for 3D limit analysis
(20090608T10:28:14Z)
Conference report
Open AccessIn 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 elementfree Galerkin method
(Wiley and Sons, 200807)
Article
Open AccessA novel approach to implicit residualtype error estimation in meshfree 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 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
Open AccessThe 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
(200803)
Article
Open AccessClassical 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 ...