An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Simple and fast methods based on solid-phase extraction coupled to liquid chromatography with UV detection for the monitoring of caffeine in natural and waste waters as marker of anthropogenic impact

Two concentration methods for fast and routine determination of caffeine (using HPLC-UV detection) in surface, and wastewater are evaluated. Both methods are based on solid-phase extraction (SPE) concentration with octadecyl silica sorbents. A common “offline” SPE procedure shows that quantitative recovery of caffeine is obtained with 2 mL of an elution mixture solvent methanol-water containing at least 60% methanol. The method detection limit is 0.1 μg L−1 when percolating 1 L samples through the cartridge. The development of an “online” SPE method based on a mini-SPE column, containing 100 mg of the same sorbent, directly connected to the HPLC system allows the method detection limit to be decreased to 10 ng L−1 with a sample volume of 100 mL. The “offline” SPE method is applied to the analysis of caffeine in wastewater samples, whereas the “on-line” method is used for analysis in natural waters from streams receiving significant water intakes from local wastewater treatment plants

Validation of a clinical algorithm to identify low-risk patients with pulmonary embolism.

Summary Background: We previously derived a clinical prognostic algorithm to identify patients with pulmonary embolism (PE) who are at low-risk of short-term mortality who could be safely discharged early or treated entirely in an outpatient setting. Objectives: To externally validate the clinical prognostic algorithm in an independent patient sample. Methods: We validated the algorithm in 983 consecutive patients prospectively diagnosed with PE at an emergency department of a university hospital. Patients with none of the algorithm's 10 prognostic variables (age >/= 70 years, cancer, heart failure, chronic lung disease, chronic renal disease, cerebrovascular disease, pulse >/= 110/min., systolic blood pressure < 100 mm Hg, oxygen saturation < 90%, and altered mental status) at baseline were defined as low-risk. We compared 30-day overall mortality among low-risk patients based on the algorithm between the validation and the original derivation sample. We also assessed the rate of PE-related and bleeding-related mortality among low-risk patients. Results: Overall, the algorithm classified 16.3% of patients with PE as low-risk. Mortality at 30 days was 1.9% among low-risk patients and did not differ between the validation and the original derivation sample. Among low-risk patients, only 0.6% died from definite or possible PE, and 0% died from bleeding. Conclusions: This study validates an easy-to-use, clinical prognostic algorithm for PE that accurately identifies patients with PE who are at low-risk of short-term mortality. Low-risk patients based on our algorithm are potential candidates for less costly outpatient treatment.

Estudi i primera fase per la implementació del FOFB al Sincrotró ALBA

Aquest treball és la culminació de les pràctiques realitzades al sincrotró ALBA. Situat a Cerdanyola del Vallès, ALBA és un accelerador de 3a generació que permet emmagatzemar un feix d'electrons confinat de fins a 400 mA a 3GeV d'energia, amb l'objectiu d'obtenir llum a partir dels girs provocats al feix. Els sincrotrons moderns com el d'ALBA, el que pretenen és aconseguir un major control i estabilitat de la llum. Per aconseguir-ho, cal que el feix d'electrons que creen la llum estigui controlat al màxim i la seva òrbita sigui estable. Amb aquest objectiu els sincrotrons estant implementant sistemes de Fast Orbit FeedBack (FOFB) o sistemes realimentats de correcció ràpida de l'òrbita, per realitzar correccions d'almenys 100Hz que estabilitzin el feix d'electrons amb menys d'un 10% de l'amplada del feix (5-10μm). El treball exposa el desenvolupament d'una part del sistema de correcció ràpida de l'òrbita dels electrons (FOFB) que s'està duent a terme al sincrotró ALBA. Concretament, s’han revisat els estudis previs realitzats durant la fase de disseny del sincrotró, s’han recalculat funcions de transferència i retards de tots els elements involucrats al sistema. També s’han realitzat simulacions per confirmar la viabilitat del sistema amb les noves dades i finalment s’ha desenvolupat part de la unitat de control determinant el Hardware i s'ha adquirit dades que permetran analitzar el soroll de l'òrbita que en futurs treballs determinaran millor l'algorisme de la unitat de control.

Topological computation of local cohomology multiplicities.

We express the Lyubeznik numbers of the local ring of a complex isolated singularity in terms of Betti numbers of the associated real link.

Hints for a fast precessing relativistic radio jet in LS I+61·303

Here we discuss two consecutive MERLIN observations of the X-ray binary LS I +61◦303. The first observation shows a double-sided jet extending up to about 200 AU on both sides of a central source. The jet shows a bent S-shaped struct ure similar to the one displayed by the well-known precessing jet of SS 433. The precession suggested in the first MERLIN image becomes evident in the second one, showing a one-sided bent jet significantly rotated with respect to the jet of the day before. We conclude that the derived precession of the relativistic (β=0.6) jet explains puzzling previous VLBI results. Moreover , the fact that the precession is fast could be the explanation of the never understood short term (days) variability of the associated gamma-ray source 2CG 135 + 01 / 3EG J0241 + 6103.

Heel and toe clearance estimation for gait analysis using wireless inertial sensors.

Tripping is considered a major cause of fall in older people. Therefore, foot clearance (i.e., height of the foot above ground during swing phase) could be a key factor to better understand the complex relationship between gait and falls. This paper presents a new method to estimate clearance using a foot-worn and wireless inertial sensor system. The method relies on the computation of foot orientation and trajectory from sensors signal data fusion, combined with the temporal detection of toe-off and heel-strike events. Based on a kinematic model that automatically estimates sensor position relative to the foot, heel and toe trajectories are estimated. 2-D and 3-D models are presented with different solving approaches, and validated against an optical motion capture system on 12 healthy adults performing short walking trials at self-selected, slow, and fast speed. Parameters corresponding to local minimum and maximum of heel and toe clearance were extracted and showed accuracy ± precision of 4.1 ± 2.3 cm for maximal heel clearance and 1.3 ± 0.9 cm for minimal toe clearance compared to the reference. The system is lightweight, wireless, easy to wear and to use, and provide a new and useful tool for routine clinical assessment of gait outside a dedicated laboratory.

Analog circuit for real-time computation of respiratory mechanical impedance in sleep studies

The aim of this work was to develop a low-cost circuit for real-time analog computation of the respiratory mechanical impedance in sleep studies. The practical performance of the circuit was tested in six patients with obstructive sleep apnea. The impedance signal provided by the analog circuit was compared with the impedance calculated simultaneously with a conventional computerized system. We concluded that the low-cost analog circuit developed could be a useful tool for facilitating the real-time assessment of airway obstruction in routine sleep studies.

Fast liver catabolism of C1q in patients with paraproteinaemia and depletion of the classical pathway of complement.

The main clinical features in four patients with IgG1k paraproteinaemia and acquired complement deficiency included xanthomatous skin lesions (in three), panniculitis (in three) and hepatitis (in two). Hypocomplementaemia concerned the early classical pathway components--in particular C1q. Metabolic studies employing 125I-C1q revealed a much faster catabolism of this protein in the four patients than in five normal controls and three patients with cryoglobulinaemia (mean fractional catabolic rates respectively: 23.35%/h; 1.44%/h; 5.84%/h). Various experiments were designed to characterize the mechanism of the hypocomplementaemia: the patients' serum, purified paraprotein, blood cells, bone marrow cells, or xanthomatous skin lesions did not produce significant complement activation or C1q binding. When three of the patients (two with panniculitis and hepatitis) were injected with 123I-C1q, sequential gamma-camera imaging demonstrated rapid accumulation of the radionuclide in the liver, suggesting that complement activation takes place in the liver where it could produce damage.

A program for the computation of power and determination of sample size in hierarchical experimental designs.

We have devised a program that allows computation of the power of F-test, and hence determination of appropriate sample and subsample sizes, in the context of the one-way hierarchical analysis of variance with fixed effects. The power at a fixed alternative is an increasing function of the sample size and of the subsample size. The program makes it easy to obtain the power of F-test for a range of values of sample and subsample sizes, and therefore the appropriate sizes based on a desired power. The program can be used for the 'ordinary' case of the one-way analysis of variance, as well as for hierarchical analysis of variance with two stages of sampling. Examples are given of the practical use of the program.

Low-dose, simple, and fast grating-based X-ray phase-contrast imaging.

Phase sensitive X-ray imaging methods can provide substantially increased contrast over conventional absorption-based imaging and therefore new and otherwise inaccessible information. The use of gratings as optical elements in hard X-ray phase imaging overcomes some of the problems that have impaired the wider use of phase contrast in X-ray radiography and tomography. So far, to separate the phase information from other contributions detected with a grating interferometer, a phase-stepping approach has been considered, which implies the acquisition of multiple radiographic projections. Here we present an innovative, highly sensitive X-ray tomographic phase-contrast imaging approach based on grating interferometry, which extracts the phase-contrast signal without the need of phase stepping. Compared to the existing phase-stepping approach, the main advantages of this new method dubbed "reverse projection" are not only the significantly reduced delivered dose, without the degradation of the image quality, but also the much higher efficiency. The new technique sets the prerequisites for future fast and low-dose phase-contrast imaging methods, fundamental for imaging biological specimens and in vivo studies.

Numerical algorithm for Ginzburg-Landau equations with multiplicative noise: Application to domain growth

We consider stochastic partial differential equations with multiplicative noise. We derive an algorithm for the computer simulation of these equations. The algorithm is applied to study domain growth of a model with a conserved order parameter. The numerical results corroborate previous analytical predictions obtained by linear analysis.

Comparison between molecular dynamics abd Monte Carlo simulations of an ordering process in a binary alloy

Ordering in a binary alloy is studied by means of a molecular-dynamics (MD) algorithm which allows to reach the domain growth regime. Results are compared with Monte Carlo simulations using a realistic vacancy-atom (MC-VA) mechanism. At low temperatures fast growth with a dynamical exponent x>1/2 is found for MD and MC-VA. The study of a nonequilibrium ordering process with the two methods shows the importance of the nonhomogeneity of the excitations in the system for determining its macroscopic kinetics.

Majorization arrow in quantum-algorithm design

We apply majorization theory to study the quantum algorithms known so far and find that there is a majorization principle underlying the way they operate. Grover's algorithm is a neat instance of this principle where majorization works step by step until the optimal target state is found. Extensions of this situation are also found in algorithms based in quantum adiabatic evolution and the family of quantum phase-estimation algorithms, including Shor's algorithm. We state that in quantum algorithms the time arrow is a majorization arrow.

Renal arteries: navigator-gated balanced fast field-echo projection MR angiography with aortic spin labeling: initial experience.

A cardiac-triggered free-breathing three-dimensional balanced fast field-echo projection magnetic resonance (MR) angiographic sequence with a two-dimensional pencil-beam aortic labeling pulse was developed for the renal arteries. For data acquisition during free breathing in eight healthy adults and seven consecutive patients with renal artery disease, real-time navigator technology was implemented. This technique allows high-spatial-resolution and high-contrast renal MR angiography and visualization of renal artery stenosis without exogenous contrast agent or breath hold. Initial promising results warrant larger clinical studies.