The effect of post-deposition annealing temperature on the pH sensitivity of room temperature RF sputtered Ta₂O₅ was investigated. Structural and morphological features of these films were analyzed before and after annealing at various temperatures. The deposited films are amorphous up to 600 °C and crystallize at 700 °C in an orthorhombic phase. Electrolyte-insulator-semiconductor (EIS) field effect based sensors with an amorphous Ta2O5 sensing layer showed pH sensitivity above 50 mV/pH. For sensors annealed above 200 °C pH sensitivity decreased with increasing temperature. Stabilized sensor response and maximum pH sensitivity was achieved after low temperature annealing at 200 °C, which is compatible with the use of polymeric substrates and application as sensitive layer in oxides TFT-based sensors.

Serious games are usually applied to cognitive learning. However, the development of recent Natural User Interfaces (NUI) enables us to use serious games for a more holistic training. This project proposes to implement an educative game that teaches medical students how to carry out a neurological examination. The purpose is to improve not only the cognitive knowledge of the young physicians but also their sensorimotor skills. The game takes place in a virtual doctor office, which is modelled in 3D. Many possible clinical cases related to different neurologic diseases are simulated. The users are tested at two skill levels. First of all, they have to choose the right exam according to the patient’s symptoms. This initial stage is used to assess the theoretical expertise of the students. If the choice is correct, the physical examination begins. In order to evaluate the motor performance, a Kinect NUI is used. Such a device allows for the natural and intuitive control of the doctor’s avatar because there is a direct link between the individual’s and the avatar’s joints. Due to the fact that the real movements of the student are recorded with some accuracy, it is possible to gauge whether or not the medical gesture is properly applied to the virtual patient. In particular, the force and the precision of the movements are measured and compared to reference values. After each examination immediate feedback is given, so that the learners may rectify their choices and improve the quality of their motor skills at the next training session. Overall, the objective of this software is to enable the future physicians to practice a basic medical exam on a wide scope of neurologic disorders, without any risk for the patients and through an enjoyable approach.

Feature Models are commonly used to specify commonalities and variabilities in Software Product Lines (SPL). Our goal is to enhance feature modeling with traceability and improved support for crosscutting concerns. While traceability will show the features’ requirement-origins, providing means to reason about
their existence, crosscutting concerns will be handled through advanced modularity mechanisms (e.g. aspects), making the impact of changes to SPL models less difficult to understand and analyze. The result is Theme/SPL, a novel SPL requirements technique based on a concern-driven approach (Theme/Doc). Theme/SPL includes the proposal of a domain-specific language for specifying Theme/Doc models and uses model-driven development to generate automatically feature models from them. We show the applicability of the technique through a case study using a within-group design to evaluate the final results and tools developed.

Goal-Oriented Requirements Engineering (GORE) approaches have been developed to facilitate the requirements engineers work by, for example, providing abstraction mechanisms to help eliciting and modeling requirements. One of the well-established GORE approaches is KAOS. Nevertheless, in large-scale systems building KAOS models may result in incomplete and/or complex goal models, which are difficult to understand and change. This may lead to an increase in costs of product development and evolution. Thus, for large-scale systems, the effective management of complexity and completeness of goal
models is vital. In this paper, we propose a metrics framework for supporting the quantitative assessment of complexity and completeness of KAOS goal models. Those metrics are formally specified, implemented and incorporated in a KAOS modeling tool. We validate the metrics with a set of real-world case studies and discuss the identified recurring modeling practices.

There are several tools currently available in the i * community. These tools have different features and purposes. Choosing the most adequate tool for a specific modelling situation can be a challenge. To overcome this diffculty, we present a systematic comparison of the i * tools listed in the i * wiki page, according to their features, syntax coverage and semantic analysis support. Our comparison highlights the
different strengths of those tools, to help identifying situations for which each tool might be particularly useful. We contribute with an aggregated vision of current i * tool support to the body of knowledge of the i * community. In addition, this comparison also helps identifying opportunities for further evolution of the surveyed tools.

The recent development of inorganic based composites as low-cost materials in reinforced concrete structural strengthening and precast thin-walled components, requires the creation of models that predict the mechanical behaviour of these materials. Textile Reinforced Mortar (TRM) shows complex stress–strain behaviour in tension derived from the heterogeneity of its constituent materials. This complexity is mainly caused by the formation of several cracks in the inorganic matrix. The multiple cracking leads to a decrease in structural stiffness. Due to the severe conditions of the serviceability limit state in structural elements, the prediction of the stress–strain curve is essential for design and calculation purposes. After checking other models, an empirical nonlinear approach, which is based on the crack control expression included in the Eurocode 2, is proposed in this paper. Following this scope, this paper presents an experimental campaign focused on 31 TRM specimens reinforced with four different reinforcing ratios. The results are analysed and satisfactorily contrasted with the presented non-linear approach.

The strengthening of reinforced concrete structures with laminates of fibre reinforced polymeric (FRP) matrix has received considerable attention, although there still is lack of information on the more adequate modelling of the interface between FRP composites and concrete. An experimental programme is described and was designed to: (i) characterise glass FRP-to-concrete interface by shear tests; (ii) analyse reinforced concrete T-beams with external GFRP plates. Double shear tests were carried out based on 15 cm cubes with GFRP bonded to two opposite faces. The concrete T-beams were 3.0 m long and 0.28 m high and were loaded till rupture in 4-point bending tests. The external reinforcement system showed great strength increment in relation to the non retrofitted T-beam, confirming to be an effective approach to the flexural strengthening of RC beams. The computational analysis was based on a three dimensional smeared crack model. In total, 22 computational analyses were made. Models with and without interface FE associated with Mohr–Coulomb failure criterion for the FRP-to-concrete interface were defined and different strength types of concrete were considered. The rigid interface does not predict the rupture of the T-beam with precision; however, the results obtained for low concrete strengths revealed that rigid interfaces can be assumed when conjugated with the fixed crack approach. Consequently, a slightly stiffer response of the beam is obtained. The maximum bond stresses obtained from Finite Element Analysis (FEA) revealed that the models with rigid interfaces developed lower bond stresses due to the lack of relative displacements between both materials. The effects of assuming either fixed or rotated crack approaches were also compared. The rotated crack conjugated to a fine mesh in the vicinity of the GFRP-to-concrete stress led to a very good estimation of the bond stresses along the interface. The prediction of the T-beam rupture was also estimated with better results when the rotated crack was used in the model. In general, the FEA predicted with very good results the de-bonding of the GFRP-to-concrete interface of T-beams externally bonded with GFRP composites.

The strengthening of reinforced concrete structures by means of externally bonded fibre reinforced polymers (FRPs) is now routinely considered and applied in the retrofit or strengthening of structures. FRP composites have received a considerable attention from civil engineers in recent years due to the high strength-weight and stiffness/weight ratios when compared to other materials. However, when FRP composites are bonded to a concrete surface, there is a persistent potential problem that the FRP plates may debond prematurely from the concrete. This is a very important issue for the engineers who have to focus on the computational modelling of this phenomenon. Some studies can be found in literature on computational modelling. However, there is very little information about the best modelling of the interface between FRP composites and concrete and this work is intended to help bridge this gap. The computational analysis presented here is based on three-dimensional software which assumes the smeared crack model, and the interface finite elements (FEs) used have a rupture criteria based on the Mohr-Coulomb criterion with tension cut-off. The definition of these FEs was based on double shear tests that were performed specifically for this purpose and they have shown that the debonding phenomenon can be predicted with some accuracy. In total, 10 double shear models were studied and the results were compared with the 21 experimental tests performed. The double shear tests consisted of applying loads to 2 layered GFRP laminates bonded to a 150 mm concrete cube with a bonded area of 150 × 80 mm (length × width). Double shear models with and without a gap interface were considered in order to emphasize the importance of modelling the GFRP-to-concrete interface with interface finite elements. The effect of the concrete strength on the interface performance was also considered. An externally bonded reinforcement (EBR) concrete T-beam strengthened with 2 GFRP layers is presented to illustrate the application of the method. The wet lay-up technique was used for the external reinforcement of a reinforced concrete T-beam and then tested under a four point bending test until rupture. The results are reported and differences between the numerical and the experimental results are discussed.

Given graphs G and H, and a coloring of the edges of G with k colors, a monochromatic H-decomposition of G is a partition of the edge set of G such that each part is either a single edge or forms a monochromatic graph isomorphic to H. Let f_{k}(n,H) be the smallest number t such that any k-edge-colored graph G of order n, admits a monochromatic H-decomposition with at most t parts. Here we study the function f_{k}(n,K_r) for k ≥2 and r≥ 3.

The publication of the present work - rightly designated as the book of Arrabida's nomination file for inscription on the World Heritage list - has for all of us a special significance as it represents, in a sense, the culmination of a complex, challenging and rewarding process. As is widely known, the Arrábida is included since 2004 in UNESCO's Portuguese tentative list, with AMRS being one of this process' promoters. It wouldn't be appropriate to describe here all the details, but it is fair to say that since 2004 to the present day, we've come a long way in recovering and valuing the Arrábida. It is with sincere satisfaction that we can say: our knowledge of the Property is now deeper, up to date and much more accurate, doing justice to the exceptional values contained within the Arrábida - which is well expressed in the work now published, based on researches and works of the highest scientific value. This is also a regional development project, to value our lands, people and the natural and cultural heritage. The Setúbal's Peninsula is a region that contains within its territory a vast natural and cultural heritage, being the Arrábida one of the most beautiful and significant natural areas in the Mediterranean. The Arrábida Mountain is a place with its own identity, being the result of a long history of Man's adaptation to Nature. It is a place of unmistakable aesthetic beauty, a unique place where nature and culture intertwine; it is a place of contrasts, of land and sea, sky and mountains, a place of combined actions by Man and Nature. Place of vibrant social practices, of rituals and festivals, of knowledge, of representations and expressions, of instruments, objects and artifacts. Place with a history that must be preserved and bequeathed to future generations. Place with monuments of vanished civilizations, but also of living traditions. These are some of the values supporting the Arrábida's nomination for the World's Heritage list. It is a complex and demanding nomination file, which this work is an illustrative sample of. A mixed application - as it includes both the natural and cultural heritage - which, given the richness and uniqueness of the Property in question, is fully justified. It is our profound conviction that this Nomination streamlines the potential of our region, bringing benefits not only to the local population, but also to the whole country. To that extent, it is also a sign of hope and confidence showing that it is possible to build a different future; that by investing in our people, in their abilities, knowledge and traditions, it is possible to create a sustainable development; that is possible to leave for future generations a legacy of which we are proud of having worked on. To be able enjoy this magnificent edition is a step in that direction.

In the early 20thcentury, Belgian naturalists reported Paleocene and Eocene sharks, the bothremydid pleurodiran turtleTaphosphrys(formerlyBantuchelys), and a neosuchian and the dyrosaurid crocodyliformCongosaurusfrom coastal outcrops near Landana in the northern province of Cabinda, Angola. In 1935, rare and fragmentary mammals were reported from strata at Malembo Point, south of Landana, and originally considered to be Miocene in age. Subsequent re-identification of the mammal fossils suggested that the Malembo deposits are Lower Oligocene based on the presence of an arsinoithere and hyracoids. An anthropoid canine, originally identified as a carnivore incisor, was also recognized. In four recent expeditions to Cabinda, Projecto PaleoAngola has traced and measured the stratigraphy between Landana and Malembo Point and sampled these deposits for pollen, stable isotopes, detrital zircons, paleomagnetic stratigraphy, and for U/Pb dating of bones, teeth, and coprolites. Although the faunas from all Cabinda localities are dominated by sharks and rays, new discoveries from Landana include a complete cheloniid cryptodire turtle skull, a small snake vertebra, and a bird bone. Discoveries from the Malembo level include a narrow-snouted crocodyliform similar toCongosaurusandEuthecodon, an arsinoithere anterior tooth, an upper molar similar to that of the ptolemaiidanKelba, an unidentified mammalian incisor, and a large primate-like premolar. Recent biostratigraphic advances in East Africa and the new fossil discoveries in Cabinda suggest similarity to late Oligocene faunas in Ethiopia and Kenya, although the large primate-like premolar is unique. To this day, the fossil localities of Malembo provide the only coastal, low latitude, low elevation record of West African Cenozoic terrestrial mammals. https://gsa.confex.com/gsa/2013AM/webprogram/Paper232115.html