Pseudo-Kaposi's Sarcoma Because of Suction-Socket Lower Limb Prosthesis

Pseudo-Kaposi sarcoma is a benign reactive vascular proliferation mainly involving the lower legs, which can be related to acquired chronic venous insufficiency or congenital arteriovenous malformations. In its most common presentation, acroangiodermatitis is seen in patients with chronic venous insufficiency of the lower limbs as an exaggeration of the stasis dermatitis. However, rare reports of acroangiodermatitis include descriptions in amputees (especially in those with poorly fitting suction-type devices), in patients undergoing hemodialysis (with lesions developing distally to arteriovenous shunts) and in patients with paralyzed legs. We report on a 28 year-old-male who presented pseudo-Kaposi's sarcoma in an amputation stump because of suction-socket lower limb prosthesis.

Precast concrete wall-foundation connection. Development of a seismic dissipative connection

Seismic events are a major factor to consider in structural design of buildings in many countries. With the purpose of saving lives, most of the design codes lead to structural solutions that withstand large seismic actions without collapsing, but without taking into account a possible usage of the structures after the earthquake. As a result, it is necessary to consider the time needed to repair/retrofit the damaged structures (i.e. the downtime) since this period of inactivity may result in huge financial implications for the occupants of the buildings. In order to minimise the damages and simplify repair operations, structural solutions with rocking systems and negligible residual displacements have been developed during the last two decades. Systems with precast concrete rocking walls were studied with the aim of investigat- ing suitable and convenient structural alternatives to minimise the damage in case of an earthquake. Experimental, numerical and analytical analyses on post-tensioned solutions, with and without energy dissipation devices, were carried out in this research. The energy dissipation devices were made from steel angles that were further developed during the research. Different solutions for these devices were experimentally tested under cyclic loading and the results are presented. Numerical and analytical work on steel angles was also carried out. Regarding the concrete rocking wall systems, two concrete rocking wall systems were studied: post-tensioned walls and post-tensioned walls with energy dissipation devices. In the latter, the solution was to fix them externally to the wall, allowing their easy replacement after an earthquake. It is shown that the dissipaters are a viable solution for use in precast concrete rocking wall systems. A building case study is presented. The comparison between a traditional monolithic system and a hybrid solution was carried out, allowing the evaluation of the efficiency of the solution that was developed.

Dynamic stiffness of the piled foundation of a onshore wind turbine

One of today's biggest concerns is the increase of energetic needs, especially in the developed countries. Among various clean energies, wind energy is one of the technologies that assume greater importance on the sustainable development of humanity. Despite wind turbines had been developed and studied over the years, there are phenomena that haven't been yet fully understood. This work studies the soil-structure interaction that occurs on a wind turbine's foundation composed by a group of piles that is under dynamic loads caused by wind. This problem assumes special importance when the foundation is implemented on locations where safety criteria are very demanding, like the case of a foundation mounted on a dike. To the phenomenon of interaction between two piles and the soil between them it's given the name of pile-soil-pile interaction. It is known that such behavior is frequency dependent, and therefore, on this work evaluation of relevant frequencies for the intended analysis is held. During the development of this thesis, two methods were selected in order to assess pile-soil-pile interaction, being one of analytical nature and the other of numerical origin. The analytical solution was recently developed and its called Generalized pile-soil-pile theory, while for the numerical method the commercial nite element software PLAXIS 3D was used. A study of applicability of the numerical method is also done comparing the given solution by the nite element methods with a rigorous solution widely accepted by the majority of the authors.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Portraying the Portuguese Foundation Sector

Foundations’ importance in the actual economy has been increasingly recognized. This work project assesses the impact of the new legal framework in the foundations’ financial reporting and offers a financial statement analysis of the Portuguese foundational sector. It unveils links between financial performance and characteristics of foundations, and profiles foundations in three clusters, each with different approaches to disclosure, volunteer workforce, and taxes. It is concluded that foundations are not respecting the benefits trusted to them, calling for a tighter control to their financial reporting, and that even though that slowly, the sector is expected to continue growing.

Variations and application conditions of the data type "Image" : the foundation of computational visualistics

Visualistics, computer science, picture syntax, picture semantics, picture pragmatics, interactive pictures

The animal kingdom, arranged according to its organization, serving as a foundation for the natural history of animals : and an introduction to comparative anatomy.

3 (Plates)

The animal kingdom, arranged according to its organization, serving as a foundation for the natural history of animals : and an introduction to comparative anatomy.

3 (Index)

Science policy : USA/USSR / [report prepared for National Science Foundation, Directorate for Scientific, Technological and International Affairs, Division of International Programs].

2

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism (Long version)

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of "the historical tendencies": a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin's method, to prove the result.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism.

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of ?the historical tendencies?: a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin?s method, to prove the result.