Antiaristotelism and skepticism in the seventeenth century: Pierre Gassendi´s exercitationes paradoxicae adversus aristoteleos

El artículo trata sobre el primer libro de las Exercitationes paradoxicae adversus aristoteleos de Pierre Gassendi y se centra en tres cuestiones: el origen del antiaristotelismo de Gassendi, el escepticismo de Gassendi y su crítica a los postulados aristotélicos.The article deals with the first book of Pierre Gassendi ́s Exercitationes paradoxicae adversus aristoteleos and it focuses on three questions: the origin of Gassendi ́s antiaristotelism, Gassendi ́s skepticism and his critic on the Aristotelian postulates

Key competences as a trend in the supranational educational policies of the European Union

Las competencias clave propuestas por la Unión Europea suponen una de las políticas educativas más importantes que se derivan del trabajo realizado por esta organización supranacional por dos motivos: En primer lugar, por tratarse de una medida con repercusiones reales en las políticas nacionales de los Estados miembros. En segundo lugar, sobre todo, porque mediante este nuevo enfoque educativo se pretende responder de forma más adecuada a los retos propios de la sociedad contemporánea, algo en lo que años antes ya venían insistiendo otras organizaciones e instituciones internacionales. El análisis de la documentación original de la Unión Europea a este respecto ofrece, en sí mismo, muchos aspectos para la reflexión que en pocas ocasiones se han visto reflejados en discusiones educativas, académicas o políticas. En este sentido, el presente artículo ofrece una síntesis reflexiva en torno a la conceptualización y las implicaciones del aprendizaje por competencias, en general, y de las competencias clave, en particular. Enmarcar este nuevo enfoque en la sociedad actual y en el planteamiento del aprendizaje permanente será la primera de las tareas que se propone el artículo: esto facilita una compresión más profunda del enfoque de aprendizaje por competencias, de su importancia y su pertinencia y, sobre todo, ayuda a superar la idea generalizada en el ámbito educativo de que este planteamiento no introduce grandes novedades respecto a lo ya existente. Por otra parte, también parece necesario evitar caer en un idealismo pedagógico: existen riesgos y retos derivados de esta nueva propuesta educativa que se deben abordar. Con todo, en este artículo se defiende la necesidad de no perder más oportunidades para adecuar de forma real nuestro sistema educativo al aprendizaje por competencias y, en especial, a la adquisición de las competencias clave por parte de todos los ciudadanos de la Unión Europea al término de su educación obligatoria.The key competences proposed by the European Union are one of the most important education policies stemming from the work done by this supranational organization, first, because the key competences measure has a real impact on the educational policies of Member States and, secondly and more importantly, because this new educational approach aims to respond more adequately to the main challenges of contemporary society (something that other international organizations and institutions have been insisting on for years). Analysis of the original EU documents on this topic provides much food for thought that has only rarely been reflected in educational, academic and political discussions. This paper offers a thoughtful synthesis of the concept and implications of competence-based learning in general and the key competences in particular. Placing this new approach within the framework of today’s society and the lifelong learning approach is the first objective the authors propose; this would facilitate a deeper understanding of the competence-based learning approach, its significance and its relevance and above all would help to overcome the widespread idea in education that the competence-based approach involves no major changes from the status quo. The authors warn again pedagogical idealism: There are risks and challenges in this new educational proposal that must be considered. Altogether, the authors argue that we must not waste any further opportunities to really adjust our educational system to competence-based learning and, above all, the acquisition of key competences by all citizens of the European Union at the end of their compulsory education

The historical background of the cartesian cogito, its different formulations in Descartes and the problems of selfawareness of being through intuitive knowledge or through enthymeme

El artículo trata sobre los antecedentes históricos del cogito cartesiano en san Agustín, Gómez Pereira y Francisco Sánchez, así como las distintas formulaciones de Descartes y trata de dilucidar si el cogito es conocimiento intuitivo o entimema.The article deals with the historical background of the Cartesian cogito in Saint Augustine, Gómez Pereira and Francisco Sánchez, as well as the different Descartes´ formulations, and tries to elucidate whether the cogito is intuitive knowledge or enthymeme

Técnicas de prueba avanzadas para la generación de casos de prueba

Software testing is a crucial phase in software development, particularly in contexts such as critical systems, where even minor errors can have severe consequences. The advent of Industry 4.0 brings new challenges, with software present in almost all industrial systems. Overcoming technical limitations, as well as limited development times and budgets, is a major challenge that software testing faces nowadays. Such limitations can result in insufficient attention being paid to it. The Bay of Cadiz’s industrial sector is known for its world-leading technological projects, with facilities and staff fully committed to innovation. The close relationship between these companies and the University of Cadiz allows for a constant exchange between industry and academia. This PhD thesis aims to identify the most important elements of software testing in Industry 4.0, based on close industrial experience and the latest state-of-the-art work. This allows us to break down the software testing process in a context where large teams work on large-scale, changing projects with numerous dependencies. It also allows us to estimate the percentage benefit that a solution could provide to test engineers throughout the process. Our results indicate a need for non-commercial, flexible, and adaptable solutions for the automation of software testing, capable of meeting the constantly changing needs of industry projects. This work provides a comprehensive study on the industry’s needs and motivates the development of two new solutions using state-of-the-art technologies, which are rarely present in industrial work. These results include a tool, ASkeleTon, which implements a procedure for generating test harnesses based on the Abstract Syntax Tree (AST) and a study examining the ability of the Dynamic Symbolic Execution (DSE) testing technique to generate test data capable of detecting potential faults in software. This study leads to the creation of a novel family of testing techniques, called mutationinspired symbolic execution (MISE), which combines DSE with mutation testing (MT) to produce test data capable of detecting more potential faults than DSE alone. The findings of this work can serve as a reference for future research on software testing in Industry 4.0. The solutions developed in this PhD thesis are able to automate essential tasks in software testing, resulting in significant potential benefits. These benefits are not only for the industry, but the creation of the new family of testing techniques also represents a promising line of research for the scientific community, benefiting all software projects regardless of their field of application.La prueba del software es una de las etapas más importantes durante el desarrollo de software, especialmente en determinados tipos de contextos como el de los sistemas críticos, donde el más mínimo fallo puede conllevar la más grave de las consecuencias. Nuevos paradigmas tecnológicos como la Industria 4.0 conllevan desafíos que nunca antes se habían planteado, donde el software está presente en prácticamente todos los sistemas industriales. Uno de los desafíos más importantes a los que se enfrenta la prueba del software consiste en superar las limitaciones técnicas además de los tiempos de desarrollo y presupuestos limitados, que provocan que en ocasiones no se le preste la atención que merece. El tejido industrial de la Bahía de Cádiz es conocido por sacar adelante proyectos tecnológicos punteros a nivel mundial, con unas instalaciones y un personal totalmente implicado con la innovación. Las buenas relaciones de este conjunto de empresas con la Universidad de Cádiz, sumadas a la cercanía geográfica, permiten que haya una conversación constante entre la industria y la academia. Este trabajo de tesis persigue identificar los elementos más importantes del desarrollo de la prueba del software en la Industria 4.0 en base a una experiencia industrial cercana, además de a los últimos trabajos del estado del arte. Esto permite identificar cada etapa en la que se desglosa la prueba del software en un contexto donde trabajan equipos muy grandes con proyectos de gran envergadura, cambiantes y con multitud de dependencias. Esto permite, además, estimar el porcentaje de beneficio que podría suponer una solución que ayude a los ingenieros de prueba durante todo el proceso. Gracias a los resultados de esta experiencia descubrimos que existe la necesidad de soluciones para la automatización de la prueba del software que sean no comerciales, flexibles y adaptables a las constantes necesidades cambiantes entre los proyectos de la industria. Este trabajo aporta un estudio completo sobre las necesidades de la industria en relación a la prueba del software. Los resultados motivan el desarrollo de dos nuevas soluciones que utilizan tecnologías del estado del arte, ampliamente usadas en trabajos académicos, pero raramente presentes en trabajos industriales. En este sentido, se presentan dos resultados principales que incluyen una herramienta que implementa un procedimiento para la generación de arneses de prueba basada en el Árbol de Sintaxis Abstracta (AST) a la que llamamos ASkeleTon y un estudio donde se comprueba la capacidad de la técnica de pruebas Ejecución Simbólica Dinámica (DSE, por sus siglas en inglés) para generar datos de prueba capaces de detectar fallos potenciales en el software. Este estudio deriva en la creación de una novedosa familia de técnicas de prueba a la que llamamos mutation-inspired symbolic execution (MISE) que combina DSE con la prueba de mutaciones (MT, por sus siglas en inglés) para conseguir un conjunto de datos de prueba capaz de detectar más fallos potenciales que DSE por sí sola. Las soluciones desarrolladas en este trabajo de tesis son capaces de automatizar parte de la prueba del software, resultando en unos beneficios potenciales importantes. No solo se aportan beneficios a la industria, sino que la creación de la nueva familia de técnicas de prueba supone una línea de investigación prometedora para la comunidad científica, siendo beneficiados todos los proyectos software independientemente de su ámbito de aplicación

Improving the Evolutionary Coding for Machine Learning Tasks

The most influential factors in the quality of the solutions found by an evolutionary algorithm are a correct coding of the search space and an appropriate evaluation function of the potential solutions. The coding of the search space for the obtaining of decision rules is approached, i.e., the representation of the individuals of the genetic population. Two new methods for encoding discrete and continuous attributes are presented. Our “natural coding” uses one gene per attribute (continuous or discrete) leading to a reduction in the search space. Genetic operators for this approached natural coding are formally described and the reduction of the size of the search space is analysed for several databases from the UCI machine learning repository.Comisión Interministerial de Ciencia y Tecnología TIC1143–C03–0

El Practicum en la formación inicial: Aportaciones del modelo 9:20 de competencias docentes

Las prácticas son un elemento con gran potencial formativo para los futuros docentes, pero en la formación inicial del profesorado en España esta fase de Practicum no dispone de una duración adecuada, según las recomendaciones de organismos internacionales. Es en este contexto donde surgen las voces que reivindican el denominado «MIR Educativo», o tal y como prefieren denominar los autores de este artículo, Docente Interno Residente (DIR)

Value Chain: From iDMU to Shopfloor Documentation of Aeronautical Assemblies

Competition in the aerospace manufacturing companies has led them to continuously improve the efficiency of their processes from the conceptual phase to the start of production and during operation phase, providing services to clients. PLM (Product Lifecycle Management) is an end-to-end business solution which aims to provide an environment of information about the product and related processes available to the whole enterprise throughout the product’s lifecycle. Airbus designs and industrializes aircrafts using Concurrent Engineering methods since decades. The introduction of new PLM methods, procedures and tools, and the need to improve processes efficiency and reduce time-to-market, led Airbus to pursue the Collaborative Engineering method. Processes efficiency is also impacted by the variety of systems existing within Airbus. Interoperability rises as a solution to eliminate inefficiencies due to information exchange and transformations and it also provides a way to discover and reuse existing information. The ARIADNE project (Value chain: from iDMU to shopfloor documentation of aeronautical assemblies) was launched to support the industrialization process of an aerostructure by implementing the industrial Digital Mock-Up (iDMU) concept in a Collaborative Engineering framework. Interoperability becomes an important research workpackage in ARIADNE to exploit and reuse the information contained in the iDMU and to create the shop floor documentation. This paper presents the context, the conceptual approach, the methodology adopted and preliminary results of the project

Involvement, consistency and adaptability in the new style of relations (ner). The experience of ner Group in the Basque Country

[ES] Este artículo analiza la percepción que tienen las personas de las organizaciones de ner Group ubicadas en el País Vasco, de las características culturales del nuevo estilo de relaciones (ner), desarrollado por Koldo Saratxaga durante su exitosa dirección en Irizar Group. El ner, una innovación en cultura y gestión organizacional, una respuesta a los retos planteados por las tecnologías de la información y la comunicación y la sociedad del conocimiento, se basa en las personas, pilares básicos de las organizaciones, quienes trabajan en equipos autogestionados con responsabilidad, confianza y libertad para alcanzar la satisfacción del cliente. El compromiso de las personas con sus organizaciones se potencia mediante la solidaridad interna, expresada en la reducción de las diferencias salariales, el reparto de resultados, y la seguridad en el empleo ante situaciones de crisis, garantizada por las reubicaciones entre organizaciones del grupo. El estudio empírico desarrollado, para el que se ha diseñado un cuestionario específico, permite concluir que la gran mayoría de las personas manifiesta un alto grado de Implicación, considera que el ner facilita orientar la actividad hacia la satisfacción del cliente, perciben la Consistencia existente, facilitadora de relaciones de igualdad en un entorno de confianza mutua, y otorgan altas puntuaciones a la Adaptabilidad, interna (compromiso con la solidaridad interna) y externa (compromiso con el entorno social).[EN] This paper analyses the perception the people working at the organizations of ner Group in the Basque Country have of the cultural features of the new style of relationships (ner), created by Koldo Saratxaga during his successful running of Irizar Group. The ner, an innovation in culture and management, an answer to the challenges placed by the Technologies of Information and Communication and the Knowledge Society, is based on persons, basic pillars of the organizations; persons who work in self-managed teams with responsibility, confidence and freedom to reach customers satisfaction. The commitment and integration of persons with the organization they work for are strengthened by implementing internal solidarity based on the reduction of the wage differences, the profit sharing and the employment security in case of crisis, using then the relocations between organizations of ner Group. The developed empirical research, once designed an specific questionnaire, allows us to conclude that the majority of the people declare a high level of Involvement, consider the ner an organizational and management tool which makes directing activity to reach customer satisfaction feasible, they perceive the existing Consistency and voice that this makes possible relationships based on mutual trust and they judge positively the existing Adaptability, portrayed by commitment to the internal solidarity and to society and community

On-shell equivalence of general relativity and Holst theories with nonmetricity, torsion, and boundaries

We study a generalization of the Holst action where we admit nonmetricity and torsion in manifolds with timelike boundaries (both in the metric and tetrad formalism). We prove that its space of solutions is equal to the one of the Palatini action. Therefore, we conclude that the metric sector is in fact identical to general relativity (GR), which is defined by the Einstein-Hilbert action. We further prove that, despite defining the same space of solutions, the Palatini and (the generalized) Holst Lagrangians are not cohomologically equal. Thus, the presymplectic structure and charges provided by the covariant phase space method might differ. However, using the relative bicomplex framework, we show the covariant phase spaces of both theories are equivalent (and in fact equivalent to GR), as well as their charges, clarifying some open problems regarding dual charges and their equivalence in different formulations.This work has been supported by the Spanish Ministerio de Ciencia Innovación y Universidades-Agencia Estatal de Investigación FIS2017-84440-C2-2-P and PID2020-116567GB-C22 grants. Juan Margalef-Bentabol is supported by the AARMS postdoctoral fellowship, by the NSERC Discovery Grant No. 2018-04873, and the NSERC Grant RGPIN-2018-04887. E.J.S. Villaseñor is supported by the Madrid Government (Comunidad de Madrid-Spain) under the Multiannual Agreement with UC3M in the line of Excellence of University Professors (EPUC3M23), and in the context of the V PRICIT (Regional Programme of Research and Technological Innovation)