The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Document retrieval for e-mail search and discovery using Formal Concept Analysis

This paper discusses a document discovery tool based on Conceptual Clustering by Formal Concept Analysis. The program allows users to navigate e-mail using a visual lattice metaphor rather than a tree. It implements a virtual. le structure over e-mail where files and entire directories can appear in multiple positions. The content and shape of the lattice formed by the conceptual ontology can assist in e-mail discovery. The system described provides more flexibility in retrieving stored e-mails than what is normally available in e-mail clients. The paper discusses how conceptual ontologies can leverage traditional document retrieval systems and aid knowledge discovery in document collections.

Vitamin C: Effects of exercise and requirements with training

Ascorbic acid or vitamin C is involved in a number of biochemical pathways that are important to exercise metabolism and the health of exercising individuals. This review reports the results of studies investigating the requirement for vitamin C with exercise on the basis of dietary vitamin C intakes, the response to supplementation and alterations in plasma, serum, and leukocyte ascorbic acid concentration following both acute exercise and regular training. The possible physiological significance of changes in ascorbic acid with exercise is also addressed. Exercise generally causes a transient increase in circulating ascorbic acid in the hours following exercise, but a decline below pre-exercise levels occurs in the days after prolonged exercise. These changes could be associated with increased exercise-induced oxidative stress. On the basis of alterations in the concentration of ascorbic acid within the blood, it remains unclear if regular exercise increases the metabolism of vitamin C. However, the similar dietary intakes and responses to supplementation between athletes and nonathletes suggest that regular exercise does not increase the requirement for vitamin C in athletes. Two novel hypotheses are put forward to explain recent findings of attenuated levels of cortisol postexercise following supplementation with high doses of vitamin C.

Treinamento auditivo formal em idosos usuários de próteses auditivas

A implantação de programas de reabilitação para o deficiente auditivo idoso é de grande importância. OBJETIVO: Verificar a eficácia de um programa de treinamento auditivo formal em idosos que receberam próteses auditivas há no mínimo três meses, por meio de testes de reconhecimento de fala e questionário de auto-avaliação. MÉTODO: Estudo de coorte contemporânea longitudinal. Foram selecionados 13 idosos usuários de próteses auditivas intra-aurais em adaptação binaural, de ambos os sexos, com idade média de 65,30 anos. Este grupo foi subdividido aleatoriamente em Grupo Experimental e Grupo Controle, por meio de sorteio. O Grupo Experimental foi submetido a sete sessões de treinamento auditivo formal, visando estimular as habilidades auditivas de fechamento auditivo, memória, atenção, figura-fundo e integração binaural. Os participantes foram avaliados por três testes comportamentais e um questionário de auto-avaliação. RESULTADOS: Os idosos do Grupo Experimental apresentaram desempenho significantemente melhor nas avaliações após o treinamento auditivo e também em relação ao Grupo Controle. CONCLUSÃO: O programa de treinamento auditivo em cabina acústica, associado ao uso de próteses auditivas, melhora o desempenho das habilidades de reconhecimento de fala e reduz a percepção do handicap auditivo de idosos usuários de próteses auditivas intra-aurais.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Preliminary Overview over Requirements Regarding Tools and Methods Derived from LUDA Cases

LUDA is a research project of Key Action 4 "City of Tomorrow & Cultural Heritage" of the programme "Energy, Environment and Sustainable Development" within the Fifth Framework Programme of the European Commission

The process of implementing answerability in contemporary Brazil

Abstract: The aim of this study was to characterize the trajectory of answerability in Brazil. In the light of studies based on the historical neo-institutionalism approach, formal institutional changes adopted at federal level between 1985 and 2014, and which favor the typical requirements of answerability - information and justification - were identified and analyzed through the content analysis technique. The conclusion is that the trajectory of answerability in contemporary Brazil can be characterized as continuous, primarily occurring through the layering strategy, and whose leitmotif, since its origin, has consisted of matters of financial and budgetary nature. Nevertheless, a recent influence of deeper democratic subjects on it has been observed.

50 Anos do ensino formal das profissões de diagnóstico e terapêutica em 110 anos de história

Os 50 Anos de ensino das profissões de Diagnóstico e Terapêutica tem registado uma evolução muito significativa nos últimos 30 anos. A formação tem por base as competências facultando a capacitação dos profissionais no desenvolvimento das suas atividades profissionais. A formação de profissionais de Diagnóstico e Terapêutica constitui uma mais valia para a prestação de cuidados de saúde. É necessário criar estratégias para que a procura, por parte de candidatos, seja proporcional ao número de vagas disponíveis. É nosso objetivo suscitar uma reflexão conjunta sobre estratégias a adoptar face à realidade atual!

Educational in a global environment: non-formal examples of learning practices at the international office

23rd SPACE AGM and Conference from 9 to 12 May 2012 Conference theme: The Role of Professional Higher Education: Responsibility and Reflection Venue: Mikkeli University of Applied Sciences, Mikkeli, Finland

Extração de informação de texto formal para a modelação expedita de edifícios monumentais

A extração de informação a partir de descrições textuais para a modelação procedimental de ambientes urbanos é apresentada com solução para os edifícios antigos. No entanto, este tipo de edifício carece de maior cuidado com os detalhes de alto nível. Este artigo descreve uma plataforma para a geração expedita de modelos 3D de edifícios monumentais, cuja arquitetura é modular. O primeiro módulo permite a extração de informação a partir de textos formais, pela integração do NooJ num Web Service. No segundo módulo, toda a informação extraída é mapeada para uma ontologia que define os objetos a contemplar na modelação procedimental, processo esse realizado pelo módulo final que gera os modelos 3D em CityGML, também como um Web Service. A partir desta plataforma, desenvolveu-se um protótipo Web para o caso de estudo da modelação das igrejas da cidade do Porto. Os resultados obtidos deram indicações positivas sobre o modelo de dados definidos e a flexibilidade de representação de estruturas diversificadas, como portas, janelas e outras características de igrejas.

Dinâmicas das relações da rede formal de saúde da criança maltratada na cidade do Barreiro

Mestrado em Intervenção Sócio-Organizacional na Saúde - Ramo de especialização: Qualidade e Tecnologias da Saúde

A retórica do “não-formal” e a expansão da “forma escolar” na política de escola a tempo inteiro

Na presente comunicação problematiza-se o “modelo” de operacionalização da política de escola a tempo inteiro (ETI), em particular, a tendência para uma perspetiva “escolocêntrica” que visa a monopolização, pela escola pública, da prestação de serviços educativos de caráter extracurricular e “não-formal”. Reflete-se sobre aquele “modelo” que, paradoxalmente, na sua “dimensão educativa”, se configura como preconizador de uma retórica de defesa de implementação do “não-formal” no contexto escolar, ao mesmo tempo que neutraliza essa intensão promovendo a expansão da “forma escolar” e a intensificação do “ofício de aluno”. A partir do estudo da ação do Governo na formulação e execução da política de “Escola a Tempo Inteiro”, evidencia-se que este fenómeno de “formalização” daquilo que é apresentado retoricamente como “não-formal”, emerge da tentativa de conciliação de referenciais aos quais aquela política se reporta: por um lado, o referencial de igualdade de oportunidades educativas que o Estado deve garantir através da escola pública; por outro lado, o referencial de eficácia do sistema público de educação refletido nos resultados escolares.