Analysis of the effect of different NKT cell subpopulations on the activation of CD4 and CD8 T cells, NK cells, and B cells

Objective. NKT cells have diverse immune regulatory functions including activation of cells involved in Th1- and Th2-type immune activities. Most previous studies have investigated the functions of NKT cells as a single family but more recent evidence indicates the distinct functional properties of NKT cell subpopulation. This study aims to determine whether NKT cell subpopulations have different stimulatory activities on other immune cells that may affect the outcome of NKT cell-based immunotherapy. Methods. NKT cells and NKT cell subpopulations (CD4(+)CD8(-), CD4(-)CD8(+), CD4(-)CD8(+)) were cocultured with PBMC and their activities on immune cells including CD4(+) and CD8(+) T cells, NK cells, and B cells were assessed by flow cytometry. The production of cytokines in culture was measured by enzyme-linked immunsorbent assay. Results. The CD4(+)CD8(-) NKT cells demonstrated substantially greater stimulatory activities on CD4(+) T cells, NK cells, and B cells than other NKT cell subsets. The CD4(-)CD8(+) NKT cells showed the greatest activity on CD8(+) T cells, and were the only NKT cell subset that activated these immune cells. The CD4(-)CD8(-) NKT cells showed moderate stimulatory activity on CD4(+) T cells and the least activity on other immune cells. Conclusion. The results here suggest that NKT cell subpopulations differ in their abilities to stimulate other immune cells. This highlights the potential importance of manipulating specific NKT cell subpopulations for particular therapeutic situations and of evaluating subpopulations, rather than NKT cells as a group, during investigation of a possible role of NKT cells in various disease settings. (c) 2006 International Society for Experimental Hematology. Published by Elsevier Inc.

Identifying sequence regions undergoing conformational change via predicted continuum secondary structure

Motivation: Conformational flexibility is essential to the function of many proteins, e.g. catalytic activity. To assist efforts in determining and exploring the functional properties of a protein, it is desirable to automatically identify regions that are prone to undergo conformational changes. It was recently shown that a probabilistic predictor of continuum secondary structure is more accurate than categorical predictors for structurally ambivalent sequence regions, suggesting that such models are suited to characterize protein flexibility. Results: We develop a computational method for identifying regions that are prone to conformational change directly from the amino acid sequence. The method uses the entropy of the probabilistic output of an 8-class continuum secondary structure predictor. Results for 171 unique amino acid sequences with well-characterized variable structure (identified in the 'Macromolecular movements database') indicate that the method is highly sensitive at identifying flexible protein regions, but false positives remain a problem. The method can be used to explore conformational flexibility of proteins (including hypothetical or synthetic ones) whose structure is yet to be determined experimentally.

Protein disulfide isomerase: the structure of oxidative folding

Cellular functions hinge on the ability of proteins to adopt their correct folds, and misfolded proteins can lead to disease. Here, we focus on the proteins that catalyze disulfide bond formation, a step in the oxidative folding pathway that takes place in specialized cellular compartments. In the endoplasmic reticulum of eukaryotes, disulfide formation is catalyzed by protein disulfide isomerase (PDI); by contrast, prokaryotes produce a family of disulfide bond (Dsb) proteins, which together achieve an equivalent outcome in the bacterial periplasm. The recent crystal structure of yeast PDI has increased our understanding of the function and mechanism of PDI. Comparison of the structure of yeast PDI with those of bacterial DsbC and DsbG reveals some similarities but also striking differences that suggest directions for future research aimed at unraveling the catalytic mechanism of disulfide bond formation in the cell.

Structure and dynamics of multiple cationic vectors-siRNA complexation by all-atomic molecular dynamics simulations

Understanding the molecular mechanism of gene condensation is a key component to rationalizing gene delivery phenomena, including functional properties such as the stability of the gene-vector complex and the intracellular release of the gene. In this work, we adopt an atomistic molecular dynamics simulation approach to study the complexation of short strand duplex RNA with four cationic carrier systems of varying charge and surface topology at different charge ratios. At lower charge ratios, polymers bind quite effectively to siRNA, while at high charge ratios, the complexes are saturated and there are free polymers that are unable to associate with RNA. We also observed reduced fluctuations in RNA structures when complexed with multiple polymers in solution as compared to both free siRNA in water and the single polymer complexes. These novel simulations provide a much better understanding of key mechanistic aspects of gene-polycation complexation and thereby advance progress toward rational design of nonviral gene delivery systems.

NT2 derived neuronal and astrocytic network signalling

A major focus of stem cell research is the generation of neurons that may then be implanted to treat neurodegenerative diseases. However, a picture is emerging where astrocytes are partners to neurons in sustaining and modulating brain function. We therefore investigated the functional properties of NT2 derived astrocytes and neurons using electrophysiological and calcium imaging approaches. NT2 neurons (NT2Ns) expressed sodium dependent action potentials, as well as responses to depolarisation and the neurotransmitter glutamate. NT2Ns exhibited spontaneous and coordinated calcium elevations in clusters and in extended processes, indicating local and long distance signalling. Tetrodotoxin sensitive network activity could also be evoked by electrical stimulation. Similarly, NT2 astrocytes (NT2As) exhibited morphology and functional properties consistent with this glial cell type. NT2As responded to neuronal activity and to exogenously applied neurotransmitters with calcium elevations, and in contrast to neurons, also exhibited spontaneous rhythmic calcium oscillations. NT2As also generated propagating calcium waves that were gap junction and purinergic signalling dependent. Our results show that NT2 derived astrocytes exhibit appropriate functionality and that NT2N networks interact with NT2A networks in co-culture. These findings underline the utility of such cultures to investigate human brain cell type signalling under controlled conditions. Furthermore, since stem cell derived neuron function and survival is of great importance therapeutically, our findings suggest that the presence of complementary astrocytes may be valuable in supporting stem cell derived neuronal networks. Indeed, this also supports the intriguing possibility of selective therapeutic replacement of astrocytes in diseases where these cells are either lost or lose functionality.

On the structural repertoire of pools of short, random RNA sequences

A detailed knowledge of the mapping between sequence and structure spaces in populations of RNA molecules is essential to better understand their present-day functional properties, to envisage a plausible early evolution of RNA in a prebiotic chemical environment and to improve the design of in vitro evolution experiments, among others. Analysis of natural RNAs, as well as in vitro and computational studies, show that certain RNA structural motifs are much more abundant than others, pointing out a complex relation between sequence and structure. Within this framework, we have investigated computationally the structural properties of a large pool (10 molecules) of single-stranded, 35 nt-long, random RNA sequences. The secondary structures obtained are ranked and classified into structure families. The number of structures in main families is analytically calculated and compared with the numerical results. This permits a quantification of the fraction of structure space covered by a large pool of sequences. We further show that the number of structural motifs and their frequency is highly unbalanced with respect to the nucleotide composition: simple structures such as stem-loops and hairpins arise from sequences depleted in G, while more complex structures require an enrichment of G. In general, we observe a strong correlation between subfamilies-characterized by a fixed number of paired nucleotides-and nucleotide composition. Our results are compared to the structural repertoire obtained in a second pool where isolated base pairs are prohibited. © 2008 Elsevier Ltd. All rights reserved.

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

Source localization methods

One of the most pressing demands on electrophysiology applied to the diagnosis of epilepsy is the non-invasive localization of the neuronal generators responsible for brain electrical and magnetic fields (the so-called inverse problem). These neuronal generators produce primary currents in the brain, which together with passive currents give rise to the EEG signal. Unfortunately, the signal we measure on the scalp surface doesn't directly indicate the location of the active neuronal assemblies. This is the expression of the ambiguity of the underlying static electromagnetic inverse problem, partly due to the relatively limited number of independent measures available. A given electric potential distribution recorded at the scalp can be explained by the activity of infinite different configurations of intracranial sources. In contrast, the forward problem, which consists of computing the potential field at the scalp from known source locations and strengths with known geometry and conductivity properties of the brain and its layers (CSF/meninges, skin and skull), i.e. the head model, has a unique solution. The head models vary from the computationally simpler spherical models (three or four concentric spheres) to the realistic models based on the segmentation of anatomical images obtained using magnetic resonance imaging (MRI). Realistic models – computationally intensive and difficult to implement – can separate different tissues of the head and account for the convoluted geometry of the brain and the significant inter-individual variability. In real-life applications, if the assumptions of the statistical, anatomical or functional properties of the signal and the volume in which it is generated are meaningful, a true three-dimensional tomographic representation of sources of brain electrical activity is possible in spite of the ‘ill-posed’ nature of the inverse problem (Michel et al., 2004). The techniques used to achieve this are now referred to as electrical source imaging (ESI) or magnetic source imaging (MSI). The first issue to influence reconstruction accuracy is spatial sampling, i.e. the number of EEG electrodes. It has been shown that this relationship is not linear, reaching a plateau at about 128 electrodes, provided spatial distribution is uniform. The second factor is related to the different properties of the source localization strategies used with respect to the hypothesized source configuration.

A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

Crystallization on the Mesoscale : Self-Assembly of Iron Oxide Nanocubes into Mesocrystals

Self-assembly of nanoparticles is a promising route to form complex, nanostructured materials with functional properties. Nanoparticle assemblies characterized by a crystallographic alignment of the nanoparticles on the atomic scale, i.e. mesocrystals, are commonly found in nature with outstanding functional and mechanical properties. This thesis aims to investigate and understand the formation mechanisms of mesocrystals formed by self-assembling iron oxide nanocubes. We have used the thermal decomposition method to synthesize monodisperse, oleate-capped iron oxide nanocubes with average edge lengths between 7 nm and 12 nm and studied the evaporation-induced self-assembly in dilute toluene-based nanocube dispersions. The influence of packing constraints on the alignment of the nanocubes in nanofluidic containers has been investigated with small and wide angle X-ray scattering (SAXS and WAXS, respectively). We found that the nanocubes preferentially orient one of their {100} faces with the confining channel wall and display mesocrystalline alignment irrespective of the channel widths.  We manipulated the solvent evaporation rate of drop-cast dispersions on fluorosilane-functionalized silica substrates in a custom-designed cell. The growth stages of the assembly process were investigated using light microscopy and quartz crystal microbalance with dissipation monitoring (QCM-D). We found that particle transport phenomena, e.g. the coffee ring effect and Marangoni flow, result in complex-shaped arrays near the three-phase contact line of a drying colloidal drop when the nitrogen flow rate is high. Diffusion-driven nanoparticle assembly into large mesocrystals with a well-defined morphology dominates at much lower nitrogen flow rates. Analysis of the time-resolved video microscopy data was used to quantify the mesocrystal growth and establish a particle diffusion-based, three-dimensional growth model. The dissipation obtained from the QCM-D signal reached its maximum value when the microscopy-observed lateral growth of the mesocrystals ceased, which we address to the fluid-like behavior of the mesocrystals and their weak binding to the substrate. Analysis of electron microscopy images and diffraction patterns showed that the formed arrays display significant nanoparticle ordering, regardless of the distinctive formation process.  We followed the two-stage formation mechanism of mesocrystals in levitating colloidal drops with real-time SAXS. Modelling of the SAXS data with the square-well potential together with calculations of van der Waals interactions suggests that the nanocubes initially form disordered clusters, which quickly transform into an ordered phase.

Fonction et structure des muscles du plancher pelvien de femmes traitées par chirurgie et radiothérapie à la suite d'un cancer de l'endomètre

Ce mémoire porte sur les propriétés fonctionnelles du plancher pelvien à la suite de traitements pour un cancer de l’endomètre. Chez les femmes, le cancer de l’endomètre est le cancer gynécologique ayant la plus forte prévalence. Les traitements oncologiques de ce cancer ont des conséquences néfastes sur la continence urinaire et il est possible que des altérations aux muscles du plancher pelvien à la suite de ces traitements puissent expliquer en partie cette problématique. Ce mémoire est composé de deux études principales. La première étude porte sur la recension des écrits liés aux impacts de la radiothérapie sur la structure anatomique et la fonction musculaire du plancher pelvien chez des adultes atteints d’un cancer pelvien. La deuxième étude compare les propriétés fonctionnelles du plancher pelvien de femmes avec incontinence urinaire à la suite d’un cancer de l’endomètre traité par chirurgie et une radiothérapie adjuvante (groupe à l’étude), à celles de femmes avec hystérectomie sans incontinence (groupe témoin). Cette étude a permis de mettre en évidence une diminution de l’ouverture maximale à l’entrée vaginale, de la longueur vaginale, de la force maximale volontaire du plancher pelvien, du taux de développement de la force dans un test de force maximale et de la coordination lors d’un test de contractions rapides. Ainsi, les deux études de ce mémoire apportent de nouvelles évidences sur les altérations des propriétés fonctionnelles du plancher pelvien à la suite de traitements pour un cancer génital.

Coupled diusion and mechanics in battery electrodes

Thesis (Ph.D.)--University of Washington, 2016-08

Propriedades óticas dos sistemas cerâmicos atuais e suas aplicações em dentes naturais

A estética representa uma qualidade cada vez mais requisitada pela sociedade na atualidade. A busca pela aparência ideal expandiu-se também na medicina dentária, aumentando as exigências por resultados perfeitos. A medicina dentária tem desenvolvido novas técnicas e novos materiais com a ambição de reproduzir as propriedades estéticas e funcionais dos dentes naturais. Os sistemas totalmente cerâmicos têm sido alvo de grande entusiasmo dado as suas características inerentes. O seu potencial na reabilitação oral estética tem derrotado as suas antecessoras metalocerâmicas. À semelhança do esmalte e da dentina, os sistemas totalmente cerâmicos exibem boas propriedades óticas de translucidez, opacidade, fluorescência e opalescência, resultado da interação com a luz. Ainda que não seja possível dissociar as propriedades óticas das propriedades mecânicas de um dente natural para o sucesso de uma restauração, a heterogeneidade das cerâmicas têm sido exitosas enquanto sistema que combina diferentes propriedades para diferentes indicações clínicas. Esta variabilidade deve-se a diferentes composições químicas e a diferentes processos de fabricação, entre outros, que acentuam ou atenuam qualidades em cada sistema totalmente cerâmico. Este trabalho pretende abordar e comparar os sistemas cerâmicos atuais (cerâmicas com base em sílica, cerâmicas com base de alumina, cerâmicas com base em zircónia) de acordo com as suas propriedades óticas e a consequente aplicação clínica tendo em conta as características dos dentes naturais.

Étude des systèmes complexes - Des réseaux au connectome du cerveau

La connectomique est l’étude des cartes de connectivité du cerveau (animal ou humain), qu’on nomme connectomes. À l’aide des outils développés par la science des réseaux complexes, la connectomique tente de décrire la complexité fonctionnelle et structurelle du cerveau. L’organisation des connexions du connectome, particulièrement la hiérarchie sous-jacente, joue un rôle majeur. Jusqu’à présent, les modèles hiérarchiques utilisés en connectomique sont pauvres en propriétés émergentes et présentent des structures régulières. Or, la complexité et la richesse hiérarchique du connectome et de réseaux réels ne sont pas saisies par ces modèles. Nous introduisons un nouveau modèle de croissance de réseaux hiérarchiques basé sur l’attachement préférentiel (HPA - Hierarchical preferential attachment). La calibration du modèle sur les propriétés structurelles de réseaux hiérarchiques réels permet de reproduire plusieurs propriétés émergentes telles que la navigabilité, la fractalité et l’agrégation. Le modèle permet entre autres de contrôler la structure hiérarchique et apporte un support supplémentaire quant à l’influence de la structure sur les propriétés émergentes. Puisque le cerveau est continuellement en activité, nous nous intéressons également aux propriétés dynamiques sur des structures hiérarchiques produites par HPA. L’existence d’états dynamiques d’activité soutenue, analogues à l’état minimal de l’activité cérébrale, est étudiée en imposant une dynamique neuronale binaire. Bien que l’organisation hiérarchique favorise la présence d’un état d’activité minimal, l’activité persistante émerge du contrôle de la propagation par la structure du réseau.

Obtenção de concentrado proteico do farelo de arroz e avaliação das propriedades químicas e funcionais

Esta dissertação é composta por 5 artigos.