Toward stable N4-modified neurotensins for NTS1-receptor-targeted tumor imaging with 99mTc

A series of Gly-neurotensin(8-13) analogues modified at the N-terminus by acyclic tetraamines (Demotensin 1-4) were obtained by solid-phase peptide synthesis techniques. Strategic replacement of amino acids and/or reduction of sensitive peptide bonds were performed to enhance conjugate resistance against proteolytic enzymes. During 99mTc-labeling, single species radiopeptides, [99mTc]Demotensin 1-4, were easily obtained in high yields and typical specific activities of 1 Ci/micromol. Peptide conjugates displayed a high affinity binding to the human neurotensin subtype 1 receptor (NTS1-R) expressed in colon adenocarcinoma HT-29 or WiDr cells and/or in human tumor sections. [99mTc]Demotensin 1-4 internalized very rapidly in HT-29 or WiDr cells by a NTS1-R-mediated process. [99mTc]Demotensin 3 and 4, which remained stable during 1 h incubation in murine plasma, were selectively studied in nude mice bearing human HT-29 and WiDr xenografts. After injection, [99mTc]Demotensin 3 and 4 effectively and specifically localized in the experimental tumors and were rapidly excreted via the kidneys into the urine, exhibiting overall biodistribution patterns favorable for NTS1-R-targeted tumor imaging in man.

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

gems: An R Package for Simulating from Disease Progression Models

Mathematical models of disease progression predict disease outcomes and are useful epidemiological tools for planners and evaluators of health interventions. The R package gems is a tool that simulates disease progression in patients and predicts the effect of different interventions on patient outcome. Disease progression is represented by a series of events (e.g., diagnosis, treatment and death), displayed in a directed acyclic graph. The vertices correspond to disease states and the directed edges represent events. The package gems allows simulations based on a generalized multistate model that can be described by a directed acyclic graph with continuous transition-specific hazard functions. The user can specify an arbitrary hazard function and its parameters. The model includes parameter uncertainty, does not need to be a Markov model, and may take the history of previous events into account. Applications are not limited to the medical field and extend to other areas where multistate simulation is of interest. We provide a technical explanation of the multistate models used by gems, explain the functions of gems and their arguments, and show a sample application.

Bicyclo[3.2.1]amide-DNA: a chiral, non-chiroselective base-pairing system

The design, synthesis and base-pairing properties of bicyclo[3.2.1]amide-(bca)DNA, a novel phosphodiester based DNA analogue, is reported. This analogue consists of a conformationally constrained backbone entity which emulates a B-DNA geometry, to which the nucleobases were attached via an extended, acyclic amide linker. Homobasic adenine-containing bca-decamers form duplexes with complementary oligonucleotides containing the bca-, the DNA the RNA and, surprisingly, also the L-RNA backbone. UV- and CD-spectroscopic investigations revealed the duplexes with D- or L-complement to be of similar stability and enantiomorphic in structure. Bca-oligonucleotides containing all four bases form strictly antiparallel, left-handed complementary duplexes with itself and complementary DNA but not with RNA. Base-mismatch discrimination is comparable to that of DNA while the overall thermal stabilities of bca-oligonucleotide duplexes are inferior relative to that of DNA or RNA. A detailed molecular modeling study of left- and right-handed bca-DNA containing duplexes showed only minor changes in the backbone structure and revealed a structural switch around the base-linker unit to be responsible for the generation of enantiomorphic duplex structures. The obtained data are discussed with respect to the structural and energetic role of the ribofuranose entities in DNA and RNA association