Autonomia, crianças e organização do espaço: relato de experiências de intervenção pedagógica em Creche e Jardim de Infância

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Abordagem ao ensino da educação musical segundo uma perspetiva abrangente

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Educação Musical no Ensino Básico

A Passagem do 1.º para o 2.º CEB. Continuidade ou Recomeço?

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo de Educação Básica

Trabalho colaborativo entre professores para integração curricular no 1º ciclo do ensino básico: um contributo para melhoria das planificações pedagógicas em S.Tomé e Príncipe

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção do grau de mestre em Didáticas Integradas em Língua Portuguesa, Matemática, Ciências Naturais e Sociais

Generalized synchronization in a system of several non-autonomous oscillators coupled by a medium

An abstract theory on general synchronization of a system of several oscillators coupled by a medium is given. By generalized synchronization we mean the existence of an invariant manifold that allows a reduction in dimension. The case of a concrete system modeling the dynamics of a chemical solution on two containers connected to a third container is studied from the basics to arbitrary perturbations. Conditions under which synchronization occurs are given. Our theoretical results are complemented with a numerical study.

Measurement of fusional vergence: protocol for a systematic review

Introduction - No validated protocol exists for the measurement of the prism fusion ranges. Many studies report on how fusional vergence ranges can be measured using different techniques (rotary prism, prism bar, loose prisms and synoptophore) and stimuli, leading to different ranges being reported in the literature. Repeatability of the different methods available and the equivalence between them it is also important. In addition, some studies available do not agree in what order fusional vergence should be measured to provide the essential information on which to base clinical judgements on compensation of deviations. When performing fusional vergence testing the most commonly accepted clinical technique is to first measure negative fusional vergence followed by a measurement of positive fusional vergence to avoid affecting the value of vergence recovery because of excessive stimulation of convergence. Von Noorden recommend using vertical fusion amplitudes in between horizontal amplitudes (base-out, base-up, base-in, and base down) to prevent vergence adaptation. Others place the base of the prism in the direction opposite to that used to measure the deviation to increase the vergence demand. Objectives - The purpose of this review is to assess and compare the accuracy of tests for measurement of fusional vergence. Secondary objectives are to investigate sources of heterogeneity of diagnostic accuracy including: age; variation in method of assessment; study design; study size; type of strabismus (convergent, divergent, vertical, cycle); severity of strabismus (constant/intermittent/latent).

On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

On lattices from combinatorial game theory modularity and a representation theorem: finite case

We show that a self-generated set of combinatorial games, S. may not be hereditarily closed but, strong self-generation and hereditary closure are equivalent in the universe of short games. In [13], the question "Is there a set which will give a non-distributive but modular lattice?" appears. A useful necessary condition for the existence of a finite non-distributive modular L(S) is proved. We show the existence of S such that L(S) is modular and not distributive, exhibiting the first known example. More, we prove a Representation Theorem with Games that allows the generation of all finite lattices in game context. Finally, a computational tool for drawing lattices of games is presented. (C) 2014 Elsevier B.V. All rights reserved.