FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow high-level programming with complex data structures, easy prototyping of algorithms, and portability (to use in computer grid systems for example), are its main features. Our main motivation is the theoretical and experimental research,… (More)
GUItar is a visualization software tool for various types of au-tomata (standard, weighted, pushdown, transducers, Turing machines, etc.). It provides interactive manipulation of diagrams, comprehensive graphic style creation, multiple export/import filters, and a generic foreign function calls (FFC) interface with external systems. In this paper we… (More)
We present an interactive graphical environment for the manipulation of context-free languages. The graphical environment allows the editing of a context-free grammar, the conversion to Chomsky normal form, word parsing and the (interactive) construction of parse trees. It is possible to store positive and negative datasets of words to be tested by a given… (More)
This paper describes the upgraded portable test bench for the Tile Calorimeter of the ATLAS experiment at CERN. The previous version of the portable test bench was extensively used for certification and qualification of the front-end electronics during the commissioning phase as well as during the short maintenance periods of 2010 and 2011. The new version… (More)
Quickprep micro RNAm purification " (Amersham Biosciences), segundo as instruções do fabricante.
The main purpose of this study was to examine the psychometric properties of the Portuguese version of the Behavioral Regulation in Exercise Questionnaire (BREQ-2) and to test the hypothesis that the different types of behavioral regulation can be combined on a single factor to assess autonomous and controlled motivation. Data were collected from 550… (More)