Produção de um curso online: contributo para a comunicação entre técnico e professor

Dissertação de mestrado em Ciências da Educação (área de especialização em Tecnologia Educativa)

Relatório final de estágio realizado na Escola Secundária com 2º e 3º ciclos Anselmo de Andrade

O presente relatório constitui-se como uma análise reflexiva do processo de formação do Estágio Pedagógico desenvolvido na Escola Secundária com 2º e 3º ciclos Anselmo de Andrade, em Almada, no ano letivo 2013/2014. O estágio em questão integra o 2º ano do Mestrado em Ensino da Educação Física nos Ensinos Básico e Secundário da Faculdade de Motricidade Humana. O relatório teve por base o Guia de Estágio Pedagógico 2013/2014, que define as competências a adquirir em quatro áreas de intervenção: (1) Organização e gestão do ensino e da aprendizagem, (2) Investigação e inovação pedagógica, (3) Participação na escola e (4) Relação com a comunidade. É feita uma contextualização do estágio seguida de uma descrição e reflexão sobre a prática pedagógica de cada área e uma reflexão sobre a contribuição das aprendizagens para o meu futuro profissional, sendo ainda lançadas algumas propostas de atividades que poderiam ter sido desenvolvidas no estágio pedagógico ou no futuro. É também realizada uma reflexão final sobre todo o processo inerente ao estágio, destacando-o como um processo interligado, e, ainda, uma reflexão sobre a importância do Plano Individual de Formação, efetuando um resumo das competências desenvolvidas ao longo do processo de estágio.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Learning the ropes and embracing the rules: CFSP institutions as arenas for learning and strategic socialisation

The aim of this article is to analyse those situations in which learning and socialisation take place within the context of the Common Foreign and Security Policy (CFSP), in particular, at the level of experts in the Council Working Groups. Learning can explain the institutional development of CFSP and changes in the foreign policies of the Member States. Some scope conditions for learning and channels of institutionalisation are identified. Socialisation, resulting from learning within a group, is perceived as a strategic action by reflective actors. National diplomats, once they arrive in Brussels, learn the new code of conduct of their Working Groups. They are embedded in two environments and faced with two logics: the European one in the Council and the national one in the Ministries of Foreign Affairs (MFA). The empirical evidence supports the argument that neither rational nor sociological approaches alone can account for these processes.

An interpretation of the deep seismic lines from the Penninic Alps of Valais (Switzerland)

The upper part of three deep seismic lines running across the Penninic Swiss Alps of Valais have been studied. Numerous reflectors illustrate the nappe structure of this internal part of the orogen. These reflectors, even at great depths (20-25 km), can be correlated with outcropping geological features and are most likely produced by lithological boundaries rather than by mylonites zones, which are hardly reflective in such an environment. Our interpretations, largely constrained by projections of the outcropping geology, have improved our knowledge of the deep structure of this segment of the Alpine belt, enhancing the importance of the backfolding and the crustal scale deformation phase which produced the Rawil-Valpelline depression and the Aar-Toce culmination. Furthermore we have here the possibility of correlating seismic patterns produced by ductile folds with the outcropping structures.

Alcohol Brief Intervention in Primary Care: A Systematic Review

BACKGROUND: The purpose of the present review was to evaluate the evidence of the effectiveness of brief interventions aimed at reducing chronic alcohol use and harm related to alcohol consumption, conducted among individuals actively attending primary care but who were not seeking help for alcohol problems. METHODS: Randomised trials reporting at-least one outcome related to alcohol consumption and conducted in outpatients who were actively attending primary care centre or provider were selected using Cochrane Central Register of Controlled Trials, MEDLINE, PsycINFO, ISI Web of Science, ETOH database, and bibliographies of the retrieved references and previous reviews. Selection and data abstraction were performed independently and in duplicate. We assessed validity of the studies and performed a meta-analysis for studies reporting alcohol consumption at 6 or 12 months follow up. RESULTS: We included 24 reports, reporting results of 19 trials and including 5,639 individuals. Seventeen trials reported a measure of alcohol consumption, eight reporting a significant effect of intervention. The meta-analysis showed a mean pooled difference of -41 (95% CI: −54; −28) g of pure ethanol per week in favour of brief intervention group. Evidences for other outcomes (laboratory values, health related quality of life, morbidity and mortality, health care utilisation) were inconclusive. CONCLUSION: Our systematic review indicated that brief intervention might be effective for both men and women in reducing alcohol consumption compared to a controlled intervention, in a primary health care population. The meta-analysis confirmed the reduction in alcohol consumption at 6 and 12 month. Further research should precise the components of effectiveness of brief intervention and the evidence of effects on morbidity, mortality, and quality of life related outcomes.

La responsabilité civile et pénale des organes dirigeants de sociétés anonymes

But et structure du travail La responsabilité civile des dirigeants sociaux fait déjà l'objet d'une littérature considérable; on constate néanmoins que les auteurs romands qui se sont intéressés à cette question sont finalement assez peu nombreux. D'ailleurs, à notre connaissance, aucun travail de recherche juridique approfondie n'a été récemment consacré en français à cette matière. Pourtant, plusieurs aspects de la responsabilité civile des organes dirigeants demeurent très controversés en doctrine. Parmi d'autres, on pense, par exemple, à la nature juridique de l'action en responsabilité ou à sa mise en oeuvre. Pour ces raisons, il nous paraît souhaitable de procéder, dans une première partie, à un examen approfondi des art. 754 ss CO. A cet égard, nous nous appuierons sur un appareil référentiel aussi complet que possible ; nous tenterons aussi de trancher les points qui ne cessent de diviser les auteurs. La première partie de l'étude compte sept titres. Le premier d'entre eux renferme des considérations tout à fait générales, notamment historiques, destinées à offrir au lecteur certains points de repère préalables, utiles à une bonne compréhension de la matière. Dans le deuxième titre, nous définirons le cercle des personnes légitimées à agir en responsabilité sur la base des art. 754 ss CO. Encore faut-il savoir quels sont les individus contre lesquels l'action en justice peut être intentée ou, en d'autres termes, ce qu'il faut entendre par «organes dirigeants ». C'est précisément la question à laquelle nous nous proposons de répondre dans le troisième titre de cette première partie. Cela étant, la responsabilité civile des dirigeants sociaux obéit à des conditions strictes : le demandeur doit établir un dommage, une violation des devoirs, un lien de causalité adéquate et une faute. Ces quatre conditions cumulatives feront l'objet d'un examen successif dans le quatrième titre. Il arrive aussi que ces conditions soient réunies, mais que, nonobstant, l'action en responsabilité n'aboutisse que partiellement, voire pas du tout. La raison doit être recherchée dans les causes de limitation ou d'exclusion de la responsabilité, en particulier la décharge votée par l'assemblée générale, le consentement du lésé (« volenti non fit injuria»), la prescription ou encore la compensation. C'est l'objet du titre cinquième. L'on relèvera encore que les actions en responsabilité sont généralement dirigées simultanément contre plusieurs dirigeants. On soulève ici la question essentielle de la solidarité entre les défendeurs et du règlement de leurs rapports internes ; nous y reviendrons au titre sixième. Enfin, pour que l'action du demandeur soit recevable, le demandeur doit agir devant le tribunal compétent ratione loci. Les problèmes de for seront donc abordés dans le titre septième. A la lecture de la doctrine, l'on est frappé de constater à quel point les auteurs qui, à ce jour, se sont risqués à rapprocher la responsabilité civile de la responsabilité pénale des organes dirigeants, sont rares. Pourtant, la lutte contre une criminalité économique toujours plus redoutable devrait tendre, ces prochaines années, à augmenter considérablement l'importance pratique du droit pénal des affaires. Dans ces conditions, il paraît impossible de faire abstraction du régime de responsabilité pénale encouru par les dirigeants sociaux. Nous y avons consacré la seconde partie de notre travail. Celle-ci se compose de quatre titres distincts, dont la numérotation s'inscrit dans le prolongement de la première partie. Le titre huitième contient des considérations générales, en particulier sur le rôle que le droit pénal est amené à jouer aujourd'hui dans la vie des affaires. Nous enchaînerons, dans un titre neuvième, avec l'examen des deux fondements envisageables de la responsabilité pénale des dirigeants. Nous traiterons d'abord de leur responsabilité à raison des infractions qu'ils commettent personnellement. Nous nous intéresserons ensuite à leur responsabilité pénale du fait d'autrui. Ces deux sources de responsabilité devront être illustrées. A ce titre, nous examinerons leur portée à la lumière du droit de la société anonyme, eu égard en particulier aux devoirs que le droit commercial met à la charge des dirigeants sociaux. C'est l'objet du titre dixième. Dans le titre onzième, nous procéderons à un bref examen de la responsabilité pénale de l'entreprise. Tout en rappelant les dispositions légales applicables en la matière, nous essayerons de mettre le doigt sur certaines incohérences que présente le système tel qu'il a été adopté par les Chambres fédérales. Nous traiterons ensuite de l'articulation probable entre la responsabilité pénale de l'entreprise et le régime de responsabilité pénale applicable à ses dirigeants physiques. Nous terminerons par rappeler, sous forme de synthèse, les principaux éléments qui se dégagent de notre travail.

An affective approach to moral motivation

Over the last few years, there has been a surge of work in a new field called "moral psychology", which uses experimental methods to test the psychological processes underlying human moral activity. In this paper, I shall follow this line of approach with the aim of working out a model of how people form value judgements and how they are motivated to act morally. I call this model an "affective picture": 'picture' because it remains strictly at the descriptive level and 'affective' because it has an important role for affects and emotions. This affective picture is grounded on a number of plausible and empirically supported hypotheses. The main idea is that we should distinguish between various kinds of value judgements by focusing on the sort of state of mind people find themselves in while uttering a judgement. "Reasoned judgements" are products of rational considerations and are based on preliminary acceptance of norms and values. On the contrary, "basic value judgements" are affective, primitive and non-reflective ways of assessing the world. As we shall see, this analysis has some consequences for the traditional internalism-externalism debate in philosophy; it highlights the fact that motivation is primarily linked to "basic value judgements" and that the judgements we openly defend might not have a particular effect on our actions, unless we are inclined to have an emotional attitude that conforms to them.

Positionnement par satellites (GPS) et accélérométrie : nouvelles applications dans le domaine du sport

Grâce à des développements technologiques récents, tels que le système de positionnement par satellites GPS (Global Positioning System) en mode différentie on est maintenant capable de mesurer avec une grande précision non seulement le profil de vitesse de déplacement d'un sujet sur la terre mais aussi sa trajectoire en faisant totalement abstraction de la chronométrie classique. De plus, des capteurs accélérométriques miniaturisés permettent d'obtenir un complément d'information biomécanique utile (fréquence et longueur du pas, signature accélérométrique individuelle). Dans cet artide, un exemple d'application de ces deux techniques à des sports tels que le ski alpin (descente ou Super G) et le sprint est présenté. La combinaison de plusieurs mesures physiologiques, cinétiques et biomécaniques permettra de mieux comprendre les facteurs endogènes et exogènes qui jouent un rôle dans l'amélioration des performances de l'homme.

Mujeres inmigradas y prácticas sociolegales en situaciones de violencia en la pareja: diferencias, desigualdades y disidencias en los contextos de atención

La investigación aborda el problema de la violencia de género dentro de la pareja en mujeres inmigrantes. El objetivo es conocer el impacto de los dispositivos sociolegales sobre las propias mujeres inmigrantes, a la vez que se conoce como el fenómeno de la inmigración ha influido en las prácticas institucionales. Los resultados indican efectos de protección y a la vez efectos perversos en los dispositivos sociolegales que se cuidan de las mujeres inmigradas. Se hacen propuestas para una intervención más situada y reflexiva.

A critical application of securitization theory: overcoming the normative dilemma of writing security

This article addresses the normative dilemma located within the application of `securitization,’ as a method of understanding the social construction of threats and security policies. Securitization as a theoretical and practical undertaking is being increasingly used by scholars and practitioners. This scholarly endeavour wishes to provide those wishing to engage with securitization with an alternative application of this theory; one which is sensitive to and self-reflective of the possible normative consequences of its employment. This article argues that discussing and analyzing securitization processes have normative implications, which is understood here to be the negative securitization of a referent. The negative securitization of a referent is asserted to be carried out through the unchallenged analysis of securitization processes which have emerged through relations of exclusion and power. It then offers a critical understanding and application of securitization studies as a way of overcoming the identified normative dilemma. First, it examines how the Copenhagen School’s formation of securitization theory gives rise to a normative dilemma, which is situated in the performative and symbolic power of security as a political invocation and theoretical concept. Second, it evaluates previous attempts to overcome the normative dilemma of securitization studies, outlining the obstacles that each individual proposal faces. Third, this article argues that the normative dilemma of applying securitization can be avoided by firstly, deconstructing the institutional power of security actors and dominant security subjectivities and secondly, by addressing countering or alternative approaches to security and incorporating different security subjectivities. Examples of the securitization of international terrorism and immigration are prominent throughout.

Gestión de recursos en nodos multi-core de memoria compartida

La gestión de recursos en los procesadores multi-core ha ganado importancia con la evolución de las aplicaciones y arquitecturas. Pero esta gestión es muy compleja. Por ejemplo, una misma aplicación paralela ejecutada múltiples veces con los mismos datos de entrada, en un único nodo multi-core, puede tener tiempos de ejecución muy variables. Hay múltiples factores hardware y software que afectan al rendimiento. La forma en que los recursos hardware (cómputo y memoria) se asignan a los procesos o threads, posiblemente de varias aplicaciones que compiten entre sí, es fundamental para determinar este rendimiento. La diferencia entre hacer la asignación de recursos sin conocer la verdadera necesidad de la aplicación, frente a asignación con una meta específica es cada vez mayor. La mejor manera de realizar esta asignación és automáticamente, con una mínima intervención del programador. Es importante destacar, que la forma en que la aplicación se ejecuta en una arquitectura no necesariamente es la más adecuada, y esta situación puede mejorarse a través de la gestión adecuada de los recursos disponibles. Una apropiada gestión de recursos puede ofrecer ventajas tanto al desarrollador de las aplicaciones, como al entorno informático donde ésta se ejecuta, permitiendo un mayor número de aplicaciones en ejecución con la misma cantidad de recursos. Así mismo, esta gestión de recursos no requeriría introducir cambios a la aplicación, o a su estrategia operativa. A fin de proponer políticas para la gestión de los recursos, se analizó el comportamiento de aplicaciones intensivas de cómputo e intensivas de memoria. Este análisis se llevó a cabo a través del estudio de los parámetros de ubicación entre los cores, la necesidad de usar la memoria compartida, el tamaño de la carga de entrada, la distribución de los datos dentro del procesador y la granularidad de trabajo. Nuestro objetivo es identificar cómo estos parámetros influyen en la eficiencia de la ejecución, identificar cuellos de botella y proponer posibles mejoras. Otra propuesta es adaptar las estrategias ya utilizadas por el Scheduler con el fin de obtener mejores resultados.

A UV signal of offspring condition mediates context-dependent parental favouritism.

As fitness returns during a breeding attempt are context-dependent, parents are predicted to bias their food allocation within a brood from poor towards good condition nestlings when environmental conditions deteriorate. We tested this prediction in the Alpine swift and the European starling, two migratory bird species, by modifying an ultraviolet (UV) visual signal of condition in nestlings and exploring how parents allocate food to their young as the season progresses. We show in both species that: (i) UV light reflected by the body skin of offspring positively correlates with their stature (i.e. body mass and skeletal size) and (ii) parental favouritism towards young with more UV reflective skin gradually increases as the season progresses. Early-breeding parents supplied food preferentially to UV pale (i.e. small stature) nestlings, whereas late-breeding parents favoured UV bright offspring (i.e. large stature). These results emphasize that parents use UV signals of offspring condition to adjust their feeding strategies depending on the ecological context.

Modelo de red de interconexión basado en enlace

La computación de altas prestaciones es una área de la informática que evoluciona rápidamente, en la que actualmente aparecen nuevos computadores que llegan a los petaflops. Al principio del trabajo, se estudian los distintos tipos de redes de interconexión y los modelos de red que se utilizan para medir su latencia. El objetivo de este trabajo, es el diseño, implementación y simulación de un modelo de red de interconexión basado en enlace, que tiene en cuenta la información de topología y enrutamiento de la red de interconexión. Teniendo en cuenta que los modelos son una abstracción del sistema, en éste trabajo se hace la verificación y validación del modelo, para asegurar que éste se aproxima a lo planteado en el diseño y también que se parece al sistema que se quiere modelar.

Scheduling in virtual infrastructure

For the execution of the scientific applications, different methods have been proposed to dynamically provide execution environments for such applications that hide the complexity of underlying distributed and heterogeneous infrastructures. Recently virtualization has emerged as a promising technology to provide such environments. Virtualization is a technology that abstracts away the details of physical hardware and provides virtualized resources for high-level scientific applications. Virtualization offers a cost-effective and flexible way to use and manage computing resources. Such an abstraction is appealing in Grid computing and Cloud computing for better matching jobs (applications) to computational resources. This work applies the virtualization concept to the Condor dynamic resource management system by using Condor Virtual Universe to harvest the existing virtual computing resources to their maximum utility. It allows existing computing resources to be dynamically provisioned at run-time by users based on application requirements instead of statically at design-time thereby lay the basis for efficient use of the available resources, thus providing way for the efficient use of the available resources.