Search

The Louisiana Department of Education partnered with the Gordon A. Cain Center at LSU to pilot a Computing High School Graduation Pathway. The first course in the pathway, Introduction to Computational Thinking (ICT), is designed to teach programming and reinforce mathematical practice skills of nine-grade students, with an emphasis on promoting higher order thinking. In 2017-18, about 200 students and five teachers participated in the pilot, in 2018-2019 the participation increased to 400 students, and in the current 2019-2020 year about 800 students in 11 schools are involved. Professional development starts with a five-week intensive summer institute, which is complemented with follow-up Saturday sessions and coaching support during the academic year. After describing the course content and briefly the teacher training, we discuss the data we have collected in the last two years. The overall student reception of the course has been positive, but the course was categorized by most students as hard. However, the Computing Attitude Survey analysis indicates that the difficulty of the course did not demotivate the students. The pre-post test content assessments show that students learned not only the language, but also general principles of programming, logic and modeling, as well as use of variables, expressions and functions. Lessons learned during the pilot phase motivated changes, such as emphasizing during PD the need to provide timely feedback to students, provide detailed rubrics for the projects and reorganize the lessons to increase the initial engagement with the material. After two years of running pilots, the course is becoming student-centered, where most of the code and image samples provided in the lessons are based on code created by previous students., Comment: 8 pages, accepted for publication in the SIGCSE 2020 Technical Symposium program

En este artículo se efectúa un repaso de la historia reciente y la evolución del uso de las TICs en la docencia hasta el momento actual y, posteriormente, se realiza un breve recorrido por los recursos con los que cuentan el docente y el alumno para la enseñanza y el aprendizaje de la Economía en el Bachillerato.

En este artículo se efectúa un repaso de la historia reciente y la evolución del uso de las TICs en la docencia hasta el momento actual y, posteriormente, se realiza un breve recorrido por los recursos con los que cuentan el docente y el alumno para la enseñanza y el aprendizaje de la Economía en el Bachillerato.

We propose a methodology for the automatic verification of safety properties of controllers based on dynamical systems, such as those typically used in avionics. In particular, our focus is on proving stability properties of software implementing linear and some non-linear controllers. We develop an abstract interpretation framework that follows closely the Lyapunov methods used in proofs at the model level and describe the corresponding abstract domains, which for linear systems consist of ellipsoidal constraints. These ellipsoidal domains provide abstractions for the values of state variables and must be combined with other domains that model the remaining variables in a program. Thus, the problem of automatically assigning the right type of abstract domain to each variable arises. We provide an algorithm that solves this classification problem in many practical cases and suggest how it could be generalized to more complicated cases. We then find a fixpoint by solving a matrix equation, which in the linear case is just the discrete Lyapunov equation. Contrary to most cases in software analysis, this fixpoint cannot be reached by the usual iterative method of propagating constraints until saturation and so numerical methods become essential. Finally, we illustrate our methodology with several examples., Comment: 17 pages

As the digital world enters further into everyday life, questions are raised about the increasing challenges brought by the interaction of real-time software with physical devices. Many accidents and incidents encountered in areas as diverse as medical systems, transportation systems or weapon systems are ultimately attributed to "software failures". Since real-time software that interacts with physical systems might as well be called control software, the long litany of accidents due to real-time software failures might be taken as an equally long list of opportunities for control systems engineering. In this paper, we are interested only in run-time errors in those pieces of software that are a direct implementation of control system specifications: For well-defined and well-understood control architectures such as those present in standard textbooks on digital control systems, the current state of theoretical computer science is well-equipped enough to address and analyze control algorithms. It appears that a central element to these analyses is Lyapunov stability theory, which translate into invariant theory in computer implementations., Comment: 20 pages, 3 figures

The analysis and proper documentation of the properties of closed-loop control software presents many distinct aspects from the analysis of the same software running open-loop. Issues of physical system representations arise, and it is desired that such representations remain independent from the representations of the control program. For that purpose, a concurrent program representation of the plant and the control processes is proposed, although the closed-loop system is sufficiently serialized to enable a sequential analysis. While dealing with closed-loop system properties, it is also shown by means of examples how special treatment of nonlinearities extends from the analysis of control specifications to code analysis., Comment: 16 pages, 2 figures

Para establecer relaciones de dependencia entre la composición y abundancia de especies de los pastos mediterráneos y los patrones de distribución de la precipitación, se ha inventariado la vegetación en parcelas permanentes, durante el ciclo anual (Diciembre ... - Mayo), en tres años climáticamente muy contrastados.Los resultados muestran la existencia de fuertes fluctuaciones en composición, con una alta tasa de renovación de especies entre años.La abundancia de gramíneas, compuestas y otras depende del periodo de implantación, manteniéndose constante la proporción entre estas familias durante el resto del ciclo anual.La frecuencia de gramíneas es muy dependiente del patrón de precipitación otoñal, estando favorecidas por lluvias tempranas. Durante el resto del ciclo muestran escasa dependencia de la distribución de la precipitación.Las especies de compuestas y otras presentan pautas de evolución temporal poco dependientes de la precipitación en la mayoría de ellas. Uno de los factores que determinan su abundancia es la interacción con las gramíneas durante la implantación.Las leguminosas muestran una baja abundancia en otoño e invierno, estando relacionada su abundancia al final del ciclo con la distribución de las lluvias en primavera, viéndose favorecidas por lluvias abundantes y bien repartidas en este periodo.Estos resultados han sido probados experimentalmente, mediante la simulación de primeras lluvias en distintos periodos otoñales, siguiendo la evolución de la vegetación durante la fase de implantación. Los resultados son consistentes con los anteriores: Las gramíneas dominan cuando las primeras lluvias son tempranas y no existen periodos con déficit hídrico prolongados posteriormente. Las compuestas y otras son más abundantes cuando {u

Para establecer relaciones de dependencia entre la composición y abundancia de especies de los pastos mediterráneos y los patrones de distribución de la precipitación, se ha inventariado la vegetación en parcelas permanentes, durante el ciclo anual (Diciembre ... - Mayo), en tres años climáticamente muy contrastados.Los resultados muestran la existencia de fuertes fluctuaciones en composición, con una alta tasa de renovación de especies entre años.La abundancia de gramíneas, compuestas y otras depende del periodo de implantación, manteniéndose constante la proporción entre estas familias durante el resto del ciclo anual.La frecuencia de gramíneas es muy dependiente del patrón de precipitación otoñal, estando favorecidas por lluvias tempranas. Durante el resto del ciclo muestran escasa dependencia de la distribución de la precipitación.Las especies de compuestas y otras presentan pautas de evolución temporal poco dependientes de la precipitación en la mayoría de ellas. Uno de los factores que determinan su abundancia es la interacción con las gramíneas durante la implantación.Las leguminosas muestran una baja abundancia en otoño e invierno, estando relacionada su abundancia al final del ciclo con la distribución de las lluvias en primavera, viéndose favorecidas por lluvias abundantes y bien repartidas en este periodo.Estos resultados han sido probados experimentalmente, mediante la simulación de primeras lluvias en distintos periodos otoñales, siguiendo la evolución de la vegetación durante la fase de implantación. Los resultados son consistentes con los anteriores: Las gramíneas dominan cuando las primeras lluvias son tempranas y no existen periodos con déficit hídrico prolongados posteriormente. Las compuestas y otras son más abundantes cuando {u

Para establecer relaciones de dependencia entre la composición y abundancia de especies de los pastos mediterráneos y los patrones de distribución de la precipitación, se ha inventariado la vegetación en parcelas permanentes, durante el ciclo anual (Diciembre ... - Mayo), en tres años climáticamente muy contrastados.Los resultados muestran la existencia de fuertes fluctuaciones en composición, con una alta tasa de renovación de especies entre años.La abundancia de gramíneas, compuestas y otras depende del periodo de implantación, manteniéndose constante la proporción entre estas familias durante el resto del ciclo anual.La frecuencia de gramíneas es muy dependiente del patrón de precipitación otoñal, estando favorecidas por lluvias tempranas. Durante el resto del ciclo muestran escasa dependencia de la distribución de la precipitación.Las especies de compuestas y otras presentan pautas de evolución temporal poco dependientes de la precipitación en la mayoría de ellas. Uno de los factores que determinan su abundancia es la interacción con las gramíneas durante la implantación.Las leguminosas muestran una baja abundancia en otoño e invierno, estando relacionada su abundancia al final del ciclo con la distribución de las lluvias en primavera, viéndose favorecidas por lluvias abundantes y bien repartidas en este periodo.Estos resultados han sido probados experimentalmente, mediante la simulación de primeras lluvias en distintos periodos otoñales, siguiendo la evolución de la vegetación durante la fase de implantación. Los resultados son consistentes con los anteriores: Las gramíneas dominan cuando las primeras lluvias son tempranas y no existen periodos con déficit hídrico prolongados posteriormente. Las compuestas y otras son más abundantes cuando {u

Para establecer relaciones de dependencia entre la composición y abundancia de especies de los pastos mediterráneos y los patrones de distribución de la precipitación, se ha inventariado la vegetación en parcelas permanentes, durante el ciclo anual (Diciembre ... - Mayo), en tres años climáticamente muy contrastados.Los resultados muestran la existencia de fuertes fluctuaciones en composición, con una alta tasa de renovación de especies entre años.La abundancia de gramíneas, compuestas y otras depende del periodo de implantación, manteniéndose constante la proporción entre estas familias durante el resto del ciclo anual.La frecuencia de gramíneas es muy dependiente del patrón de precipitación otoñal, estando favorecidas por lluvias tempranas. Durante el resto del ciclo muestran escasa dependencia de la distribución de la precipitación.Las especies de compuestas y otras presentan pautas de evolución temporal poco dependientes de la precipitación en la mayoría de ellas. Uno de los factores que determinan su abundancia es la interacción con las gramíneas durante la implantación.Las leguminosas muestran una baja abundancia en otoño e invierno, estando relacionada su abundancia al final del ciclo con la distribución de las lluvias en primavera, viéndose favorecidas por lluvias abundantes y bien repartidas en este periodo.Estos resultados han sido probados experimentalmente, mediante la simulación de primeras lluvias en distintos periodos otoñales, siguiendo la evolución de la vegetación durante la fase de implantación. Los resultados son consistentes con los anteriores: Las gramíneas dominan cuando las primeras lluvias son tempranas y no existen periodos con déficit hídrico prolongados posteriormente. Las compuestas y otras son más abundantes cuando {u