6,772 research outputs found
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
Futile cycles in Saccharomyces cerevisiae strains expressing the gluconeogenic enzymes during growth on glucose.
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
- …