Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Use of the web to provide learning support for a large metabolism and nutrition class

To support student learning in a large Metabolism and Nutrition class, we have introduced a web-based package, using a commercially available program, WebCT. The package was developed at a minimal cost and with limited resources. In addition to downloadable (PDF) versions of lecture Powerpoint presentations, tutorial outlines and a practical class exercise, web-based self-directed learning exercises were included to reinforce and extend lecture material in an active learning environment. The web-site also contained a variety of formative and summative assessment tasks that examined both factual recall and higher order thinking Detailed course information, timetables and a bulletin board were also readily accessible. Student usage of the site was generally high, but varied widely between individual students. Students who achieved a high overall score for the course completed on average three times as many formative assessment items and achieved a higher score for all tests than students who did poorly. Student feedback about the site was very positive with the majority of students reporting that the course material and assessment items that were available were useful to their learning. Administration of the course was also facilitated. (C) 2001 IUBMB. Published by Elsevier Science Ltd. All rights reserved.

Rumors and stable-cause attribution in prediction and behavior

Two stock-market simulation experiments investigated the notion that rumors that invoke stable-cause attributions spawn illusory associations and less regressive predictions and behavior. In Study 1, illusory perceptions of association and stable causation (rumors caused price changes on the day after they appeared) existed despite rigorous conditions of nonassociation (price changes were unrelated to rumors). Predictions (recent price trends will continue) and trading behavior (departures from a strong buy-low-sell-high strategy) were both anti-regressive. In Study 2, stability of attribution was manipulated via a computerized tutorial. Participants taught to view price-changes as caused by stable forces predicted less regressively and departed more from buy-low-sell-high trading patterns than those taught to perceive changes as caused by unstable forces. Results inform a social cognitive and decision theoretic understanding of rumor by integrating it with causal attribution, covariation detection, and prediction theory. (C) 2002 Elsevier Science (USA). All rights reserved.

De intruso a tutor: impactos da formação em contexto PNEP

Este trabalho decorre de uma experiência de formação contínua de âmbito nacional, durante um ano letivo, relacionada com o ensino do português no 1º Ciclo no contexto do Programa Nacional de Ensino do Português (PNEP). Para se compreender o impacto da formação e do seu modelo, analisaram-se as produções escritas (do género narrativo e epistolar) dos alunos do 1º ao 4º ano de escolaridade, os resultados das Provas de Aferição de Língua Portuguesa do 4º ano, os inquéritos de avaliação dos formandos à própria formação, da competência da Comissão Nacional de Acompanhamento (CNA) e, ainda, as reflexões dos portefólios produzidos pelos formandos ao longo da formação. Em génese, pretende-se aferir de que modo esta formação interferiu nas aprendizagens e no desenvolvimento de competências dos alunos no domínio da língua materna, nomeadamente ao nível da escrita. Nessa perspetiva, são comparados dois grupos de alunos do mesmo agrupamento, do distrito de Lisboa, sendo o grupo experimental constituído pelos alunos cujos professores frequentaram a ação de formação PNEP e o grupo de controlo formado por alunos cujos professores nunca frequentaram a referida ação. Todavia, podendo o PNEP ser considerado como uma formação inovadora, porque se desenvolve em contexto, procura-se também saber como se sentiram os professores ao longo desta formação, bem como que repercussões e mais-valias obtiveram para as suas práticas pedagógicas e para a resolução real dos problemas vividos na sala de aula. Por fim, cruzando todos os dados de que se dispõe, aspira-se compreender o papel e o contributo da figura do formador no contexto PNEP, o que poderá conduzir a uma nova abordagem de formação, mais consentânea com o conceito de “mentoria”, e seus processos, do que com os pressupostos iniciais assentes numa lógica de “tutoria”. - This study originates from a one year education experience, nation wide, in the wake of the PNEP (Programa Nacional de Ensino do Português, in its maiden form) program. The aim is to understand how the model herein impacts first to fourth year primary school children’s learning and writing skills, how it influences the fourth year’s final exam results, and how it is reflected on practitioners’ (teachers undergoing the PNEP) performance evaluation inquires, and on concept development within their portfolios. In genesis, we seek to analyse whether the PNEP changed the way children attending primary school learn and master Portuguese, particularly its written expression. To do so, the study focus on two different publics, whereby an experimental group was build around a set of classes whose teachers had completed the PNEP education and training program, and a control group, set around a similar sample, but where teachers had no PNEP education or training at all. In addition, because PNEP might be considered as an advanced education model, we also wanted to disclosure how it adds to schoolteachers’ education techniques, and how it would help them solve daily ordinary problems within the classroom. Last but not the least, the study reveals that PNEP can change Portuguese standard education perspectives, changing classic tutorial methodologies towards a, more responsive, mentoring approach.

Brincando às profissões : intervenção em desenvolvimento vocacional no 1.º ciclo

IX Congresso Ibero-Americano de Psicologia, 2.º Congresso da Ordem dos Psicólogos Portugueses. Lisboa, 9 a 13 de Setembro de 2014.

Relatório de estágio: que desafios(s) para a avaliação das aprendizagens? uma análise a partir de um mestrado em educação pré-escolar numa Escola Superior de Educação

A formação profissional, nomeadamente a formação profissionalizante (2ºCiclo de Estudos no âmbito de Bolonha) tem vindo a ser alvo de discussão entre as diferentes áreas do conhecimento, nomeadamente no que respeita às possíveis metodologias de avaliação a adotar (práticas profissionais supervisionadas, elaboração de portefólios individuais, realização de trabalhos de grupo com acompanhamento tutorial, redação de Relatórios de Estágio, entre outras). A presente comunicação tem como principal objetivo discutir e analisar as conceções dos educadores de infância recém-formados acerca da educação de infância e das aprendizagens realizadas no âmbito da Prática Profissional Supervisionada (PPS), através da análise dos Relatórios de Estágio elaborados no âmbito do Mestrado em Educação Pré-Escolar de uma escola superior de educação, especificamente os que dizem respeito a um grupo de mestrandos dos anos letivos 2010-2011, 2011-2012 e 2012-2013. Nesta análise, serão privilegiados os seguintes eixos: i) a caracterização reflexiva do contexto socioeducativo; ii) a análise reflexiva da intervenção; iii) as considerações finais realizadas. Pretende-se, a partir desta análise, identificar e compreender os potenciais desafios (que elementos e critérios de avaliação? Como caracterizar, de forma reflexiva, um determinado contexto socioeducativo?) trazidos ao processo de avaliação das aprendizagens dos mestrandos do curso em questão. O quadro teórico de referência centra-se numa revisão de literatura sobre a formação profissional dos educadores de infância e sobre a avaliação das aprendizagens dos adultos. A metodologia utilizada, de natureza qualitativa, inclui análise documental (objetivos do curso, perfil profissional de saída, guião para a elaboração dos Relatórios de Estágio), e a subsequente análise de conteúdo. Os resultados obtidos apontam para asseguintes conclusões: se por um lado, todos (12) os mestrandos do estudo seguiram, escrupulosamente, o guião fornecido pela equipa de docentes da Prática Profissional Supervisionada para a elaboração dos Relatórios de Estágio, por outro lado e no que se relaciona com a caracterização reflexiva do contexto socioeducativo, a análise reflexiva da intervenção e as considerações finais realizadas, constata-se que existem diferenças significativas na estrutura organizativa do discurso escrito, na escolha do quadro teórico de referência bem como nas reflexões pessoais realizadas. Enquanto que os mestrandos (5) do ano letivo 2010-2011 demonstram ter optado por construir um quadro teórico de referência ancorado, preferencialmente, por referências bibliográficas relacionadas com a Educação de Infância e facultadas pela equipa de docentes do mestrado em estudo, os mestrandos do ano letivo 2011-2012 (3) optaram por recorrer a um quadro teórico de referência mais alargado e abrangente, no qual se pode verificar, também, a existência de uma consulta e análise documental frequente sobre a legislação em vigor para o âmbito da Educação de Infância. Por sua vez, os mestrandos que terminaram a sua formação no ano letivo 2012-2013 (4) demonstraram, na elaboração dos seus relatórios de estágio, uma preocupação e intenção claras em dar resposta a todas as questões colocadas, fazendo emergir algumas questões de fundo: 1) por que razão os relatórios de estágio analisados apresentam diferenças significativas nas aprendizagens realizadas pelos mestrandos em estudo? 2) Quais as possíveis razões para estas diferenças? 3) Que aprendizagens realizaram estes mestrandos e quais foram as mais significativas? Estes são alguns dos possíveis desafios colocados à avaliação das aprendizagens.

Relatório de estágio em empresa de manutenção industrial

Trabalho Final de Mestrado para obtenção de grau de Mestre em Engenharia Mecânica na Especialidade de Manutenção e Produção

Lições vídeo com o Camtasia studio

Este guião de apoio à formação tem como objectivo apoiar docentes na (1)produção de lições em vídeo para apoio às aulas e (2) utilização de funcionalidades do Camtasia studio.

Papel do tutor num currículo médico pré-graduado que utilize a aprendizagem por problemas

Educação Médica, 1993; 4(3): 169-173.

O Método de aprendizagem por problemas (APP) aplicado ao ensino médico, 1ª Parte: Reflexões sobre o método como estratégia de inovação

Educação Médica, 1997; 8 (1): p.17-35.

Relatório de estágio em marketing corporativo na empresa Insite IT GmbH

Relatório de estágio apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Desenvolvimento de simulador para orçamentação de infraestruturas elétricas

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

A inteligência emocional na formação em gestão da saúde : estudo de caso e proposta de modelo de avaliação

RESUMO - Introdução: A Inteligência Emocional (IE) é considerada um factor preditivo de sucesso, mais significativo do que outros tipos de inteligência e o seu estudo tem recebido cada vez maior relevância com o objectivo de aumentar os níveis de desempenho em gestão (Goleman, 2009). O desenvolvimento da IE no âmbito da formação em gestão apresenta resultados contraditórios sendo necessário confirmar o potencial de desenvolvimento da IE em programas de formação específicos. Objectivos: Confirmar a importância da IE para a gestão da saúde e perceber o seu potencial de desenvolvimento em programas de formação específicos; analisar o módulo opcional de Emoção, Liderança e Coaching na Gestão em Saúde; e construir uma proposta de modelo que avalie se a participação nessa Unidade Curricular permite aumentar os níveis de IE. Metodologia: Realizou-se uma revisão da literatura, que permitiu ter acesso aos conceitos e teorias e, posteriormente, o estudo de caso do módulo opcional que permitiu compará-lo com outras teorias existentes. Finalmente, construiu-se uma proposta de modelo de avaliação da IE, com um desenho quasi-experimental. Conclusões: A IE é um factor essencial para o sucesso, principalmente na Gestão da Saúde, pelas características do mercado e das organizações. Os instrumentos de avaliação da IE com recurso à medição de competências são os que apresentam menos limitações. O peso do módulo opcional no Curso de Mestrado em Gestão da Saúde, é pouco significativo (3,33% dos ECTS) e apenas 36,6% dos alunos o frequentaram. A estrutura do módulo está alinhada com as directrizes de outras teorias, mas a sua curta duração poderá constituir uma limitação. Sugere-se a criação de apoio tutorial individualizado e prolongado. O modelo de avaliação proposto representa a primeira tentativa de avaliação do desenvolvimento da IE na formação em Gestão da Saúde em Portugal e a sua aplicação permitiria a o aprimoramento do potencial de desenvolvimento das competências dos gestores. ---------------------------------- ABSTRACT - Introduction: Emotional Intelligence (EI) is the most predictive factor of success when compared with other types of intelligence. Since it is believed to increase performance levels, EI study has been given more relevance (Goleman, 2009). EI development studies show contradictory results, becoming necessary to prove the benefits of the development programs. Purposes: This study aimed to confirm the importance of the EI in health care management; to perceive the EI development potential of specific programs; to analyze the optional curricular unit of Emotion, Coaching and Leadership in Health Management; and to build a model that proposes to evaluate the student’s EI development. Methods: After the Literature Revision, the Case Study of the Curricular Unit allowed to compare it with other existing theories. The Model of EI evaluation consists on a quasi-experimental study. Conclusions: EI is an essential factor for success, mainly in Health Care Management, because of its market and organizations characteristics. The ability instruments of EI evaluation are those which show the least limitations. The Curricular Unit represents only 3,33% of the ECTS provided by this Health Management Master. Only 36.6% of master’s students chose to participate in this curricular unit. The structure of the curricular unit is lined up with the guide-lines of other theories. However, being a 6 weeks program, it could represent a limitation. It is suggested to create an individual and longitudinal tutorial support. The EI evaluation model proposed represents the first attempt to evaluate de EI development in Health Management programs in Portugal. Its application could increase the manager’s development efficacy.

Estudo e Coordenação das Principais Protecções Eléctricas de Geradores e Transformadores de uma Central de Cogeração

O Sector eléctrico possui uma grande importância nas sociedades modernas. Dados os elevados custos de produção de energia e o grande impacto que esta tem na nossa economia e na sociedade, em geral, a utilização mais eficiente da energia é um factor fulcral. Com a evolução da electrónica e consequente aumento das capacidades dos computadores, as protecções eléctricas são cada vez mais eficazes e com índices de fiabilidade mais elevados, algo muito importante em instalações de elevado custo de investimento e manutenção. No entanto, o seu bom funcionamento está dependente do correcto dimensionamento das protecções e de uma análise técnica capaz de prever necessidades futuras. Após uma breve introdução no capítulo 1 é efectuado no capítulo 2 um breve estudo de protecções eléctricas e o seu estado de arte. Nos Capítulos 3 e 4 é efectuado o dimensionamento e estudo da selectividade das protecções de grupo de Alternador e Transformador escolhidos para a nova central de cogeração da refinaria de Matosinhos da Galp. No presente estudo foram apenas consideradas as protecções típicas de alternador e apenas a protecção diferencial do transformador. Todas as protecções foram dimensionadas com base no tutorial de protecções de geradores do IEE e com informação referente ao manual de instruções do relé G60 da GE industrial systems, o DTP-B da GE multilin e o ELIN Power Plant Automation. No Capítulo 5 é demonstrada a importância da análise Safety Instruments Systems (SIS), o seu modo de aplicação e necessidade de implementação em locais industriais como o caso em estudo. Por último, é efectuado um pequeno estudo económico onde é efectuada a comparação dos custos dos diversos equipamentos, protecções e manutenções efectuadas.

A biblioteca pública e a literacia da informação: estudo de caso de uma biblioteca da região Centro de Portugal

O objetivo desta dissertação é perceber o papel do profissional de biblioteca pública na promoção da literacia da informação, através do estudo de uma biblioteca municipal do NUTS II Região Centro, a Biblioteca Municipal António Botto. Para isso segue-se uma metodologia do estudo de caso, recolhendo-se à observação de páginas de internet, entrevistas semiestruturadas e análise de documentação para recolha de dados. No primeiro capítulo será feita uma revisão da literatura abordando o conceito de literacia da informação, o papel das bibliotecas públicas em relação a essa questão e a problematização da situação portuguesa. No segundo capítulo será explicada a metodologia usada. No terceiro capítulo será caracterizada a Biblioteca António Botto, através do concelho em que está situada, da sua história e das suas características. No quarto capítulo será feita uma análise interpretativa das suas atividades de promoção de literacia da informação, com destaque para a criação e gestão do Tutorial e do Espaço Criança, disponíveis na sua página da internet. Conclui-se que o profissional da informação desempenha um importante papel no incentivo à literacia da informação, desde que tenha ao seu dispor condições para alcançar esses objetivos.