A new algorithm and refined bounds for extended gcd computation

Extended gcd computation is interesting itself. It also plays a fundamental role in other calculations. We present a new algorithm for solving the extended gcd problem. This algorithm has a particularly simple description and is practical. It also provides refined bounds on the size of the multipliers obtained.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Improved method for counting virus and virus like particles

An improved method for counting virus and virus like particles by electron microscopy (EM) was developed. The procedure involves the determination of the absolute concentration of pure or semi-pure particles once deposited evenly on EM grids using either centrifugation or antibody capture techniques. The counting of particles was done with a Microfiche unit which enlarged approximately 50 x the image of particles on a developed negative film which had been taken at a relatively low magnification (2500 x) by EM. Initially, latex particles of a known concentration were counted using this approach, to prove the accuracy of the technique. The latex particles were deposited evenly on an EM grid using centrifugation (Modified Beckmen EM-90 Airfuge technique). Subsequently, recombinant Bluetongue virus (BTV) core-like particles (CLPs) captured by a Monoclonal antibody using a hovel sample loading method were counted by the Microfiche unit method and by a direct EM method. Comparison of the simplified counting method developed with a conventional method, showed good agreement. The method is simple, accurate, rapid, and reproducible when used with either pure particles or with particles from crude cell culture extracts.

Percutaneous central venous catheterization through the external jugular vein in children: improved success rate with body maneuvers and fluoroscopy assistance

Background/Purpose: Central venous catheterization is among the most common procedures performed by pediatric surgeons. Significant morbidity and even mortality can ensue from the widespread approach to the deep veins of the neck and femoral region. The external jugular vein (EJV) is a low-morbidity alternative for percutaneous catheterization in children, but it has yielded a low success rate in previous reports The authors show an improved success rate with this option. Methods: We performed an analysis of 33 patients` charts in which central venous catheterization using Seldinger technique through the EJV was attempted in 2005. Age, diagnosis, maneuvers used for success, fluoroscopy usefulness, and types of inserted catheters were evaluated. Results: The procedure was successful in 26 (78.8%) patients without complications. Diagnosis was neoplasia in almost half of the patients (42%). In half of the successful cases, body maneuvers were used, namely, twisting the head of the patient to the side of the vein and stretching the ipsilateral arm and shoulder. All but one procedure were completed under fluoroscopic guidance. In 6 (23%) patients, a long-term catheter was inserted. Conclusions: The EJV is an excellent option for central venous catheterization in children. The execution of simple maneuvers along with fluoroscopic assistance might allow for an improved success rate not only for short-term but also for long-term catheter insertion. (C) 2008 Elsevier Inc. All rights reserved.

Improved comparison plot method for pore structure characterization of MCM-41

MCM-41 samples of various pore dimensions are synthesized. Plotting of nitrogen adsorption data at 77 K versus the statistical film thickness (comparison plot) reveals three distinct stages, with a characteristic of two points of inflection. The steep intermediate stage caused by capillary condensation occurred in the highly uniform mesopores. From the slopes of the sections before and after the condensation, the surface area of the mesopores is calculated. The linear portion of the last section is extrapolated to the adsorption axis of the comparison plot, and this intercept is used to obtain the volume of the mesopores. From the surface area and pore volume, average mesopore diameter is calculated, and the value thus obtained is in good agreement with the pore dimension obtained from powder X-ray diffraction measurements. The principle of the calculation as well as problems associated are discussed in detail.

Algebraic Bethe ansatz for the anisotropic supersymmetric U model

We present an algebraic Bethe ansatz for the anisotropic supersymmetric U model for correlated electrons on the unrestricted 4(L)-dimensional electronic Hilbert space x(n=l)(L)C(4)(where L is the lattice length). The supersymmetry algebra of the local Hamiltonian is the quantum superalgebra U-q[gl(2\1)] and the model contains two symmetry-preserving free real parameters; the quantization parameter q and the Hubbard interaction parameter U. The parameter U arises from the one-parameter family of inequivalent typical four-dimensional irreps of U-q[gl(2\1)]. Eigenstates of the model are determined by the algebraic Bethe ansatz on a one-dimensional periodic lattice.

Usefulness of a quick decalcification of bone sections embedded in methyl metacrylate: an improved method for immunohistochemistry

Immunohistochemistry of undecalcified bone sections embedded in methyl methacrylate (MMA) is not commonly employed because of potential destruction of tissue antigenicity by highly exothermic polymerization. The aim of the present study was to describe a new technique in which a quick decalcification of bone sections embedded in MMA improves the results for immunohistochemistry. The quality of interleukin 1 alpha (IL-1 alpha) immunostaining according to the present method was better than the conventional one. Immunostaining for osteoprotegerin (OPG) and the receptor activator of NF-kappa B ligand (RANKL) in bone sections of chronic kidney disease patients with mineral bone disorders (CKD-MBD) was stronger than in controls (postmortem healthy subjects). The present study suggested that this method is easy, fast, and effective to perform both histomorphometry and immunohistochemistry in the same bone fragment, yielding new insights into pathophysiological aspects and therapeutic approaches in bone disease.

Sequential Changes of Longitudinal and Radial Myocardial Deformation Indices in the Healthy Neonate Heart

Background: Significant hemodynamic changes, including preload and afterload modifications, occur during the transition from the fetal to the neonatal environment. The ductus arteriosus closes, pulmonary vascular resistance decreases, and pulmonary blood flow increases. Strain rate (SR) and strain (e) have been proposed as ultrasound indices for quantifying regional wall deformation. This study was designed to determine if these indices can detect variations in regional deformation between early and late neonatal periods. Methods: Data were obtained from 30 healthy neonates (15 male). The initial study was performed at a mean age of 20.1614 hours (exam 1) and the second at 31.962.9 days (exam 2). Apical and parasternal views were used to quantify regional left ventricular (LV) and right ventricular (RV) longitudinal and radial SR and e, and systolic, early, and late diastolic values were calculated from these curves. A paired-samples t test was performed comparing the two groups. Results: Compared with exam 1, LV radial deformation showed significant reductions in peak systolic e in the basal and mid segments (51615% vs 4669%, P < .01). LV longitudinal deformation behaved similarly, showing significant peak systolic e reductions in all measured segments. Systolic SR showed reductions only in the basal and apical segments of the lateral wall and in the mid portion of the inferior wall (-1.9 +/- 0.5 vs -1.7 +/- 0.3 s(-1) and -1.9 +/- 0.4 vs -1.7 +/- 0.2 s(-1), respectively, P = .03). RV longitudinal free and inferior wall systolic SR and e values were significantly higher in exam 2. Conclusions: LV peak systolic e decreases in exam 2 were possibly due to afterload increase and preload decrease. The lower RV initial deformation indices could be attributed to increased afterload caused by physiologic pulmonary hypertension or immature RV contractile properties. SR seemed to be a more robust index than e and less influenced by preload and afterload hemodynamic alteration. (J Am Soc Echocardiogr 2010;23:294-300.)

Improved detection of incipient vascular changes by a biotechnological platform combining post mortem MRI in situ with neuropathology

The histopathological counterpart of white matter hyperintensities is a matter of debate. Methodological and ethical limitations have prevented this question to be elucidated. We want to introduce a protocol applying state-of-the-art methods in order to solve fundamental questions regarding the neuroimaging-neuropathological uncertainties comprising the most common white matter hyperintensities [WMHs] seen in aging. By this protocol, the correlation between signal features in in situ, post mortem MRI-derived methods, including DTI and MTR and quantitative and qualitative histopathology can be investigated. We are mainly interested in determining the precise neuroanatomical substrate of incipient WMHs. A major issue in this protocol is the exact co-registration of small lesion in a tridimensional coordinate system that compensates tissue deformations after histological processing. The protocol is based on four principles: post mortem MRI in situ performed in a short post mortem interval, minimal brain deformation during processing, thick serial histological sections and computer-assisted 3D reconstruction of the histological sections. This protocol will greatly facilitate a systematic study of the location, pathogenesis, clinical impact, prognosis and prevention of WMHs. (C) 2009 Elsevier B.V. All rights reserved.

Analysis and implementation of a new constant acceleration subcycling algorithm

An algorithm for explicit integration of structural dynamics problems with multiple time steps is proposed that averages accelerations to obtain subcycle states at a nodal interface between regions integrated with different time steps. With integer time step ratios, the resulting subcycle updates at the interface sum to give the same effect as a central difference update over a major cycle. The algorithm is shown to have good accuracy, and stability properties in linear elastic analysis similar to those of constant velocity subcycling algorithms. The implementation of a generalised form of the algorithm with non-integer time step ratios is presented. (C) 1997 by John Wiley & Sons, Ltd.

Sequential asymmetric auctions with endogenous participation

In this paper we suggest a model of sequential auctions with endogenous participation where each bidder conjectures about the number of participants at each round. Then, after learning his value, each bidder decides whether or not to participate in the auction. In the calculation of his expected value, each bidder uses his conjectures about the number of participants for each possible subgroup. In equilibrium, the conjectured probability is compatible with the probability of staying in the auction. In our model, players face participation costs, bidders may buy as many objects as they wish and they are allowed to drop out at any round. Bidders can drop out at any time, but they cannot come back to the auction. In particular we can determine the number of participants and expected prices in equilibrium. We show that for any bidding strategy, there exists such a probability of staying in the auction. For the case of stochastically independent objects, we show that in equilibrium every bidder who decides to continue submits a bid that is equal to his value at each round. When objects are stochastically identical, we are able to show that expected prices are decreasing.

Simulated-annealing-based genetic algorithm for modeling the optical constants of solids

We propose a simulated-annealing-based genetic algorithm for solving model parameter estimation problems. The algorithm incorporates advantages of both genetic algorithms and simulated annealing. Tests on computer-generated synthetic data that closely resemble optical constants of a metal were performed to compare the efficiency of plain genetic algorithms against the simulated-annealing-based genetic algorithms. These tests assess the ability of the algorithms to and the global minimum and the accuracy of values obtained for model parameters. Finally, the algorithm with the best performance is used to fit the model dielectric function to data for platinum and aluminum. (C) 1997 Optical Society of America.

Detection of nosocomial malnutrition is improved in Amazon region by a standard clinical nutrition education program

Background: In Brazil hospital malnutrition is highly prevalent. physician awareness of malnutrition is low, and nutrition therapy is underprescribed. One alternative to approach this problem is to educate health care providers in clinical nutrition. The present study aims to evaluate the effect of an intensive education course given to health care professionals and students on the diagnosis ability concerning to hospital malnutrition. Materials and methods: An intervention study based on a clinical nutrition educational program, offered to medical and nursing students and professionals, was held in a hospital of the Amazon region. Participants were evaluated through improvement of diagnostic ability, according to agreement of malnutrition diagnosis using Subjective Global Assessment before and after the workshop, as compared to independent evaluations (Kappa Index, k). To evaluate the impact of the educational intervention on the hospital malnutrition diagnosis, medical records were reviewed for documentation of parameters associated with nutritional status of in-patients. The SPSS statistical software package was used for data analysis. Results: A total of 165 participants concluded the program. The majority (76.4%) were medical and nursing students. Malnutrition diagnosis improved after the course (before k = 0.5; after k = 0.64; p < 0.05). A reduction of false negatives from 50% to 33.3% was observed. During the course, concern of nutritional diagnosis was increased W = 17.57; p < 0.001) and even after the course, improvement on the height measurement was detected chi(2) 12.87;p < 0.001). Conclusions: Clinical nutrition education improved the ability of diagnosing malnutrition; however the primary impact was on medical and nursing students. To sustain diagnostic capacity a clinical nutrition program should be part of health professional curricula and be coupled with continuing education for health care providers.

Assessment of immediate conservative breast surgery reconstruction: A classification system of defects revisited and an algorithm for selecting the appropriate technique

Background: Although various techniques have been used for breast conservation surgery reconstruction, there are few studies describing a logical approach to reconstruction of these defects. The objectives of this study were to establish a classification system for partial breast defects and to develop a reconstructive algorithm. Methods: The authors reviewed a 7-year experience with 209 immediate breast conservation surgery reconstructions. Mean follow-up was 31 months. Type I defects include tissue resection in smaller breasts (bra size A/B), including type IA, which involves minimal defects that do not cause distortion; type III, which involves moderate defects that cause moderate distortion; and type IC, which involves large defects that cause significant deformities. Type II includes tissue resection in medium-sized breasts with or without ptosis (bra size C), and type III includes tissue resection in large breasts with ptosis (bra size D). Results: Eighteen percent of patients presented type I, where a lateral thoracodorsal flap and a latissimus dorsi flap were performed in 68 percent. Forty-five percent presented type II defects, where bilateral mastopexy was performed in 52 percent. Thirty-seven percent of patients presented type III distortion, where bilateral reduction mammaplasty was performed in 67 percent. Thirty-five percent of patients presented complications, and most were minor. Conclusions: An algorithm based on breast size in relation to tumor location and extension of resection can be followed to determine the best approach to reconstruction. The authors` results have demonstrated that the complications were similar to those in other clinical series. Success depends on patient selection, coordinated planning with the oncologic surgeon, and careful intraoperative management.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.