The retrofit is a process that allow buildings existent to have its improved the performance, but many problems are identified during design and construction. project requirement should consider building can link factors success identify client's requirement. research features confrontation of Brazilian Standard with stock city Salvador / Ba, result if exhibit relationship between different sys...

It is well known that an equilibrium in the Arrow-Debreu model may fail to exist if a very restrictive condition called the survival assumption is not satisfied. We study two approaches that allow for the relaxation of this condition. Danilov and Sotskov (1990), and Florig (2001) developed a concept of a generalized equilibrium based on a notion of hierarchic prices. Marakulin (1990) proposed a...

This paper describes an evaluation of Taylor's (1998) hierarchic model of fears and its relationship to trait anxiety and disgust sensitivity (DS). In Study 1 (N=420), a confirmatory factor analysis supported a hierarchic structure of fears. Next, an analysis using structural equation modeling indicated that trait anxiety is associated with claustrophobic and social fears, whereas DS is associa...

This paper studies a flexible hierarchic design approach of large processor networks with distributed media access. The cluster-based interconnection combines passive metal buses and passive optical star couplers at two hierarchic levels, independently employing interleaved TDMA for conflict-free interprocessor communication. The system delay analysis highlights the tradeoffs of arbitrarily com...

We describe the development of a hierarchic modelling method applied to simulating the processive movement of the myosin-V molecular motor protein along an actin filament track. In the hierarchic model, three different levels of protein structure resolution are represented: secondary structure, domain, and protein, with the level of detail changing according to the degree of interaction among t...

CDMA (Code Division Multiple Access) is a multiple access technique based on spread spectrum methods. To estimate the delay parameters appearing in the data model, several authors have proposed subspace-based solutions. Unfortunately, these methods, for example the eigenvector-based MUSIC method yields poor results at low signal-to-noise ratios. On the other hand, theoretically optimal maximum ...

Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research challenge is to design theorem provers that are “reasonably complete” even in the presence of free function symbols ranging into a background theory sort. The hierarchic superposition calculus of Bachmair, Ganzinger,...

The convergence of a two-scale FEM for elliptic problems in divergence form with coefficients and geometries oscillating at length scale ε " 1 is analyzed. Full elliptic regularity independent of ε is shown when the solution is viewed as mapping from the slow into the fast scale. Two-scale FE spaces which are able to resolve the ε scale of the solution with work independent of ε and without ana...