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

Développement, implémentation et utilisation pratique d'un score diagnostique [Development, implementation and practical use of a diagnostic score].

In recent years many clinical prediction rules (CPR) have been developed. Before a CPR can be used in clinical practice, different methodical steps are necessary, from the development of the score, the internal and external validation to the impact study. Before using a CPR in daily practice family doctors have to verify how the rules have been developed and whether this has been done in a population similar to the population in which they would use them. The aim of this paper is to describe the development of a CPR, and to discuss advantages and risks related to the use of CPR in order to help family doctors in their choice of scores for use in their daily practice.

Cancer immunotherapy drives implementation science in oncology.

Cancer immunotherapy has come a long way. The hope that immunological approaches may help cancer patients has sparked many initiatives in research and development (R&D). For many years, progress was modest and disappointments were frequent. Today, the increasing scientific and medical knowledge has established a solid basis for improvements. Considerable clinical success was first achieved for patients with hematological cancers. More recently, immunotherapy has entered center stage in the development of novel therapies against solid cancers. Together with R&D in angiogenesis, the field of immunology has fundamentally extended the scientific scope, which has evolved from a cancer-cell-centered view to a comprehensive and integrated vision of tumor biology. Current R&D is focused on a large array of possible disease mechanisms, driven by cancer cells, and amplified by tumor stroma, inflammatory and immunological actors, blood and lymph vessels, and the "macroenvironment," i.e. systemic mechanisms of the host, particularly of the haematopoietic system. Contrasting to this large spectrum of pathophysiological events promoting tumor growth, only a small number of biological mechanisms, namely of the immune system, have the potential to counteract tumor growth. They are of prime interest because therapeutic enhancement may result in clinical benefit for patients. This special issue is dedicated to immunotherapeutics against cancer, with particular emphasis on vaccination and combination therapies, providing updates and extended insight in this booming field.

Xarxa digital multimèdia de pantalles i kioscs interactius

Internet s’ha alçat en poc temps com el mitjà més utilitzat pels turistes per a planificar, organitzar i comprar un viatge, és per això que es proposa donar les mateixes facilitats en el destí. La Publicitat Dinàmica o “Digital Signage” és un nou servei de comunicació que consisteix en un conjunt de tecnologies i aplicacions informàtiques que permeten emetre missatges multimèdia i comunicar-se així d’una manera innovadora amb el públic objectiu de cada empresa, si s’afegeix un sistema independent, multimèdia i interactiu que pot utilitzar-se per a proporcionar informació i/o permetre la realització de transaccions es potencia al màxim el servei. D’aquesta manera es proposa crear una Xarxa Digital Multimèdia de Kioscs Interactius recolzats amb una pantalla de plasma per a la tecnologia Digital Signage. La ubicació escollida estratègicament és en un dels punts de major afluència turística, tal com l’entrada dels hotels. Així es tracta de crear circuits tancats en àrees geogràfiques on es troben els principals nuclis turístics de Mallorca. La possibilitat d’accedir a segments de població altament interessants per al producte o servei es multiplica al ser una manera fàcil, eficaç i altament suggestiva de promocionar el què es pretén. Un avantatge és la simplicitat de la infraestructura tecnològica que es necessita, el dispositiu mitjançant el qual es visualitzaran els missatges serà una pantalla de plasma convencional, i un terminal de punt de venda instal.lat en un lloc de pas. Cada mòdul està connectat a la xarxa ADSL mitjançant un servidor local a Internet. La connexió a la xarxa és imprescindible per a que el manteniment i actualització dels continguts es puguin efectuar remotament. L’objectiu principal d’aquest treball és estudiar la viabilitat de la implantació de la xarxa, mitjançant la realització d’un estudi de mercat on s’analitzen els grups claus per a la implantació: els hotelers, la indústria turística i el Govern Balear. S’identifiquen els beneficis que aportarà al nou servei i les repercussions que tendrà la seva instal.lació. Entre els resultats més destacats d’aquest estudi cal remarcar l’acceptació que ha tengut la idea entre els hotelers entrevistats i la resposta positiva de la indústria turística. Es reconeix: una millora de la imatge del sector, l’ús com a eina de promoció turística pel Govern, i la contribució a la sostenibilitat econòmica pel fet que augmenta la competitivitat de les empreses i això millora la qualitat del servei.

Efficient T cell activation requires an optimal dwell-time of interaction between the TCR and the pMHC complex.

Cytotoxic T cell (CTL) activation by antigen requires the specific detection of peptide-major histocompatibility class I (pMHC) molecules on the target-cell surface by the T cell receptor (TCR). We examined the effect of mutations in the antigen-binding site of a Kb-restricted TCR on T cell activation, antigen binding and dissociation from antigen.These parameters were also examined for variants derived from a Kd-restricted peptide that was recognized by a CTL clone. Using these two independent systems, we show that T cell activation can be impaired by mutations that either decrease or increase the binding half-life of the TCR-pMHC interaction. Our data indicate that efficient T cell activation occurs within an optimal dwell-time range of TCR-pMHC interaction. This restricted dwell-time range is consistent with the exclusion of either extremely low or high affinity T cells from the expanded population during immune responses.

Direct Fourier Tomographic Reconstruction Image-To-Image Filter

We present an open-source ITK implementation of a directFourier method for tomographic reconstruction, applicableto parallel-beam x-ray images. Direct Fourierreconstruction makes use of the central-slice theorem tobuild a polar 2D Fourier space from the 1D transformedprojections of the scanned object, that is resampled intoa Cartesian grid. Inverse 2D Fourier transform eventuallyyields the reconstructed image. Additionally, we providea complex wrapper to the BSplineInterpolateImageFunctionto overcome ITKâeuro?s current lack for image interpolatorsdealing with complex data types. A sample application ispresented and extensively illustrated on the Shepp-Loganhead phantom. We show that appropriate input zeropaddingand 2D-DFT oversampling rates together with radial cubicb-spline interpolation improve 2D-DFT interpolationquality and are efficient remedies to reducereconstruction artifacts.

Gestión centralizada de software de una red sanitaria en Clientes Windows

El proyecto que se presenta trata del estudio y desarrollo para la implementación de un sistema de gestión centralizada de software de una red Sanitaria en Clientes Windows. Este proyecto surge de la necesidad, en una empresa concertada dado el crecimiento de la red, de poder administrar los host de una manera más automatizada y más eficiente.

Saponins from the Spanish saffron Crocus sativus are efficient adjuvants for protein-based vaccines.

Protein and peptide-based vaccines provide rigorously formulated antigens. However, these purified products are only weakly immunogenic by themselves and therefore require the addition of immunostimulatory components or adjuvants in the vaccine formulation. Various compounds derived from pathogens, minerals or plants, possess pro-inflammatory properties which allow them to act as adjuvants and contribute to the induction of an effective immune response. The results presented here demonstrate the adjuvant properties of novel saponins derived from the Spanish saffron Crocus sativus. In vivo immunization studies and tumor protection experiments unambiguously establish the value of saffron saponins as candidate adjuvants. These saponins were indeed able to increase both humoral and cellular immune responses to protein-based vaccines, ultimately providing a significant degree of protection against tumor challenge when administered in combination with a tumor antigen. This preclinical study provides an in depth immunological characterization of a new saponin as a vaccine adjuvant, and encourages its further development for use in vaccine formulations.

Status of Females in the Juvenile Justice System Iowa, 2009

Young women in the juvenile justice system present with characteristics and experiences that differentiate them from their male counterparts. As such, the juvenile justice system in Iowa must consider these factors if it is to effectively and efficiently impact recidivism, rehabilitation and public safety. Data reveal the following trends: All youth in the juvenile justice system experience a significantly higher rate of child maltreatment than do youth in the general population. Additionally, young women have a distinctly higher percentage of reported sexual abuse. Young women commit primarily non-violent offenses, with shoplifting and running away being the only two areas where they exceed young men in number. Young women are held in detention for a substantially higher percentage of misdemeanor versus felony offenses than young men. Young women of color, particularly African American females, are far more likely to come into contact with the juvenile justice system. Additionally, arrests of minority females have increased during the same time frame as arrests of Caucasian females have decreased. The general type of offense committed by young women is against public order (i.e. alcohol related violations, disorderly conduct) or property (i.e. shoplifting), though young women with subsequent charges of a violent nature are likely to have had violent offenses initially as well. Historically, young women have been a smaller segment of the juvenile justice population. They remain so today. Consequently, they are easy to overlook. But Iowa’s response to them is no less important. Perhaps, because they are fewer in number, our system can have a true and meaningful influence, with prevention of further penetration into both the juvenile and adult systems being the ultimate goal. The Iowa Task Force on Young Women recommends the following measures to facilitate movement toward that goal: 1. Facilities and programs striving to provide the most effective and efficient services to young women will opt for single gender environments with female responsive programming that includes components to address trauma. 2. All institutions and agencies that work with females involved in the juvenile justice system and which receive state funding should be required to provide annual female responsive training to their employees. Training should be research based, progressive, ongoing and result in an implementation plan. 3. As detention reform proceeds, gender and the disproportionate number of females in detention for misdemeanor offenses must be an integral part of policy and decision making discussions including any recommendations for solutions to be implemented. 4. As research, data and planning progresses related to disproportionate minority contact with the juvenile system, the needs of girls of color be given equal consideration. Specifically, assessment tools must be without race/ethnic bias and they must also be female responsive.

Fission yeast rad51 and dmc1, two efficient DNA recombinases forming helical nucleoprotein filaments.

Homologous recombination is important for the repair of double-strand breaks during meiosis. Eukaryotic cells require two homologs of Escherichia coli RecA protein, Rad51 and Dmc1, for meiotic recombination. To date, it is not clear, at the biochemical level, why two homologs of RecA are necessary during meiosis. To gain insight into this, we purified Schizosaccharomyces pombe Rad51 and Dmc1 to homogeneity. Purified Rad51 and Dmc1 form homo-oligomers, bind single-stranded DNA preferentially, and exhibit DNA-stimulated ATPase activity. Both Rad51 and Dmc1 promote the renaturation of complementary single-stranded DNA. Importantly, Rad51 and Dmc1 proteins catalyze ATP-dependent strand exchange reactions with homologous duplex DNA. Electron microscopy reveals that both S. pombe Rad51 and Dmc1 form nucleoprotein filaments. Rad51 formed helical nucleoprotein filaments on single-stranded DNA, whereas Dmc1 was found in two forms, as helical filaments and also as stacked rings. These results demonstrate that Rad51 and Dmc1 are both efficient recombinases in lower eukaryotes and reveal closer functional and structural similarities between the meiotic recombinase Dmc1 and Rad51. The DNA strand exchange activity of both Rad51 and Dmc1 is most likely critical for proper meiotic DNA double-strand break repair in lower eukaryotes.

New considerations on the management of osteoporosis in Central and Eastern Europe (CEE): summary of the "3rd Summit on Osteoporosis-CEE", November 2009, Budapest, Hungary.

INTRODUCTION: In November 2009, the "3rd Summit on Osteoporosis-Central and Eastern Europe (CEE)" was held in Budapest, Hungary. The conference aimed to tackle issues regarding osteoporosis management in CEE identified during the second CEE summit in 2008 and to agree on approaches that allow most efficient and cost-effective diagnosis and therapy of osteoporosis in CEE countries in the future. DISCUSSION: The following topics were covered: past year experience from FRAX® implementation into local diagnostic algorithms; causes of secondary osteoporosis as a FRAX® risk factor; bone turnover markers to estimate bone loss, fracture risk, or monitor therapies; role of quantitative ultrasound in osteoporosis management; compliance and economical aspects of osteoporosis; and osteoporosis and genetics. Consensus and recommendations developed on these topics are summarised in the present progress report. CONCLUSION: Lectures on up-to-date data of topical interest, the distinct regional provenances of the participants, a special focus on practical aspects, intense mutual exchange of individual experiences, strong interest in cross-border cooperations, as well as the readiness to learn from each other considerably contributed to the establishment of these recommendations. The "4th Summit on Osteoporosis-CEE" held in Prague, Czech Republic, in December 2010 will reveal whether these recommendations prove of value when implemented in the clinical routine or whether further improvements are still required.

An Efficient Segmentation Method for Ultrasound Images based on a Semi-supervised Approach and Patch-based Features

Segmenting ultrasound images is a challenging problemwhere standard unsupervised segmentation methods such asthe well-known Chan-Vese method fail. We propose in thispaper an efficient segmentation method for this class ofimages. Our proposed algorithm is based on asemi-supervised approach (user labels) and the use ofimage patches as data features. We also consider thePearson distance between patches, which has been shown tobe robust w.r.t speckle noise present in ultrasoundimages. Our results on phantom and clinical data show avery high similarity agreement with the ground truthprovided by a medical expert.

Implementation of a medical command and control team in Switzerland.

In case of a major incident or disaster, the advance medical rescue command needs to manage several essential tasks simultaneously. These include the rapid deployment of ambulance, police, fire and evacuation services, and their coordinated activity, as well as triage and emergency medical care on site. The structure of such a medical rescue command is crucial for the successful outcome of medical evacuation at major incidents. However, little data has been published on the nature and structure of the command itself. This study presents a flexible approach to command structure, with two command heads: one emergency physician and one experienced paramedic. This approach is especially suitable for Switzerland, whose federal system allows for different structures in each canton. This article examines the development of these structures and their efficiency, adaptability and limitations with respect to major incident response in the French-speaking part of the country.