Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight 2. Moreover, we determine the arithmetic selfintersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and we study Faltings heights of arithmetic Hirzebruch-Zagier divisors.

Factores involucrados en el proceso de toma de decisiones en bibliotecas de tamaño medio y pequeño. Resultados del proyecto DECIMAL.

Se presentan los resultados de la investigación realizada en el marco del proyecto europeo DECIMAL, que tiene como objetivo el desarrollo de un módulo integrado de soporte de la toma de decisiones para sistemas automatizados usados en bibliotecas pequeñas y medianas. La investigación cuantitativa y cualitativa llevada a cabo en el Reino Unido, Italia y España se ha basado en una combinación de diversos métodos: revisión de la literatura, entrevistas semiestructuradas, cuestionarios y grupos de discusión en ocasión de los dos seminarios de presentación realizados. Se distinguen dos líneas básicas de investigación: la primera en torno a la utilización real de indicadores y medidas para la gestión y evaluación de la actividad del centro, así como su interés potencial en el caso que no se hayan aplicado por el momento, y la segunda en torno al tipo de decisiones más habituales en los centros y los factores que inciden en este proceso (fuentes de información utilizadas, cultura institucional, formación, nivel de satisfacción). El artículo está centrado en los resultados obtenidos en las bibliotecas españolas, aunque se mencionan también los resultados globales a modo de comparación. Las conclusiones del estudio han dado como resultado la especificación de las necesidades de los usuarios, sobre cuya base se ha diseñado el módulo de soporte a la toma de decisiones. El proyecto ha concluido con una fase de evaluación del prototipo que ha implicado el desarrollo de cuatro versiones sucesivas del módulo con la finalidad de resolver los problemas presentados durante el proceso de evaluación.

Factores involucrados en el proceso de toma de decisiones en bibliotecas de tamaño medio y pequeño. Resultados del proyecto DECIMAL.

Se presentan los resultados de la investigación realizada en el marco del proyecto europeo DECIMAL, que tiene como objetivo el desarrollo de un módulo integrado de soporte de la toma de decisiones para sistemas automatizados usados en bibliotecas pequeñas y medianas. La investigación cuantitativa y cualitativa llevada a cabo en el Reino Unido, Italia y España se ha basado en una combinación de diversos métodos: revisión de la literatura, entrevistas semiestructuradas, cuestionarios y grupos de discusión en ocasión de los dos seminarios de presentación realizados. Se distinguen dos líneas básicas de investigación: la primera en torno a la utilización real de indicadores y medidas para la gestión y evaluación de la actividad del centro, así como su interés potencial en el caso que no se hayan aplicado por el momento, y la segunda en torno al tipo de decisiones más habituales en los centros y los factores que inciden en este proceso (fuentes de información utilizadas, cultura institucional, formación, nivel de satisfacción). El artículo está centrado en los resultados obtenidos en las bibliotecas españolas, aunque se mencionan también los resultados globales a modo de comparación. Las conclusiones del estudio han dado como resultado la especificación de las necesidades de los usuarios, sobre cuya base se ha diseñado el módulo de soporte a la toma de decisiones. El proyecto ha concluido con una fase de evaluación del prototipo que ha implicado el desarrollo de cuatro versiones sucesivas del módulo con la finalidad de resolver los problemas presentados durante el proceso de evaluación.

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Un análisis comparativo del papel del bucle fonológico versus la agenda visoespacial en el cálculo en niños de 7-8 años = A comparative analysis of the phonological loop versus the visuo-spatial sketchpad in mental arithmetic tasks in 7-8 y.o. children

En esta investigación se ha estudiado la relación entre dos subsistemas de la memoria de trabajo (buclefonológico y agenda viso-espacial) y el rendimiento en cálculo con una muestra de 94 niños españolesde 7-8 años. Hemos administrado dos pruebas de cálculo diseñadas para este estudio y seis medidassimples de memoria de trabajo (de contenido verbal, numérico y espacial) de la «Batería de Testsde Memoria de Treball» de Pickering, Baqués y Gathercole (1999), y dos pruebas visuales complementarias.Los resultados muestran una correlación importante entre las medidas de contenido verbaly numérico y el rendimiento en cálculo. En cambio, no hemos encontrado ninguna relación con las medidasespaciales. Se concluye, por lo tanto, que en escolares españoles existe una relación importanteentre el bucle fonológico y el rendimiento en tareas de cálculo. En cambio, el rol de la agenda viso-espaciales nulo

El papel de la memoria de trabajo en el cálculo mental un cuarto de siglo después de Hitch = The role of working memory in mental arithmetic a quarter of century after Hitch

Desde que Hitch (1978) publicó el primer estudio sobre el rol de la memoria de trabajo en el cálculo han idoaumentando las investigaciones en este campo. Muchos trabajos han estudiado un único subsistema, pero nuestroobjetivo es identificar qué subsistema de la memoria de trabajo (bucle fonológico, agenda viso-espacial o ejecutivocentral) está más implicado en el cálculo mental. Para ello hemos realizado un estudio correlacional en el quehemos administrado dos pruebas aritméticas y nueve pruebas de la “Bateria de Test de Memòria de Treball” dePickering, Baqués y Gathercole (1999) a una muestra de 94 niños españoles de 7-8 años. Nuestros resultadosindican que el bucle fonológico y sobretodo el ejecutivo central inciden de forma estadísticamente significativa enel rendimiento aritmético

The avanced practical arithmetic

UANL

Advanced arithmetic

UANL

Cartilla del Sistema métrico-decimal

UANL

Elements of written arithmetic

UANL

Lecciones de sistema métrico decimal

UANL

La clasificación decimal de Melvil Dewey para bibliotecas

UANL

Sistema métrico decimal

UANL