Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Mudar o registo - da fonografia considerada do ponto de vista poético

Haverá lugar para a idéia do fonógrafo enquanto máquina poética? Será legítimo falar de uma poética do fonógrafo? Para tais perguntas podemos imaginar uma resposta a dois tempos. Em primeiro lugar - mas não se trata de hierarquia - responderemos num plano que é simultaneamente teórico e etimológico. Com efeito, a fonografia deixa-se aproximar, pela sua própria definição, da idéia mesma de poesia: a escrita da voz, SL inscrição gráfica da phôné, a grafia servindo de veículo à transmissão e ao registo da sonoridade vocal. Porque é indiscutível ser assim que uma certa idéia da poesia nos chega da proveniência grega: na poesia, o poeta/a/fl, mesmo que nem sempre fale em seu nome. A precedência da fala sobre a grafia (agora sim, precedência hierárquica) é constitutiva desta velha noção "fonográfica" (entre aspas, claro) da poesia, com toda a distância histórica que a separa da invenção do fonógrafo - da máquina com esse nome - e mau grado todas as dúvidas que sempre rodearam a escrita alfabética como dispositivo de gravação efectiva (verdadeira) da voz que a precede (em todos os sentidos). Se a escrita pôde aparecer como simulação, mesmo falsificação, do discurso falado, isso sô confirma esta metafísica da voz na sua radical desconfiança quanto aos poderes singulares atribuídos à escrita. A antigüidade desta concepção não é, por outro lado, motivo para a afastarmos em absoluto da invenção histórica, muito recente, do fonógrafo. Pelo contrário: a narrativa já clássica da evolução dessa máquina, de Edison aos "nossos dias", faz-se precisamente em torno do objectivo instrumental da gravação, do graphós, face à voz ou aos sons que se pretendem registados com uma precisão crescente, isto é, com uma "verdade" ou "autenticidade" sempre maior em cada passo dessa evolução.

Relational navigation and archiving of multimedia information for contemporary dance

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Planning and verification of multipath routing protocols

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.

Barreiras e estímulos ao aleitamento materno exclusivo na Província do Uíge, Angola

RESUMO - É recomendado o aleitamento materno exclusivo desde o nascimento até aos 6 meses. Angola apresenta uma situação bastante preocupante, pois é um dos países do mundo com maior taxa de mortalidade infantil: em 2010 era de 114,9 mortes por cada 1000 nascimentos. O desmame precoce, a contaminação dos alimentos e da água potável e a desnutrição criam condições para aparecimento de doenças que causam elevadas mortes em crianças com menos de um ano. Em muitas regiões de África, o parto ainda é um acontecimento marcado por práticas culturais ancestrais que podem prejudicar a saúde e sobrevivência dos recém-nascidos, além de pôr em perigo a vida das mães. Algumas dessas práticas incluem: (i) deitar fora o colostro; e (ii) alimentar os bebés com outros alimentos que não o leite materno. Este estudo é quantitativo com metodologia transversal e pretende identificar, descrever e analisar os fatores que contribuem para o abandono do aleitamento materno exclusivo antes dos 6 meses de idade, na província do Uíge, em Angola, bem como indicar formas de intervenção para que os índices de prevalência do aleitamento materno exclusivo possam aumentar. A população em estudo são mães com filhos até um ano de idade e utilizadoras do centro de saúde materno infantil do município sede da província de Uíge em Angola, da qual será considerada uma amostra de 418 mães. Os dados obtidos através de questionário serão registados em quadros e gráficos para posterior análise estatística através de tabelas de frequências, cálculo de percentagens e taxas de incidência.

Graph usage in financial reports: Evidence from Portuguese listed companies

When assessing investment options, investors focus on the graphs of annual reports, despite lack of auditing. If poorly constructed, graphs distort perceptions and lead to inaccurate decisions. This study examines graph usage in all the companies listed on Euronext Lisbon in 2013. The findings suggest that graphs are common in the annual reports of Portuguese companies and that, while there is no evidence of Selectivity Distortion, both Measurement and Orientation Distortions are pervasive. The study recommends the auditing of financial graphs, and urges preparers and users of annual reports to be wary of the possibility of graph distortion.

Classificação Internacional de Funcionalidade, Incapacidade e Saúde : uma dimensão do neurodesenvolvimento

RESUMO: Objetivo Principal • Determinar a consistência da utilização dos instrumentos de avaliação da capacidade intelectual – escalas de Griffiths e WISC III – no enquadramento dos domínios e dos qualificadores da CIF-CJ, restrita às funções mentais do corpo. Objetivo secundário: • Estudar a efetividade e concordância inter-observador da aplicação da CIF, com base na leitura dos dados obtidos em avaliação efetuada com os instrumentos referidos, por duas observadoras independentes, em contexto de articulação saúde, respetivamente educação e segurança social Métodos • Estudo observacional, descritivo, transversal e prospetivo. • Foi estudada uma amostra de conveniência 355 crianças, num período de três anos (Maio de 2010 a 30 de Abril de 2013), com patologia da área da pediatria do neurodesenvolvimento (total de 4000 consultas) no Centro de Desenvolvimento (CD) do Hospital de Dona Estefânia (HDE), Centro Hospitalar de Lisboa Central, EPE (CHLC, EPE). • Critérios de inclusão: crianças de ambos os sexos, observadas no CD do HDE, CHLC (primeiras consultas e consultas de reavaliação) com idade ≥12 meses e ≤17 anos e incapacidade intelectual definida de acordo com os critérios da DSM-IV-TR, DSM 5 e CID-10. • Critérios de exclusão: crianças com autismo, perturbações específicas da linguagem, hiperatividade, défice de atenção e concentração, défices sensoriais congénitos (baixa visão e ou audição), ou com outros diagnósticos de perturbações de neurodesenvolvimento. • O estudo teve duas fases: na primeira, a investigadora principal colheu ou atualizou a história clínica, observou clinicamente as crianças solicitando os exames complementares considerados necessários e foi efetuada avaliação psicológica com os instrumentos adiante descritos, pela mesma psicóloga clínica, devidamente credenciada, e com larga experiência nas escalas referidas. Com base nos dados colhidos, quer por observação direta, quer através dos resultados das escalas Griffiths e WISC – III, a investigadora aplicou a CIF-CJ, circunscrita aos domínios e funções (variáveis): 1. FUNÇÕESMENTAIS GLOBAIS (b110- Funções da consciência, b114- Funções da orientação no espaço e no tempo, b117 – Funções intelectuais, b122- Funções psicossociais globais, b125- Funções intrapessoais, b126- Funções do temperamento e da personalidade); 2.FUNÇÕES MENTAIS ESPECÌFICAS (b140- funções da atenção, b147- Funções psicomotoras, b152- Funções emocionais, b156- Funções da perceção, b163- Funções cognitivas básicas, b164- Funções cognitivas de nível superior, b167- Funções mentais da linguagem 3. FUNÇÕES DA VOZ E DA FALA (b320- Funções da articulação, b330- Funções da fluência e do ritmo da fala). Numa segunda fase, foi solicitada a colaboração de duas co-investigadoras, com formação específica nas escalas utilizadas e na CIF-CJ, a aplicação da CIF nos mesmos domínios e funções. Estas observadoras não efetuaram observações diretas das crianças envolvidas. • Para efetuar a análise estatística e analisar a relação entre os qualificadores (0 a 4) das variáveis da CIF em estudo (b117, b122, b147, b163, b164, b167, b320 e b330) e os instrumentos psicométricos (escalas de Griffiths e WISC III), que constitui a primeira parte do estudo, recorreu-se à técnica estatística não paramétrica do coeficiente de correlação de Spearman, que quantifica a intensidade e sinal da eventual correlação existente entre as variáveis em estudo. • Para determinar as correlações referentes à segunda parte do estudo, foram utilizados os programas SPSS®, (IBM SPSS Statistics) e Statistica® (StatSoft, Inc., 2011). STATISTICA (data analysis software system, version 10. www.statsoft.com.), tendo-se dado preferência aos gráficos deste último. Resultados 1. Observou-se um predomínio do sexo masculino (relação de 1:1,9); relativamente à idade no momento de avaliação, 242 crianças (68,1%) tinham entre zero e seis anos e, dentro destas, a maioria (189) situava-se entre os três e os seis anos. 2. De acordo com a DSM-IV e DSM-5, 261 (73,4%) crianças apresentavam incapacidade intelectual ligeira. 3. A avaliação da competência intelectual pelas escalas de Ruth Griffiths e WISC III (QI), revelaram correlação negativa predominantemente forte e muito forte (índice de Spearman) com os qualificadores das funções do corpo estudadas (funções mentais, mentais específicas e da voz). Os resultados obtidos pela co-investigadora A foram sobreponíveis aos da investigadora principal. Os resultados obtidos pela co-investigadora B revelaram correlação negativa moderada e forte, correlação inferior à da investigadora principal; Conclusões Os resultados permitem inferir que as escalas de Ruth Griffiths e WISC-III são instrumentos adequados para caracterizar a incapacidade intelectual na CIF-CJ; a concordância inter-observador, moderada, nos qualificadores atribuídos nas funções em análise pela investigadora e co-investigadoras, permite concluir que as escalas de Ruth Griffiths e WISC IIIl são bons instrumentos para caracterizar os qualificadores nos domínios e funções estudados, por diferentes grupos de profissionais ligados à infância. Subsistem dificuldades na diferenciação entre qualificadores, designadamente entre os qualificadores 1 e 2, o que tem necessariamente implicações na elegibilidade das crianças para os apoios preconizados pelo DL 3/2008. ------------------------ ABSTRACT: Main objective • To determine the consistency of the use of assessment tools for intellectual ability - Griffiths and WISC III scales - in the context of domains and qualifiers for the ICF-CY, restricted to the mental functions of the body. Secondary objective • Studying the effectiveness and inter-observer concordance concerning the application of the ICF, based on the data recovered from the assessment made with the mentioned instruments, carried out by two independent observers including their perspective on health, education and social security. Methods • Observational, descriptive, cross-sectional and prospective study. • A convenience sample of 355 children was studied over a period of three years (May 2010 to April 2013), with a pathology in the area of pediatric neurodevelopment – intellectual disability (total of 4000 consultations, including first consultations and revaluations) were observed in the Development Centre (CD) in Hospital de Dona Estefânia (HDE), Centro Hospitalar de Lisboa Central, EPE (CHLC). • Inclusion criteria: children of both sexes aged ≥12 months and years ≤17 and intellectual disability defined according to the criteria in the DSM-IV-TR, DSM 5 and ICD-10. • Exclusion criteria: children with autism; specific language impairment, hyperactivity; attention deficit disorder; severe birth sensory deficits (eg, impaired vision and hearing); amongst other diagnoses for neurodevelopmental disorders. • The study was conducted in two phases: in the first phase the principal investigator collected or updated medical history, clinically observed children requesting additional investigations if she deemed necessary. Psychological evaluation was performed by a single, duly licensed clinical psychologist with extensive experience in the referred scales using the instruments described below. Based on data collected, either by direct observation or through the results of Griffiths scales and WISC - III, the researcher applied the ICF-CY confined to the following fields and functions (variables): 1. GLOBAL MENTAL FUNCTIONS (b110- functions of consciousness, b114- Functions referring to space and time orientation , b117 - intellectual functions, b122- global psychosocial functions, b125- intrapersonal functions, b126- functions related to temperament and personality); 2. SPECIFIC MENTAL FUNCTIONS ( b140- attention functions, b147-psychomotor functions, b152- Emotional functions, b156- perception functions, b163- basic cognitive functions and cognitive functions b164- top level b167- language related mental functions. ) 3. VOICE AND SPEECH FUNCTIONS (b320-articulation functions, b330- fluency and rhythm of speech functions). • In the second phase, two co-investigators, with specific training on the scales used and the ICF-CY have applied the ICF in the domains and functions mentioned above, based on the scales results. These co-investigators did not make any direct observation of the studied children. • To perform the statistical analysis and analyze the relationship between the qualifiers (0-4) of the variables in the ICF study (b117, b122, b147, B163, B164, b167, b320 and B330) and psychometric instruments (Griffiths scale and WISC III), which is the first part of the study, the statistical technique of non-parametric Spearman correlation coefficient was used, which quantifies the strength and sign of the possible correlation between the variables under study. • For submission of correlations related to the second part of the study, SPSS (IBM SPSS) and Statistica (StatSoft, Inc., 2011) programs were used. STATISTICA (data analysis software system, version 10 www.statsoft.com.). Preference was given to graphs computed in Statistica. Results • Male predominated (ratio of 1: 1.9). 242 children (68.1% of the sample) were aged between zero and six years and, among these, the majority (189) was aged largest number between three and six years. • According to the DSM-IV and DSM-5, 261 (73.4%) children had mild intellectual disability. The correlation between the assessment of intellectual competence by Ruth Griffiths scales and WISC III (QI), was predominantly negative strong and very strong correlation with the qualifiers of body functions studied (specific mental functions, mental and voice functions using Spearman index). The levels of correlation obtained by the co-investigatores were in agreeance with the results from the principal investigator. The results obtained by co-investigator B showed moderate to strong negative correlation, levels that were lower to the those registered by the principal investigator; Conclusions These results indicate that Ruth Griffiths and WISC-III scales are adequate tools to characterize intellectual disability in the ICF-CY; moderate inter-observer agreement in the qualifiers assigned the functions under analysis by the researcher and co-researchers, shows that the scales are also good tools to measure CIF qualifyers by diferent technicians with different professional orientations, related to children. However, there are still difficulties in differentiating qualifiers, namely between qualifiers 1/2 and 3/4, which necessarily has implications for the eligibility of children for the state support advocated by the Portuguese Decret Law 3/2008.

Graph usage in annual reports, evidence from Norwegian listed companies

As investors and other users of annual reports often focus their attention on graphs, it is important that they portray accurate and reliable information. However, previous studies show that graphs often distort information and mislead users. This study analyses graph usage in annual reports from the 52 most traded Norwegian companies. The findings suggest that Norwegian companies commonly use graphs, and that the graph distortions, presentational enhancement and measurement distortion, are present. No evidence of selectivity was found. This study recommends development of guidelines for graphical disclosure, and advises preparers and users of annual reports to be aware of misleading graphs.