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

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.

Focused ion beam scanning electron microscopy in biology.

Since the end of the last millennium, the focused ion beam scanning electron microscopy (FIB-SEM) has progressively found use in biological research. This instrument is a scanning electron microscope (SEM) with an attached gallium ion column and the 2 beams, electrons and ions (FIB) are focused on one coincident point. The main application is the acquisition of three-dimensional data, FIB-SEM tomography. With the ion beam, some nanometres of the surface are removed and the remaining block-face is imaged with the electron beam in a repetitive manner. The instrument can also be used to cut open biological structures to get access to internal structures or to prepare thin lamella for imaging by (cryo-) transmission electron microscopy. Here, we will present an overview of the development of FIB-SEM and discuss a few points about sample preparation and imaging.

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.

A fast Bayesian reconstruction algorithm for emission tomography with entropy prior converging to feasible images

The development and tests of an iterative reconstruction algorithm for emission tomography based on Bayesian statistical concepts are described. The algorithm uses the entropy of the generated image as a prior distribution, can be accelerated by the choice of an exponent, and converges uniformly to feasible images by the choice of one adjustable parameter. A feasible image has been defined as one that is consistent with the initial data (i.e. it is an image that, if truly a source of radiation in a patient, could have generated the initial data by the Poisson process that governs radioactive disintegration). The fundamental ideas of Bayesian reconstruction are discussed, along with the use of an entropy prior with an adjustable contrast parameter, the use of likelihood with data increment parameters as conditional probability, and the development of the new fast maximum a posteriori with entropy (FMAPE) Algorithm by the successive substitution method. It is shown that in the maximum likelihood estimator (MLE) and FMAPE algorithms, the only correct choice of initial image for the iterative procedure in the absence of a priori knowledge about the image configuration is a uniform field.

Statistical analysis and modelling of weather radar beam propagation conditions in the Po Valley (Italy)

Ground clutter caused by anomalous propagation (anaprop) can affect seriously radar rain rate estimates, particularly in fully automatic radar processing systems, and, if not filtered, can produce frequent false alarms. A statistical study of anomalous propagation detected from two operational C-band radars in the northern Italian region of Emilia Romagna is discussed, paying particular attention to its diurnal and seasonal variability. The analysis shows a high incidence of anaprop in summer, mainly in the morning and evening, due to the humid and hot summer climate of the Po Valley, particularly in the coastal zone. Thereafter, a comparison between different techniques and datasets to retrieve the vertical profile of the refractive index gradient in the boundary layer is also presented. In particular, their capability to detect anomalous propagation conditions is compared. Furthermore, beam path trajectories are simulated using a multilayer ray-tracing model and the influence of the propagation conditions on the beam trajectory and shape is examined. High resolution radiosounding data are identified as the best available dataset to reproduce accurately the local propagation conditions, while lower resolution standard TEMP data suffers from interpolation degradation and Numerical Weather Prediction model data (Lokal Model) are able to retrieve a tendency to superrefraction but not to detect ducting conditions. Observing the ray tracing of the centre, lower and upper limits of the radar antenna 3-dB half-power main beam lobe it is concluded that ducting layers produce a change in the measured volume and in the power distribution that can lead to an additional error in the reflectivity estimate and, subsequently, in the estimated rainfall rate.

Enhanced radar precipitation estimates using a combined clutter and beam blockage correction technique

Weather radar observations are currently the most reliable method for remote sensing of precipitation. However, a number of factors affect the quality of radar observations and may limit seriously automated quantitative applications of radar precipitation estimates such as those required in Numerical Weather Prediction (NWP) data assimilation or in hydrological models. In this paper, a technique to correct two different problems typically present in radar data is presented and evaluated. The aspects dealt with are non-precipitating echoes - caused either by permanent ground clutter or by anomalous propagation of the radar beam (anaprop echoes) - and also topographical beam blockage. The correction technique is based in the computation of realistic beam propagation trajectories based upon recent radiosonde observations instead of assuming standard radio propagation conditions. The correction consists of three different steps: 1) calculation of a Dynamic Elevation Map which provides the minimum clutter-free antenna elevation for each pixel within the radar coverage; 2) correction for residual anaprop, checking the vertical reflectivity gradients within the radar volume; and 3) topographical beam blockage estimation and correction using a geometric optics approach. The technique is evaluated with four case studies in the region of the Po Valley (N Italy) using a C-band Doppler radar and a network of raingauges providing hourly precipitation measurements. The case studies cover different seasons, different radio propagation conditions and also stratiform and convective precipitation type events. After applying the proposed correction, a comparison of the radar precipitation estimates with raingauges indicates a general reduction in both the root mean squared error and the fractional error variance indicating the efficiency and robustness of the procedure. Moreover, the technique presented is not computationally expensive so it seems well suited to be implemented in an operational environment.

Nucleation and growth of GaN nanorods on Si (111) surfaces by plasma-assisted molecular beam epitaxy - The influence of Si- and Mg-doping

The self-assembled growth of GaN nanorods on Si (111) substrates by plasma-assisted molecular beam epitaxy under nitrogen-rich conditions is investigated. An amorphous silicon nitride layer is formed in the initial stage of growth that prevents the formation of a GaN wetting layer. The nucleation time was found to be strongly influenced by the substrate temperature and was more than 30 min for the applied growth conditions. The observed tapering and reduced length of silicon-doped nanorods is explained by enhanced nucleation on nonpolar facets and proves Ga-adatom diffusion on nanorod sidewalls as one contribution to the axial growth. The presence of Mg leads to an increased radial growth rate with a simultaneous decrease of the nanorod length and reduces the nucleation time for high Mg concentrations.

Modifications in the Si valence band after ion-beam-induced oxidation

The changes undergone by the Si surface after oxygen bombardment have special interest for acquiring a good understanding of the Si+-ion emission during secondary ion mass spectrometry (SIMS) analysis. For this reason a detailed investigation on the stoichiometry of the builtup surface oxides has been carried out using in situ x-ray photoemission spectroscopy (XPS). The XPS analysis of the Si 2p core level indicates a strong presence of suboxide chemical states when bombarding at angles of incidence larger than 30°. In this work a special emphasis on the analysis and interpretation of the valence band region was made. Since the surface stoichiometry or degree of oxidation varies with the angle of incidence, the respective valence band structures also differ. A comparison with experimentally measured and theoretically derived Si valence band and SiO2 valence band suggests that the new valence bands are formed by a combination of these two. This arises from the fact that Si¿Si bonds are present on the Si¿suboxide molecules, and therefore the corresponding 3p-3p Si-like subband, which extends towards the Si Fermi level, forms the top of the respective new valence bands. Small variations in intensity and energy position for this subband have drastic implications on the intensity of the Si+-ion emission during sputtering in SIMS measurements. A model combining chemically enhanced emission and resonant tunneling effects is suggested for the variations observed in ion emission during O+2 bombardment for Si targets.

Structural and optical properties of dilute InAsN grown by molecular beam epitaxy

We perform a structural and optical characterization of InAs1¿xNx epilayers grown by molecular beam epitaxy on InAs substrates x 2.2% . High-resolution x-ray diffraction HRXRD is used to obtain information about the crystal quality and the strain state of the samples and to determine the N content of the films. The composition of two of the samples investigated is also obtained with time-of-flight secondary ion mass spectroscopy ToF-SIMS measurements. The combined analysis of the HRXRD and ToF-SIMS data suggests that the lattice parameter of InAsN might significantly deviate from Vegard"s law. Raman scattering and far-infrared reflectivity measurements have been carried out to investigate the incorporation of N into the InAsN alloy. N-related local vibrational modes are detected in the samples with higher N content. The origin of the observed features is discussed. We study the compositional dependence of the room-temperature band gap energy of the InAsN alloy. For this purpose, photoluminescence and optical absorption measurements are presented. The results are analyzed in terms of the band-anticrossing BAC model. We find that the room-temperature coupling parameter for InAsN within the BAC model is CNM=2.0 0.1 eV.

A time-domain method for the analysis of thermal impedance response preserving the convolution form

The study of the thermal behavior of complex packages as multichip modules (MCM¿s) is usually carried out by measuring the so-called thermal impedance response, that is: the transient temperature after a power step. From the analysis of this signal, the thermal frequency response can be estimated, and consequently, compact thermal models may be extracted. We present a method to obtain an estimate of the time constant distribution underlying the observed transient. The method is based on an iterative deconvolution that produces an approximation to the time constant spectrum while preserving a convenient convolution form. This method is applied to the obtained thermal response of a microstructure as analyzed by finite element method as well as to the measured thermal response of a transistor array integrated circuit (IC) in a SMD package.