Implicit computational complexity and probabilistic classes

The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution lays on the implicit characterization of PP (which stands for Probabilistic Polynomial Time) class, showing a syntactical characterisation of PP and a static complexity analyser able to recognise if an imperative program computes in Probabilistic Polynomial Time. The thesis is divided in two parts. The first part focuses on solving the problem by creating a prototype of functional language (a probabilistic variation of lambda calculus with bounded recursion) that is sound and complete respect to Probabilistic Prolynomial Time. The second part, instead, reverses the problem and develops a feasible way to verify if a program, written with a prototype of imperative programming language, is running in Probabilistic polynomial time or not. This thesis would characterise itself as one of the first step for Implicit Computational Complexity over probabilistic classes. There are still open hard problem to investigate and try to solve. There are a lot of theoretical aspects strongly connected with these topics and I expect that in the future there will be wide attention to ICC and probabilistic classes.

Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

Computational Design and Experimental Discovery of an Anti-estrogenic Peptide Derived from Alpha-Fetoprotein

Breast cancer is the most common cancer among women, and tamoxifen is the preferred drug for estrogen receptor-positive breast cancer treatment. Many of these cancers are intrinsically resistant to tamoxifen or acquire resistance during treatment. Consequently, there is an ongoing need for breast cancer drugs that have different molecular targets. Previous work has shown that 8-mer and cyclic 9-mer peptides inhibit breast cancer in mouse and rat models, interacting with an unsolved receptor, while peptides smaller than eight amino acids did not. We show that the use of replica exchange molecular dynamics predicts the structure and dynamics of active peptides, leading to the discovery of smaller peptides with full biological activity. Simulations identified smaller peptide analogues with the same conserved reverse turn demonstrated in the larger peptides. These analogues were synthesized and shown to inhibit estrogen-dependent cell growth in a mouse uterine growth assay, a test showing reliable correlation with human breast cancer inhibition.

Integration of computational models and experimental characterization to study internal frost damage in cementitious materials

The objective of this doctoral research is to investigate the internal frost damage due to crystallization pore pressure in porous cement-based materials by developing computational and experimental characterization tools. As an essential component of the U.S. infrastructure system, the durability of concrete has significant impact on maintenance costs. In cold climates, freeze-thaw damage is a major issue affecting the durability of concrete. The deleterious effects of the freeze-thaw cycle depend on the microscale characteristics of concrete such as the pore sizes and the pore distribution, as well as the environmental conditions. Recent theories attribute internal frost damage of concrete is caused by crystallization pore pressure in the cold environment. The pore structures have significant impact on freeze-thaw durability of cement/concrete samples. The scanning electron microscope (SEM) and transmission X-ray microscopy (TXM) techniques were applied to characterize freeze-thaw damage within pore structure. In the microscale pore system, the crystallization pressures at sub-cooling temperatures were calculated using interface energy balance with thermodynamic analysis. The multi-phase Extended Finite Element Modeling (XFEM) and bilinear Cohesive Zone Modeling (CZM) were developed to simulate the internal frost damage of heterogeneous cement-based material samples. The fracture simulation with these two techniques were validated by comparing the predicted fracture behavior with the captured damage from compact tension (CT) and single-edge notched beam (SEB) bending tests. The study applied the developed computational tools to simulate the internal frost damage caused by ice crystallization with the two dimensional (2-D) SEM and three dimensional (3-D) reconstructed SEM and TXM digital samples. The pore pressure calculated from thermodynamic analysis was input for model simulation. The 2-D and 3-D bilinear CZM predicted the crack initiation and propagation within cement paste microstructure. The favorably predicted crack paths in concrete/cement samples indicate the developed bilinear CZM techniques have the ability to capture crack nucleation and propagation in cement-based material samples with multiphase and associated interface. By comparing the computational prediction with the actual damaged samples, it also indicates that the ice crystallization pressure is the main mechanism for the internal frost damage in cementitious materials.

Computational identification and functional validation of regulatory motifs in cartilage-expressed genes.

Chondrocyte gene regulation is important for the generation and maintenance of cartilage tissues. Several regulatory factors have been identified that play a role in chondrogenesis, including the positive transacting factors of the SOX family such as SOX9, SOX5, and SOX6, as well as negative transacting factors such as C/EBP and delta EF1. However, a complete understanding of the intricate regulatory network that governs the tissue-specific expression of cartilage genes is not yet available. We have taken a computational approach to identify cis-regulatory, transcription factor (TF) binding motifs in a set of cartilage characteristic genes to better define the transcriptional regulatory networks that regulate chondrogenesis. Our computational methods have identified several TFs, whose binding profiles are available in the TRANSFAC database, as important to chondrogenesis. In addition, a cartilage-specific SOX-binding profile was constructed and used to identify both known, and novel, functional paired SOX-binding motifs in chondrocyte genes. Using DNA pattern-recognition algorithms, we have also identified cis-regulatory elements for unknown TFs. We have validated our computational predictions through mutational analyses in cell transfection experiments. One novel regulatory motif, N1, found at high frequency in the COL2A1 promoter, was found to bind to chondrocyte nuclear proteins. Mutational analyses suggest that this motif binds a repressive factor that regulates basal levels of the COL2A1 promoter.

The biology and mechanism of chemoresistance of brain metastases

Primary brain neoplasms and metastases to the brain are generally resistant to systemic chemotherapy. The purpose of theses studies was to determine the mechanism(s) for this resistance. We have developed a model to study the biology of brain metastasis by injecting metastatic K1735 melanoma cells into the carotid artery of syngeneic C3H/HeN or nude mice. The resulting brain lesions are produced in the parenchyma of the brain. Mice with subcutaneous or brain melanoma lesions were treated intravenously with doxorubicin (DXR) (7 mg/kg). The s.c. lesions regressed in most of the mice whereas no therapeutic benefits were produced in mice with brain metastases. The intravenous injection of sodium fluorescine revealed that the blood-brain barrier (BBB) is intact in and around brain metastases smaller than 0.2 mm$\sp2$ but not in larger lesions, implying that the BBB is not a major obstacle for chemotherapy of brain metastases.^ Western blot and FACS analyses revealed that K1735 melanoma brain metastases expressed high levels of P-glycoprotein (P-gp) as compared to s.c. tumors or in vitro cultures. Similarly, K1735 cells from brain metastases expressed higher levels of mdrl mRNA. This increased expression of mdrl was due to adaptation to the local brain environment. We base this conclusion on the results of two studies. First, K1735 cells from brain metastases cultured for 7 days lost the high mdrl expression. Second, in crossover experiments K1735 cells from s.c. tumors (low mdrl expression) implanted into the brain exhibited high levels of mdrl expression whereas cells from brain metastases implanted s.c. lost the high level mdrl expression.^ To investigate the mechanism by which the brain environment upregulates mdrl expression of the K1735 cells we first studied the regulation of P-gp in brain endothelial cells. Since astrocytes are closely linked with the BBB we cocultured brain endothelial cells for 3 days with astrocytes. These endothelial cells expressed high levels of mdrl mRNA and protein whereas endothelial cells cocultured with endothelial cells or fibroblasts did not. We next cocultured K1735 melanoma cells with astrocytes. Here again, astrocytes (but not fibroblasts or tumor cells) uprelated the mdrl expression in K1735 tumor cells. This upregulation inversely correlated with intracellular drug accumulation and sensitivity to DXR.^ The data conclude that the resistance of melanoma brain metastases to chemotherapy is not due to an intact BBB but to the upregulation of the mdrl gene by the organ microenvironment, i.e., the astrocytes. This epigenetic mediated resistance to chemotherapy has wide implications for the therapy of brain metastases. ^

Developmental changes in sleep biology and potential effects on adolescent behavior and caffeine use

Adolescent development includes changes in the biological regulatory processes for the timing of sleep. Circadian rhythm changes and changes to the sleep-pressure system (sleep homeostasis) during adolescence both favor later timing of sleep. These changes, combined with prevailing social pressures, are responsible for most teens sleeping too late and too little; those who sleep least report consuming more caffeine. Although direct research findings are scarce, the likelihood of use and abuse of caffeine-laden products grows across the adolescent years due, in part, to excessive sleepiness

Ovarian cancer angiogenesis, biology and therapy

The progressive growth of epithelial ovarian cancer tumor is regulated by proangiogenic molecules and growth factors released by tumor cells and the microenvironment. Previous studies showed that the expression of interleukin-8 (IL-8) directly correlates with the progression of human ovarian carcinomas implanted into the peritoneal cavity of nude mice. We examined the expression level of IL-8 in archival specimens of primary human ovarian carcinoma from patients undergoing curative surgery by in situ mRNA hybridization technique. The expression of IL-8 was significantly higher in patients with stage III disease than in patients with stage I disease. To investigate the role of IL-8 in the progressive growth of ovarian cancer, we isolated high- and low-IL-8 producing clones from parental Hey-A8 human ovarian cancer cells, and compared their proliferative activity and tumorigenicity in nude mice. The effect of exogenous IL-8 and IL-8 neutralizing antibody on ovarian cancer cell proliferation was investigated. Finally, we studied the modulation of IL-8 expression in ovarian cancer cells by sense and antisense IL-8 expression vector transfection and its effect on proliferation and tumorigenicity. We concluded that IL-8 has a direct growth potentiating activity in human ovarian cancer cells. ^ The expression level of IL-8 directly correlates with disease progression of human ovarian cancer, but the mechanism of induction is unknown. Since hypoxia and acidic pH are common features in solid tumors, we determined whether hypoxic and acidic conditions could regulate the expression of IL-8. Culturing the human ovarian cancer cells in hypoxic or acidic medium led to a significant increase in IL-8 mRNA and protein. Hypoxic- and acidosis-mediated transient increase in IL-8 expression involved both transcriptional activation of the IL-8 gene and enhanced stability of the IL-8 mRNA. Furthermore, we showed that IL-8 transcription activation by hypoxia or acidosis required the cooperation of NF-κB and AP-1 binding sites. ^ Finally, we studied novel therapies against human ovarian cancer. First, we determined whether inhibition of the catalytic tyrosine kinase activity of the receptors for vascular endothelial growth factor/vascular permeability factor (VEGF/VPF) inhibits the formation of malignant ascites and the progressive growth of human ovarian carcinoma cells implanted into the peritoneal cavity of nude mice. Our results suggest that blockade of the VEGF/VPF receptor may be an efficient strategy to inhibit formation of malignant ascites and growth of VEGF/VPF-dependent human ovarian carcinomas. Secondly, we determined whether local sustained production of murine interferon-β could inhibit the growth of human ovarian cancer cells in the peritoneal cavity of nude mice. Our results showed that local production of IFN-β could inhibit the in vivo growth of human ovarian cancer cells by upregulating the expression of the inducible nitric oxide synthase (NOS) in host macrophages. ^