Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Thermo-hydro-mechanical analysis of CO2 injection into deep aquifers

One of the biggest challenges for humanity is global warming and consequently, climate changes. Even though there has been increasing public awareness and investments from numerous countries concerning renewable energies, fossil fuels are and will continue to be in the near future, the main source of energy. Carbon capture and storage (CCS) is believed to be a serious measure to mitigate CO2 concentration. CCS briefly consists of capturing CO2 from the atmosphere or stationary emission sources and transporting and storing it via mineral carbonation, in oceans or geological media. The latter is referred to as carbon capture and geological storage (CCGS) and is considered to be the most promising of all solutions. Generally it consists of a storage (e.g. depleted oil reservoirs and deep saline aquifers) and sealing (commonly termed caprock in the oil industry) formations. The present study concerns the injection of CO2 into deep aquifers and regardless injection conditions, temperature gradients between carbon dioxide and the storage formation are likely to occur. Should the CO2 temperature be lower than the storage formation, a contractive behaviour of the reservoir and caprock is expected. The latter can result in the opening of new paths or re-opening of fractures, favouring leakage and compromising the CCGS project. During CO2 injection, coupled thermo-hydro-mechanical phenomena occur, which due to their complexity, hamper the assessment of each relative influence. For this purpose, several analyses were carried out in order to evaluate their influences but focusing on the thermal contractive behaviour. It was finally concluded that depending on mechanical and thermal properties of the pair aquifer-seal, the sealing caprock can undergo significant decreases in effective stress.

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

Electrokinetic flow and transport in porous media : experimental methods, numerical analysis, and applications

Electrokinetic transport, electrochromatography, electroosmotic flow, electrophoresis, concentration polarization, fixed beds, monoliths, dynamic NMR microscopy, quantitative confocal laser scanning microscopy, mathematical modelling, numerical analysis

Stability and error analysis for a numerical scheme to approximate elastic flow

Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik, Univ., Dissertation, 2015

Oligoclonal expansions in the CD8(+)CD28(-) T cells largely explain the shorter telomeres detected in this subset: analysis by flow FISH.

We have previously reported that CD8(+)CD28(-) T cells have relatively shorter telomeres compared with CD8(+)CD28(+) T cells. Oligoclonal expansion is a common feature of CD8(+) T cells in human peripheral blood, and these expansions predominantly occur in the CD57(+)/CD28(-) population. We studied the telomere length in subsets of CD8(+) T cells using quantitative fluorescence in situ hybridization and flow cytometry (flow FISH). Our results confirm that CD8(+)CD28(-) T cells have shorter telomeres as compared with their CD28(+) counterpart cells. In addition, the oligoclonally expanded cells within the CD8(+)CD28(-) T cell subset generally have even shorter telomeres than the CD28(-) subset as a whole. We conclude that the presence of clonal expansions in the CD8(+)CD28(-) T cell population largely explain the shorter telomeres in this subset. These clonally expanded CD8(+)CD28(-) T cells generally have characteristics of terminally differentiated effector cells. Nevertheless, there is considerable individual variation in the degree of telomere shortening in these cells, which may reflect host genetic factors as well as the type and timing of the antigenic exposure.

Red blood cell microparticles and blood group antigens: an analysis by flow cytometry.

BACKGROUND: The storage of blood induces the formation of erythrocytes-derived microparticles. Their pathogenic role in blood transfusion is not known so far, especially the risk to trigger alloantibody production in the recipient. This work aims to study the expression of clinically significant blood group antigens on the surface of red blood cells microparticles. MATERIAL AND METHODS: Red blood cells contained in erythrocyte concentrates were stained with specific antibodies directed against blood group antigens and routinely used in immunohematology practice. After inducing erythrocytes vesiculation with calcium ionophore, the presence of blood group antigens was analysed by flow cytometry. RESULTS: The expression of several blood group antigens from the RH, KEL, JK, FY, MNS, LE and LU systems was detected on erythrocyte microparticles. The presence of M (MNS1), N (MNS2) and s (MNS4) antigens could not be demonstrated by flow cytometry, despite that glycophorin A and B were identified on microparticles using anti-CD235a and anti-MNS3. DISCUSSION: We conclude that blood group antigens are localized on erythrocytes-derived microparticles and probably keep their immunogenicity because of their capacity to bind specific antibody. Selective segregation process during vesiculation or their ability to elicit an immune response in vivo has to be tested by further studies.

S-system parameter estimation for noisy metabolic profiles using newton-flow analysis.

Biochemical systems are commonly modelled by systems of ordinary differential equations (ODEs). A particular class of such models called S-systems have recently gained popularity in biochemical system modelling. The parameters of an S-system are usually estimated from time-course profiles. However, finding these estimates is a difficult computational problem. Moreover, although several methods have been recently proposed to solve this problem for ideal profiles, relatively little progress has been reported for noisy profiles. We describe a special feature of a Newton-flow optimisation problem associated with S-system parameter estimation. This enables us to significantly reduce the search space, and also lends itself to parameter estimation for noisy data. We illustrate the applicability of our method by applying it to noisy time-course data synthetically produced from previously published 4- and 30-dimensional S-systems. In addition, we propose an extension of our method that allows the detection of network topologies for small S-systems. We introduce a new method for estimating S-system parameters from time-course profiles. We show that the performance of this method compares favorably with competing methods for ideal profiles, and that it also allows the determination of parameters for noisy profiles.

Use of flow cytometric methods for single-cell analysis in environmental microbiology

Flow cytometry (FCM) is emerging as an important tool in environmental microbiology. Although flow cytometry applications have to date largely been restricted to certain specialized fields of microbiology, such as the bacterial cell cycle and marine phytoplankton communities, technical advances in instrumentation and methodology are leading to its increased popularity and extending its range of applications. Here we will focus on a number of recent flow cytometry developments important for addressing questions in environmental microbiology. These include (i) the study of microbial physiology under environmentally relevant conditions, (ii) new methods to identify active microbial populations and to isolate previously uncultured microorganisms, and (iii) the development of high-throughput autofluorescence bioreporter assays

Injection drug use before and after liver transplantation: a retrospective multicenter analysis on incidence and outcome.

De Gottardi A, Hilleret M-N, Gelez P, La Mura V, Guillaud O, Majno P, Hadengue A, Morel P, Zarski J-P, Fontana M, Moradpour D, Mentha G, Boillot O, Leroy V, Giostra E, Dumortier J. Injection drug use before and after liver transplantation: a retrospective multicenter analysis on incidence and outcome. Clin Transplant 2009 DOI: 10.1111/j.1399-0012.2009.01121.x.Background and aims: Injecting drug use (IDU) before and after liver transplantation (LT) is poorly described. The aim of this study was to quantify relapse and survival in this population and to describe the causes of mortality after LT. Methods: Past injection drug users were identified from the LT listing protocols from four centers in Switzerland and France. Data on survival and relapse were collected and used for uni- and multivariate analysis. Results: Between 1988 and 2006, we identified 59 patients with a past history of IDU. The mean age at transplantation was 42.4 yr and the majority of patients were men (84.7%). The indication for LT was for the vast majority viral cirrhosis accounting for 91.5% of cases, while alcoholic cirrhosis was 5.1%. There were 16.9% of patients who had a substitution therapy before and 6.8% who continued after LT. Two patients (3.4%) relapsed into IDU after LT and died at 18 and 41 months. The mean follow-up was 51 months. Overall survival was 84%, 66%, and 61% at 1, 5, and 10 yr after transplantation. Conclusions: Documented IDU was rare in liver transplanted patients. Past IDU was not associated with poorer survival after LT, and relapse after LT occurred in 3.4%.

Production Flow Analysis - cases from manufacturing and service industry

Production flow analysis (PFA) is a well-established methodology used for transforming traditional functional layout into product-oriented layout. The method uses part routings to find natural clusters of workstations forming production cells able to complete parts and components swiftly with simplified material flow. Once implemented, the scheduling system is based on period batch control aiming to establish fixed planning, production and delivery cycles for the whole production unit. PFA is traditionally applied to job-shops with functional layouts, and after reorganization within groups lead times reduce, quality improves and motivation among personnel improves. Several papers have documented this, yet no research has studied its application to service operations management. This paper aims to show that PFA can well be applied not only to job-shop and assembly operations, but also to back-office and service processes with real cases. The cases clearly show that PFA reduces non-value adding operations, introduces flow by evening out bottlenecks and diminishes process variability, all of which contribute to efficient operations management.

Flow cytometry in the analysis of cellular populations

Flow cytometry has become a valuable tool in cell biology. By analyzing large number of cells individually using light-scatter and fluorescence measurements, this technique reveals both cellular characteristics and the levels of cellular components. Flow cytometry has been developed to rapidly enumerate cells and to distinguish among different cell stages and structures using multiple staining. In addition to high-speed multiparametric data acquisition, analysis and cell sorting, which allow other characteristics of individual cells to be studied, have increased the interest of researchers in this technique. This chapter gives an overview of the principles of flow cytometry and examples of the application ofthe technique.

Analysis of Industrial Granular Flow Applications by Using Advanced Collision Models

Granular flow phenomena are frequently encountered in the design of process and industrial plants in the traditional fields of the chemical, nuclear and oil industries as well as in other activities such as food and materials handling. Multi-phase flow is one important branch of the granular flow. Granular materials have unusual kinds of behavior compared to normal materials, either solids or fluids. Although some of the characteristics are still not well-known yet, one thing is confirmed: the particle-particle interaction plays a key role in the dynamics of granular materials, especially for dense granular materials. At the beginning of this thesis, detailed illustration of developing two models for describing the interaction based on the results of finite-element simulation, dimension analysis and numerical simulation is presented. The first model is used to describing the normal collision of viscoelastic particles. Based on some existent models, more parameters are added to this model, which make the model predict the experimental results more accurately. The second model is used for oblique collision, which include the effects from tangential velocity, angular velocity and surface friction based on Coulomb's law. The theoretical predictions of this model are in agreement with those by finite-element simulation. I n the latter chapters of this thesis, the models are used to predict industrial granular flow and the agreement between the simulations and experiments also shows the validation of the new model. The first case presents the simulation of granular flow passing over a circular obstacle. The simulations successfully predict the existence of a parabolic steady layer and show how the characteristics of the particles, such as coefficients of restitution and surface friction affect the separation results. The second case is a spinning container filled with granular material. Employing the previous models, the simulation could also reproduce experimentally observed phenomena, such as a depression in the center of a high frequency rotation. The third application is about gas-solid mixed flow in a vertically vibrated device. Gas phase motion is added to coherence with the particle motion. The governing equations of the gas phase are solved by using the Large eddy simulation (LES) and particle motion is predicted by using the Lagrangian method. The simulation predicted some pattern formation reported by experiment.