Fatty-acid uptake in prostate cancer cells using dynamic microfluidic raman technology

It is known that intake of dietary fatty acid (FA) is strongly correlated with prostate cancer progression but is highly dependent on the type of FAs. High levels of palmitic acid (PA) or arachidonic acid (AA) can stimulate the progression of cancer. In this study, a unique experimental set-up consisting of a Raman microscope, coupled with a commercial shear-flow microfluidic system is used to monitor fatty acid uptake by prostate cancer (PC-3) cells in real-time at the single cell level. Uptake of deuterated PA, deuterated AA, and the omega-3 fatty acids docosahexaenoic acid (DHA) and eicosapentaenoic acid (EPA) were monitored using this new system, while complementary flow cytometry experiments using Nile red staining, were also conducted for the validation of the cellular lipid uptake. Using this novel experimental system, we show that DHA and EPA have inhibitory effects on the uptake of PA and AA by PC-3 cells

Towards a method for rigorous development of generic requirements patterns

We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Nonequilibrium Temperature and Thermometry in Heat-Conducting Phi-4 Models

We analyze temperature and thermometry for simple nonequilibrium heat-conducting models. We show in detail, for both two- and three-dimensional systems, that the ideal gas thermometer corresponds to the concept of a local instantaneous mechanical kinetic temperature. For the Phi-4 models investigated here the mechanical temperature closely approximates the local thermodynamic equilibrium temperature. There is a significant difference between kinetic temperature and the nonlocal configurational temperature. Neither obeys the predictions of extended irreversible thermodynamics. Overall, we find that kinetic temperature, as modeled and imposed by the Nos\'e-Hoover thermostats developed in 1984, provides the simplest means for simulating, analyzing, and understanding nonequilibrium heat flows.Comment: 20 pages with six figures, revised following review at Physical Review

Asymptotic analysis for the generalized langevin equation

Various qualitative properties of solutions to the generalized Langevin equation (GLE) in a periodic or a confining potential are studied in this paper. We consider a class of quasi-Markovian GLEs, similar to the model that was introduced in \cite{EPR99}. Geometric ergodicity, a homogenization theorem (invariance principle), short time asymptotics and the white noise limit are studied. Our proofs are based on a careful analysis of a hypoelliptic operator which is the generator of an auxiliary Markov process. Systematic use of the recently developed theory of hypocoercivity \cite{Vil04HPI} is made.Comment: 27 pages, no figures. Submitted to Nonlinearity

GUCY2C lysosomotropic endocytosis delivers immunotoxin therapy to metastatic colorectal cancer.

The emergence of targeted cancer therapy has been limited by the paucity of determinants which are tumor-specific and generally associated with disease, and have cell dynamics which effectively deploy cytotoxic payloads. Guanylyl cyclase C (GUCY2C) may be ideal for targeting because it is normally expressed only in insulated barrier compartments, including intestine and brain, but over-expressed by systemic metastatic colorectal tumors. Here, we reveal that GUCY2C rapidly internalizes from the cell surface to lysosomes in intestinal and colorectal cancer cells. Endocytosis is independent of ligand binding and receptor activation, and is mediated by clathrin. This mechanism suggests a design for immunotoxins comprising a GUCY2C-directed monoclonal antibody conjugated through a reducible disulfide linkage to ricin A chain, which is activated to a potent cytotoxin in lysosomes. Indeed, this immunotoxin specifically killed GUCY2C-expressing colorectal cancer cells in a lysosomal- and clathrin-dependent fashion. Moreover, this immunotoxin reduced pulmonary tumors \u3e80% (

Habitat Use by Middle Mississippi River Pallid Sturgeon

Little is known about the habitat preferences and needs of pallid sturgeon Scaphirhynchus albus, which was federally listed as endangered in 1990. To learn more about habitat use and selection by pallid sturgeon, sonic transmitters were surgically implanted in 27 individuals from the middle Mississippi River. Study fish were located 184 times (1–23 times/individual) from November 1995 to December 1999. Of the seven macrohabitats identified, pallid sturgeon were found most often in main-channel habitats (39% of all relocations) and main-channel border habitats (26%); the between-wing-dam habitats were used less often (14%). Strauss’s linear selectivity index (Li) values indicated that study fish exhibited positive selection for the main-channel border, downstream island tips, between-wing-dam, and wing-dam-tip habitats; they showed negative selection for main-channel, downstream of wing dams, and upstream of wing dam habitats. Comparison of Li values for four temperature ranges and three daily mean discharge ranges revealed little change in habitat selection due to temperature or discharge. Habitat use patterns also were similar across seasons and discharge regimes, except during spring months when between-wingdam habitats saw greater use and main-channel and main-channel border habitat use declined. These changes may have been a response to high river stages associated with spring flooding, which may create favorable feeding areas in the between-wing-dam habitats. Enhancement and restoration of habitat diversity, particularly downstream island tip and between-wing-dam habitats, may be necessary for the recovery of pallid sturgeon in the middle Mississippi River