The Yoon Soon (YS) knot is a laparoscopic extracorporeal slip knot that is easy to learn and apply. Our new technique, which uses the trocar as a knot pusher, is simpler, faster, and has more tension than conventional knot methods. The YS knot will help surgeons save operative time and perform tension-controlled knot-tying during laparoscopic surgery.

Pseudomonas sp. strain YS-1p and Rhizobium sp. strain YS-1r were isolated from a lignin-degrading enrichment culture. The isolates degraded lignin-derived monomers, dimers, alkali lignin, and, to a smaller extent (3% to 5%), lignin in switch grass and alfalfa. Genome analysis revealed the presence of a variety of lignin-degrading genes.

We provide a formalization of the mergesort algorithm as used in GHC’s Data.List module, proving correctness and stability. Furthermore, experimental data suggests that generated (Haskell-)code for this algorithm is much faster than for previous algorithms available in the Isabelle distribution. theory Efficient-Sort imports ∼∼/src/HOL/Library/Multiset begin A high-level overview of this formal...

INTRODUCTION We carried out a retrospective analysis of our experience in the management of Differentiated Thyroid Carcinoma (DTC), in order to better define prognostic factors (age, gender, histological type, stage) and outline a standard procedure, where it's possible, for surgical treatment. PATIENTS AND METHODS Patient population consisted of 432 cases, operated from 1978 to 2003. We carr...

Background: Hematopoietic development in vertebrate embryos results from the sequential contribution of two pools of precursors independently generated. While intra-embryonic precursors harbour the features of hematopoietic stem cells (HSC), precursors formed earlier in the yolk sac (YS) display limited differentiation and self-renewal potentials. The mechanisms leading to the generation of the...

Gelman and Rubin’s (Statist. Sci. 7 (1992) 457–472) convergence diagnostic is one of the most popular methods for terminating a Markov chain Monte Carlo (MCMC) sampler. Since seminal paper, researchers have developed sophisticated estimating variance averages. We show that these estimators find immediate use in Gelman–Rubin statistic, connection not previously established literature. incorporat...

A bstract-We discuss the problem of testing for constant versus time varying regression coefficients. Our alternative hypothesis allows the coefficients to follow a stationary AR(1) process with unknown autoregressive parameter. Standard testing procedures are inappropriate since this parameter is identified only under the alternative. We propose a test statistic which is a function of a sequen...

In this paper, a method for the study of cluster stability is purposed. We draw pairs of samples from the data, according to two sampling distributions. The first distribution corresponds to the high density zones of data-elements distribution. It is associated with the clusters cores. The second one, associated with the cluster margins, is related to the low density zones. The samples are clus...