Towards Parameterized Regular Type Inference Using Set Constraints

We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize \emph{parametric} regular types by extending the scope of the parameters in the type definitions so that such parameters can relate the types of different predicates. We propose a number of enhancements to the procedure for solving the constraint systems that improve the precision of the type descriptions inferred. The resulting algorithm, together with a procedure to establish a set constraint system from a logic program, yields a program analysis that infers tighter safe approximations of the success types of the program than previous comparable work, offering a new and useful efficiency vs. precision trade-off. This is supported by experimental results, which show the feasibility of our analysis

Métodos de quimiluminiscencia (presente y futuro)

This article provides a general review of chemiluminescent methods in some of their recent applications in drug analysis, sea water analysis or antioxidant activity of natural and synthetic products (including olive oil). Practical considerations are not included in the review since the main interest is to state, through the aforementioned applications, that chemiluminescence has been, is, and will be a versatile tool for Analytical Chemistry in future years.Este artículo da una visión general de los métodos de quimiluminiscencia en algunas de las aplicaciones más recientes en análisis de drogas, análisis del agua marina o la actividad antioxidante de productos naturales y de síntesis (incluyendo el aceite de oliva). Las consideraciones prácticas no están incluidas ya que el principal interés es establecer, a través de las aplicaciones mencionadas, que la quimiluminiscencia ha sido, es y será en los próximos años una herramienta versátil de la Química Analítica

Recognition and management of hereditary colorectal cancer syndromes

Over 1,900 colorectal tumors will arise in association with a hereditary colorectal cancer syndrome in Spain in 2009. The genetic defects responsible for the most common syndromes have been discovered in recent years. Genetic testing helps diagnose affected individuals and allows identification of individuals at-risk. Colonoscopy and prophylactic colectomy decrease colorectal cancer incidence and overall mortality in patients with hereditary colon cancer. Extracolonic tumors are frequent in these syndromes, so specific surveillance strategies should be offere