A computational approach to George Boole's discovery of mathematical logic

This paper reports a computational model of Boole's discovery of Logic as a part of Mathematics. George Boole (1815–1864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole contemporary theory of Logic by the use of methods such as the solution of algebraic equations. Study of the different historical factors that influenced this achievement has served as background for our two main contributions: a computational representation of Boole's Logic before it was mathematized; and a production system, BOOLE2, that rediscovers Logic as a science that behaves exactly as a branch of Mathematics, and that thus validates to some extent the historical explanation. The system's discovery methods are found to be general enough to handle three other cases: two versions of a Geometry due to a contemporary of Boole, and a small subset of the Differential Calculus.Publicad

eCharacter: una herramienta libre para la creación de personajes 3D

eCharacter es una herramienta de software libre que permite la personalización de modelos 3D para su inclusión en videojuegos. Ofrece al usuario la posibilidad de crear nuevos personajes partiendo de varios modelos base mediante una herramienta sencilla de usar, flexible e intuitiva. El proyecto trata de reducir los costes de creación de recursos artísticos para videojuegos, simplificando de esta manera el proceso de desarrollo. Aunque eCharacter puede utilizarse en la creación de personajes para una gran variedad de videojuegos, inicialmente está diseñada y optimizada para prototipado rápido y para su aplicación en proyectos de bajo coste. Por ello se ha diseñado eCharacter para su posible integración con otras herramientas de creación de juegos, especialmente aquellas orientadas al ámbito de la educación y dirigidas a usuarios sin conocimientos extensivos en el campo del desarrollo y la programación de videojuegos. Los videojuegos tienen cada vez más repercusión en la sociedad, y hoy en día, es una industria que está en auge. El uso de los videojuegos no sólo se limita al ocio sino que se está extendiendo a otros campos como el de la salud y la educación en los que los presupuestos de creación de los juegos normalmente son mucho más limitados. Por este motivo, cada vez están surgiendo más herramientas para crear videojuegos, muchas de ellas gratuitas y libres, de una manera sencilla y rápida para el usuario. Este tipo de herramientas, supone un gran ahorro económico para los usuarios que necesitan crear un videojuego simple y que no disponen ni de conocimientos técnicos ni de recursos económicos para realizarlo. Sin embargo, uno de los principales problemas a los que se exponen los usuarios de estas plataformas libres y gratuitas es la obtención de recursos artísticos de alta calidad. Aunque la red proporciona multitud de recursos para obtener modelos 3D, sigue siendo complejo encontrar personajes 3D animados que se ajusten a las necesidades de proyectos no dirigidos al género de acción. Es ahí donde eCharacter pretende ser una contribución significativa, proporcionando a la comunidad una aplicación libre que permite crear de una manera sencilla y gratuita diferentes modelos 3D animados, según las necesidades de los usuarios y que sea fácilmente integrable con otras herramientas. Además tanto eCharacter como todos los recursos gráficos que incluye son gratuitos, permitiendo al usuario facilitarle la tarea en el proceso de creación de los modelos sin que le suponga coste alguno. [ABSTRACT] eCharacter is free software that allows customization of 3D models for video games. It provides the user with a simple and flexible tool to create personalized animated characters for video game development. The project aims to help cut down development costs for creation of art assets for video games, making the whole development process simpler, easier and affordable to more people. Although eCharacter can be used to create characters for a wide range of video games, it has been optimized for applications in rapid prototyping and low cost projects. eCharacter has been designed for easy integration with other games creation tools, especially those that are oriented to education and target users that are not professionals in videogame development and programming. Video games are undoubtedly a consolidated sector of the entertainment industry and have gained deep social acceptance. Moreover, the use of video games is not limited to leisure any more. Instead, it is spreading to other fields like education or health. In this kind of fields the budget for video games creation is more limited. Consequently, there are increasingly more free software tools becoming available for creating video games quickly and easily. This kind of tools are extremely useful for users who need to create simple video games and they have neither the experience nor the financial resources to do it. However, it is still problematic to gather high quality art assets, especially for some types of assets. Although the web is full of sources of 3D models and other art designs for games, free 3D animated models are still scant and they are not always compatible with free software technology. In this case is where eCharacter aims to contribute back to the community with free application that allows creating different 3D animated models and that can be easily integrated with other tools

Geostatistical mapping of the depth to the bottom of magnetic sources and heat flow estimations in Mexico

The depth to the bottom of magnetic sources (DBMS) is widely used as a proxy for crustal thermal structures. In this study, the DBMS is calculated using the spectral analysis of aeromagnetic data for the whole territory of Mexico. By assuming the DBMS to be related to the Curie point depth, the heat flow distribution is estimated. The DBMS and heat flow maps were constructed using geostatistical simulations to quantitatively determine standard deviation as uncertainty. The results show a good agreement with the complex geologic and tectonic setting in Mexico. Small DBMS values (high heat flow) as expected appear in areas where recent volcanism occurs and at seafloor spreading zones. In contrast, large values are present in tectonically stable zones

Inteligencias múltiples y su desarrollo en el ámbito de la educación socioemocional. Desarrollo de una propuesta de intervención.

El objetivo principal de este trabajo es entender las Inteligencias Múltiples propuestas por Howard Gardner y analizar su uso actual en las aulas de Primaria, cuestionando si las dos que están relacionadas con el desarrollo y autoconocimiento personal (la inteligencia intrapersonal), y aquella que nos permite relacionarnos con los demás de la mejor forma posible (la inteligencia interpersonal) están lo suficientemente fomentadas hoy en día en las escuelas.Para ello, se van a diseñar una serie de actividades en diferentes asignaturas que, a modo de propuesta, trabajen estas dos inteligencias a la vez que cumplen con los requisitos que requiere el currículum. Esta propuesta se guiará gracias a dos metodologías distintas. La inteligencia intrapersonal se trabajará a través del programa SEA (Desarrollo de Habilidades Sociales, Emocionales y de Atención Plena) y, por otro lado, la inteligencia interpersonal a través del trabajo cooperativo.Aunque se analicen y se propongan actividades por separado para desarrollar estas dos inteligencias, se va a reconocer rápidamente la relación e importancia que cobran ambas juntas ya que, el trabajo y desarrollo de una, actúa directamente sobre la otra, y por supuesto, en la forma de aprender de nuestros alumnos y alumnas.<br /

Combining Wikipedia and Newswire Texts for Question Answering in Spanish

4 pages, 1 figure.-- Contributed to: Advances in Multilingual and Multimodal Information Retrieval: 8th Workshop of the Cross-Language Evaluation Forum (CLEF 2007, Budapest, Hungary, Sep 19-21, 2007).This paper describes the adaptations of the MIRACLE group QA system in order to participate in the Spanish monolingual question answering task at QA@CLEF 2007. A system, initially developed for the EFE collection, was reused for Wikipedia. Answers from both collections were combined using temporal information extracted from questions and collections. Reusing the EFE subsystem has proven not feasible, and questions with answers only in Wikipedia have obtained low accuracy. Besides, a co-reference module based on heuristics was introduced for processing topic-related questions. This module achieves good coverage in different situations but it is hindered by the moderate accuracy of the base system and the chaining of incorrect answers.This work has been partially supported by the Regional Government of Madrid under the Research Network MAVIR (S-0505/TIC-0267) and projects by the Spanish Ministry of Education and Science (TIN2004/07083,TIN2004-07588-C03-02,TIN2007-67407-C03-01).Publicad

Mechanical characterization of sol-gel alumina-based ceramics with intragranular reinforcement of multiwalled carbon nanotubes

Multiwalled carbon nanotubes (MWCNTs) have been widely considered for mechanical reinforcement of ceramic matrix composites. Nevertheless, the efficiency of this reinforcement strategy is under debate due to fabrication issues, such as a good homogenization or the location of the MWCNTs inside the matrix composite. Regarding this, the intragranular location of the MWCNTs has been deemed a crucial feature for optimizing the reinforcement compared to the typical intergranular placement achieved by conventional procedures. Recently, the sol-gel method has been reconsidered, as it promotes the intragranular placement of the MWCNTs. This work presents the mechanical characterization of these composites synthesized by the sol-gel method, where crack-bridging has been revealed as toughening mechanism. Finally, the conventional use of the bibliographical Young's modulus of pure alumina for the estimation of the fracture toughness is discussed, obtaining significant improvements of the fracture toughness when indentation measurements are treated by considering elastic moduli obtained by nanoindentation.Ministerio de Ciencia e Innovación PGC2018-094952-B-100Junta de Andalucía P12-FQM-107

3D + t Morphological Processing: Applications to Embryogenesis Image Analysis

We propose to directly process 3D + t image sequences with mathematical morphology operators, using a new classi?cation of the 3D+t structuring elements. Several methods (?ltering, tracking, segmentation) dedicated to the analysis of 3D + t datasets of zebra?sh embryogenesis are introduced and validated through a synthetic dataset. Then, we illustrate the application of these methods to the analysis of datasets of zebra?sh early development acquired with various microscopy techniques. This processing paradigm produces spatio-temporal coherent results as it bene?ts from the intrinsic redundancy of the temporal dimension, and minimizes the needs for human intervention in semi-automatic algorithms

Obsolescence in the neighbourhood of Nuestra Señora del Carmen

Actualmente, áreas urbanas donde habita un importantísimo sector poblacional están afectadas por una compleja problemática que se materializa en cuestiones arquitectónicas (desencaje tipológico, deficiencias técnicas, deterioro físico), urbanísticas (aislamiento, carencias funcionales, degradación del espacio público) y sociales (desempleo, segregación, conflictividad). El análisis del estado de obsolescencia de la barriada de El Carmen ha sido el punto de inicio de este trabajo de investigación. A partir de indicadores de obsolescencia socioeconómicos y físicos, anteriormente definidos por el proyecto de investigación «Intervención en barriadas residenciales obsoletas: manual de buenas prácticas» (G-GI3001/IDIH), financiado por la Unión Europea –Fondos FEDER– y gestionado por la Consejería de Fomento y Vivienda de la Junta de Andalucía, se ha establecido la situación de la barriada con referencia a valores máximos y mínimos, hallados a través del estudio de un número representativo de barriadas andaluzas. Tras la valoración del estado de obsolescencia de la barriada, se profundizó en su estudio a través de la comparación del cumplimiento de las recomendaciones establecidas como buenas prácticas en la publicación Intervención en barriadas residenciales obsoletas. Manual de buenas prácticas. Esta verificación permitió la elaboración de un diagnóstico pormenorizado basado en el análisis de los diferentes aspectos atendidos por las buenas prácticas, donde se evaluaban las deficiencias de El Carmen a escala urbana y arquitectónica, y dentro de estas, en diferentes categorías, siendo las urbanas: compacidad, conectividad, zonas verdes, funcionalidad, seguridad e inclusividad; y las arquitectónicas: hibridación, diversidad y flexibilidad, comunidad y accesibilidad. Esta evaluación detallada de las deficiencias y potencialidades de la barriada establecía los fundamentos para la definición de criterios y estrategias de intervención. Estos criterios de intervención tenían como base una selección de las buenas prácticas más adecuadas de acuerdo con las circunstancias halladas en la barriada, sistematizando las actuaciones que priorizan la atención de aspectos primordiales o que actúan mitigando carencias graves. Los criterios que se establecen son: sostenibilidad, la mejora de la calidad de vida de sus residentes y la atracción de nueva población a la barriada. Respondiendo a este estudio y la definición de criterios se proponen actuaciones estratégicas englobadas en cuatro líneas de trabajo: relación con la ciudad y su contexto, cualificación del espacio público y dotaciones existentes, cualificación de edificios existentes y actualización tipológica.Today, a number of high-occupancy urban areas are being affected by a complex problem that materialises in architectural issues (typological mismatch, technical deficiencies, physical deterioration), urban planning issues (isolation, functional inadequacies, deterioration of public space) and social issues (unemployment, segregation, conflict). Analysing the state of obsolescence of the neighbourhood of El Carmen was the starting point of this research project. Using socio-economic and physical obsolescence indicators established in an earlier research project–“Intervention in Obsolete Residential Neighbourhoods: Manual of Best Practices” (G-GI3001/IDIH), funded by the ERDF and managed by the Regional Ministry of Public Works and Housing of Andalusia–the situation of this neighbourhood was defined with reference to minimum and maximum values identified by studying a representative number of Andalusian neighbourhoods. After assessing the neighbourhood’s state of obsolescence, it was then studied to determine the degree of compliance with the best practices recommended in the publication Intervención en barriadas residenciales obsoletas. Manual de buenas prácticas. This verification made it possible to come up with a detailed diagnosis based on the analysis of different aspects addressed in that manual of best practices, evaluating the urban and architectural deficiencies of El Carmen and subdividing each into different categories. Urban deficiencies included compactness, connectivity, green areas, functionality, safety and inclusiveness; and architectural deficiencies were hybridisation, diversity, flexibility, community and accessibility. This detailed analysis of the neighbourhood’s shortcomings and potential improvements provided a solid foundation for defining intervention criteria and strategies. Those intervention criteria were based on a selection of the best practices deemed most appropriate in light of the neighbourhood’s current situation, systematising actions that address the most important aspects or attempt to mitigate serious deficiencies. The established criteria are as follows: sustainability, improving the residents’ quality of life, and bringing new residents to the neighbourhood. Based on this study and the defined criteria, strategic courses of action were proposed in four general areas: relationship with the city and its context, qualification of existing facilities and public spaces, qualification of existing buildings, and typological modernisation

New Structured Materials in the Study of the Mechanobiological Processes Related to the Heart Failure

Cardiovascular diseases are the number one of death globally. According to the World Health organization 17.7 million people died from cardiovascular diseases in 2015, representing 31% of all global deaths. In these diseases the cardiac homeostasis is disrupted by a non-appropriate myocardium remodelling. The cardiac extracellular matrix (ECM) provides not only the biochemical environment but also a natural scaffold surrounding and connecting cardiac cells and distributing mechanical forces throughout the organ. Thus, the properties of the ECM are essential for the maintenance of the functional myocardium. Alterations in cardiac ECM structure associated with heart failure influence cell-matrix and cell-cell adhesions modifying cell shape and mechanotransduction. The need to understand the cardiac ECM remodelling mechanisms that allow us to identify new therapeutic targets lead us to create biomimetic scaffolds which emulate the structure, topography, mechanics and chemical composition of ECM. Here, we present the development of modulable materials for the manufacturing, by using photopolymerizable materials, of structured hydrogels with myocardium properties of stiffness and elastic modulus in physiological and pathological conditions