An Algorithm for Inferring Quasi-Static Types

This report presents an algorithm, and its implementation, for doing type inference in the context of Quasi-Static Typing (QST) ["Quasy-static Typing." Satish Thatte Proc. ACM Symp. on Principles of Programming Languages, 1988]. The package infers types a la "QST" for the simply typed λ-calculus.

StaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languages

We present a type system, StaXML, which employs the stacked type syntax to represent essential aspects of the potential roles of XML fragments to the structure of complete XML documents. The simplest application of this system is to enforce well-formedness upon the construction of XML documents without requiring the use of templates or balanced "gap plugging" operators; this allows it to be applied to programs written according to common imperative web scripting idioms, particularly the echoing of unbalanced XML fragments to an output buffer. The system can be extended to verify particular XML applications such as XHTML and identifying individual XML tags constructed from their lexical components. We also present StaXML for PHP, a prototype precompiler for the PHP4 scripting language which infers StaXML types for expressions without assistance from the programmer.

Self-Organizing Grammar Induction Using a Neural Network Model

This paper presents a self-organizing, real-time, hierarchical neural network model of sequential processing, and shows how it can be used to induce recognition codes corresponding to word categories and elementary grammatical structures. The model, first introduced in Mannes (1992), learns to recognize, store, and recall sequences of unitized patterns in a stable manner, either using short-term memory alone, or using long-term memory weights. Memory capacity is only limited by the number of nodes provided. Sequences are mapped to unitized patterns, making the model suitable for hierarchical operation. By using multiple modules arranged in a hierarchy and a simple mapping between output of lower levels and the input of higher levels, the induction of codes representing word category and simple phrase structures is an emergent property of the model. Simulation results are reported to illustrate this behavior.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Induction of tissue resorption in globiferous pedicellariae of the echinoid Sphaerechinus granularis

info:eu-repo/semantics/published

Induction of the mucosal immune response

info:eu-repo/semantics/published

Typical delay determines waiting time on periodic-food schedules: Static and dynamic tests.

Pigeons and other animals soon learn to wait (pause) after food delivery on periodic-food schedules before resuming the food-rewarded response. Under most conditions the steady-state duration of the average waiting time, t, is a linear function of the typical interfood interval. We describe three experiments designed to explore the limits of this process. In all experiments, t was associated with one key color and the subsequent food delay, T, with another. In the first experiment, we compared the relation between t (waiting time) and T (food delay) under two conditions: when T was held constant, and when T was an inverse function of t. The pigeons could maximize the rate of food delivery under the first condition by setting t to a consistently short value; optimal behavior under the second condition required a linear relation with unit slope between t and T. Despite this difference in optimal policy, the pigeons in both cases showed the same linear relation, with slope less than one, between t and T. This result was confirmed in a second parametric experiment that added a third condition, in which T + t was held constant. Linear waiting appears to be an obligatory rule for pigeons. In a third experiment we arranged for a multiplicative relation between t and T (positive feedback), and produced either very short or very long waiting times as predicted by a quasi-dynamic model in which waiting time is strongly determined by the just-preceding food delay.

Chondrogenesis of adult stem cells from adipose tissue and bone marrow: induction by growth factors and cartilage-derived matrix.

OBJECTIVES: Adipose-derived stem cells (ASCs) and bone marrow-derived mesenchymal stem cells (MSCs) are multipotent adult stem cells with potential for use in cartilage tissue engineering. We hypothesized that these cells show distinct responses to different chondrogenic culture conditions and extracellular matrices, illustrating important differences between cell types. METHODS: Human ASCs and MSCs were chondrogenically differentiated in alginate beads or a novel scaffold of reconstituted native cartilage-derived matrix with a range of growth factors, including dexamethasone, transforming growth factor beta3, and bone morphogenetic protein 6. Constructs were analyzed for gene expression and matrix synthesis. RESULTS: Chondrogenic growth factors induced a chondrocytic phenotype in both ASCs and MSCs in alginate beads or cartilage-derived matrix. MSCs demonstrated enhanced type II collagen gene expression and matrix synthesis as well as a greater propensity for the hypertrophic chondrocyte phenotype. ASCs had higher upregulation of aggrecan gene expression in response to bone morphogenetic protein 6 (857-fold), while MSCs responded more favorably to transforming growth factor beta3 (573-fold increase). CONCLUSIONS: ASCs and MSCs are distinct cell types as illustrated by their unique responses to growth factor-based chondrogenic induction. This chondrogenic induction is affected by the composition of the scaffold and the presence of serum.

Piezopotential gated nanowire--nanotube hybrid field-effect transistor.

We report the first piezoelectric potential gated hybrid field-effect transistors based on nanotubes and nanowires. The device consists of single-walled carbon nanotubes (SWNTs) on the bottom and crossed ZnO piezoelectric fine wire (PFW) on the top with an insulating layer between. Here, SWNTs serve as a carrier transport channel, and a single-crystal ZnO PFW acts as the power-free, contact-free gate or even an energy-harvesting component later on. The piezopotential created by an external force in the ZnO PFW is demonstrated to control the charge transport in the SWNT channel located underneath. The magnitude of the piezopotential in the PFW at a tensile strain of 0.05% is measured to be 0.4-0.6 V. The device is a unique coupling between the piezoelectric property of the ZnO PFW and the semiconductor performance of the SWNT with a full utilization of its mobility. The newly demonstrated device has potential applications as a strain sensor, force/pressure monitor, security trigger, and analog-signal touch screen.

Lactic acidosis triggers starvation response with paradoxical induction of TXNIP through MondoA.

Although lactic acidosis is a prominent feature of solid tumors, we still have limited understanding of the mechanisms by which lactic acidosis influences metabolic phenotypes of cancer cells. We compared global transcriptional responses of breast cancer cells in response to three distinct tumor microenvironmental stresses: lactic acidosis, glucose deprivation, and hypoxia. We found that lactic acidosis and glucose deprivation trigger highly similar transcriptional responses, each inducing features of starvation response. In contrast to their comparable effects on gene expression, lactic acidosis and glucose deprivation have opposing effects on glucose uptake. This divergence of metabolic responses in the context of highly similar transcriptional responses allows the identification of a small subset of genes that are regulated in opposite directions by these two conditions. Among these selected genes, TXNIP and its paralogue ARRDC4 are both induced under lactic acidosis and repressed with glucose deprivation. This induction of TXNIP under lactic acidosis is caused by the activation of the glucose-sensing helix-loop-helix transcriptional complex MondoA:Mlx, which is usually triggered upon glucose exposure. Therefore, the upregulation of TXNIP significantly contributes to inhibition of tumor glycolytic phenotypes under lactic acidosis. Expression levels of TXNIP and ARRDC4 in human cancers are also highly correlated with predicted lactic acidosis pathway activities and associated with favorable clinical outcomes. Lactic acidosis triggers features of starvation response while activating the glucose-sensing MondoA-TXNIP pathways and contributing to the "anti-Warburg" metabolic effects and anti-tumor properties of cancer cells. These results stem from integrative analysis of transcriptome and metabolic response data under various tumor microenvironmental stresses and open new paths to explore how these stresses influence phenotypic and metabolic adaptations in human cancers.

Induction of anti-myelin antibodies in EAE and their possible role in demyelination.

Experimental allergic encephalomyelitis is characterized by invasion of lymphocytes and macrophages into the central nervous system resulting in inflammation, edema, and demyelination. Sera from Lewis rats from 7-95 days after immunization with purified guinea pig CNS myelin were examined with respect to their ability to opsonize myelin. This was correlated with the appearance of antibody components and the relative amounts of antibody to myelin basic protein (MBP) and proteolipid protein (PLP). Sera from rats 10-95 days after immunization preincubated with purified myelin induced phagocytosis of myelin by cultured macrophages with the resulting production of cholesterol ester. This opsonization activity as measured by the percentage of cholesterol esterified reached a peak at 26-27 days after immunization but remained significantly elevated up to 95 days post-immunization compared to the activity of serum from the Freund's adjuvant-injected controls. Immunoblots of the sera revealed a gradual increase in antibody activity against myelin components. ELISA assays for MBP and PLP antibody showed a similar pattern. Antibody to galactocerebroside (GC) was not detected by immunostains nor by the ELISA assay. Areas of demyelination were observed histologically by luxol-fast blue stained spinal cords up to 60 days post-immunization. These results indicate that antibodies to myelin protein when given access to myelin through or within the blood brain barrier could initiate or enhance the phagocytic response by peripheral or resident macrophages.

Salvianolic Acid B Inhibits Growth of Cervical Cancer Cells in vitro via Induction of Apoptosis through the Extrinsic Pathway

In 2014 alone, over 12,000 women are expected to be diagnosed with cervical cancer. Of these women who are diagnosed, about 3,909 will result in death. Despite developments in prevention methods, cervical cancer remains a major health concern for women. Growing evidence suggests that Salvianolic acid B (Sal B), a major component of the Chinese herb Danshen, may inhibit cancer cell growth and help fight against cervical cancer. This study characterizes the potential of Sal B as a cervical cancer drug through in vitro testing on HeLa cells. We hypothesized that application of Sal B to HeLa cells will result in decreased cell viability and increased apoptosis in a dose dependent manner. HeLa cells were treated with varying concentrations of Sal B: 25µM, 50µM, 100µM, and 200µM. Cell viability was determined through colony formation assay, cell death ELISA, and nuclear morphology. An inhibitor study was also conducted for further apoptosis pathway analysis. Colony formation assay demonstrated a significant decrease in cell viability with increasing concentrations of Sal B with 75% viability at 50µM down to 0% viability at 200µM. Cell death ELISA and the analysis of nuclear morphology via Hoechst staining reported significant levels of apoptosis at concentrations equal to 50µM and greater. Furthermore, experiments using caspase inhibitors indicated that Sal B’s apoptotic effects are caspase-8 dependent. In conclusion, our results demonstrate that Sal B inhibits cancer cell growth by a mechanism that involves apoptosis induction through the extrinsic pathway.

From clonal selection to immune networks: induction of silent idiotypes.

Journal Article

Modelling induction melting energy savings

Electromagnetic processing of liquid metals involves dynamic change of the fluid volume interfacing with a melting solid material, gas or vacuum, and possibly a different liquid. Electromagnetic field and the associated force field are strongly coupled to the free surface dynamics and the heat-mass transfer. We present practical modelling examples of the flow and heat transfer using an accurate pseudo-spectral code and the k-omega turbulence model suitable for complex and transitional flows with free surfaces. The 'cold crucible' melting is modelled dynamically including the melting front gradual propagation and the magnetically confined free surrounding interface. Intermittent contact with the water-cooled segmented wall and the radiation heat losses are parts of the complex problem.

Modelling induction skull melting design modifications

Induction Skull Melting (ISM) is a technique for heating, melting, mixing and, possibly, evaporating reactive liquid metals at high temperatures with a minimum contact at solid walls. The presented numerical modelling involves the complete time dependent process analysis based on the coupled electromagnetic, temperature and turbulent velocity fields during the melting and liquid shape changes. The simulation model is validated against measurements of liquid metal height, temperature and heat losses in a commercial size ISM furnace. The observed typical limiting temperature plateau for increasing input electrical power is explained by the turbulent convective heat losses. Various methods to increase the superheat within the liquid melt, the process energy efficiency and stability are proposed.