To determine the incidence and risk factors associated with tumor seeding after radiofrequency ablation (RFA) of hepatocellular carcinoma (HCC), 781 lesions from 352 patients who had undergone ultrasound (US)-guided RFA at our hospital between April 1999 and December 2005 were examined. Of these patients, 6 presented HCC lesions (6 lesions in total) and tumor seeding (7 seedings in total), whic...

Transcellular propagation of protein aggregates, or proteopathic seeds, may drive the progression of neurodegenerative diseases in a prion-like manner. In tauopathies such as Alzheimer's disease, this model predicts that tau seeds propagate pathology through the brain via cell-cell transfer in neural networks. The critical role of tau seeding activity is untested, however. It is unknown whether...

This study aimed to study the effects of initial cell density and in vitro culture method on the construction of tissue-engineered bone grafts and osteogenic activities. Human mesenchymal stem cells (hMSCs) were seeded onto cubic scaffolds prepared from demineralized bone matrix (DBM) by three methods - static, hydrodynamic, or fibrin hydrogel-assisted seeding. The resulting cell-scaffold const...

This paper introduces a benchmark problem library for mechanized math technologies including computer algebra and automated theorem proving. The library consists of pre-university math problems taken from exercise problem books, university entrance exams, and the International Mathematical Olympiads. It thus includes problems in various areas of pre-university math and with a variety of difficu...

There is increasing interest among growers in novel establishment systems for cover crops that can rehabilitate and protect soil. Cropping intensification has led to yield declines, compacted and poor quality soil, and increased pest problems. Cover crops in the Brassica (mustard) family offer benefits in soil conservation, improvement in soil quality, reduction in nitrate leaching, and suppres...

We propose a thesis defending the following statement: The logical notions of polarity and focusing provide a foundation for dependently typed programming with domain-specific logics, with applications to certified software and mechanized metatheory.

Rapeseed as one the most crops is the basic needs of human feeding in order to produce oil. A field experiment was conducted to study the effects of different tillage system, seeding method and rates on yield and its components, as well as, seed oil percentage of rapeseed (Brassica napus L. cv. Hyola-401) during 2011-12 growing season at Rice Research Institute of Iran-Department of Ma...

A 58-year-old female presented with renal colic and was found to have renal transitional cell carcinoma at the time of percutaneous surgery. She developed percutaneous tract seeding that clinically presented as subcutaneous skin nodules. After local treatment with surgical excision and radiation treatment, the patient developed retroperitoneal recurrence 5 years later. Percutaneous tract seedin...

This research project was one of a number concerned with mechanized information retrieval carried out at INSPEC and supported by grants from, originally, the Department of Education and Science's Office for Scientific and Technical Information (OSTI) and, later, the British Library Research and Development Department (BLRDD). The first project, in the period 1967-69, had investigated the perfor...