Exploració per títol
Ara es mostren els items 32073-32092 de 245378
-
Bounded and dissipative solutions of the Bouc-Wen model for hysteretic structural systems
(2004-06)
Capítol de llibre
Accés obertThe aim of this paper is to give the conditions on the hysteretic Bouc-Wen 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
(2007-10-02)
Article
Accés obertWe 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 gain-scheduled LQR satellite control using a tilted wheel
(Universitat Politècnica de Catalunya, 2017-05-05)
Treball Final de Grau
Accés obert
Realitzat a/amb: École polytechnique de MontréalFrom the beginning of the satellite usage, the momentum created by its movements has been a concern that has to be taken into account for every space mission. Depending on the dimensions, ... -
Bounded model checking for asynchronous concurrent systems
(Universitat Politècnica de Catalunya, 2014-03-04)
Tesi
Accés obertComplex hardware systems become more and more ubiquitous in mission critical applications such as military, satellite, and medical to name but a few. In such applications, reliability remains a primary concern because a ... -
Bounded queries to arbitrary sets
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
Text en actes de congrés
Accés obertWe prove that if P^(A [k])= P^(A [k+1]) for some k and an arbitrary set A, then A is reducible to its complement under a relativized nondeterministic conjunctive reduction. This result shows the first known property of ... -
Bounded queries to arbitrary sets
(1991-09)
Report de recerca
Accés obertWe prove that if P superA[k] = P superA[k+1] for some k and an arbitrary set A, then A is reducible to its complement under a relativized nondeterministic conjunctive reduction. This result shows the first known property ... -
Bounded rate damage plastic model for concrete failure under impulsive loadings
(CIMNE, 2017)
Text en actes de congrés
Accés obert -
Bounded solutions of second order lineal difference equations with periodic coefficients
(2016)
Text en actes de congrés
Accés obert -
Bounded solutions of self-adjoint second order linear difference equations with periodic coefficients
(2018-02-25)
Article
Accés obertIn this work we obtain easy characterizations for the boundedness of the solutions of the discrete, self–adjoint, second order and linear unidimensional equations with periodic coefficients, including the analysis of the ... -
Bounded solutions of some nonlinear elliptic equations in cylindrical domains
(1997)
Article
Accés obertThe 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
(Institute of Electrical and Electronics Engineers (IEEE), 2014)
Text en actes de congrés
Accés restringit per política de l'editorialMulti-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
(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 ...
