in order to lighten the prestressed concrete solid members, nowadays, it is possible to make use of the advantage of hpc (fc'>60 mpa) as well as replacing the solid section with a psc thin-walled section for certain members such as circular and box columns. using the strength theory of aci, a numerical procedure along with a computer program was developed for the analysis of such sections ...

In this paper we study the algebra L(Σ) generated by links in the manifold Σ¬[0, 1] where Σ is an oriented surface. This algebra has a filtration and the associated graded algebra L Gr (Σ) is naturally a Poisson algebra. There is a Poisson algebra homomorphism from the algebra ch (Σ) of chord diagrams on Σ to L Gr (Σ). We show that multiplication in L (Σ) provides a geometric way to define a de...

MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity dia...

The diff utility is an important basic tool, providing a foundation for many of the fundamental practices of software development, such as source code management. While there are many file differencing tools for textual programming languages, including some that look at more than simple textual variations, there are few for visual programming languages. We present an algorithm for semantic comp...

Voronoi diagrams are fundamental geometric structures that have been both deeply and widely investigated since their inception in disguise by René Descartes for analyzing the gravitational influence of stars, in the 17 century. Voronoi diagrams find countless applications in science and engineering beyond graphics as attested by the long representative, and yet non-exhaustive, list of applicati...

Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures employ Ordered Binary Decision Diagrams (OBDDs) as canonical representation for both Boolean circuit specifications and logic designs, but these methods require a large amount of memory and time. Due to these limitations, several models of Decision Diagrams have been studied ...

MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity dia...