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...

A resonance phenomenon which is closely related to NMR is nuclear quadrupole resonance (NQR), which was discovered in 1950 by Dehmelt and Kruger. All nuclei with a spin > 1 possess in addition to the magnetic moment, an electric quadrupole moment eQ, which measures the deviation of the distribution of the positive charge in the nucleus from spherical symmetry. While e is the elementary charge, ...

Self-directed learning as a topic began to become known experts in the field of adult education 1960s. As well at that time, its relatively intensive research begins. The purpose this text is map methods used empirical study self-directed learning. For purpose, analysis empirically focused articles published journal only one specializing issue, International Journal Self-Directed Learning, was ...