The computability path ordering

This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability path ordering (CPO), a recursive relation on terms obtained by lifting a precedence on function symbols. A first version, core CPO, is essentially obtained from the higher-order recursive path ordering (HORPO) by eliminating type checks from some recursive calls and by incorporating the treatment of bound variables as in the com-putability closure. The well-foundedness proof shows that core CPO captures the essence of computability arguments \'a la Tait and Girard, therefore explaining its name. We further show that no further type check can be eliminated from its recursive calls without loosing well-foundedness, but for one for which we found no counterexample yet. Two extensions of core CPO are then introduced which allow one to consider: the first, higher-order inductive types; the second, a precedence in which some function symbols are smaller than application and abstraction

Proyectos de actuación y de reparcelación de los sectores SUD D-1 y SUD D-10 de las normas urbanísticas de Cebreros (Ávila)

En este documento se pretende analizar el procedimiento por el cual los responsables del Ayuntamiento de Cebreros (Ávila) están intentando desarrollar determinados Proyectos de Actuación Urbanística consistentes en una urbanización de vivienda residencial, hoteles y campo de golf, que son ideados y proyectados por un conocido promotor particularMáster en Política Territorial y Urbanística. 18ª ed. Curso 2007/200

Funcions del documentalista en un mitjà de comunicació audiovisual digital. Estudi de cas: RelTV

Es mostra un estudi de cas sobre la intervenció d'un documentalista en un nou mitjà de comunicació audiovisual a Internet, RelTV. Es presenten tres projectes diferents duts a terme pel documentalista en aquest context: una base de dades relacional, un pla de preservació digital i un exemple de producte periodístic-documental: un mapa interactiu de vídeos. Es presenta el disseny i desenvolupament dels tres productes, se n'analitza la repercussió i viabilitat, i es reflexiona sobre l'aportació del professional de la documentació en aquest àmbit. Se muestra un estudio de caso sobre la intervención de un documentalista en un nuevo medio de comunicación audiovisual en Internet, RelTV. Se presentan tres proyectos diferentes llevados a cabo por el documentalista en este contexto: una base de datos relacional, un plan de preservación digital y un ejemplo de producto periodístico-documental: un mapa interactivo de vídeos. Se presenta el diseño y desarrollo de los tres productos, se analiza su repercusión y viabilidad, y se reflexiona sobre la aportación del profesional de la documentación en este ámbito. This paper reports on three projects completed by a documentalist for the new audiovisual platform RelTV: a relational database, a digital preservation plan and an example of a journalistic-documental product in the form of an interactive map of videos. The paper reports on how the three projects were designed and developed and then analyzes the implications and viability of such initiatives, reflecting on the professional contribution that documentalists can make in this field

Normal Higher-Order Termination

International audienceWe extend the termination proof methods based on reduction orderings to higher-order rewriting systems based on higher-order pattern matching. We accommodate, on the one hand, a weakly polymorphic, algebraic extension of Church's simply typed λ-calculus, and on the other hand, any use of eta, as a reduction, as an expansion or as an equation. The user's rules may be of any type in this type system, either a base, functional, or weakly polymorphic type

Methodology to evaluate transversal competences in the master's degree in industrial engineering based on a system of rubrics and indicators

[EN] This paper presents a methodology to evaluate transversal competences in the context of the subject “Design and application of industrial equipment” in the Master's Degree in Industrial Engineering at Universitat Politècnica de València (Spain). The competency-based education implies several activities, such as a project-based learning that must be eventually defended in public by students in groups. Evidence of learning is collected based on a well-defined system of rubrics and indicators, which are known in advance by students. We have observed that the use of such techniques improves the students learning on the contents of the subject, allows to acquire the transversal competences related to the analysis and problem solving, and enhances the ability to understand concepts intuitively. Moreover, results clearly show a positive influence on the use of such tools for improving the professional and ethical commitment to the issues raised.Llopis-Albert, C.; Rubio, F. (2021). Methodology to evaluate transversal competences in the master's degree in industrial engineering based on a system of rubrics and indicators. Multidisciplinary Journal for Education, Social and Technological Sciences. 8(1):30-44. https://doi.org/10.4995/muse.2021.15244OJS304481Eberle, B. (1996). Scamper: Games for Imagination Development. Prufrock Press Inc. ISBN 978-1-882664-24-5.Llopis-Albert, C., Rubio, F., Valero, F. (2015). Improving productivity using a multi-objective optimization of robotic trajectory planning. Journal of Business Research, 68 (7), 1429-1431. https://doi.org/10.1016/j.jbusres.2015.01.027Llopis-Albert, C., Rubio, F., Valero, F. (2018). Optimization approaches for robot trajectory planning. Multidisciplinary Journal for Education, Social and Technological Sciences, 5(1), 1-16. https://doi.org/10.4995/muse.2018.9867Llopis-Albert, C., Rubio, F., Valero, F. (2019). Fuzzy-set qualitative comparative analysis applied to the design of a network flow of automated guided vehicles for improving business productivity. Journal of Business Research, 101, 737-742. https://doi.org/10.1016/j.jbusres.2018.12.076Llopis-Albert, C., Rubio, F., Valero, F., Liao, H., Zeng, S. (2019a). Stochastic inverse finite element modeling for characterization of heterogeneous material properties. Materials Research Express, 6(11), 115806. https://doi.org/10.1088/2053-1591/ab4c72Llopis-Albert, C., Valero, F., Mata, V., Pulloquinga, J.L., Zamora-Ortiz, P., Escarabajal, R.J. (2020). Optimal Reconfiguration of a Parallel Robot for Forward Singularities Avoidance in Rehabilitation Therapies. A Comparison via Different Optimization Methods. Sustainability, 12(14), 5803. https://doi.org/10.3390/su12145803Llopis-Albert, C., Valero, F., Mata, V., Zamora-Ortiz, P., Escarabajal, R.J., Pulloquinga, J.L. (2020a). Optimal Reconfiguration of a Limited Parallel Robot for Forward Singularities Avoidance. Multidisciplinary Journal for Education, Social and Technological Sciences, 7(1), 113-127. https://doi.org/10.4995/muse.2020.13352Rubio, F., Llopis-Albert, C., Valero, F., Suñer, J.L. (2015). Assembly Line Productivity Assessment by Comparing Optimization-Simulation Algorithms of Trajectory Planning for Industrial Robots. Mathematical Problems in Engineering, 10 pages. Article ID 931048. https://doi.org/10.1155/2015/931048Rubio, F., Llopis-Albert, C., Valero, F., & Suñer, J. L. (2016). Industrial robot efficient trajectory generation without collision through the evolution of the optimal trajectory. Robotics and Autonomous Systems, 86, 106-112. https://doi.org/10.1016/j.robot.2016.09.008Rubio, F., Llopis-Albert, C. (2019). Viability of using wind turbines for electricity generation in electric vehicles. Multidisciplinary Journal for Education, Social and Technological Sciences, 6(1), 115-126. https://doi.org/10.4995/muse.2019.11743Rubio, F., Valero, F., & Llopis-Albert, C. (2019a). A review of mobile robots: Concepts, methods, theoretical framework, and applications. International Journal of Advanced Robotic Systems, 16(2), 172988141983959. https://doi.org/10.1177/1729881419839596Rubio, F., Llopis-Albert, C., Valero, F., Besa, A.J. (2020). Sustainability and optimization in the automotive sector for adaptation to government vehicle pollutant emission regulations. Journal of Business Research 112, 561-566. https://doi.org/10.1016/j.jbusres.2019.10.050UPV, 2020. Proyecto institucional competencias transversales. Universitat Politècnica de València (UPV). Valencia. Spain. https://www.upv.es/entidades/ICE/info/Proyecto_Institucional_CT.pdfValero, F., Rubio, F., Llopis-Albert, C., Cuadrado, J.I. (2017). Influence of the Friction Coefficient on the Trajectory Performance for a Car-Like Robot. Mathematical Problems in Engineering, 9 pages. Article ID 4562647. https://doi.org/10.1155/2017/4562647Valero, F., Rubio, F., Llopis-Albert, C. (2019). Assessment of the Effect of Energy Consumption on Trajectory Improvement for a Car-like Robot. Robotica, 37(11), 1998-2009. https://doi.org/10.1017/S0263574719000407Valero, F., Rubio, F., Besa, A.J. (2019a). Efficient trajectory of a car-like mobile robot. Industrial Robot: the international journal of robotics research and application, 46(2), 211-222. https://doi.org/10.1108/IR-10-2018-021

Optimal manufacturing-remanufacturing policies in a lean production environment

This study analyses a production-management model that considers the possibility of implementing a reverse-logistics system for remanufacturing end-of-life products in a lean production environment (as opposed to models than use EOQ approaches). Decisions variables are identified (including manufacturing and remanufacturing capacities and return rates and use rates for end-of-life products) and optimal policies are determined. Moreover, the structure of these optimal policies is analysed. The conclusion draw is that, in may realistic scenarios, mixed policies (that is, with return rates and use rates strictly between 0 and 1) can be optimal. This conclusion is contrary to results published in earlier studies, which are based on more restrictive assumption