Toward computer-aided induction : a brief review of currently implemented AQVAL programs /

"UILU-ENG 77 1726."

The methodology of knowledge layers for inducing descriptions of sequentially ordered events /

"UILU-ENG 80 1719"--Cover.

Mechanistic study of cell death induction by O 6-methylating agents, focusing on the role of homologous recombination as a molecular target for sensitization of tumor cells to chemotherapeutic alkylating agents

Chemotherapeutic SN1‑methylating agents are important anticancer drugs. They induce several covalent modifications in the DNA, from which O6‑methylguanine (O6MeG) is the main toxic lesion. In this work, different hypotheses that have been proposed to explain the mechanism of O6MeG‑triggered cell death were tested. The results of this work support the abortive processing model, which states that abortive post‑replicative processing of O6MeG‑driven mispairs by the DNA mismatch repair (MMR) machinery results in single‑strand gaps in the DNA that, upon a 2nd round of DNA replication, leads to DNA double‑strand break (DSB) formation, checkpoint activation and cell death. In this work, it was shown that O6MeG induces an accumulation of cells in the 2nd G2/M‑phase after treatment. This was accompanied by an increase in DSB formation in the 2nd S/G2/M‑phase, and paralleled by activation of the checkpoint kinases ATR and CHK1. Apoptosis was activated in the 2nd cell cycle. A portion of cells continue proliferating past the 2nd cell cycle, and triggers apoptosis in the subsequent generations. An extension to the original model is proposed, where the persistence of O6MeG in the DNA causes new abortive MMR processing in the 2nd and subsequent generations, where new DSB are produced triggering cell death. Interestingly, removal of O6MeG beyond the 2nd generation lead to a significant, but not complete, reduction in apoptosis, pointing to the involvement of additional mechanisms as a cause of apoptosis. We therefore propose that an increase in genomic instability resulting from accumulation of mis‑repaired DNA damage plays a role in cell death induction. Given the central role of DSB formation in toxicity triggered by chemotherapeutic SN1‑alkylating agents, it was aimed in the second part of this thesis to determine whether inhibition of DSB repair by homologous recombination (HR) or non‑homologous end joining (NHEJ) is a reasonable strategy for sensitizing glioblastoma cells to these agents. The results of this work show that HR down‑regulation in glioblastoma cells impairs the repair of temozolomide (TMZ)‑induced DSB. HR down‑regulation greatly sensitizes cells to cell death following O6‑methylating (TMZ) or O6‑chlorethylating (nimustine) treatment, but not following ionizing radiation. The RNAi mediated inhibition in DSB repair and chemo‑sensitization was proportional to the knockdown of the HR protein RAD51. Chemo‑sensitization was demonstrated for several HR proteins, in glioma cell lines proficient and mutated in p53. Evidence is provided showing that O6MeG is the primary lesion responsible for the increased sensitivity of glioblastoma cells following TMZ treatment, and that inhibition of the resistance marker MGMT restores the chemo‑sensitization achieved by HR down‑regulation. Data are also provided to show that inhibition of DNA‑PK dependent NHEJ does not significantly sensitized glioblastoma cells to TMZ treatment. Finally, the data also show that PARP inhibition with olaparib additionally sensitized HR down‑regulated glioma cells to TMZ. Collectively, the data show that processing of O6MeG through two rounds of DNA replication is required for DSB formation, checkpoint activation and apoptosis induction, and that O6MeG‑triggered apoptosis is also executed in subsequent generations. Furthermore, the data provide proof of principle evidence that down‑regulation of HR is a reasonable strategy for sensitizing glioma cells to killing by O6‑alkylating chemotherapeutics.

Justifying induction on modal μ-formulae

We define a rank function for formulae of the propositional modal μ-calculus such that the rank of a fixed point is strictly bigger than the rank of any of its finite approximations. A rank function of this kind is needed, for instance, to establish the collapse of the modal μ-hierarchy over transitive transition systems. We show that the range of the rank function is ωω. Further we establish that the rank is computable by primitive recursion, which gives us a uniform method to generate formulae of arbitrary rank below ωω.

A note on the theory SID<ω of stratified induction

We introduce and analyse a theory of finitely stratified general inductive definitions over the natural numbers, inline image, and establish its proof theoretic ordinal, inline image. The definition of inline image bears some similarities with Leivant's ramified theories for finitary inductive definitions.

High school mathematics /

Each unit comprises Student's ed. and Teachers' ed., interleaved.

An innovative approach to teaching structural induction for computer science

Proofs by induction are central to many computer science areas such as data structures, theory of computation, programming languages, program efficiency-time complexity, and program correctness. Proofs by induction can also improve students’ understanding and performance of computer science concepts such as programming languages, algorithm design, and recursion, as well as serve as a medium for teaching them. Even though students are exposed to proofs by induction in many courses of their curricula, they still have difficulties understanding and performing them. This impacts the whole course of their studies, since proofs by induction are omnipresent in computer science. Specifically, students do not gain conceptual understanding of induction early in the curriculum and as a result, they have difficulties applying it to more advanced areas later on in their studies. The goal of my dissertation is twofold: (1) identifying sources of computer science students’ difficulties with proofs by induction, and (2) developing a new approach to teaching proofs by induction by way of an interactive and multimodal electronic book (e-book). For the first goal, I undertook a study to identify possible sources of computer science students’ difficulties with proofs by induction. Its results suggest that there is a close correlation between students’ understanding of inductive definitions and their understanding and performance of proofs by induction. For designing and developing my e-book, I took into consideration the results of my study, as well as the drawbacks of the current methodologies of teaching proofs by induction for computer science. I designed my e-book to be used as a standalone and complete educational environment. I also conducted a study on the effectiveness of my e-book in the classroom. The results of my study suggest that, unlike the current methodologies of teaching proofs by induction for computer science, my e-book helped students overcome many of their difficulties and gain conceptual understanding of proofs induction.

Ikkε Is Key To Induction Of Insulin Resistance In The Hypothalamus, And Its Inhibition Reverses Obesity.

IKK epsilon (IKKε) is induced by the activation of nuclear factor-κB (NF-κB). Whole-body IKKε knockout mice on a high-fat diet (HFD) were protected from insulin resistance and showed altered energy balance. We demonstrate that IKKε is expressed in neurons and is upregulated in the hypothalamus of obese mice, contributing to insulin and leptin resistance. Blocking IKKε in the hypothalamus of obese mice with CAYMAN10576 or small interfering RNA decreased NF-κB activation in this tissue, relieving the inflammatory environment. Inhibition of IKKε activity, but not TBK1, reduced IRS-1(Ser307) phosphorylation and insulin and leptin resistance by an improvement of the IR/IRS-1/Akt and JAK2/STAT3 pathways in the hypothalamus. These improvements were independent of body weight and food intake. Increased insulin and leptin action/signaling in the hypothalamus may contribute to a decrease in adiposity and hypophagia and an enhancement of energy expenditure accompanied by lower NPY and increased POMC mRNA levels. Improvement of hypothalamic insulin action decreases fasting glycemia, glycemia after pyruvate injection, and PEPCK protein expression in the liver of HFD-fed and db/db mice, suggesting a reduction in hepatic glucose production. We suggest that IKKε may be a key inflammatory mediator in the hypothalamus of obese mice, and its hypothalamic inhibition improves energy and glucose metabolism.

[comparative Study Between Fast And Slow Induction Of Propofol Given By Target-controlled Infusion: Expected Propofol Concentration At The Effect Site. Randomized Controlled Trial].

studies have shown that rate of propofol infusion may influence the predicted propofol concentration at the effect site (Es). The aim of this study was to evaluate the Es predicted by the Marsh pharmacokinetic model (ke0 0.26min(-1)) in loss of consciousness during fast or slow induction. the study included 28 patients randomly divided into two equal groups. In slow induction group (S), target-controlled infusion (TCI) of propofol with plasma, Marsh pharmacokinetic model (ke0 0.26min(-1)) with target concentration (Tc) at 2.0-μg.mL(-1) were administered. When the predicted propofol concentration at the effect site (Es) reached half of Es value, Es was increased to previous Es + 1μg.mL(-1), successively, until loss of consciousness. In rapid induction group (R), patients were induced with TCI of propofol with plasma (6.0μg.ml(-1)) at Es, and waited until loss of consciousness. in rapid induction group, Tc for loss of consciousness was significantly lower compared to slow induction group (1.67±0.76 and 2.50±0.56μg.mL(-1), respectively, p=0.004). the predicted propofol concentration at the effect site for loss of consciousness is different for rapid induction and slow induction, even with the same pharmacokinetic model of propofol and the same balance constant between plasma and effect site.

Histopathological evaluation of different methods of experimental induction of periapical periodontitis

This study evaluated histopathologically different methods of experimental induction of periapical periodontitis. The radiographic and microbiological evaluations have been performed in a previous investigation. Fifty-seven root canals from dogs' teeth were assigned to 4 groups. In GI (n=14) and GII (n=14), the root canals were exposed to oral environment for 180 days; in GIII (n=14) and GIV (n=15) the root canals were exposed for 7 days and then the access cavities were restored and remained sealed for 53 days. The root apices of GI and GIII were perforated, whilst those of GII and GIV remained intact. After induction of periapical periodontitis, the dogs were euthanized. Serial sections were obtained and stained with hematoxylin and eosin. Data of the histopathological evaluation were submitted to Kruskal-Wallis and Dunn's tests at 5% significance level. The inflammatory periapical reaction and resorption of mineralized tissues were less intense in GII than in the other groups (p<0.05). There was no histopathological difference among the experimentally induced periapical lesions in the teeth with coronal sealing. On the other hand, when coronal sealing was not performed, greater intensity of induced periapical periodontitis was observed in the teeth with apical perforation.

Microbial distribution in the root canal system after periapical lesion induction using different methods

The aim of this study was to evaluate the microbial distribution in the root canal system after periapical lesion induction in dogs' teeth using different methods. Fifty-two root canals were assigned to 4 groups (n=13). Groups I and II: root canals were exposed to the oral cavity for 180 days; groups III and IV: root canals were exposed for 7 days and then the coronal openings were sealed for 53 days. The root apices of groups I and III were perforated, while those of groups II and IV remained intact. After the experimental periods, the animals were euthanized and the anatomic pieces containing the roots were processed and stained with the Brown & Brenn method to assess the presence and distribution of microorganisms. The incidence of microorganisms at different sites of the roots and periapical lesions was analyzed statistically by the chi-square test at 5% significance level. All groups presented microorganisms in the entire root canal system. A larger number of microorganisms was observed on the root canal walls, apical delta and dentinal tubules (p<0.05), followed by cementum and cemental resorption areas. In spite of the different periods of exposure to the oral environment, the methods used for induction of periapical periodontitis yielded similar distribution of microorganisms in the root canal system.

Cognitive control associated with irritability induction: an autobiographical recall fMRI study

OBJECTIVE: Despite the relevance of irritability emotions to the treatment, prognosis and classification of psychiatric disorders, the neurobiological basis of this emotional state has been rarely investigated to date. We assessed the brain circuitry underlying personal script-driven irritability in healthy subjects (n = 11) using functional magnetic resonance imaging. METHOD: Blood oxygen level-dependent signal changes were recorded during auditory presentation of personal scripts of irritability in contrast to scripts of happiness or neutral emotional content. Self-rated emotional measurements and skin conductance recordings were also obtained. Images were acquired using a 1,5T magnetic resonance scanner. Brain activation maps were constructed from individual images, and between-condition differences in the mean power of experimental response were identified by using cluster-wise nonparametric tests. RESULTS: Compared to neutral scripts, increased blood oxygen level-dependent signal during irritability scripts was detected in the left subgenual anterior cingulate cortex, and in the left medial, anterolateral and posterolateral dorsal prefrontal cortex (cluster-wise p-value < 0.05). While the involvement of the subgenual cingulate and dorsal anterolateral prefrontal cortices was unique to the irritability state, increased blood oxygen level-dependent signal in dorsomedial and dorsal posterolateral prefrontal regions were also present during happiness induction. CONCLUSION: Irritability induction is associated with functional changes in a limited set of brain regions previously implicated in the mediation of emotional states. Changes in prefrontal and cingulate areas may be related to effortful cognitive control aspects that gain salience during the emergence of irritability.

Induction of Zenk protein expression within the nucleus taeniae of the amygdala of pigeons following tone and shock stimulation

In this study, we evaluated the expression of the Zenk protein within the nucleus taeniae of the pigeon’s amygdala (TnA) after training in a classical aversive conditioning, in order to improve our understanding of its functional role in birds. Thirty-two 18-month-old adult male pigeons (Columba livia), weighing on average 350 g, were trained under different conditions: with tone-shock associations (experimental group; EG); with shock-alone presentations (shock group; SG); with tone-alone presentations (tone group; TG); with exposure to the training chamber without stimulation (context group; CG), and with daily handling (naive group; NG). The number of immunoreactive nuclei was counted in the whole TnA region and is reported as density of Zenk-positive nuclei. This density of Zenk-positive cells in the TnA was significantly greater for the EG, SG and TG than for the CG and NG (P < 0.05). The data indicate an expression of Zenk in the TnA that was driven by experience, supporting the role of this brain area as a critical element for neural processing of aversive stimuli as well as meaningful novel stimuli.

Induction of a gloverin-like antimicrobial polypeptide in the sugarcane borer Diatraea saccharalis challenged by septic injury

Diatraea saccharalis (Fabricius, 1794) (Lepidoptera: Crambidae) is an important pest for Brazilian sugarcane. In the present study, we detected two distinct spots in hemolymph from septic injured larvae (HDs1 and HDs2), which are separated by 2DE gel electrophoresis. Both spots were subjected to in-gel tryptic digestion and MALDI-TOF/TOF analysis, which revealed the sequence VFGTLGSDDSGLFGK present in both HDs1 and HDs2. This sequence had homology and 80% identity with specific Lepidoptera antimicrobial peptides called gloverins. Analyses using the ImageMaster 2D software showed pI 8.94 of the HDs1 spot, which is similar to that described to Hyalophora gloveri gloverin (pI 8.5). Moreover, the 14-kDa molecular mass of the spot HDs1 is compatible to that of gloverins isolated from the hemolymph of Trichoplusia ni, Helicoverpa armigera and H. gloveri. Antimicrobial assays with partially purified fractions containing the HDs1 and HDs2 polypeptides demonstrated activity against Escherichia coli. This is the first report of antimicrobial polypeptides in D. saccharalis, and the identification of these peptides may help in the generation of new strategies to control this pest.