Minimal truncations of supersingular p-divisible groups

"Vegeu el resum a l'inici del document del fitxer adjunt."

The bogomolov conjecture for totally degenerate Abelian varieties

We prove the Bogomolov conjecture for a totally degenerate abelian variety A over a function field. We adapt Zhang's proof of the number field case replacing the complex analytic tools by tropical analytic geometry. A key step is the tropical equidistribution theorem for A at the totally degenerate place.

Tropical varieties for non-archimedean analytic spaces

"Vegeu el resum a l'inici del document del fitxer adjunt."

Manual de preparació per a olimpíades i competicions matemàtiques

Treball de recerca realitzat per un alumne d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2008. Es presenta als interessats en les competicions de matemàtiques un manual sòlid, compacte, però sintetitzat, que els permeti, complementar i ampliar els seus coneixements matemàtics dirigits a aquestes competicions. En la primera part, es tracten les olimpíades matemàtiques més importants estatals i arreu del món per tal de donar-les a conèixer al lector. A continuació s'expliquen les tècniques generals més utilitzades per construir una demostració determinada. Finalment, es tanca la secció parlant de la creació de problemes, un apartat que permet estimular i potenciar la pròpia creativitat. En la segona part, es troba el propi cos del manual, amb una gran quantitat de problemas solucionats. Per tal de facilitar-ne l'ús, s'ha dividit en quatre grans temes, corresponents als que es treballen a les Olimpíades Matemàtiques: teoria de nombres o aritmètica, geometria, àlgebra i combinatòria. Cada un d'aquests temes es troba, a la vegada, dividit en dues seccions: la de teoremes i conceptes, en què s'enuncien els principals teoremes i fórmules que el lector necessita conéixer, i la d'exercicis i problemes on s’han recollit multitud de problemes provinents de diferents competicions, indicant el grau de dificultat - cal remarcar però, que el present document és una reducció del treball original, per això s'ha decidit només incloure-hi l'apartat d'aritmètica i ometre els altres tres -.

Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

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.

The generalized index of maximum and minimum level and its application in decision making

[spa] El índice del máximo y el mínimo nivel es una técnica muy útil, especialmente para toma de decisiones, que usa la distancia de Hamming y el coeficiente de adecuación en el mismo problema. En este trabajo, se propone una generalización a través de utilizar medias generalizadas y cuasi aritméticas. A estos operadores de agregación, se les denominará el índice del máximo y el mínimo nivel medio ponderado ordenado generalizado (GOWAIMAM) y cuasi aritmético (Quasi-OWAIMAM). Estos nuevos operadores generalizan una amplia gama de casos particulares como el índice del máximo y el mínimo nivel generalizado (GIMAM), el OWAIMAM, y otros. También se desarrolla una aplicación en la toma de decisiones sobre selección de productos.

The generalized index of maximum and minimum level and its application in decision making

[spa] El índice del máximo y el mínimo nivel es una técnica muy útil, especialmente para toma de decisiones, que usa la distancia de Hamming y el coeficiente de adecuación en el mismo problema. En este trabajo, se propone una generalización a través de utilizar medias generalizadas y cuasi aritméticas. A estos operadores de agregación, se les denominará el índice del máximo y el mínimo nivel medio ponderado ordenado generalizado (GOWAIMAM) y cuasi aritmético (Quasi-OWAIMAM). Estos nuevos operadores generalizan una amplia gama de casos particulares como el índice del máximo y el mínimo nivel generalizado (GIMAM), el OWAIMAM, y otros. También se desarrolla una aplicación en la toma de decisiones sobre selección de productos.

Biaix d'items i habilitat en fraccions

En este artículo se contemplan algunos conceptos clave en la Teoría de respuestas de Items (TRI): curvas características, significado de habilidad y discriminación en dicha Teoría. Se aplica el estudio de niveles de habilidad cognitiva en el aprendizaje de las fracciones en la Educación Básica en 5º y 8ºde EGB en España siguiendo el planteamiento de Onslow y Kieren. Los diseños gráficos muestran claramente las diferencias entre edades y cursos.

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 método para sacar raíces cuadradas exactas

En este art\'\i culo se presenta, con una gran variedad de ejemplos, unm\'etodo para sacar ra\'\i ces cuadradas exactas. Este m\'etodo se present\'opor primera vez hace 15 a\~nos con el nombre de ley Costeana, pero adiferencia de ahora se enfatiza en el hecho que puede ser implementadoen el curso de cuarto de primaria, al cual asiste la autora (primer autor)de este articulo.

Estudi de la comprensió i de les estratègies per resoldre problemes de suma i resta

Aquest treball de recerca estudia i analitza la comprensió i les estratègies utilitzades per alumnes de 2n de primària a l’hora de resoldre problemes aritmètics de suma i resta. Per aconseguir aquest propòsit, s’ha portat a terme el disseny i l’aplicació d’una prova individual de resolució de problemes, passada abans i després d’una intervenció educativa enfocada a millorar les dificultats detectades a l’hora de resoldre problemes. A partir de l’anàlisi de les dades obtingudes es verificarà si després de treballar el procés de resolució i d’incidir en les estratègies per resoldre problemes additius amb els alumnes millora la comprensió i les estratègies aparegudes s’adeqüen al tipus d’operació aritmètica que es demana.