Enabling Techniques and Algorithms for Integrated Communication and Navigation Satellite Systems

This thesis presents the outcomes of my Ph.D. course in telecommunications engineering. The focus of my research has been on Global Navigation Satellite Systems (GNSS) and in particular on the design of aiding schemes operating both at position and physical level and the evaluation of their feasibility and advantages. Assistance techniques at the position level are considered to enhance receiver availability in challenging scenarios where satellite visibility is limited. Novel positioning techniques relying on peer-to-peer interaction and exchange of information are thus introduced. More specifically two different techniques are proposed: the Pseudorange Sharing Algorithm (PSA), based on the exchange of GNSS data, that allows to obtain coarse positioning where the user has scarce satellite visibility, and the Hybrid approach, which also permits to improve the accuracy of the positioning solution. At the physical level, aiding schemes are investigated to improve the receiver’s ability to synchronize with satellite signals. An innovative code acquisition strategy for dual-band receivers, the Cross-Band Aiding (CBA) technique, is introduced to speed-up initial synchronization by exploiting the exchange of time references between the two bands. In addition vector configurations for code tracking are analyzed and their feedback generation process thoroughly investigated.

Applicability of Process Mining Techniques in Business Environments

This thesis analyses problems related to the applicability, in business environments, of Process Mining tools and techniques. The first contribution is a presentation of the state of the art of Process Mining and a characterization of companies, in terms of their "process awareness". The work continues identifying circumstance where problems can emerge: data preparation; actual mining; and results interpretation. Other problems are the configuration of parameters by not-expert users and computational complexity. We concentrate on two possible scenarios: "batch" and "on-line" Process Mining. Concerning the batch Process Mining, we first investigated the data preparation problem and we proposed a solution for the identification of the "case-ids" whenever this field is not explicitly indicated. After that, we concentrated on problems at mining time and we propose the generalization of a well-known control-flow discovery algorithm in order to exploit non instantaneous events. The usage of interval-based recording leads to an important improvement of performance. Later on, we report our work on the parameters configuration for not-expert users. We present two approaches to select the "best" parameters configuration: one is completely autonomous; the other requires human interaction to navigate a hierarchy of candidate models. Concerning the data interpretation and results evaluation, we propose two metrics: a model-to-model and a model-to-log. Finally, we present an automatic approach for the extension of a control-flow model with social information, in order to simplify the analysis of these perspectives. The second part of this thesis deals with control-flow discovery algorithms in on-line settings. We propose a formal definition of the problem, and two baseline approaches. The actual mining algorithms proposed are two: the first is the adaptation, to the control-flow discovery problem, of a frequency counting algorithm; the second constitutes a framework of models which can be used for different kinds of streams (stationary versus evolving).

Multilevel Domain Decomposition Algorithms for Monolithic Fluid-Structure Interaction Problems with Application to Haemodynamics

Finite element techniques for solving the problem of fluid-structure interaction of an elastic solid material in a laminar incompressible viscous flow are described. The mathematical problem consists of the Navier-Stokes equations in the Arbitrary Lagrangian-Eulerian formulation coupled with a non-linear structure model, considering the problem as one continuum. The coupling between the structure and the fluid is enforced inside a monolithic framework which computes simultaneously for the fluid and the structure unknowns within a unique solver. We used the well-known Crouzeix-Raviart finite element pair for discretization in space and the method of lines for discretization in time. A stability result using the Backward-Euler time-stepping scheme for both fluid and solid part and the finite element method for the space discretization has been proved. The resulting linear system has been solved by multilevel domain decomposition techniques. Our strategy is to solve several local subproblems over subdomain patches using the Schur-complement or GMRES smoother within a multigrid iterative solver. For validation and evaluation of the accuracy of the proposed methodology, we present corresponding results for a set of two FSI benchmark configurations which describe the self-induced elastic deformation of a beam attached to a cylinder in a laminar channel flow, allowing stationary as well as periodically oscillating deformations, and for a benchmark proposed by COMSOL multiphysics where a narrow vertical structure attached to the bottom wall of a channel bends under the force due to both viscous drag and pressure. Then, as an example of fluid-structure interaction in biomedical problems, we considered the academic numerical test which consists in simulating the pressure wave propagation through a straight compliant vessel. All the tests show the applicability and the numerical efficiency of our approach to both two-dimensional and three-dimensional problems.

Experimental assessment of environmental decay effects in masonry via non destructive diagnostic techniques and mechanical tests

Environmental decay in porous masonry materials, such as brick and mortar, is a widespread problem concerning both new and historic masonry structures. The decay mechanisms are quite complex dependng upon several interconnected parameters and from the interaction with the specific micro-climate. Materials undergo aesthetical and substantial changes in character but while many studies have been carried out, the mechanical aspect has been largely understudied while it bears true importance from the structural viewpoint. A quantitative assessment of the masonry material degradation and how it affects the load-bearing capacity of masonry structures appears missing. The research work carried out, limiting the attention to brick masonry addresses this issue through an experimental laboratory approach via different integrated testing procedures, both non-destructive and mechanical, together with monitoring methods. Attention was focused on transport of moisture and salts and on the damaging effects caused by the crystallization of two different salts, sodium chloride and sodium sulphate. Many series of masonry specimens, very different in size and purposes were used to track the damage process since its beginning and to monitor its evolution over a number of years Athe same time suitable testing techniques, non-destructive, mini-invasive, analytical, of monitoring, were validated for these purposes. The specimens were exposed to different aggressive agents (in terms of type of salt, of brine concentration, of artificial vs. open-air natural ageing, …), tested by different means (qualitative vs. quantitative, non destructive vs. mechanical testing, punctual vs. wide areas, …), and had different size (1-, 2-, 3-header thick walls, full-scale walls vs. small size specimens, brick columns and triplets vs. small walls, masonry specimens vs. single units of brick and mortar prisms, …). Different advanced testing methods and novel monitoring techniques were applied in an integrated holistic approach, for quantitative assessment of masonry health state.

Leishmania major parasites and their interaction with human macrophages

First both life stages of Leishmania major (L. major) FEBNI parasites, promastigotes as well as amastigotes, were characterized. We found that the virulence marker GP63 and cysteine peptidase b (Cpb) were higher expressed by axenic amastigotes as compared to promastigotes. In addition to the L. major FEBNI strain, we applied and successfully modified our novel in vitro method to generate axenic amastigotes of the L. major Friedlin and 5ASKH strains. Interestingly, these L. major strains needed another temperature to be transferred into amastigotes in the axenic culture system. Investigating apoptosis mechanisms in both parasite life stages of L. major FEBNI we found both ROS dependent and independent cell death mechanisms. Focusing on promastigote and amastigote interaction with pro-inflammatory (MF I) and anti-inflammatory (MF II) macrophages we found amastigotes to be more infective as compared to promastigotes. Moreover, we could demonstrate that pro-inflammatory MF I were less susceptible to infection than anti-inflammatory MF II. Finally we investigated parasite stage-specific responses of MF I + II and their defense mechanisms against L. major. Using knockdown techniques for primary human macrophages we identified a new mechanism enabling intracellular killing of promastigotes inside MF I. This mechanism depends on the antimicrobial molecule cathelicidin (LL-37).

Electric techniques for the assessment of quality parameters of foodstuffs

In food industry, quality assurance requires low cost methods for the rapid assessment of the parameters that affect product stability. Foodstuffs are complex in their structure, mainly composed by gaseous, liquid and solid phases which often coexist in the same product. Special attention is given to water, concerned as natural component of the major food product or as added ingredient of a production process. Particularly water is structurally present in the matrix and not completely available. In this way, water can be present in foodstuff in many different states: as water of crystallization, bound to protein or starch molecules, entrapped in biopolymer networks or adsorbed on solid surfaces of porous food particles. The traditional technique for the assessment of food quality give reliable information but are destructive, time consuming and unsuitable for on line application. The techniques proposed answer to the limited disposition of time and could be able to characterize the main compositional parameters. Dielectric interaction response is mainly related to water and could be useful not only to provide information on the total content but also on the degree of mobility of this ubiquitous molecule in different complex food matrix. In this way the proposal of this thesis is to answer at this need. Dielectric and electric tool can be used for the scope and led us to describe the complex food matrix and predict food characteristic. The thesis is structured in three main part, in the first one some theoretical tools are recalled to well assess the food parameter involved in the quality definition and the techniques able to reply at the problem emerged. The second part explains the research conducted and the experimental plans are illustrated in detail. Finally the last section is left for rapid method easily implementable in an industrial process.

Experimental Evaluation of the Influence of Human-Structure Interaction for Vibration Serviceability

The effects of human-structure interaction on the dynamic performance of occupied structures have long been observed. The inclusion of the effects of human-structure interaction is important to ensure that the dynamic response of a structure is not overestimated. Previous observations, both in service and in the laboratory, have yielded results indicating that the effects are dependent on the natural frequency of the structure, the posture of the occupants, and the mass ratio of the occupants to the structure. These results are noteworthy, but are limited in their application,because the data are sparse and are only pertinent to a specific set of characteristics identified in a given study. To examine these characteristics simultaneously and consistently, an experimental test structure was designed with variable properties to replicate a variety of configurations within a controlled setting focusing on the effects of passive occupants. Experimental modal analysis techniques were employed to both the empty and occupied conditions of the structure and the dynamic properties associated with each condition were compared. Results similar to previous investigations were observed, including both an increase and a decrease in natural frequency of the occupied structure with respect to the empty structure, as well as the identification of a second mode of vibration. The damping of the combined system was higher for all configurations. Overall, this study provides a broad data set representing a wide array of configurations. The experimental results of this study were used to assess current recommendations for the dynamic properties of a crowd to analytically predict the effects of human-structure interaction. The experimental results were used to select a set of properties for passive, standing occupants and develop a new model that can more accurately represent the behavior of the human-structure system as experimentally measured in this study.

Live cell imaging techniques to study T cell trafficking across the blood-brain barrier in vitro and in vivo

BACKGROUND The central nervous system (CNS) is an immunologically privileged site to which access for circulating immune cells is tightly controlled by the endothelial blood-brain barrier (BBB) located in CNS microvessels. Under physiological conditions immune cell migration across the BBB is low. However, in neuroinflammatory diseases such as multiple sclerosis, many immune cells can cross the BBB and cause neurological symptoms. Extravasation of circulating immune cells is a multi-step process that is regulated by the sequential interaction of different adhesion and signaling molecules on the immune cells and on the endothelium. The specialized barrier characteristics of the BBB, therefore, imply the existence of unique mechanisms for immune cell migration across the BBB.

Quantification of nanoparticles at the single-cell level: an overview about state-of-the-art techniques and their limitations.

With the increasing production and use of engineered nanoparticles it is crucial that their interaction with biological systems is understood. Due to the small size of nanoparticles, their identification and localization within single cells is extremely challenging. Therefore, various cutting-edge techniques are required to detect and to quantify metals, metal oxides, magnetic, fluorescent, as well as electron-dense nanoparticles. Several techniques will be discussed in detail, such as inductively coupled plasma atomic emission spectroscopy, flow cytometry, laser scanning microscopy combined with digital image restoration, as well as quantitative analysis by means of stereology on transmission electron microscopy images. An overview will be given regarding the advantages of those visualization/quantification systems, including a thorough discussion about limitations and pitfalls.

Kinetics and kinematics of the tölt: effects of rider interaction and shoeing manipulations

Introduction . Compared to most equine horse breeds which are able to walk, trot and canter /gallop, the gait repertoire of the Icelandic horses additionally includes the lateral gait tölt and frequently also the pace. With respect to the tölt gait, special shoeing, saddling and riding techniques have been developed for Icelandic horses in order to enhance its expressiveness and regularity. Toes are left unnaturally long and heavy shoes and paddings, as well as weighted boots are used to enforce the individual gait predisposition. For the same reason, the rider is placed more caudally to the horse's centre of mass as compared to other riding techniques. The biomechanical impact of these methods on the health of the locomotor system has so far never been subject of systematic research. Objectives . The aims of the presented study are (1) to describe the kinetic and kinematic characteristics of the tölt performed on a treadmill, (2) to understand the mechanical consequences of shoeing manipulation (long hooves, weighted boots) on the loading and protraction movement of the limbs, as well as (3) to study the pressure distribution and effects on the gait pattern of 3 different saddle types used for riding Icelandic horses. Materials and methods . Gait analysis was carried out in 13 Icelandic horses at walk and at slow and medium tölting and trotting speeds on a high-speed treadmill instrumented for measuring vertical ground reaction forces as well as temporal and spatial gait variables. Kinematic data of horse, rider and saddle were measured simultaneously. Gait analysis was first carried out with high, long hooves (SH) without and in combination with weighted boots (ad aim (2)). Afterwards, horses were re-shod according to current horseshoeing standards (SN) and gait analysis was repeated (ad aims (1) and (2)). In a second trial, horses were additionally equipped with a pressure sensitive saddle mat and were ridden with a dressage-like saddle (SDres), an Icelandic saddle (Slcel) and a saddle cushion (SCush) in the standard saddle position (ad aim 3). Results and conclusions . Compared to trot at the same speed, tölting horses had a higher stride rate and lower stride impulses. At the tölt loading of the forelimbs was increased in form of higher peak vertical forces (Fzpeak) due to shorter relative stance durations (StDrel). Conversely, in the hindlimbs, longer StDrel resulted in lower Fzpeak. Despite the higher head-neck position at tölt, there was no measurable shift in weight to the hindlimbs. Footfall rhythm was in most horses laterally coupled at the tölt and frequently had a slight fourbeat and a very short suspension phase at trot; underlining the fact that performance of correct gaits in Icelandic horses needs special training. Gait performance as it is currently judged in competition could be improved using a shoeing with SH, resulting in a 21 ± 5 mm longer dorsal hoof wall, but also a weight gain of 273 ± 50 g at the distal limb due to heavier shoeing material. Compared to SN, SH led to a lower stride rate, a longer stride length and a higher, but not wider, forelimb protraction arc, which were also positively associated with speed. At the tölt, the footfall rhythm showed less tendency to lateral couplets and at the trot, the suspension phase was longer. However, on the long term, SH may have negative implications for the health of the palmar structures of the distal foot by increased limb impulses, higher torques at breakover (up to 20%); as well as peak vertical forces at faster speeds. Compared to the shoeing style, the saddle type had less influence on limb forces or movements. The slight weight shift to the rear with SCush and Slcel may be explained by the more caudal position of the rider relative to the horse's back. With SCush, pressure was highest under the cranial part of the saddle, whereas the saddles with trees had more pressure under the caudal area.

Design, Calibration, and Evaluation of Depth-of-Interaction-Capable PET Detector Modules

High-resolution, small-bore PET systems suffer from a tradeoff between system sensitivity, and image quality degradation. In these systems long crystals allow mispositioning of the line of response due to parallax error and this mispositioning causes resolution blurring, but long crystals are necessary for high system sensitivity. One means to allow long crystals without introducing parallax errors is to determine the depth of interaction (DOI) of the gamma ray interaction within the detector module. While DOI has been investigated previously, newly available solid state photomultipliers (SSPMs) well-suited to PET applications and allow new modules for investigation. Depth of interaction in full modules is a relatively new field, and so even if high performance DOI capable modules were available, the appropriate means to characterize and calibrate the modules are not. This work presents an investigation of DOI capable arrays and techniques for characterizing and calibrating those modules. The methods introduced here accurately and reliably characterize and calibrate energy, timing, and event interaction positioning. Additionally presented is a characterization of the spatial resolution of DOI capable modules and a measurement of DOI effects for different angles between detector modules. These arrays have been built into a prototype PET system that delivers better than 2.0 mm resolution with a single-sided-stopping-power in excess of 95% for 511 keV g's. The noise properties of SSPMs scale with the active area of the detector face, and so the best signal-to-noise ratio is possible with parallel readout of each SSPM photodetector pixel rather than multiplexing signals together. This work additionally investigates several algorithms for improving timing performance using timing information from multiple SSPM pixels when light is distributed among several photodetectors.

Novel Imaging-Based Techniques Reveal a Role for PD-1/PD-L1 in Tumor Immune Surveillance in the Lung

The binding of immune inhibitory receptor Programmed Death 1 (PD-1) on T cells to its ligand PD-L1 has been implicated as a major contributor to tumor induced immune suppression. Clinical trials of PD-L1 blockade have proven effective in unleashing therapeutic anti-tumor immune responses in a subset of patients with advanced melanoma, yet current response rates are low for reasons that remain unclear. Hypothesizing that the PD-1/PD-L1 pathway regulates T cell surveillance within the tumor microenvironment, we employed intravital microscopy to investigate the in vivo impact of PD-L1 blocking antibody upon tumor-associated immune cell migration. However, current analytical methods of intravital dynamic microscopy data lack the ability to identify cellular targets of T cell interactions in vivo, a crucial means for discovering which interactions are modulated by therapeutic intervention. By developing novel imaging techniques that allowed us to better analyze tumor progression and T cell dynamics in the microenvironment; we were able to explore the impact of PD-L1 blockade upon the migratory properties of tumor-associated immune cells, including T cells and antigen presenting cells, in lung tumor progression. Our results demonstrate that early changes in tumor morphology may be indicative of responsiveness to anti-PD-L1 therapy. We show that immune cells in the tumor microenvironment as well as tumors themselves express PD-L1, but immune phenotype alone is not a predictive marker of effective anti-tumor responses. Through a novel method in which we quantify T cell interactions, we show that T cells are largely engaged in interactions with dendritic cells in the tumor microenvironment. Additionally, we show that during PD-L1 blockade, non-activated T cells are recruited in greater numbers into the tumor microenvironment and engage more preferentially with dendritic cells. We further show that during PD-L1 blockade, activated T cells engage in more confined, immune synapse-like interactions with dendritic cells, as opposed to more dynamic, kinapse-like interactions with dendritic cells when PD-L1 is free to bind its receptor. By advancing the contextual analysis of anti-tumor immune surveillance in vivo, this study implicates the interaction between T cells and tumor-associated dendritic cells as a possible modulator in targeting PD-L1 for anti-tumor immunotherapy.

Digital image processing techniques as a tool for evaluating and mapping patinas on granite monuments

Monument conservation is related to the interaction between the original petrological parameters of the rock and external factors in the area where the building is sited, such as weather conditions, pollution, and so on. Depending on the environmental conditions and the characteristics of the materials used, different types of weathering predominate. In all, the appearance of surface crusts constitutes a first stage, whose origin can often be traced to the properties of the material itself. In the present study, different colours of “patinas” were distinguished by defining the threshold levels of greys associated with “pathology” in the histogram. These data were compared to background information and other parameters, such as mineralogical composition, porosity, and so on, as well as other visual signs of deterioration. The result is a map of the pathologies associated with “cover films” on monuments, which generate images by relating colour characteristics to desired properties or zones of interest.

Models for Lateral Dynamic Interaction of High-Speed Trains and Bridges

In this work a methodology for analysing the lateral coupled behavior of large viaducts and high-speed trains is proposed. The finite element method is used for the structure, multibody techniques are applied for vehicles and the interaction between them is established introducing wheel-rail nonlinear contact forces. This methodology is applied for the analysis of the railway viaduct of the R´ıo Barbantino, which is a very long and tall bridge in the north-west spanish high-speed line.

Ensemble transcript interaction networks: A case study on Alzheimer's disease

Systems biology techniques are a topic of recent interest within the neurological field. Computational intelligence (CI) addresses this holistic perspective by means of consensus or ensemble techniques ultimately capable of uncovering new and relevant findings. In this paper, we propose the application of a CI approach based on ensemble Bayesian network classifiers and multivariate feature subset selection to induce probabilistic dependences that could match or unveil biological relationships. The research focuses on the analysis of high-throughput Alzheimer's disease (AD) transcript profiling. The analysis is conducted from two perspectives. First, we compare the expression profiles of hippocampus subregion entorhinal cortex (EC) samples of AD patients and controls. Second, we use the ensemble approach to study four types of samples: EC and dentate gyrus (DG) samples from both patients and controls. Results disclose transcript interaction networks with remarkable structures and genes not directly related to AD by previous studies. The ensemble is able to identify a variety of transcripts that play key roles in other neurological pathologies. Classical statistical assessment by means of non-parametric tests confirms the relevance of the majority of the transcripts. The ensemble approach pinpoints key metabolic mechanisms that could lead to new findings in the pathogenesis and development of AD