Jacobi-Predictor-Corrector Approach for the Fractional Ordinary Differential Equations

We present a novel numerical method, called {\tt Jacobi-predictor-corrector approach}, for the numerical solution of fractional ordinary differential equations based on the polynomial interpolation and the Gauss-Lobatto quadrature w.r.t. the Jacobi-weight function $\omega(s)=(1-s)^{\alpha-1}(1+s)^0$. This method has the computational cost O(N) and the convergent order $IN$, where $N$ and $IN$ are, respectively, the total computational steps and the number of used interpolating points. The detailed error analysis is performed, and the extensive numerical experiments confirm the theoretical results and show the robustness of this method.Comment: 24 pages, 5 figure

Stenting in small coronary arteries: initial experience with the Gianturco-roubin II stent

published_or_final_versio

A small synthetic molecule functions as a chloride–bicarbonate dual-transporter and induces chloride secretion in cells

A C2 symmetric small molecule composed of L-phenylalanine and isophthalamide was found to function as a Cl−/HCO3− dual transporter and self-assemble into chloride channels. In Ussing-chamber based short-circuit current measurements, this molecule elicited chloride-dependent short-circuit current (Isc) increase in both Calu-3 cell and CFBE41o-cell (with F508del mutant CFTR) monolayers.postprin

Hydrogen peroxide augments the injury effect of iron on the isolated rat heart and cardiomyocytes

2000-2001 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe

PTA and stenting in supra-aortic arch arteries

published_or_final_versio

Intracellular Calcium Disturbances Induced by Arsenic and Its Methylated Derivatives in Relation to Genomic Damage and Apoptosis Induction

Arsenic and its methylated derivatives are contaminants of air, water, and food and are known as toxicants and carcinogens. Arsenic compounds are also being used as cancer chemotherapeutic agents. In humans, inorganic arsenic is metabolically methylated to mono-, di-, and trimethylated forms. Recent findings suggest that the methylation reactions represent a toxification rather than a detoxification pathway. In recent years, the correlation between arsenic exposure, cytotoxicity and genotoxicity, mutagenicity, and tumor promotion has been established, as well as the association of arsenic exposure with perturbation of physiologic processes, generation of reactive oxygen species, DNA damage, and apoptosis induction. Trivalent forms of arsenic have been found to induce apoptosis in several cellular systems with involvement of membrane-bound cell death receptors, activation of caspases, release of calcium stores, and changes of the intracellular glutathione level. It is well known that calcium ion deregulation plays a critical role in apoptotic cell death. A calcium increase in the nuclei might lead to toxic effects in the cell. In this review, we highlight the relationship between induced disturbances of calcium homeostasis, genomic damage, and apoptotic cell death caused by arsenic and its organic derivatives

Intra-amniotic delivery of CFTR-expressing adenovirus does not reverse cystic fibrosis phenotype in inbred CFTR-knockout mice

This article is available open access through the publisher’s website at the link below. Copyright © 2008 The American Society of Gene Therapy.Due to its early onset and severe prognosis, cystic fibrosis (CF) has been suggested as a candidate disease for in utero gene therapy. In 1997, a study was published claiming that to how transient prenatal expression of CF transmembrane conductance regulator (CFTR) from an in utero –injected adenovirus vector could achieve permanent reversal of the CF intestinal pathology in adult CF knockout mice, despite the loss of CFTR transgene expression by birth. This would imply that the underlying cause of CF is a prenatal defect for which lifelong cure can be achieved by transient prenatal expression of CFTR. Despite criticism at the time of publication, no independent verification of this contentious finding has been published so far. This is vital for the development of future therapeutic strategies as it may determine whether CF gene therapy should be performed prenatally or postnatally. We therefore reinvestigated this finding with an identical adenoviral vector and a knockout CF mouse line (CftrtmlCam) with a completely inbred genetic background to eliminate any effects due to genetic variation. After delivery of the CFTR-expressing adenovirus to the fetal mouse, both vector DNA and transgenic CFTR expression were detected in treated animals postpartum but statistically no significant difference in survival was observed between the Cftr–/– mice treated with the CFTR-adenovirus and those treated with the control vector.Sport Aiding Medical Research for Kids, the Cystic Fibrosis Trust, and the Katharine Dormandy Trust

Non-polynomial Worst-Case Analysis of Recursive Programs

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

Wettability of amorphous and nanocrystalline Fe78B13Si9 substrates by molten Sn and Bi

The wettability of amorphous and annealing-induced nanocrystalline Fe78B13Si9 ribbons by molten Sn and Bi at 600 K was measured using an improved sessile drop method. The results demonstrate that the structural relaxation and crystallization in the amorphous substrates do not substantially change the wettability with molten Bi because of their invariable physical interaction, but remarkably deteriorate the wettability and interfacial bonding with molten Sn as a result of changing a chemical interaction to a physical one for the atoms at the interface

Association of IGF-I gene polymorphisms with milk yield and body size in Chinese dairy goats

The association of IGF-I gene polymorphisms with certain traits in 708 individuals of two Chinese dairy-goat breeds (Guanzhong and Xinong Saanen) was investigated. Polymerase chain reaction-single strand conformation polymorphism (PCR-SSCP) and DNA sequencing methods were employed in screening for genetic variation. Two novel mutations were detected in the 5'-flanking region and in intron 4 of IGF-I gene, viz., g.1617 G > A and g.5752 G > C (accession D26119.2), respectively. The associations of the g.1617 G > A mutation with milk yield and the body size were not significant (p > 0.05). However, in the case of g.5752 G > C, Xinong Saanen dairy goats with the CG genotype presented longer bodies (p < 0.05). Chest circumference (p < 0.05) was larger in Guanzhong goats with the GG genotype. In Xinong Saanen dairy goats with the CC genotype, milk yields were significantly higher during the first and second lactations (p < 0.05). Hence, the g.5752 G > C mutation could facilitate association analysis and serve as a genetic marker for Chinese dairy-goat breeding and genetics