The BTB/POZ Transcription Factor Miz-1 Is Required To Regulate The Commitment, Survival And Differentiation Of Early B And T Cell Lineages

Les lymphocytes B et T sont issus de cellules progénitrices lymphoïdes de la moelle osseuse qui se différencient grâce à l’action de facteurs de transcription, cytokines et voies de signalisation, dont l’interleukine-7 (IL-7)/IL-7 récepteur (IL-7R). Le facteur de transcription c-Myc est exprimé par les cellules lymphoïdes et contrôle leur croissance et leur différenciation. Cette régulation transcriptionnelle peut être coordonnée par le complexe c-Myc/Myc-Interacting Zinc finger protein-1 (Miz-1). Le but de ce projet était de comprendre les mécanismes qui impliquent Miz-1 et le complexe c-Myc/Miz-1 dans le développement des lymphocytes B et T. Pour réaliser ce projet, des souris déficientes pour le domaine de transactivation de Miz-1 (Miz-1POZ) et des souris à allèles mutantes pour c-MycV394D, mutation qui empêche l’interaction avec Miz-1, ont été générées. La caractérisation des souris Miz 1POZ a démontré que l’inactivation de Miz-1 perturbe le développement des lymphocytes B et T aux stades précoces de leur différenciation qui dépend de l’IL-7. L’analyse de la cascade de signalisation IL-7/IL-7R a montré que ces cellules surexpriment la protéine inhibitrice SOCS1 qui empêche la phosphorylation de STAT5 et perturbe la régulation à la hausse de la protéine de survie Bcl-2. De plus, Miz-1 se lie directement au promoteur de SOCS1 et contrôle son activité. En plus de contrôler l’axe IL-7/IL-7R/STAT5/Bcl-2 spécifiquement aux stades précoces du développement afin d’assurer la survie des progéniteurs B et T, Miz-1 régule l’axe EBF/Pax-5/Rag-1/2 dans les cellules B afin de coordonner les signaux nécessaires pour la différenciation des cellules immatures. La caractérisation des souris c-MycV394D a montré, quant à elle, que les fonctions de Miz-1 dans les cellules B et T semblent indépendantes de c-Myc. Les cellules T des souris Miz-1POZ ont un défaut de différenciation additionnel au niveau de la -sélection, étape où les signaux initiés par le TCR remplacent ceux induits par IL-7 pour assurer la prolifération et la différenciation des thymocytes en stades plus matures. À cette étape du développement, une forme fonctionnelle de Miz-1 semble être requise pour contrôler le niveau d’activation de la voie p53, induite lors du processus de réarrangement V(D)J du TCR. L’expression de gènes pro-apoptotiques PUMA, NOXA, Bax et du régulateur de cycle cellulaire p21CIP1 est régulée à la hausse dans les cellules des souris Miz-1POZ. Ceci provoque un débalancement pro-apoptotique qui empêche la progression du cycle cellulaire des cellules TCR-positives. La survie des cellules peut être rétablie à ce stade de différenciation en assurant une coordination adéquate entre les signaux initiés par l’introduction d’un TCR transgénique et d’un transgène codant pour la protéine Bcl-2. En conclusion, ces études ont montré que Miz-1 intervient à deux niveaux du développement lymphoïde: l’un précoce en contrôlant la signalisation induite par l’IL-7 dans les cellules B et T, en plus de l’axe EBF/Pax-5/Rag-1/2 dans les cellules B; et l’autre tardif, en coordonnant les signaux de survie issus par le TCR et p53 dans les cellules T. Étant donné que les thymocytes et lymphocytes B immatures sont sujets à plusieurs rondes de prolifération, ces études serviront à mieux comprendre l’implication des régulateurs du cycle cellulaire comme c-Myc et Miz-1 dans la génération des signaux nécessaires à la différenciation non aberrante et à la survie des ces cellules. Enfin, les modèles expérimentaux, souris déficientes ou à allèles mutantes, utilisés pour ce travail permettront de mieux définir les bases moléculaires de la transformation maligne des lymphocytes B et T et de révéler les mécanismes conduisant au lymphome.

Muscarinic M1 and M3 Receptors,IP3 and cGMP Functional Regulation in Streptozotocin Induced Diabetic Rats: Insulin and Somatotropin Induced Rejuvenation as a Function of Age

The present study describes that acetylcholine through muscarinic Ml and M3 receptors play an important role in the brain function during diabetes as a function of age. Cholinergic activity as indicated by acetylcholine esterase, a marker for cholinergic function, decreased in the brain regions - the cerebral cortex, brainstem and corpus striatum of old rats compared to young rats. in diabetic condition, it was increased in both young and old rats in cerebral cortex, and corpus striatum while in brainstem it was decreased. The functional changes in the muscarinic receptors were studied in the brain regions and it showed that muscarinic M I receptors of old rats were down regulated in cerebral cortex while in corpus striatum and brainstem it was up regulated. Muscarinic M3 receptors of old rats showed no significant change in cerebral cortex while in corpus striatum and brainstem muscarinic receptors were down regulated. During diabetes, muscarinic M I receptors were down regulated in cerebral cortex and brainstem of young rats while in corpus striatum they were up regulated. In old rats, M I receptors were up regulated in cerebral cortex, corpus striatum and in brainstem they were down regulated. Muscarinic M3 receptors were up regulated in cerebral cortex and brainstem of young rats while in corpus striatum they were down regulated. In old rats, muscarinic M l receptors were up regulated in cerebral cortex, corpus striatum and brainstem. In insulin treated diabetic rats the activity of the receptors were reversed to near control. Pancreatic muscarinic M3 receptor activity increased in the pancreas of both young and old rats during diabetes. In vitro studies using carbachol and antagonists for muscarinic Ml and M3 receptor subtypes confirmed the specific receptor mediated neurotransmitter changes during diabetes. Calcium imaging studies revealed muscarinic M I mediated Ca2 + release from the pancreatic islet cells of young and old rats. Electrophysiological studies using EEG recording in young and old rats showed a brain activity difference during diabetes. Long term low dose STH and INS treated rat brain tissues were used for gene expression of muscarinic Ml, M3, glutamate NMDARl, mGlu-5,alpha2A, beta2, GABAAa1 and GABAB, DAD2 and 5-HT 2C receptors to observe the neurotransmitter receptor functional interrelationship for integrating memory, cognition and rejuvenating brain functions in young and old. Studies on neurotransmitter receptor interaction pathways and gene expression regulation by second messengers like IP3 and cGMP in turn will lead to the development of therapeutic agents to manage diabetes and brain activity.From this study it is suggested that functional improvement of muscarinic Ml, M3, glutamate NMDAR1, mGlu-5, alpha2A, beta2, GABAAa1 and GABAB, DAD2 and 5-HT 2C receptors mediated through IP3 and cGMP will lead to therapeutic applications in the management of diabetes. Also, our results from long term low dose STH and INS treatment showed rejuvenation of the brain function which has clinical significance in maintaining healthy period of life as a function of age.

An Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.

Some Lattice Problems In Fuzzy Set Theory And Fuzzy Topology

It is believed that every fuzzy generalization should be formulated in such a way that it contain the ordinary set theoretic notion as a special case. Therefore the definition of fuzzy topology in the line of C.L.CHANG E9] with an arbitrary complete and distributive lattice as the membership set is taken. Almost all the results proved and presented in this thesis can, in a sense, be called generalizations of corresponding results in ordinary set theory and set topology. However the tools and the methods have to be in many of the cases, new. Here an attempt is made to solve the problem of complementation in the lattice of fuzzy topologies on a set. It is proved that in general, the lattice of fuzzy topologies is not complemented. Complements of some fuzzy topologies are found out. It is observed that (L,X) is not uniquely complemented. However, a complete analysis of the problem of complementation in the lattice of fuzzy topologies is yet to be found out

MA160exam00

Exam questions and solutions in LaTex. Diagrams for the questions are all together in the support.zip file, as .eps files

MA160exam01

Exam questions and solutions in LaTex. Diagrams for the questions are all together in the support.zip file, as .eps files

MA160exam01pdf

Exam questions and solutions in PDF

MA160exam00pdf

Exam questions and solutions in PDF

The mapping of the local contributions of Fermi and Coulomb correlation into intracule and extracule density distributions

The contributions of the correlated and uncorrelated components of the electron-pair density to atomic and molecular intracule I(r) and extracule E(R) densities and its Laplacian functions ∇2I(r) and ∇2E(R) are analyzed at the Hartree-Fock (HF) and configuration interaction (CI) levels of theory. The topologies of the uncorrelated components of these functions can be rationalized in terms of the corresponding one-electron densities. In contrast, by analyzing the correlated components of I(r) and E(R), namely, IC(r) and EC(R), the effect of electron Fermi and Coulomb correlation can be assessed at the HF and CI levels of theory. Moreover, the contribution of Coulomb correlation can be isolated by means of difference maps between IC(r) and EC(R) distributions calculated at the two levels of theory. As application examples, the He, Ne, and Ar atomic series, the C2-2, N2, O2+2 molecular series, and the C2H4 molecule have been investigated. For these atoms and molecules, it is found that Fermi correlation accounts for the main characteristics of IC(r) and EC(R), with Coulomb correlation increasing slightly the locality of these functions at the CI level of theory. Furthermore, IC(r), EC(R), and the associated Laplacian functions, reveal the short-ranged nature and high isotropy of Fermi and Coulomb correlation in atoms and molecules

Wave functions for the methane molecule

If the potential field due to the nuclei in the methane molecule is expanded in terms of a set of spherical harmonics about the carbon nucleus, only the terms involving s, f, and higher harmonic functions differ from zero in the equilibrium configuration. Wave functions have been calculated for the equilibrium configuration, first including only the spherically symmetric s term in the potential, and secondly including both the s and the f terms. In the first calculation the complete Hartree-Fock S.C.F. wave functions were determined; in the second calculation a variation method was used to determine the best form of the wave function involving f harmonics. The resulting wave functions and electron density functions are presented and discussed

Implications of recent Australian wheat industry developments for overseas and domestic prices

This study is motivated by the proposition that the objectives of the AWB Ltd have changed since semi-privatisation of the Australian Wheat Board under the Wheat Marketing Act, 1989. Conceptualising this change of objectives as a shift from revenue maximization to profit maximization, this study examines the impact of such a change on the pricing policies of a multi-market price-setting firm. More specifically, this paper investigates, using two hypothetical objective functions, a risk averse AWB�s price-setting behaviour in an �overseas� and a �domestic� market in response to recent wheat industry developments. In the analysis these developments manifest themselves as differing price elasticities, differing transport costs and uncertain demand functions, and their implications particularly for the prices paid by domestic consumers are explored.

Study of the lactation curve in dairy cattle on farms in Central Mexico

Accurate knowledge of lactation curves has an important relevance to management and research of dairy production systems. A number of equations have been proposed to describe the lactation curve, the most widely applied being the gamma equation. The objective of this work was to compare and evaluate candidate functions for their predictive ability in describing lactation curves from central Mexican dairy cows reared under 2 contrasting management systems. Five equations were considered: Gaines ( exponential decay), Wood ( gamma equation), Rook ( Michaelis-Menten x exponential), and 2 more mechanistic ones (Dijkstra and Pollott). A database consisting of 701 and 1283 records of cows in small-scale and intensive systems, respectively, was used in the analysis. Before analysis, the database was divided into 6 groups representing first, second, and third and higher parity cows in both systems. In all cases except second and above parity cows in small-scale systems, all models improved on the Gaines equation. The Wood equation explained much of the variation, but its parameters do not have direct biological interpretation. Although the Rook equation fitted the data well, some of the parameter estimates were not significant. The Dijkstra equation consistently gave better predictions, and its parameters were usually statistically significant and lend themselves to physiological interpretation. As such, the differences between systems and parity could be explained due to variations in theoretical initial milk production at parturition, specific rates of secretory cell proliferation and death, and rate of decay, all of which are parameters in the model. The Pollott equation, although containing the most biology, was found to be over-parameterized and resulted in nonsignificant parameter estimates. For central Mexican dairy cows, the Dijkstra equation was the best option to use in describing the lactation curve.

Leafy, terminal flower1 and agamous are functionally conserved but do not regulate terminal flowering and floral determinacy in Impatiens balsamina

In Impatiens balsamina a lack of commitment of the meristem during floral development leads to the continuous requirement for a leaf-derived floral signal. In the absence of this signal the meristem reverts to leaf production. Current models for Arabidopsis state that LEAFY (LFY) is central to the integration of floral signals and regulates flowering partly via interactions with TERMINAL FLOWER1 (TFL1) and AGAMOUS (AG). Here we describe Impatiens homologues of LFY, TFL1 and AG (IbLFY, IbTFL1 and IbAG) that are highly conserved at a sequence level and demonstrate homologous functions when expressed ectopically in transgenic Arabidopsis. We relate the expression patterns of IbTFL1 and IbAG to the control of terminal flowering and floral determinacy in Impatiens. IbTFL1 is involved in controlling the phase of the axillary meristems and is expressed in axillary shoots and axillary meristems which produce inflorescences, but not in axillary flowers. It is not involved in maintaining the terminal meristem in either an inflorescence or indeterminate state. Terminal flowering in Impatiens appears therefore to be controlled by a pathway that uses a different integration system than that regulating the development of axillary flowers and branches. The pattern of ovule production in Impatiens requires the meristem to be maintained after the production of carpels. Consistent with this morphological feature IbAG appears to specify stamen and carpel identity, but is not sufficient to specify meristem determinacy in Impatiens.

Probiotics and prebiotics in infant nutrition

The human colonic microflora has a central role in health and disease, being unique ill its complexity and range of functions. As such, dietary modulation is important for improved gut health, especially during the highly-sensitive stage of infancy. Diet call affect the composition of the gut microflora through the availability of different substrates for bacterial fermentation. Differences in gut microflora composition and incidence of infection exist between breast-fed and formula-fed infants, with the former thought to have improved protection. Historically, this improvement has been believed to be a result of the higher presence of reportedly-beneficial genera such as the bifidobacteria. As such, functional food ingredients such as prebiotics and probiotics could effect a beneficial modification in the composition and activities of gut microflora of infants by increasing positive flora components. The prebiotic approach aims to increase resident bacteria that are considered to be beneficial for human health, e.g. bifidobacteria and lactobacilli, while probiotics advocates the use of the live micro-organisms themselves in the diet. Both approaches have found their way into infant formula feeds and aim to more closely simulate the gut microbiota composition seen during breast-feeding.