Now showing items 9913-9932 of 66662

  • Bounded expansion in models of webgraphs 

    Gago Álvarez, Silvia; Schlatter, Dirk (2007-10-02)
    Article
    Open Access
    We 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 

    Rakotoarisoa, Manitra Johanesa (Universitat Politècnica de Catalunya, 2014-03-04)
    Doctoral thesis
  • Bounded solutions of some nonlinear elliptic equations in cylindrical domains 

    Calsina Ballesta, Ángel; Solà-Morales Rubió, Joan de; València Guitart, Marta (1997)
    Article
    Open Access
    The 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 multi-terminal VSC-HVDC transmission systems 

    Dòria Cerezo, Arnau; Olm Miras, Josep Maria; di Bernardo, Mario; Quaglia, Massimiliano; Nuño, Emmanuel (Institute of Electrical and Electronics Engineers (IEEE), 2014)
    Conference report
    Restricted access - publisher's policy
    Multi-terminal VSC-HVDC 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 ...
  • Bounded-width QBF is PSPACE-complete 

    Atserias Peri, Albert; Oliva Valls, Sergi (2014-11-01)
    Article
    Restricted access - publisher's policy
    Tree-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, ...
  • Bounded-width QBF is PSPACE-complete 

    Atserias Peri, Albert; Oliva Valls, Sergi (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013)
    Conference report
    Open Access
    Tree-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 ...
  • Bounding Hilbert Space dimension from Temporal Correlations 

    Gallego López, Rodrigo (Universitat Politècnica de Catalunya, 2009-09-09)
    Master thesis
    Open Access
    In 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 

    Carrasco, Juan A. (1999-05)
    Article
    Open Access
    We 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 

    Carrasco, Juan A. (1998)
    Conference lecture
    Open Access
    We 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 distance of a controllable and observable system to an uncontrollable or unobservable one 

    Clotet Juan, Josep; García Planas, María Isabel (1999)
    Article
    Open Access
    Let $(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 

    Clotet Juan, Josep; García Planas, María Isabel (1998)
    Article
    Open Access
    Let $(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 output error in a buck power converter using perturbation theory 

    Angulo García, Fabiola; Fossas Colet, Enric; Seara, Tere M.; Olivar, Gerard (Hindawi, 2008-07)
    Article
    Open Access
    We 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 

    Pfeifle, Julián; Duong, Han; Haase, Christian; Reznick, Bruce (2005)
    Article
    Open Access
  • Bounds and adaptivity for 3D limit analysis 

    Muñoz, José J.; Bonet Carbonell, Javier; Huerta, Antonio; Peraire Guitart, Jaume (2009-06-08T10:28:14Z)
    Conference report
    Open Access
    In 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 

    Vidal Seguí, Yolanda; Parés Mariné, Núria; Díez, Pedro; Huerta, Antonio (Wiley and Sons, 2008-07)
    Article
    Open Access
    A 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 value at risk : the approach based on copulas with homogeneous tails 

    Jaworski, P. (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2008)
    Article
    Open Access
    The 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 

    Parés Mariné, Núria; Díez, Pedro; Huerta, Antonio (2008-03)
    Article
    Open Access
    Classical 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 ...
  • Bounds of functional outputs for parabolic problems. Part II: Bounds of the exact solution 

    Parés Mariné, Núria; Díez, Pedro; Huerta, Antonio (2008-03)
    Article
    Open Access
    The paper introduces a methodology to compute upper and lower bounds for linear-functional outputs of the exact solutions of parabolic problems. In this second part, the bounds account for the error both in space and time. ...
  • Bounds on the coefficients of tension and flow polynomials 

    Breuer, Felix; Dall, Aaron Matthew (2011-05)
    Article
    Restricted access - publisher's policy
    The goal of this article is to obtain bounds on the coefficients of modular and integral flow and tension polynomials of graphs. To this end we use the fact that these polynomials can be realized as Ehrhart polynomials of ...
  • Bounds on the first non-null eigenvalue for self-adjoint boundary value problems on networks 

    Bendito Pérez, Enrique; Carmona Mejías, Ángeles; Encinas Bachiller, Andrés Marcos; Gesto Beiroa, José Manuel (2006-09)
    Article
    Open Access
    We aim here at obtaining bounds on the first non-null eigenvalue for self-adjoint boundary value problems on a weighted network by means of equilibrium measures, that includes the study of Dirichlet, Neumann and Mixed ...