Kleene algebra with tests (KAT) is an equational system that extends Kleene algebra, the algebra of regular expressions, and that is specially suited to capture and verify properties of simple imperative programs. In this paper we study two constructions of automata from KAT expressions: the Glushkov automaton (Apos), and a new construction based on the notion of prebase (equation automata, Aeq...

The increased use of technology within the educational field gives rise to the need for developing valid instruments to measure key constructs associated with performance. We present some self-report instruments developed and/or validated in the Italian context that could be used to assess achievement emotions and correlates, within the theoretical framework of Pekrun’s control-value model. Fir...

INTRODUCTION Research shows that there is a relationship between students' perceptions of classroom and learning environment and their cognitive, affective, emotional and behavioral outcomes, so, in this study the relationship between medical students' perception of learning environment and academic emotions was examined. METHOD The research method used was descriptive-correlative. The statis...

After they reached the end of their useful EV life, lithium-ion batteries are still satisfactory for second life (SL) energy storage applications. However, spread in SL cell capacities may be much wider than EV, and this raises a question as to what type voltage equalizer (EQU) should used. Most users plan retain same passive EQU (PEQ) from but means battery capacity will worst battery, just it...

This study aimed to evaluate the alcohol consumption phenomenon in public schools in Coimbra, Portugal (7th, 8th and 9th grades) for the implementation of a preventive program of alcohol use/abuse. This is a quantitative, descriptive and correlational study. The sample included 654 students (51.5% female) between 12 and 18 years of age. The Alcohol Expectancy Questionnaire--Adolescent form (AEQ...