A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Mycobacteria other than tubercle bacilli in sputum specimens from patients in Manaus (Amazonia, Brasil)

SUMMARYMycobacteria which are most commonly isolated in pulmonary secretions of patients with respiratory symptoms living in the State of Amazonas are given. The high percentage of isolates (25,4) and the species obtained indicate a strong relationship of contamination of man by the environment. Among the species isolated, seven of them are considered potentially pathogenic mycobacteria. Since some of these species may interfere with present and further vaccination programs against Tuberculosis and Leprosy, these investigations indicate a necessity of carrying out studies of population awareness against specific PPD's prepared from the same species.

Vanamea GEN. NOV. FOR Livoneca symmetricaVAN NAME,1925, (CRUSTACEA, ISOPODA, CYMOTHOIDAE) AND A REDESCRIPTION OF THE SPECIES BASED ON SPECIMENS FROM BRAZILIAN PIRANHAS

Studies of the cymothoid isopod Livoneca symmetricaVan Name, 1925, showed that this species has characters that preclude its inclusion in LivonecaLeach, 1818, or in any other known genus. The species is redescribed on the basis of male and female specimens from the mouth cavities of Amazonian piranhas (Serrasalmus spilopleura(Kner) and S. elongatusKner) and Vanameagen. nov. is proposed for it. The new genus is defined as having: a cephalon that is not immersed in pereonite 1; mandibles that are "foot-shaped" and without incisors, pereopods that are long and unequal in size and shape; a pleon that is not immersed in the pereon; and a pleotelson that is inflated anteriorly and medially.

Influence of type of binder and sand on the characteristics of masonry mortars

This study deals with the characterization of masonry mortars produced with different binders and sands. Several properties of the mortars were determined, like consistence, compressive and flexural strengths, shrinkage and fracture energy. By varying the type of binder (Portland cement, hydrated lime and hydraulic lime) and the type of sand (natural or artificial), it was possible to draw some conclusions about the influence of the composition on mortars properties. The results showed that the use of Portland cement makes the achievement of high strength classes easier. This was due to the slower hardening of lime compared with cement. The results of fracture energy tests showed much higher values for artificial sand mortars when compared with natural sand ones. This is due to the higher roughness of artificial sand particles which provided better adhesion between sand and binder.

Exploring the potentialities of a new type of CFRP laminate for the simultaneous flexural and shear strengthening of RC beams: numerical research

This study aims to develop an innovative carbon fibre reinforced polymer (CFRP) laminate with a U configuration to address strengthening interventions, where the increment of both flexural and shear capacity of reinforced concrete (RC) elements is required. This strengthening solution combines the near surface mounted (NSM) and embedded through section (ETS) techniques in the same application, since these techniques have already evidenced high performance on flexural and shear strengthening of RC beams using FRP systems, respectively. In fact, the proposed hybrid technique aims to mobilize the advantages provided by these two strengthening techniques by using an innovative CFRP laminate. The strengthening efficacy of this new hybrid NSM/ETS technique was numerically assessed and compared to the corresponding efficiency of NSM and ETS techniques applied separately for the flexural and shear strengthening of RC beams, respectively. The numerical models are described and the main relevant results are presented and discussed.

Qualitative risk assessment during polymer mortar test specimens preparation - methods comparison

Polymer binder modification with inorganic nanomaterials (NM) could be a potential and efficient solution to control matrix flammability of polymer concrete (PC) materials without sacrificing other important properties. Occupational exposures can occur all along the life cycle of a NM and “nanoproducts” from research through scale-up, product development, manufacturing, and end of life. The main objective of the present study is to analyse and compare different qualitative risk assessment methods during the production of polymer mortars (PM) with NM. The laboratory scale production process was divided in 3 main phases (pre-production, production and post-production), which allow testing the assessment methods in different situations. The risk assessment involved in the manufacturing process of PM was made by using the qualitative analyses based on: French Agency for Food, Environmental and Occupational Health & Safety method (ANSES); Control Banding Nanotool (CB Nanotool); Ecole Polytechnique Fédérale de Lausanne method (EPFL); Guidance working safely with nanomaterials and nanoproducts (GWSNN); Istituto Superiore per la Prevenzione e la Sicurezza del Lavoro, Italy method (ISPESL); Precautionary Matrix for Synthetic Nanomaterials (PMSN); and Stoffenmanager Nano. It was verified that the different methods applied also produce different final results. In phases 1 and 3 the risk assessment tends to be classified as medium-high risk, while for phase 2 the more common result is medium level. It is necessary to improve the use of qualitative methods by defining narrow criteria for the methods selection for each assessed situation, bearing in mind that the uncertainties are also a relevant factor when dealing with the risk related to nanotechnologies field.

Application of near surface mounted (NSM) strengthening technique to traditional timber frame walls

Timber frame buildings are well known as an efficient seismic resistant structure popular all over the world not only due to their seismic performance, but also to their low cost and the strength they offer. These constructions still exist today and it is important to be able to preserve them, so a better knowledge on their behaviour is sought. Furthermore, historic technologies could be used even in modern constructions to build seismic resistant buildings using more natural materials with lesser costs. A great rehabilitation effort is being carried out on this type of buildings, as their neglect has led to decay or their change in use and alterations to the structure has led to the need to retrofit such buildings; only recently studies on their behaviour have become available and only a few of them address the issue of possible strengthening techniques for this kind of walls. In this scope, an innovative retrofitting technique (near surface mounted steel flat bars) is proposed and validated on traditional timber frame walls based on an extensive experimental program. The results of the static cyclic tests on distinct wall typologies retrofitted with the NSM technique are herein presented and discussed in detail. The main features on deformation, lateral stiffness, lateral resistance and seismic performance indexes are analysed

Predicting type of delivery by identification of obstetric risk factors through data mining

In Maternity Care, a quick decision has to be made about the most suitable delivery type for the current patient. Guidelines are followed by physicians to support that decision; however, those practice recommendations are limited and underused. In the last years, caesarean delivery has been pursued in over 28% of pregnancies, and other operative techniques regarding specific problems have also been excessively employed. This study identifies obstetric and pregnancy factors that can be used to predict the most appropriate delivery technique, through the induction of data mining models using real data gathered in the perinatal and maternal care unit of Centro Hospitalar of Oporto (CHP). Predicting the type of birth envisions high-quality services, increased safety and effectiveness of specific practices to help guide maternity care decisions and facilitate optimal outcomes in mother and child. In this work was possible to acquire good results, achieving sensitivity and specificity values of 90.11% and 80.05%, respectively, providing the CHP with a model capable of correctly identify caesarean sections and vaginal deliveries.

Tunnel engineering – influence of the type and the quantity of measurements in the back analysis of geomechanical parameters

The monitoring data collected during tunnel excavation can be used in inverse analysis procedures in order to identify more realistic geomechanical parameters that can increase the knowledge about the interested formations. These more realistic parameters can be used in real time to adapt the project to the real structure in situ behaviour. However, monitoring plans are normally designed for safety assessment and not especially for the purpose of inverse analysis. In fact, there is a lack of knowledge about what types and quantity of measurements are needed to succeed in identifying the parameters of interest. Also, the optimisation algorithm chosen for the identification procedure may be important for this matter. In this work, this problem is addressed using a theoretical case with which a thorough parametric study was carried out using two optimisation algorithms based on different calculation paradigms, namely a conventional gradient-based algorithm and an evolution strategy algorithm. Calculations were carried for different sets of parameters to identify several combinations of types and amount of monitoring data. The results clearly show the high importance of the available monitoring data and the chosen algorithm for the success rate of the inverse analysis process.

Effect of ionic liquid anion type in the performance of solid polymer electrolytes based on Poly(Vinylidene fluoride-trifluoroethylene)

The effect of different anions within the ionic liquid in the characteristics of solid polymer electrolytes (SPEs) based on P(VDF-TrFE) has been investigated. 1-ethyl-3-methylimidazolium acetate, [C2mim][OAc], 1-ethyl-3-methylimidazolium triflate, [C2mim][(CF3SO3)3], 1-ethyl-3-methylimidazolium lactate, [C2mim][Lactate], 1-ethyl-3-methylimidazolium thiocyanate, [C2mim][SNC] and 1-ethyl-3-methylimidazolium hydrogen sulphate [C2mim][HSO4] have been used in SPE prepared by thermally induced phase separation (TIPS). The polymer phase, thermal and electrochemical properties of the SPE have been determined. The thermal and electrical properties of the SPEs strongly depend on the selected IL, as determined by their different interactions with the polymer matrix. The room temperature ionic conductivity increases in the following way for the different anions: [SNC] > [CF3SO3)3] > [HSO4] > [Lactate] > [OAc], which is mainly dependent on the viscosity of the ionic liquid.

On the routines of wild-type silk fibroin processing toward silk-inspired materials: a review

For years, silk fibroin of a domestic silkworm, Bombyx mori, has been recognized as a valuable material and extensively used. In the last decades, new application fields are emerging for this versatile material. Those final, specific applications of silk dictate the way it has been processed in industry and research. This review focuses on the description of various approaches for silk downstream processing in a laboratory scale, that fall within several categories. The detailed description of workflow possibilities from the naturally found material to a finally formulated product is presented. Considerable attention is given to (bio-) chemical approaches of silk fibroin transformation, particularly, to its enzyme-driven modifications. The focus of the current literature survey is exclusively on the methods applied in research and not industry.

Aspergilli and Penicillia related to the surface of ripening italian grana type cheese and its ripening environment

Information available on the mycoflora associated to ripening Italian “grana type” cheese is very poor. Recently, ochratoxin A (OTA) was detected in samples of packed grated cheese [1]; therefore, the need of information to perform a risk management was highlighted. Moreover, sterigmatocystin (STC) has been reported in cheese and it is considered an emerging problem. Despite the fact that both of them are mycotoxins included in group 2B by IARC [2,3], no European regulation exists. So, the main goal of this work is to give for the first time a general overview about Penicillia and Aspergilli growing on the surface of ripening “grana type” cheese, with particular attention on mycotoxigenic species. To perform this, in 2013 and 2014 crust samples were scratched from ripening grana cheese wheels and also Potato Dextrose Agar plates were exposed to monitor ripening house air. Then, 140 fungal isolates were randomly chosen, purified and monosporic colonies were obtained for their identification at specie level. A polyphasic approach is followed, based on morphological characterisation, toxic extrolites profiling and gene sequencing. The identification is still in progress, but the first results based on the morphological approach showed the presence of mycotoxigenic Aspergilli (Aspergillus flavus and A. versicolor) and various Penicillium species; among them Penicillium chrysogenum, P. implicatum and P. solitum were identified. Only P. chrysogenum was reported to produce the mycotoxins cyclopiazonic acid (CPA) and roquefortine-C (ROQ-C) [4]. These results will be presented and discussed. [1] A. Biancardi, R. Piro, G. Galaverna, C. Dall’Asta, "A simple and reliable liquid chromatography–tandem mass spectrometry method for determination of ochratoxin A in hard cheese" International Journal of Food Sciences and Nutrition 64 (5), 2013, 632 – 640. [2] International Agency for Research on Cancer (IARC) “IARC Monographs on the Evaluation of Carcinogenic Risks to Humans” 31, 1983, 191 – 199. [3] International Agency for Research on Cancer (IARC) “IARC Monographs on the Evaluation of carcinogenic Risks to Humans”, suppl. 7, 1987, 72. [4] J. I. Pitt, D. A. Hocking, “Fungi and Food Spoilage” 1997, 291.

Search for type-III Seesaw heavy leptons in pp collisions at s√=8 TeV with the ATLAS Detector

A search for the pair-production of heavy leptons (N0,L±) predicted by the type-III seesaw theory formulated to explain the origin of small neutrino masses is presented. The decay channels N0→W±l∓ (ℓ=e,μ,τ) and L±→W±ν (ν=νe,νμ,ντ) are considered. The analysis is performed using the final state that contains two leptons (electrons or muons), two jets from a hadronically decaying W boson, and large missing transverse momentum. The data used in the measurement correspond to an integrated luminosity of 20.3fb−1 of pp collisions at s√=8 TeV collected by the ATLAS detector at the LHC. No evidence of heavy lepton pair-production is observed. Heavy leptons with masses below 325--540 GeV are excluded at the 95% confidence level, depending on the theoretical scenario considered.

Spousal support and satisfaction with healthcare services as moderators between psychological morbidity and adherence to diet in Type 2 Diabetes patients

Objectives: This study analyzed the moderating role of partners’ support and satisfaction with healthcare services in the relationship between psychological morbidity and adherence to diet in patients with type 2 diabetes (T2DM). Methods: Participants were 387 recently diagnosed T2DM patients that answered the following instruments: Revised Summary of Diabetes Self- Care Activities Measure, Hospital Anxiety and Depression Scales, Multidimensional Diabetes Questionnaire and Patient Satisfaction Questionnaire. Results: Partners’ positive and negative support moderated the relationship between psychological morbidity and adherence to diet. Satisfaction with healthcare services also moderated the relationship between psychological morbidity and adherence to diet. Conclusions: Intervention programs to promote adherence to diet in patients with type 2 diabetes should focus on partners’ support and patient satisfaction with healthcare services.