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.

Validation of a strategy to diagnose coronary artery disease and predict cardiac events in high-risk renal transplant candidates

Background We validated a strategy for diagnosis of coronary artery disease ( CAD) and prediction of cardiac events in high-risk renal transplant candidates ( at least one of the following: age >= 50 years, diabetes, cardiovascular disease). Methods A diagnosis and risk assessment strategy was used in 228 renal transplant candidates to validate an algorithm. Patients underwent dipyridamole myocardial stress testing and coronary angiography and were followed up until death, renal transplantation, or cardiac events. Results The prevalence of CAD was 47%. Stress testing did not detect significant CAD in 1/3 of patients. The sensitivity, specificity, and positive and negative predictive values of the stress test for detecting CAD were 70, 74, 69, and 71%, respectively. CAD, defined by angiography, was associated with increased probability of cardiac events [log-rank: 0.001; hazard ratio: 1.90, 95% confidence interval (CI): 1.29-2.92]. Diabetes (P=0.03; hazard ratio: 1.58, 95% CI: 1.06-2.45) and angiographically defined CAD (P=0.03; hazard ratio: 1.69, 95% CI: 1.08-2.78) were the independent predictors of events. Conclusion The results validate our observations in a smaller number of high-risk transplant candidates and indicate that stress testing is not appropriate for the diagnosis of CAD or prediction of cardiac events in this group of patients. Coronary angiography was correlated with events but, because less than 50% of patients had significant disease, it seems premature to recommend the test to all high-risk renal transplant candidates. The results suggest that angiography is necessary in many high-risk renal transplant candidates and that better noninvasive methods are still lacking to identify with precision patients who will benefit from invasive procedures. Coron Artery Dis 21: 164-167 (C) 2010 Wolters Kluwer Health vertical bar Lippincott Williams & Wilkins.

Molecular motion in miscible polymer blends .1. Motion in blends of PEO and PVPh studied by solid-state C-13 T-1 rho measurements

Changes in molecular motion in blends of PEO-PVPh have been studied using measurements of C-13 T-1 rho relaxation times. C-13 T-1 rho relaxation has been confirmed as arising from spin-lattice interactions by observation of the variation in T-1 rho with rf field strength and temperature. In the pure homopolymers a minimum in T-1 rho is observed at ca. 50 K above the glass transition temperatures detected by DSC. After blending, the temperature of the minimum in T-1 rho for PEO increased, while that for PVPh decreased, however, the minima, which correspond to the temperatures where the average correlation times for reorientation are close to 3.1 mu s, are separated by 45 K (in a 45% PEO-PVPh blend). These phenomena are explained in terms of the local nature of T-1 rho measurements. The motions of the individual homopolymer chains are only partially coupled in the blend. A short T-1 rho has been observed for protonated aromatic carbons, and assigned to phenyl rings undergoing large-angle oscillatory motion, The effects of blending, and temperature, on the proportion of rings undergoing oscillatory motion are analyzed.

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.

The subcycled Newmark algorithm

The popular Newmark algorithm, used for implicit direct integration of structural dynamics, is extended by means of a nodal partition to permit use of different timesteps in different regions of a structural model. The algorithm developed has as a special case an explicit-explicit subcycling algorithm previously reported by Belytschko, Yen and Mullen. That algorithm has been shown, in the absence of damping or other energy dissipation, to exhibit instability over narrow timestep ranges that become narrower as the number of degrees of freedom increases, making them unlikely to be encountered in practice. The present algorithm avoids such instabilities in the case of a one to two timestep ratio (two subcycles), achieving unconditional stability in an exponential sense for a linear problem. However, with three or more subcycles, the trapezoidal rule exhibits stability that becomes conditional, falling towards that of the central difference method as the number of subcycles increases. Instabilities over narrow timestep ranges, that become narrower as the model size increases, also appear with three or more subcycles. However by moving the partition between timesteps one row of elements into the region suitable for integration with the larger timestep these the unstable timestep ranges become extremely narrow, even in simple systems with a few degrees of freedom. As well, accuracy is improved. Use of a version of the Newmark algorithm that dissipates high frequencies minimises or eliminates these narrow bands of instability. Viscous damping is also shown to remove these instabilities, at the expense of having more effect on the low frequency response.

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.

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.

HANDEDNESS INFLUENCES PASSIVE SHOULDER RANGE OF MOTION IN NONATHLETE ADULT WOMEN

Objective: The Purpose of this study was to determine whether handedness influences bilateral shoulder range of motion in nonathlete adult women. Methods: This was an observational Study. Shoulder range of motion (flexion, abduction, horizontal adduction, extension, external and internal rotation) was passively and bilaterally measured in 50 female, right-handed, and healthy university students, ranging from 20 to 29 years of age, who were not practicing repetitive activities with the upper limbs at the time Of this study. The assessment was performed with a universal goniometer, twice for each subject by the same examiner. irst and second measurements were correlated using the intraclass correlation coefficient, which was high for all movements and ranged from 0.80 to 0.97. The Student t test and Wilcoxon test were used to compare the range of motion between the dominant and nondominant shoulders and the mean differences between the 2 sides. The effect of size vias alpha = .05. Results: There is statistically significance difference between the 2 sides when the rotational range of motion is compared the dominant shoulder presented increased external rotation (mean, 4.74 degrees; 95% confidence interval, 1.61-7.87) and decreased internal rotation (mean, 3.52 degrees; 95% confidence interval, 1.64-5.4) compared to the opposite Shoulder. Conclusion: Dominance should be considered when shoulder rotation is evaluated even in nonathlete adult women. (J Manipulative Physiol Ther 2009;32:149-153)

Effects of sperm concentration and straw volume on motion characteristics and plasma, acrosomal, and mitochondrial membranes of equine cryopreserved spermatozoa

The advantages of using cryopreserved semen in equine reproduction are well known. During cryopreservationl spermatozoa undergo many changes that lead to a decrease in fertility. There is no agreement on the ideal sperm dose and concentration to maximize fertility rates. Thus, the objectives of this experiment were to evaluate sperm motion by computer-assisted analysis (CASA), sperm membrane integrity and function with fluorescence probes of cryopreserved sperm at three concentrations: 100 (C100), 200 (C200) and 400 x 10(6) sperm/mL (C400), and two straw volumes (0.50 and 0.25 mL). There was no interaction between sperm concentration and storage volume (P > .05). Sperm motion characteristics were influenced by concentration (C100 > C200 > C400; P < .05). Curvilinear velocity (VCL) in 0.25-mL straws had higher average values (P < .05). Membrane integrity and function were not changed by straw volume (P > .05). However, sperm concentration changed the percentage of cells with intact plasma membrane (C100 > C200 > C400; P < .05) and the percentage of cells with high mitochondrial membrane potential (C100 = C200; P > .05 and C400 < C100 and C200; P < .05). According to this experiment, the best freeing method was that involving 100 x 10(6) sperm/mL, regardless of straw volume.

Cervical range of motion discriminates between asymptomatic persons and those with whiplash

Study Design. A comparative study of cervical range of motion in asymptomatic persons and those with whiplash. Objectives. To compare the primary and conjunct ranges of motion of the cervical spine in asymptomatic persons and those with persistent whiplash-associated disorders, and to investigate the ability of these measures of range of motion to discriminate between the groups. Summary of Background. Evidence that range of motion is an effective indicator of physical impairment in the cervical spine is not conclusive. Few studies have evaluated the ability to discriminate between asymptomatic persons and those with whiplash on the basis of range of motion or compared three-dimensional in vivo measures of range of motion in asymptomatic persons and those with whiplash-associated disorders. Methods. The study participants were 89 asymptomatic volunteers (41 men, 48 women; mean age 39.2 years) and 114 patients with persistent whiplash-associated disorders (22 men, 93 women; mean age 37.2 years) referred to a whiplash research unit for assessment of their cervical region. Range of cervical motion was measured in three dimensions with a computerized, electromagnetic, motion-tracking device. The movements assessed were flexion, extension, left and right lateral flexion, and left and right rotation. Results. Range of motion was reduced in all primary movements in patients with persistent whiplash-associated disorder. Sagittal plane movements were proportionally the most affected. On the basis of primary and conjunct range of motion, age, and gender, 90.3% of study participants could be correctly categorized as asymptomatic or as having whiplash (sensitivity 86.2%, specificity 95.3%). Conclusions. Range of motion was capable of discriminating between asymptomatic persons and those with persistent whiplash-associated disorders.

Generation of eigenstates using the phase-estimation algorithm

The phase estimation algorithm is so named because it allows an estimation of the eigenvalues associated with an operator. However, it has been proposed that the algorithm can also be used to generate eigenstates. Here we extend this proposal for small quantum systems, identifying the conditions under which the phase-estimation algorithm can successfully generate eigenstates. We then propose an implementation scheme based on an ion trap quantum computer. This scheme allows us to illustrate two simple examples, one in which the algorithm effectively generates eigenstates, and one in which it does not.

Quantum slow motion

We investigate the center-of-mass motion of cold atoms in a standing amplitude modulated laser field. We use a simple model to explain the momentum distribution of the atoms after any distinct number of modulation cycles. The atoms starting near a classical phase-space resonance move slower than we would expect classically. We explain this by showing that for a wave packet on the classical resonances we can replace the complicated dynamics in the quantum Liouville equation in phase space by its classical dynamics with a modified potential.

Molecular motion in nanocomposites of poly(ethylene oxide) and montmorillonite

Motion of chains of poly(ethylene oxide) within the interlayer spacing of 2:1 phyllosilicate/montmorillonite was studied with H-1 and C-13 NMR spectroscopy. Measurements of the H-1 NMR line widths and relaxation times across a large temperature range were used to determine the effect of bulk thermal transitions on polymer chain motion within the nanocomposites. The results were consistent with previous reports of low apparent activation energies of motion. Details of the frequency and geometry of motion were obtained from a comparison of the C-13 cross-polarity/magic-angle spinning spectra and relaxation times of the nanocomposite with those of the pure polymer. (C) 2001 John Wiley & Sons, Inc.