Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems

In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size based termination and initially developed for ML-like programs. Here, we go one step further by considering conditional rewriting and explicit quantifications and constraints on size annotations. This allows to describe more precisely how the size of the output of a function depends on the size of its inputs. Hence, we can check the termination of more functions. We first give a general type-checking algorithm based on constraint solving. Then, we give a termination criterion with constraints in Presburger arithmetic. To our knowledge, this is the first termination criterion for higher-order conditional rewriting taking into account the conditions in termination

Forest fires: Evaluation of government intervention measures

The purpose of this paper is to examine the relation between government measures, volunteer participation, climate variables and forest fires. A number of studies have related forest fires to causes of ignition, to fire history in one area, to the type of vegetation and weather characteristics or to community institutions, but there is little research on the relation between fire production and government prevention and extinction measures from a policy evaluation perspective. An observational approach is first applied to select forest fires in the north east of Spain. Taking a selection of fires with a certain size, a multiple regression analysis is conducted to find significant relations between policy instruments under the control of the government and the number of hectares burn in each case, controlling at the same time the effect of weather conditions and other context variables. The paper brings evidence on the effects of simultaneity and the relevance of recurring to army soldiers in specific days with extraordinary high simultaneity. The analysis also brings light on the effectiveness of two preventive policies and of helicopters for extinction tasks.Forest fires, policy evaluation

Conditional maximum likelihood timing recovery

The conditional maximum likelihood (CML) principle, well known in the context of sensor array processing, is applied to the problem of timing recovery. A new self-noise free CML-based timing error detector is derived. Additionally, a new (conditional) Cramer-Rao bound (CRB) for timing estimation is obtained, which is more accurate than the extensively used modified CRB (MCRB).Peer ReviewedPostprint (published version

An educational tool to assist the design process of switched reluctance machines

The design of electric machines is a hot topic in the syllabuses of several undergraduate and graduate courses. With the development of hybrid and electrical vehicles, this subject is gaining more popularity, especially in electrical engineering courses. This paper presents a computeraided educational tool to guide engineering students in the design process of a switched reluctance machine (SRM). A step-by-step design procedure is detailed and a user guide interface (GUI) programmed in the Matlab® environment developed for this purpose is shown. This GUI has been proved a useful tool to help the students to validate the results obtained in their lecture assignments, while aiding to achieve a better understanding of the design process of electric machines. A validation of the educational tool is done by means of finite element method (FEM) simulations.Postprint (author's final draft

FILOSOFIA POLITICA, REPUBLICA Y EDUCACION DEL CIUDADANO

This paper intends to analyse how the principles that the Enlightenment considered essential for the individual autonomy materialized, for the first time, in an educational policy, whose aim was the moral and civic formation of the citizen. This policy, initiated by Jules Ferry, during The Third French Republic, was carried out according to two axis: the action of the national teachers and the use of different manuals, whose lecture allows us to discover not only the taught values, but also the adopted procedures to achieve the objectives.Este trabajo pretende analizar cómo los principios que la Ilustración había considerado esenciales para la autonomía del individuo se concretaron, por primera vez, en una política educativa que tenía por objeto fundamental la formación moral y cívica del ciudadano. Esta política, iniciada por Jules Ferry, durante la III República Francesa, se articuló en torno a dos ejes: la acción de los maestros nacionales y la utilización de diferentes manuales, cuya lectura nos permite descubrir, no sólo los valores enseñados, sino también los procedimientos adoptados para alcanzar los objetivos

Near-far resistant CML propagation delay estimation and multi-user detection for asynchronous DS-CDMA systems

Multi-user receivers in asynchronous direct sequence code division multiple access (DS-CDMA) systems require the knowledge of several parameters such as timing delay between users. The goal of this work is to present a near-far resistant joint multi-user synchronization and detection algorithm for DS-CDMA systems. The solution is based on the conditional maximum likelihood (CML) estimation method (classically used in the context of sensor array processing) that leads to a fast convergence algorithm to estimate the time delays among users. At the same time the estimator implements the decorrelating detector, identifying the transmitted symbols for the different users.Peer ReviewedPostprint (published version