Site-level web template extraction based on hyperlink analysis

[EN] Method for automatic template extraction based on similarity analysis between the DOM trees of a collection of webpages[ES] Método automático para la extracción de plantillas de páginas web basado en el análisis de la similitud de árboles DOM de un conjunto de páginasAlarte Aleixandre, J. (2014). Site-level web template extraction based on hyperlink analysis. http://hdl.handle.net/10251/47166Archivo delegad

Data Model Verification via Theorem Proving

Software applications have moved from desktop computers onto the web. This is not surprising since there are many advantages that web applications provide, such as ubiquitous access and distributed processing power. However, these benefits come at a cost. Web applications are complex distributed systems written in multiple languages. As such, they are prone to errors at any stage of development, and difficult to verify, or even test. Considering that web applications store and manage data for millions (even billions) of users, errors in web applications can have disastrous effects.In this dissertation, we present a method for verifying code that is used to access and modify data in web applications. We focus on applications that use frameworks such as Ruby on Rails, Django or Spring. These frameworks are RESTful, enforce the Model-View-Controller architecture, and use Object Relational Mapping libraries to manipulate data. We developed a formal model for data stores and data store manipulation, including access control. We developed a translation of these models to formulas in First Order Logic (FOL) that allows for verification of data model invariants using off-the-shelf FOL theorem provers. In addition, we developed a method for extracting these models from existing applications implemented in Ruby on Rails. Our results demonstrate that our approach is applicable to real world applications, it is able to discover previously unknown bugs, and it does so within minutes on commonly available hardware

Beyond 100: The Next Century in Geodesy

This open access book contains 30 peer-reviewed papers based on presentations at the 27th General Assembly of the International Union of Geodesy and Geophysics (IUGG). The meeting was held from July 8 to 18, 2019 in Montreal, Canada, with the theme being the celebration of the centennial of the establishment of the IUGG. The centennial was also a good opportunity to look forward to the next century, as reflected in the title of this volume. The papers in this volume represent a cross-section of present activity in geodesy, and highlight the future directions in the field as we begin the second century of the IUGG. During the meeting, the International Association of Geodesy (IAG) organized one Union Symposium, 6 IAG Symposia, 7 Joint Symposia with other associations, and 20 business meetings. In addition, IAG co-sponsored 8 Union Symposia and 15 Joint Symposia. In total, 3952 participants registered, 437 of them with IAG priority. In total, there were 234 symposia and 18 Workshops with 4580 presentations, of which 469 were in IAG-associated symposia. ; This volume will publish papers based on International Association of Geodesy (IAG) -related presentations made at the International Association of Geodesy at the 27th IUGG General Assembly, Montreal, July 2019. It will include papers associated with all of the IAG and joint symposia from the meeting, which span all aspects of modern geodesy, and linkages to earth and environmental sciences. It continues the long-running IAG Symposia Series