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

High performance electromechanical actuators based on ionic liquid/poly(vinylidene fluoride)

Due to the increasing need of low voltage actuators, independent from electrochemical processes, electroactive actuators based on poly(vinylidene fluoride) composites with 10, 25 and 40 % of 1-ethyl-3-methylimidazolium bis(trifluoromethylsulfonyl)imide, [C2mim] [NTf2], ionic liquid are prepared by solvent casting and melting. We show that the charge structure of [C2mim] [NTf2] induces the complete piezoelectric -phase crystallization of the PVDF within the composite and decreases its crystallinity fraction significantly. [C2mim] [NTf2] also works as a plasticizer of PVDF, reducing the elastic modulus down to 12 % of the initial value. Moreover, the composites show significant displacement and bending under applied voltages of 2, 5 and 10 Vpp. The displacement and bending of the composite membranes are also evaluated as a function of [C2mim] [NTf2] content and sample thickness. Increasing amounts of ionic liquid result in larger deformations independently of the applied voltage.

High-temperature polymer based magnetoelectric nanocomposites

The use of polymer based magnetoelectric materials for sensing and actuation applications has been the subject of increasing scientific and technological interest. One of the drawbacks to be overcome in this field is to increase the temperature range of application above 100 ºC. In this way, a nanocomposite material composed by a mixture of two aromatic diamines, 1,3-Bis-2-cyano-3-(3 aminophenoxy)phenoxybenzene (diamine 2CN) and 1,3-Bis(3-aminophenoxy)benzene (diamine 0CN) and CoFe2O4 (CFO) nanoparticles was designed, fabricated and successfully tested for high temperature magnetoelectric applications. Results revealed that CFO nanoparticles are well distributed within the 0CN2CN polymer matrix and that the addition of CFO nanoparticles does not significantly alter the polyimides structure. The magnetization response of the composite is determined by the CFO nanoparticle content. The piezoelectric response of the 0CN2CN polymer matrix (≈11 pC.N-1) and the maximum α33 value (0.8mV.cm-1.Oe-1) are stable over time and decrease only when the composite is subjected to temperatures above 130 ºC. Strategies to further improve the ME response are also discussed.

Extreme value Birnbaum-Saunders regression models applied to environmental data

Extreme value models are widely used in different areas. The Birnbaum–Saunders distribution is receiving considerable attention due to its physical arguments and its good properties. We propose a methodology based on extreme value Birnbaum–Saunders regression models, which includes model formulation, estimation, inference and checking. We further conduct a simulation study for evaluating its performance. A statistical analysis with real-world extreme value environmental data using the methodology is provided as illustration.

Postharvest shelf life extension of blueberries using a chitosan-based edible coating containing aloe vera juice

Poster

“Learning-by-producing” in the fashion value chain

Proceedings da AUTEX 2015, Bucareste, Roménia.

The role of liquid-based cytology and ancillary techniques in pleural and pericardic effusions: An institutional experience

BACKGROUND: Fine-needle aspiration cytology (FNAC) of serous membrane effusions may fulfil a challenging role in the diagnostic analysis of both primary and metastatic disease. From this perspective, liquid-based cytology (LBC) represents a feasible and reliable method for empowering the performance of ancillary techniques (ie, immunocytochemistry and molecular testing) with high diagnostic accuracy. METHODS: In total, 3171 LBC pleural and pericardic effusions were appraised between January 2000 and December 2013. They were classified as negative for malignancy (NM), suspicious for malignancy (SM), or positive for malignancy (PM). RESULTS: The cytologic diagnoses included 2721 NM effusions (2505 pleural and 216 pericardic), 104 SM effusions (93 pleural and 11 pericardic), and 346 PM effusions (321 pleural and 25 pericardic). The malignant pleural series included 76 unknown malignancies (36 SM and 40 PM effusions), 174 metastatic lesions (85 SM and 89 PM effusions), 14 lymphomas (3 SM and 11 PM effusions), 16 mesotheliomas (5 SM and 11 SM effusions), and 3 myelomas (all SM effusions). The malignant pericardic category included 20 unknown malignancies (5 SM and 15 PM effusions), 15 metastatic lesions (1 SM and 14 PM effusions), and 1 lymphoma (1 PM effusion). There were 411 conclusive immunocytochemical analyses and 47 molecular analyses, and the authors documented 88% sensitivity, 100% specificity, 98% diagnostic accuracy, 98% negative predictive value, and 100% positive predictive value for FNAC. CONCLUSIONS: FNAC represents a primary diagnostic tool for effusions and a reliable approach with which to determine the correct follow-up. Furthermore, LBC is useful for ancillary techniques, such as immunocytochemistry and molecular analysis, with feasible diagnostic and predictive utility.

Ranking procedure based on mechanical, durability and thermal behavior of mortars with incorporation of phase change materials

Nowadays, considering the high variety of construction products, adequate material selection, based on their properties and function, becomes increasingly important. In this research, a ranking procedure developed by Czarnecki and Lukowski is applied in mortars with incorporation of phase change materials (PCM). The ranking procedure transforms experimental results of properties into one numerical value. The products can be classified according to their individual properties or even an optimized combination of different properties. The main purpose of this study was the ranking of mortars with incorporation of different contents of PCM based in different binders. Aerial lime, hydraulic lime, gypsum and cement were the binders studied. For each binder, three different mortars were developed. Reference mortars, mortars with incorporation of 40% of PCM and mortars with incorporation of 40% of PCM and 1% of fibers, were tested. Results show that the incorporation of PCM in mortars changes their global performance.

Column-based databases: estudo exploratório no âmbito das bases de dados NoSQL

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Document-based databases: estudo comparativo no âmbito das bases de dados NoSql

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

High performance screen printable lithium-ion battery cathode ink based on C-LiFePO4

Lithium-ion battery cathodes have been fabricated by screen-printing through the development of CLiFePO4 inks. It is shown that shear thinning polymer solutions in N-methyl-2-pyrrolidone (NMP) with Newtonian viscosity above 0.4 Pa s are the best binders for formulating a cathode paste with satisfactory film forming properties. The paste shows an elasticity of the order of 500 Pa and, after shear yielding, shows an apparent viscosity of the order of 3 Pa s for shear rates corresponding to those used during screen-printing. The screen-printed cathode produced with a thickness of 26 mm shows a homogeneous distribution of the active material, conductive additive and polymer binder. The total resistance and diffusion coefficient of the cathode are 450 V and 2.5 10 16cm2 s 1, respectively. The developed cathodes show an initial discharge capacity of 48.2 mAh g 1 at 5C and a discharge value of 39.8 mAh g 1 after 50 cycles. The capacity retention of 83% represents 23% of the theoretical value (charge and/or discharge process in twenty minutes), demonstrating the good performance of the battery. Thus, the developed C-LiFePO4 based inks allow to fabricate screen-printed cathodes suitable for printed lithium-ion batteries

Exploitation of Ashbya gossypii for the production of high-value products from glycerol feedstocks

Dissertação de mestrado em Bioengenharia

Population dynamics of 0-group flounder (Platichthys flesus L.) in Galway Bay, West of Ireland and the value of flounder from shore angling tourism in Ireland

The economic value of flounder from shore angling around Ireland was assessed. Flounder catches from shore angling tournaments around Ireland were related to domestic and overseas shore angling expenditure in order to determine an economic value for the species. Temporal trends in flounder angling catches, and specimen (trophy) flounder reports were also investigated. Flounder was found to be the most caught shore angling species in competitions around Ireland constituting roughly one third of the shore angling competition catch although this did vary by area. The total value of flounder from shore angling tourism was estimated to be of the order of €8.4 million. No significant temporal trends in flounder angling catches and specimen reports were found. Thus there is no evidence from the current study for any decline in flounder stocks. The population dynamics of 0-group flounder during the early benthic stage was investigated at estuarine sites in Galway Bay, west of Ireland. Information was analysed from the March to June sampling period over five years (2002 to 2006). Spatial and temporal variations in settlement and population length structure were analysed between beach and river habitats and sites. Settlement of flounder began from late March to early May of each year, most commonly in April. Peak settlement was usually in April or early May. Settlement was recorded earlier than elsewhere, although most commonly was similar to the southern part of the UK and northern France. Settlement was generally later in tidal rivers than on sandy beaches. Abundance of 0-group flounder in Galway Bay did not exhibit significant inter -annual variability. 0-group flounder were observed in dense aggregations of up to 105 m'2, which were patchy in distribution. Highest densities of 0-group flounder were recorded in limnetic and oligohaline areas as compared with the lower densities in polyhaline and to a lesser extent mesohaline areas. Measurements to of salinity allowed the classification of beaches, and tidal river sections near the mouth, into a salinity based scheme for length comparisons. Beaches were classified as polyhaline,the lower section of rivers as mesohaline, and the middle and upper sections as oligohaline. Over the March to June sampling period 0-group flounder utilised different sections at different length ranges and were significantly larger in more upstream sections. During initial settlement in April, 0-group flounder of 8-10 mm (standard length, SL) were present in abundance on polyhaline sandy beaches. By about 10mm (SL), flounder were present in all polyhaline, mesohaline and (oligohaline) sections. 0-group flounder became absent or in insignificant numbers in polyhaline and mesohaline sections in a matter of weeks after first appearance. From April to June, 0-group flounder of 12-30mm (SL) were found in more upstream locations in the oligohaline sections. About one month (May or June) after initial settlement, 0-group flounder became absent from the oligohaline sections. Concurrently, flounder start to reappear in mesohaline and polyhaline areas at approximately 30mm (SL) in June. The results indicate 0-group flounder in the early benthic stage are associated with low salinity areas, but as they grow, this association diminishes. Results strongly suggest that migration of 0-group flounder between habitats takes place during the early benthic phase.

Prognostic Value of Pulmonary Vascular Resistance by Magnetic Resonance in Systolic Heart Failure

Abstract Background: Pulmonary hypertension is associated with poor prognosis in heart failure. However, non-invasive diagnosis is still challenging in clinical practice. Objective: We sought to assess the prognostic utility of non-invasive estimation of pulmonary vascular resistances (PVR) by cardiovascular magnetic resonance to predict adverse cardiovascular outcomes in heart failure with reduced ejection fraction (HFrEF). Methods: Prospective registry of patients with left ventricular ejection fraction (LVEF) < 40% and recently admitted for decompensated heart failure during three years. PVRwere calculated based on right ventricular ejection fraction and average velocity of the pulmonary artery estimated during cardiac magnetic resonance. Readmission for heart failure and all-cause mortality were considered as adverse events at follow-up. Results: 105 patients (average LVEF 26.0 ±7.7%, ischemic etiology 43%) were included. Patients with adverse events at long-term follow-up had higher values of PVR (6.93 ± 1.9 vs. 4.6 ± 1.7estimated Wood Units (eWu), p < 0.001). In multivariate Cox regression analysis, PVR ≥ 5 eWu(cutoff value according to ROC curve) was independently associated with increased risk of adverse events at 9 months follow-up (HR2.98; 95% CI 1.12-7.88; p < 0.03). Conclusions: In patients with HFrEF, the presence of PVR ≥ 5.0 Wu is associated with significantly worse clinical outcome at follow-up. Non-invasive estimation of PVR by cardiac magnetic resonance might be useful for risk stratification in HFrEF, irrespective of etiology, presence of late gadolinium enhancement or LVEF.

The Determinants of pricing in pharmaceuticals: are U.S. prices really higher than those of Canada?

This paper studies price determination in pharmaceutical markets using data for 25 countries, six years and a comprehensive list of products from the MIDAS IMS database. We show that market power and the quality of the product has a significantly positive impact of prices. The nationality of the producer appears to have a small and often insignificant impact on prices, which suggests that countries which regulates prices have relatively little power to do it in a way that advances narrow national interest. We produce a theoretical explanation for this phenomenon based on the fact that low negotiated prices in a country would have a knock-on effect in other markets, and is thus strongly resisted by producers. Another key finding is that the U.S. has prices that are not significantly higher than those of countries with similar income levels. This, together with the former observation on the effect of the nationality of producers casts doubt on the ability of countries to purs