Computing congruences of modular forms and Galois representations modulo prime powers

This article starts a computational study of congruences of modular forms and modular Galoisrepresentations modulo prime powers. Algorithms are described that compute the maximum integermodulo which two monic coprime integral polynomials have a root in common in a sensethat is defined. These techniques are applied to the study of congruences of modular forms andmodular Galois representations modulo prime powers. Finally, some computational results withimplications on the (non-)liftability of modular forms modulo prime powers and possible generalisationsof level raising are presented.

Variacion del modulo de 'Young' con el tratamiento termico en aceros al carbono hipoeutectoides

En trabajos anteriores se ha constatado que varios aceros al carbono hipoeutectoides, en estado de temple, presentan valores del módulo de Young inferiores a los correspondientes en estado de revenido. En todos los casos la determinación se ha realizado mediante ultrasonidos. En concreto, para el acero C22E (EN 10083), el módulo se incrementa ligeramente desde 209 GPa (material templado) hasta 211 GPa (revenido a 650 °C), para el acero C45E el módulo aumenta desde 199 GPa hasta 211 GPa (revenido a 500 °C) y para el acero C55E el módulo varía desde 202 GPa hasta 209 GPa para el acero revenido a 650 °C. El presente trabajo se centra en la caracterización estructural de los tres aceros mencionados a los distintos estados de tratamiento térmico, utilizando las técnicas de microscopía óptica de reflexión y microscopía electrónica de barrido, y se propone una explicación de la variación del módulo a partir del comportamiento de las dislocaciones y su interacción con átomos de soluto y con otras dislocaciones.

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.

A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Formal deformations of Poisson structures in low dimensions

In this paper, we study formal deformations of Poisson structures, especially for three families of Poisson varieties in dimensions two and three. For these families of Poisson structures, using an explicit basis of the second Poisson cohomology space, we solve the deformation equations at each step and obtain a large family of formal deformations for each Poisson structure which we consider. With the help of an explicit formula, we show that this family contains, modulo equivalence, all possible formal eformations. We show moreover that, when the Poisson structure is generic, all members of the family are non-equivalent.

OnTheBus

El projecte OnTheBus pretén ser un sistema de guiatge gratuït, destinat per a la plataforma mòbil Android, útil com a eina d’ajuda pel desplaçament d’un punt d’origen a un punt de destí dins de la ciutat, utilitzant la xarxa de transport metropolità. Aquesta memòria s’enllaça amb 6 memòries més, dels meus companys amb els qui he realitzat el projecte OnTheBus. L’objectiu d’aquesta memòria és explicar la gestió del projecte que s’ha realitzat, consisteix en constatar quina metodologia de desenvolupament s’ha seguit, com s’ha dividit i organitzat la feina i els grups de treball. Així com el mòdul de navegació o guiatge que s’ha desenvolupat.

Influència del clima en la fenologia de la floració de Globularia alypum: anàlisi a partir de mostres d'herbari

Globularia alypum és un arbust termòfil típic de la regió oest del Mediterrani. Aquest nanofaneròfit té un patró de floració molt ampli. Les poblacions primerenques floreixen des del Juliol fins al Desembre i les poblacions tardanes des del Gener fins a l’Abril. L’objectiu del projecte és esbrinar quins factors climàtics determinen la fenologia de la floració de l’espècie a partir de mostres d’herbari i conèixer l’abast geogràfic d’ambdós patrons de floració a la península Ibèrica i França. També l’estudi d’altres característiques fenològiques en relació amb el clima: els braquiblasts i les espigues de capítols. Els plecs d’herbari han estat georeferenciats per ser utilitzats en un entorn SIG junt amb les dades del clima i s’ha realitzat una anàlisi estadística. El resultats mostren que les poblacions primerenques creixen majoritàriament en zones costaneres mentre que les tardanes ho fan en zones continentals. Les poblacions primerenques creixen en àrees on les temperatures (mitjana, mínima, màxima i mínima del mes més fred) són més altes que les tardanes per l’efecte temperador del mar. Al analitzar totes les poblacions, el nombre de mesos des de la transició floral es correlaciona negativament amb la temperatura mínima mensual i la temperatura mitjana mensual en tots els mesos, mentre que amb la temperatura màxima mensual entre Octubre i Abril. Al estudiar sols les poblacions tardanes les correlacions són similars, però no en les primerenques on no se’n troba cap. Les correlacions entre el nombre de mesos des de la transició floral i les variables climàtiques anuals són iguals, a més de trobar-se una correlació negativa amb la temperatura mínima del mes més fred i l’índex tèrmic, i positiva amb l’índex de continentalitat. No s’ha trobat cap diferència en presència de braquiblasts segons la població, però sí en les espigues de capítols, essent més freqüents en les poblacions primerenques. Es suggereix que la temperatura és un factor més determinant per a les poblacions tardanes, mentre que es desconeix si és la precipitació en les primerenques. Tampoc es té coneixement sobre si les diferències entre els dos patrons són genètiques o fenotípiques i quin mecanisme possibilita el desenvolupament de braquiblasts i espigues de capítols.

A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

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

Galois representations, embedding problems and modular forms

To an odd irreducible 2-dimensional complex linear representation of the absolute Galois group of the field Q of rational numbers, a modular form of weight 1 is associated (modulo Artin's conjecture on the L-series of the representation in the icosahedral case). In addition, linear liftings of 2-dimensional projective Galois representations are related to solutions of certain Galois embedding problems. In this paper we present some recent results on the existence of liftings of projective representations and on the explicit resolution of embedding problems associated to orthogonal Galois representations, and explain how these results can be used to construct modular forms.

Casanovas i Miró, Jordi: El Museu de l'Acadèmia de Bones Lletres de Barcelona. Dades per a una història".

El dos de noviembre de 1935 se inauguró el Museo Arqueológico de Barcelona, sito en el antiguo edificio del Palacio de las Artes Gráficas construido para la Exposición Universal de 1929. Era el resultado de una ardua trayectoria iniciada por Pere Bosch Gimpera en 1916 por la que intentaba aplicar en Cataluña el esquema tripartito de protección del patrimonio histórico-artístico y arqueológico que había aprendido durante su estancia en Alemania como becario de la JAE entre 1911 y 1914, basado en la suma de tres conceptos: investigación, docencia y difusión. El nuevo equipamiento nacía bajo los auspicios de la Generalitat republicana y tras haber superado múltiples obstáculos derivados de la concepción clasista y winckelmaniana que ejercían tanto los responsables del museo del parque de la Ciudadela, como los integrantes de la Junta de Museos de Barcelona, más preocupados por el goce artístico de las obras de arte que por su inclusión como documentos en el ámbito del estudio de los procesos históricos.

Los roles en trabajo social: profesionalización y formación

El proceso de convergencia hacia el llamado Espacio Europeo de Educación Superior es una oportunidad que podemos aprovechar para replantearnos tanto la formación de nuestros alumnos como los requerimientos profesionales que exige hoy día el trabajo social. En este sentido, el estudio de las competencias profesionales que se realizó para presentar la propuesta del Título de grado en Trabajo Social ya representó una aproximación a las percepciones existentes entre la comunidad profesional. Partiendo de aquellos datos, la presente comunicación pretende aportar una particular reflexión sobre el significado de las competencias que se demandan a los futuros profesionales y los roles del trabajo social que implícitamente se potencian. Del análisis de las competencias más valorados se pueden inferir las representaciones predominantes que se construyen entorno al modelo de profesional que se pide, lo cual, en la práctica, compromete la formación que deberían proporcionar los centros universitarios. La asunción acrítica de los requerimientos del mercado –en parte potenciados por la propia convergencia europea– supone unas consecuencias a nivel académico y también profesional que no pueden ignorarse sin grave riesgo para el futuro del trabajo social y la realidad social en la que éste se ve implicado.

The Bonenblust-Hille inequality for homogeneous polynomials is hypercontractive

The Bohnenblust-Hille inequality says that the $\ell^{\frac{2m}{m+1}}$ -norm of the coefficients of an $m$-homogeneous polynomial $P$ on $\Bbb{C}^n$ is bounded by $\| P \|_\infty$ times a constant independent of $n$, where $\|\cdot \|_\infty$ denotes the supremum norm on the polydisc $\mathbb{D}^n$. The main result of this paper is that this inequality is hypercontractive, i.e., the constant can be taken to be $C^m$ for some $C>1$. Combining this improved version of the Bohnenblust-Hille inequality with other results, we obtain the following: The Bohr radius for the polydisc $\mathbb{D}^n$ behaves asymptotically as $\sqrt{(\log n)/n}$ modulo a factor bounded away from 0 and infinity, and the Sidon constant for the set of frequencies $\bigl\{ \log n: n \text{a positive integer} \le N\bigr\}$ is $\sqrt{N}\exp\{(-1/\sqrt{2}+o(1))\sqrt{\log N\log\log N}\}$.

Determinantes internos y externos en el proceso de aprendizaje. Una aproximación al caso español a partir de la ECV-05

El principal objetivo del trabajo es determinar el grado de influencia de los diferentes factores individuales y del entorno, familiar y social, en la capacidad de los individuos para alcanzar o no ciertos objetivos educativos, teniendo en cuenta los efectos posteriores de aquellos en relación con su inserción en el mercado de trabajo, su nivel salarial y su productividad (Card, 1999). Para ello, se ha aplicado un método de estimación de máxima verosimilitud, mediante la utilización de un logit ordenado, empleando el modulo especial de 2007 de la Encuesta de Condiciones de Vida de EUROSTAT dedicado a la transmisión intergeneracional de la pobreza. Esta base de datos cuenta con valiosa información acerca del individuo y la situación personal y familiar de éste cuando tenía entre 12 y 16 años, resultando representativa para las Comunidades Autónomas españolas y para la población inmigrante. Los resultados obtenidos, que van en la línea de la literatura empírica analizada; indican la relevancia del género, del estado de salud y del lugar de nacimiento, en cuanto a las variables referidas directamente al individuo y, en relación al resto de las variables utilizadas; destaca la importancia de la educación y el tipo de ocupación de los padres, de la estructura familiar y de la situación financiera existente en el momento en que el individuo se estaba educando

A hybrid approach to treebank construction

Este artículo describe investigación sobre los efectos de la desambiguación morfosintáctica usada como un preproceso de un analizador sint´actico profundo basado en HPSG, en el contexto del desarrollo de un treebank del español de código abierto, en el entorno de DELPH-IN. La anotación treebank se realiza manualmente tomando las decisiones apropiadas entre las opciones propuestas por el sistema y ordenadas por un módulo estadístico. Los experimentos presentados muestran que el uso de un etiquetador reduce la ambigüedad de las frases, y contribuye a limitar la cantidad de frases cuyo análisis sobrepasa a el límite de tiempo, y ayuda a al m´odulo estadístico a clasificar el árbol correcto entre los n mejores. Por un lado, nuestros resultados validan los beneficios ya reportados en la literatura de tal preproceso de análisis profundo con respecto a la velocidad, cobertura y precisión. Por otro lado, proponemos una estrategia basada en existentes herramientas de código abierto y recursos para desarrollar con alta consitencia treebanks de sintaxis profunda para idiomas con limitada disponibilidad de recursos lingüísticos.