Para uma pedagogia das literacias: das conceções e práticas docentes aos conceitos e competências discentes. Um estudo da aula de língua portuguesa no 2º ciclo do ensino básico

Tese de Doutoramento em Ciências da Educação (Especialidade em Literacias e Ensino do Português)

Hand gesture recognition system based in computer vision and machine learning: Applications on human-machine interaction

Tese de Doutoramento em Engenharia de Eletrónica e de Computadores

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Factoriality and the pin-reutenauer procedure

We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of the Pin-Reutenauer descriptive procedure for the closure of a rational language in the free group with respect to the profinite topology holds for the pseudovariety of all finite semigroups. As an application, we establish that a pseudovariety enjoys this property if and only if it is full.

Benchmarking therapeutic drug monitoring software: A review of available computer tools

Therapeutic drug monitoring (TDM) aims to optimize treatments by individualizing dosage regimens based on the measurement of blood concentrations. Dosage individualization to maintain concentrations within a target range requires pharmacokinetic and clinical capabilities. Bayesian calculations currently represent the gold standard TDM approach but require computation assistance. In recent decades computer programs have been developed to assist clinicians in this assignment. The aim of this survey was to assess and compare computer tools designed to support TDM clinical activities. The literature and the Internet were searched to identify software. All programs were tested on personal computers. Each program was scored against a standardized grid covering pharmacokinetic relevance, user friendliness, computing aspects, interfacing and storage. A weighting factor was applied to each criterion of the grid to account for its relative importance. To assess the robustness of the software, six representative clinical vignettes were processed through each of them. Altogether, 12 software tools were identified, tested and ranked, representing a comprehensive review of the available software. Numbers of drugs handled by the software vary widely (from two to 180), and eight programs offer users the possibility of adding new drug models based on population pharmacokinetic analyses. Bayesian computation to predict dosage adaptation from blood concentration (a posteriori adjustment) is performed by ten tools, while nine are also able to propose a priori dosage regimens, based only on individual patient covariates such as age, sex and bodyweight. Among those applying Bayesian calculation, MM-USC*PACK© uses the non-parametric approach. The top two programs emerging from this benchmark were MwPharm© and TCIWorks. Most other programs evaluated had good potential while being less sophisticated or less user friendly. Programs vary in complexity and might not fit all healthcare settings. Each software tool must therefore be regarded with respect to the individual needs of hospitals or clinicians. Programs should be easy and fast for routine activities, including for non-experienced users. Computer-assisted TDM is gaining growing interest and should further improve, especially in terms of information system interfacing, user friendliness, data storage capability and report generation.

Sistema integral de facturación y fabricación para una empresa de manufacturas metalúrgicas

L'objectiu d'aquest projecte és fer l'anàlisi i el disseny d'un sistema informàtic que gestioni de manera integral la facturació i els estocs de l'empresa García Escalera SL.

Avaluació de l'estàndard SQL : 1999 respecte les característiques orientades a l'objecte que suporta i la seva implementació als SGBD object-relacional

En aquest treball s'intenta fer una síntesi de les especificacions aportades per l'estàndard definit com a SQL: 1999, tot analitzant les ampliacions que fan referència a la nova orientació a l'objecte i a la incorporació de l'herència com a principal element diferenciador.

Projecte Matic : Una eina d' ensenyament assistit per ordinador via internet

El projecte Matic vol crear un entorn d'EAO apte per a treballar qualsevol contingut acadèmic i personalitzat per a cada estudiant, seguint les directrius marcades pel professor, que en podrà fer el seguiment acadèmic.

Xat segur

L'objectiu d'aquest treball de final de carrera és crear un programari de missatgeria instantània deslligada de qualsevol servidor, de manera que cada usuari tingui un programa client/servidor amb el qual pugui rebre 'trucades' o fer-ne, en aquest últim cas indicant prèviament l'adreça IP del destinatari.

Avaluació de l'estàndard SQL : 1999 respecte les característiques orientades a l'objecte que suporta i la seva implementació als SGBD object-relational

L'objectiu és estudiar les característiques orientades a l'objecte de l'estàndard SQL: 1999 i posar-les a prova amb un producte comercial que les suporti.

Disseny d'un sistema de log genèric per a la implementació de sistemes operacionals.

Aquest projecte permetrà aprofundir en el coneixement de l'estructura de funcionament del PL/SQL d'Oracle (crides a procediments i, especialment, tractament d'excepcions), en la utilització de JDBC com a mecanisme de comunicació entre JAVA i Oracle, i en l'ús de les classes de generació d'interfícies gràfiques d'usuari (swing) i, a més, permetrà posar en pràctica funcionalitats d'Oracle que no havia tingut oportunitat d'emprar, com ara tipus genèrics de dades, objectes persistents o transaccions autònomes.

Diseño de un Sistema Operacional

Aquest treball de final de carrera permet aprofundir en els coneixements en la gestió de projectes informàtics, el disseny de sistemes i procediments SQL i la definició de jocs de proves. La recerca de solucions com ara l'aplicació de la generació de dades aleatòries i el disseny d'una base de dades consistent han estat les meves principals aportacions en aquest projecte.

Implementació d'un esquema criptogràfic per gestionar de forma segura els historials mèdics dels pacients a través d'una xarxa de comunicacions

L'objectiu d'aquest TFC és dissenyar i implementar un gestor d'historial mèdics de pacients segur a través d'una xarxa de comunicacions que garanteixi la privadesa, la integritat, el no-repudi i l'autenticitat.

Disseny i implementació d'una base de dades relacional per a un concessionari de vehicles

TFC de l'àrea de Base de dades del segon cicle d'Enginyeria Informàtica basat en el disseny i la implementació d'una base de dades relacional per a un concessionari de vehicles.