Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Processing of hierarchical syntactic strusture in music

Hierarchical structure with nested nonlocal dependencies is a key feature of human language and can be identified theoretically in most pieces of tonal music. However, previous studies have argued against the perception of such structures in music. Here, we show processing of nonlocal dependencies in music. We presented chorales by J. S. Bach and modified versions inwhich the hierarchical structure was rendered irregular whereas the local structure was kept intact. Brain electric responses differed between regular and irregular hierarchical structures, in both musicians and nonmusicians. This finding indicates that, when listening to music, humans apply cognitive processes that are capable of dealing with longdistance dependencies resulting from hierarchically organized syntactic structures. Our results reveal that a brain mechanism fundamental for syntactic processing is engaged during the perception of music, indicating that processing of hierarchical structure with nested nonlocal dependencies is not just a key component of human language, but a multidomain capacity of human cognition.

Avaliação Pós-Ocupação da iluminação natural das salas dos setores de aulas teóricas da Universidade Federal do Rio Grande do Norte

The objective of this study is to assess the natural light of the classrooms sectors, at Universidade Federal do Rio Grande do Norte. It was applied the Post-Occupation Evaluation technique, by using questionnaires and brightness levels measurements inside the classrooms. In order to check the users satisfaction degree, it was initially done a general approach on the related aspects to natural light: their characteristics, availability, sources, opening systems and evaluating tools. It was also determined the necessary brightness levels for the activities development in the classroom and the Post-Occupation Evaluation technique used in the search analyses. Then, it was made the UFRN Campus` characterization; the models` definition which formed the data collection basis; the detailing of the procedures used in the research, the processing description and the data analysis. Subsequently, the results that clarify the issues raised were shown through quantitative and / or qualitative data analyses. This research notes a high level of satisfaction by the users, despite some problems such as the reflections occurrence on the board, the lack of uniformity and, occasionally, the brightness low levels