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/.

Enunciados do tipo injuntivo em géneros de texto publicitários sobre o vinho.

A partir de um corpus de géneros de texto publicitários, rótulos e contrarrótulos de garrafa de vinho e anúncios sobre o vinho, neste trabalho, serão analisados os enunciados injuntivos em ocorrência para averiguar as relações que se estabelecem entre marcas comerciais e consumidores, o tipo de informação veiculada e as representações linguisticamente construídas destes sujeitos. Situando-se no âmbito da Teoria do Texto e combinando patamares de análise linguística com a dimensão social, esta investigação convoca ainda o Interacionismo Sociodiscursivo que defende uma perspetiva ontogenética da linguagem, consentânea com uma abordagem discursivo-textual da Linguística. A análise dos dados indica que os domínios sociais ou as atividades envolvidas, publicitária e de produção e de comercialização do vinho, preconizam imagens do consumidor ideal de vinho no que diz respeito à prova de vinho, a um comportamento socialmente adequado e sobre as boas propriedades do vinho.

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.

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.

List of type-specimens of Isoptera (Insecta) in the collection of the Museu Paraense Emílio Goeldi, State of Pará, Brazil

The collection of the Museu Paraense Emílio Goeldi (MPEG), in the city of Belém, State of Pará, Brazil, has 65 samples of type-specimens of Isoptera, representing 26 species (21 holotypes and 5 paratypes) of 18 genera. This paper lists the number of specimens of each caste in each type series, type localities with geographical coordinates, collectors, and dates of collection.

Maternal attachment representations in relation to emotional availability and discipline behaviour

"Published online: 15 Sep 2015."

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.

Learning joint representations for order and timing of perceptual-motor sequences: a dynamic neural field approach

Many of our everyday tasks require the control of the serial order and the timing of component actions. Using the dynamic neural field (DNF) framework, we address the learning of representations that support the performance of precisely time action sequences. In continuation of previous modeling work and robotics implementations, we ask specifically the question how feedback about executed actions might be used by the learning system to fine tune a joint memory representation of the ordinal and the temporal structure which has been initially acquired by observation. The perceptual memory is represented by a self-stabilized, multi-bump activity pattern of neurons encoding instances of a sensory event (e.g., color, position or pitch) which guides sequence learning. The strength of the population representation of each event is a function of elapsed time since sequence onset. We propose and test in simulations a simple learning rule that detects a mismatch between the expected and realized timing of events and adapts the activation strengths in order to compensate for the movement time needed to achieve the desired effect. The simulation results show that the effector-specific memory representation can be robustly recalled. We discuss the impact of the fast, activation-based learning that the DNF framework provides for robotics applications.

Intervention program on adolescent’s creativity representations and academic motivation

Creativity and its promotion are widespread concerns in education. However, few efforts have been made to implement intervention programs designed to promote creativity and other related aspects (e.g., academic motivation). The Future Problem Solving Program International (FPSPI), aimed for training creativity representations and creative problem solving skills in young people, has been one of the most implemented programs. This intervention’s materials and activities were adapted for Portuguese students, and a longitudinal study was conducted. The program was implemented during four months, in weekly sessions, by thirteen teachers. Teachers received previous training for the program and during the program’s implementation. Intervention participants included 77 Basic and Secondary Education students, and control participants included 78 equivalent students. Pretest-posttest measures of academic motivation and creativity representations were collected. Results suggest a significant increase, in the intervention group, in motivation and the appropriate representations of creativity. Practical implications and future research perspectives are presented.