Person: Caballero Roldán, Rafael
Loading...
First Name
Rafael
Last Name
Caballero Roldán
Affiliation
Universidad Complutense de Madrid
Faculty / Institute
Informática
Department
Sistemas Informáticos y Computación
Area
Lenguajes y Sistemas Informáticos
Identifiers
6 results
Search Results
Now showing 1 - 6 of 6
Publication Mejora del aprendizaje de SQL con realimentación semántica(2018-06-13) Sáenz Pérez, Fernando; Caballero Roldán, Rafael; García Ruiz, Yolanda; Garméndia Salvador, LuisPublication Two type extensions for the constraint modelling language MiniZinc(Elsevier, 2015-11-01) Caballero Roldán, Rafael; Stuckey, Peter J.; Tenorio Fornés, AntonioIn this paper we present two type extensions for the modelling language MiniZinc that allow the representation of some problems in a more natural way. The first proposal, called MiniZinc? , extends existing types with additional values. The user can specify both the extension of a predefined type with new values, and the behavior of the operations with relation to the new types. We illustrate the usage of MiniZinc? to model SQL-like problems with integer variables extended with NULL values. The second extension, MiniZinc+, introduces union types in the language. This allows defining recursive types such as trees, which are very useful for modelling problems that involve complex structures. A new case statement is introduced to select the different components of union type terms. The paper shows how a model defined using these extensions can be transformed into a MiniZinc model which is equivalent to the original model.Publication Short term cloud nowcasting for a solar power plant based on irradiance historical Data(Universidad Nacional de La Plata, 2018-12) Caballero Roldán, Rafael; Zarzalejo Tirado, Luis Fernando; Otero Martín, Álvaro; Piñuel Moreno, Luis; Wilbert, StefanThis work considers the problem of forecasting the normal solar irradiance with high spatial and temporal resolution (5 minutes). The forecasting is based on a dataset registered during one year from the high resolution radiometric network at a operational solar power plan at Almeria, Spain. In particular, we show a technique for forecasting the irradiance in the next few minutes from the irradiance values obtained on the previous hour. Our proposal employs a type of recurrent neural network known as LSTM, which can learn complex patterns and that has proven its usability for forecasting temporal series. The results show a reasonable improvement with respect to other prediction methods typically employed in the studies of temporal series.Publication Digital Activism Masked. The Fridays for Future movement and the "Global day of climate action": testing social function and framing typologies of claims on Twitter(2022) Fernández-Zubieta, Ana; Guevara Gil, Juan Antonio; Caballero Roldán, Rafael; Robles Morales, José ManuelThis article analyses the Fridays for Future (FFF) movement and their online mobilization around the Global Day of Climate Action on September 25th, 2020. Due to the Covid-19 pandemic this event is a unique opportunity to study digital activism as marchers were considered not appropriate. Using the Twitter’s API with keywords “#climateStrike”, “#FridaysForFuture”, we collected 111,844 unique tweets and retweets from 47,892 unique users. We use two typologies based on social media activism and framing literature to understand the main function of tweets —information, opinion, mobilization and blame— and frames —diagnosis, prognosis, motivational. We also analyze its relationship and test its automated-classification potential. To do so we manually coded a randomly selected sample of 950 tweets that are used as input for the automated-classification process (SVMs algorithm with balancing classification techniques). We find that the Covid-19 pandemic appears not to have increased the mobilization function of tweets, as the frequencies of mobilization tweets were low. We also find a balanced diversity of framing tasks, with an important number of tweets that envisaged solution on legislation and policy changes. We find that both typologies are not independent. The automated data classification model performed well, especially across social function typology and the “other” category. This indicates that these tools could help researchers working with social media data to process the information across categories that are currently mainly processed manually, enlarging their final sample sizesPublication Declarative debugging(2011-09-21) Caballero Roldán, RafaelDeclarative debugging is a debugging technique that abstracts the execution details to focus on the semantic meaning of the program components. It was frst proposed in the feld of Logic Programming, but its general structure has been later extended to other programming paradigms, becoming an active area of research. The technique relies on a data structure, the computation tree, that represents some computation producing an unexpected result. This tree is traversed by asking questions to the user about the correction of the intermediate computation steps until the source of the bug has been found. We show how instances of this general technique can be defned for diferent programming paradigms simply adapting the defnition of computation tree. In particular we present the instances that have been developed by the Declarative Programming Group at the University Complutense of Madrid, which include functional-logic languages (Toy and Curry), object oriented languages (Java), deductive databases (Datalog) and SQL views. Bachelor's degree in Computer Science by the Universidad Politécnica de Madrid and Ph.D in Mathematics by the Universidad Complutense de Madrid. Currently Lecturer (Prof. Contratado Doctor) in the Computer Science Department at the Faculty of Computer Science. Research areas of interest: functional-logic programming, declarative and algorithmic debugging, qualifed declarative programming and in general declarative languages including uncertainty, SQL debugging and test-case generation, embedding of XML query languages in declarative languages, program transformation techniques for declarative languages.Publication Implementación de un entorno de aprendizaje colaborativo de lenguajes de programación mediante traducción(2016-01) Caballero Roldán, Rafael; Martín Martín, Enrique; Montenegro Montes, Manuel; Riesco Rodríguez, Adrián; Tamarit Muñoz, SalvadorMemoria del PIMCD 32/2015, donde presentamos una herramienta colaborativa para aprender lenguajes de traducción mediante traducción llamada DuoCode.