Graph morphisms and exhaustion of curve graphs of low-genus surfaces

This work is the extension of the results by the author in [7] and [6] for low-genus surfaces. Let $S$ be an orientable, connected surface of finite topological type, with genus $g \leq 2$, empty boundary, and complexity at least $2$; as a complement of the results of [6], we prove that any graph endomorphism of the curve graph of $S$ is actually an automorphism. Also, as a complement of the results in [6] we prove that under mild conditions on the complexity of the underlying surfaces any graph morphism between curve graphs is induced by a homeomorphism of the surfaces. To prove these results, we construct a finite subgraph whose union of iterated rigid expansions is the curve graph $\mathcal{C}(S)$. The sets constructed, and the method of rigid expansion, are closely related to Aramayona and Leiniger's finite rigid sets in [2]. Similarly to [7], a consequence of our proof is that Aramayona and Leininger's rigid set also exhausts the curve graph via rigid expansions, and the combinatorial rigidity results follow as an immediate consequence, based on the results in [6].Comment: 47 pages, 52 figures. All comments are welcome

Automorphisms groups of simplicial complexes of infinite type surfaces

Let S be an orientable surface of innite genus with a nite numberof boundary components. In this work we consider the curve complex C(S), the nonseparating curve complex N(S), and the Schmutz graph G(S) of S. When all topological ends of S carry genus, we show that all elements in the automorphismgroups Aut(C(S)), Aut(N(S)), and Aut(G(S)) are geometric, i.e. these groups are naturally isomorphic to the extended mapping class group MCG(S) of the innite surface S. Finally, we study rigidity phenomena within Aut(C(S)) and Aut(N(S))

Quasilinear and singular elliptic systems

In this paper, we investigate a general quasilinear elliptic and singular system. By monotonicity methods, we give some existence and uniqueness results. Next, we give some applications to biological models

Kant : "l'única prova possible per a una demostració de l'existència de Déu"

No disponibl

El proceso judicial como «espacio comunicativo»

S'aborda en aquest article la possibilitat i conveniència d'estudiar el procés des del punt de vista de la pragmàtica i les conseqüències beneficioses que se'n deriven, especialment per la seva contribució a una millor comprensió del funcionament i raó de ser del procés judicial. Per arribar a aquesta conclusió es parteix de la relació entre dret i llenguatge, així com de la peculiar posició d'aquest procés en el fenomen jurídic. Després d'analitzar els diversos nivells de comunicació que es produeixen en el món jurídic i la necessitat de distingir entre els plans processal i procedimental es mostren les referències comunicatives que tenen diversos aspectes del procés judicial i el relleu que adquireixen en ser estudiades des d'aquesta perspectiva.This article addresses the possibility and the advisability of studying the judicial process from the perspective of pragmatics and the benefits that has, especially as regards its contribution to a better understanding of the raison d’être of the judicial process and how that works. The starting point in order to reach this conclusion is the relationship between law and language, and the peculiar position of the process within law. After analysing the various levels of language found in this area as well as the need to distinguish between the process and procedural levels, it looks at the communicative references of various aspects of the judicial process and the importance they acquire when studied from this perspective.ResumenSe aborda en este artículo la posibilidad y conveniencia de estudiar el proceso desde el punto de vista de la pragmática y las consecuencias beneficiosas que se derivan de ello, especialmente por su contribución a una mejor comprensión del funcionamiento y razón de ser del proceso judicial. Para llegar a esta conclusión se parte de la relación entre derecho y lenguaje, así como de la peculiar posición del proceso en el fenómeno jurídico. Tras analizar los diversos niveles de comunicación que se dan en el mundo jurídico y la necesidad de distinguir entre los planos procesal y procedimental se muestran las referencias comunicativas que tienen diversos aspectos del proceso judicial y el relieve que adquieren al ser estudiadas desde esta perspectiva

Desarrollo de un multiprocesador superescalar in-order en CycleSim

La evolución del campo de la informática ha sido impresionante desde su nacimiento. Si echamos un vistazo a la historia de la informática podremos apreciar los grandes cambios generados y el gran aumento de la capacidad computacional de los ordenadores hasta la actualidad. Este gran progreso de la oferta es fruto de una insaciable demanda poder computacional, hasta hoy en día. Actualmente los procesadores han encontrado un límite físico que les impide evolucionar según la Ley de Moore, obligando a los fabricantes de microprocesadores a investigar nuevas técnicas y tecnologías para paliar la demanda del mercado. Debido a las anteriores premisas, surge un proyecto para desarrollar un simulador capaz de emular el trabajo de un microprocesador basado en la infraestructura CycleSim, con el objetivo de estudiar los cambios en el rendimiento de un procesador modificando la configuración de los diferentes elementos de este. El proyecto al cual hace referencia esta memoria es una de las piezas del proyecto anteriormente mencionado. Concretamente se centra en desarrollar una CPU superescalar “in-order” para la infraestructura CycleSim, partiendo de una versión inicial ya existente. Además aumentará el número de instrucciones reconocidas por la CPU para poder generar trazas más completas a simular