Spectrum-based energy leak localization

Dissertação de Mestrado em Engenharia Informática

Integrated management systems: A model for maturity assessment

Maturity models are adopted to minimise our complexity perception over a truly complex phenomenon. In this sense, maturity models are tools that enable the assessment of the most relevant variables that impact on the outputs of a specific system. Ideally a maturity model should provide information concerning the qualitative and quantitative relationships between variables and how they affect the latent variable, that is, the maturity level. Management systems (MSs) are implemented worldwide and by an increasing number of companies. Integrated management systems (IMSs) consider the implementation of one or several MSs usually coexisting with the quality management subsystem (QMS). It is intended in this chapter to report a model based on two components that enables the assessment of the IMS maturity, considering the key process agents (KPAs) identified through a systematic literature review and the results collected from two surveys.

O tráfico de seres humanos na formação da polícia em Angola: o direito europeu como referência comparativa

Relatório de atividade profissional de mestrado em Direito da União Europeia

As políticas tecnológicas para a educação e a literacia digital: o caso do programa governamental ‘e.escolinha’

Em 2008, o Governo português anunciou a iniciativa ‘e.escolinha’ que contemplou a distribuição de computadores ‘Magalhães’ aos alunos do 1º ciclo do ensino básico, durante três anos letivos consecutivos. Atualmente suspenso, o programa foi bandeira do XVII Governo Constitucional, liderado por José Sócrates, mas alvo de controvérsias por parte da oposição política e da comunidade escolar, sobretudo pela aparente tónica no acesso à tecnologia em vez de uma maior preocupação com a formação e as práticas pedagógicas. Ao abrigo do Plano Tecnológico da Educação, o ‘e.escolinha’ inseria-se numa política mais ampla para o desenvolvimento de uma economia competitiva e dinâmica, através das metas estabelecidas pela União Europeia na Estratégia de Lisboa 2000. A iniciativa foi apresentada ao país com objetivos ambiciosos, no que diz respeito às esperadas mudanças ao nível das práticas pedagógicas dos professores, do processo de aprendizagem das crianças e do sucesso escolar em geral. Porém, a face mais visível da política, embora possa compreender outros matizes, poderá ter ficado reduzida à questão do acesso, apostando pouco nas outras dimensões da literacia digital. Com base em entrevistas realizadas a atores-chave envolvidos no processo de conceção e implementação do ‘e.escolinha’, e nos documentos oficiais que enquadram o programa, o presente artigo pretende dar a conhecer a forma como decisores políticos e empresas enunciam e avaliam os objetivos desta iniciativa. Pretende-se, em particular, conhecer se partilham a ideia de uma deriva tecnológica desta medida governamental ou se entreveem, na mesma, objetivos de literacia digital. Este trabalho decorre do projeto de investigação “Navegando com o Magalhães: Estudo sobre o Impacto dos Media Digitais nas Crianças”, em curso no Centro de Estudos de Comunicação e Sociedade da Universidade do Minho, financiado pela Fundação para a Ciência e Tecnologia ((PTDC/CCI-COM/101381/2008) ) e co-financiado pelo FEDER (COMPETE: FCOMP-01-0124-FEDER-009056).

Modelos de regressão multinível no estudo do desempenho escolar

Dissertação de mestrado em Estatística

Mostrar a ciência: potenciar a divulgação de investigação académica na Internet através dos audiovisuais

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Audiovisual e Multimédia)

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.

Recent brazilian experience on farmer reaction and crop response to fertilizer use

(1) In the period 1965/77 fertilizer consumption in Brazil increased nearly fifteen foild from circa 200,000 tons of N + P2O5 + K2O to 3 million tons. During the fifteen years extending from 1950 to 1964 usage of the primary macronutrients was raised by a factor of 2 only. (2) Several explanations are given for the remarkable increase, namely: an experimental background which supplied data for recommendations of rates, time and type of application; a convenient governmental policy for minimum prices and rural credit; capacity of the industry to meet the demand of the fertilizer market; an adequate mechanism for the diffusion of the practice of fertilizer use to the farmer. (3) The extension work, which has caused a permanent change in the aptitude towards fertilization, was carried out in the traditional way by salesmen supported by a technical staff, as well as by agronomists of the official services. (4) Two new programs were started and conducted in a rather short time, both putting emphasis on the relatively new technology of fertilizer use. (5) The first program, conducted in the Southern part of the country, extended lab and green house work supplemented by a few field trials to small land owners - the so called "operação tatú" (operation armadillo). (6) The seconde program, covering a larger problem area in the Northeast and in Central Brazil, began directly in field as thousands of demonstrations and simple experiments with the participation of local people whose involvement was essential for the success of the initiative; in this case the official extension services, both foreign and national sources of funds, and universities did participate under the leadership of the Brazilian Association for the Diffusion of Fertilizers (ANDA). (7) It is felt that the Brazilian experience gained thereof could be useful to other countries under similar conditions.

Energy policies for rural electrification: a social multi-criteria evaluation approach

In this article, a real-world case- study is presented with two general objectives: to give a clear and simple illustrative example of application of social multi-criteria evaluation (SMCE) in the field of rural renewable energy policies, and to help in understanding to what extent and under which circumstances solar energy is suitable for electrifying isolated farmhouses. In this sense, this study might offer public decision- makers some insight on the conditions that favour the diffusion of renewable energy, in order to help them to design more effective energy policies for rural communities.

Creating and using a non-dedicated HPC cluster with ParallelKnoppix

This note describes ParallelKnoppix, a bootable CD that allows econometricians with average knowledge of computers to create and begin using a high performance computing cluster for parallel computing in very little time. The computers used may be heterogeneous machines, and clusters of up to 200 nodes are supported. When the cluster is shut down, all machines are in their original state, so their temporary use in the cluster does not interfere with their normal uses. An example shows how a Monte Carlo study of a bootstrap test procedure may be done in parallel. Using a cluster of 20 nodes, the example runs approximately 20 times faster than it does on a single computer.

PIM place & ghost application

Actualment, el Servei d'Informàtica de l'Escola d'Enginyeries (SIEE) s'enfronta a dos problemes: l'augment del nombre d'alumnes, mantenint el mateix número d'ordinadors per fer les pràctiques i, d'altra banda, el també creixent nombre d'aplicacions que s'han desenvolupat i es desenvolupen per resoldre les necessitats generades pels mateixos alumnes. Aquest projecte neix amb la voluntat de solucionar aquests problemes, creant per un costat un aula de màquines virtuals i per altra banda crear un aplicatiu web, que servirà de framework i contenidor de futures aplicacions, on es pugui connectar de manera senzilla amb les màquines virtuals.

Una infraestructura de metadades bibliogràfiques pel segle XXI

Aquest article tracta l'actual infraestructura bibliogràfica de les biblioteques que va ser creada en els inicis dels ordinadors – abans de la Web, XML, i de la varietat d'altres avenços tecnològics que en l'actualitat ofereixen noves oportunitats. Per una banda, s'identifiquen els requisits generals d'una infraestructura de metadades moderna per a les biblioteques incloent qualitats com: versatilitat, extensibilitat, granularitat i accessibilitat. Per l'altra banda, es proposa un nou tipus d'infraestructura de metadades que mostra, com a mínim, alguna d'aquestes qualitats. S'han identificat alguns temes clau que caldrà superar per tal d'implementar un canvi d'aquesta magnitud.

Promoting hospital-based smoking cessation services at major Swiss hospitals: a before and after study.

Whether a 1-year nationwide, government supported programme is effective in significantly increasing the number of smoking cessation clinics at major Swiss hospitals as well as providing basic training for the staff running them. We conducted a baseline evaluation of hospital services for smoking cessation, hypertension, and obesity by web search and telephone contact followed by personal visits between October 2005 and January 2006 of 44 major public hospitals in the 26 cantons of Switzerland; we compared the number of active smoking cessation services and trained personnel between baseline to 1 year after starting the programme including a training workshop for doctors and nurses from all hospitals as well as two further follow-up visits. At base line 9 (21%) hospitals had active smoking cessation services, whereas 43 (98%) and 42 (96%) offered medical services for hypertension and obesity respectively. Hospital directors and heads of Internal Medicine of 43 hospitals were interested in offering some form of help to smokers provided they received outside support, primarily funding to get started or to continue. At two identical workshops, 100 health professionals (27 in Lausanne, 73 in Zurich) were trained for one day. After the programme, 22 (50%) hospitals had an active smoking cessation service staffed with at least 1 trained doctor and 1 nurse. A one-year, government-supported national intervention resulted in a substantial increase in the number of hospitals allocating trained staff and offering smoking cessation services to smokers. Compared to the offer for hypertension and obesity this offer is still insufficient.

RADIC II: a fault tolerant architecture with flexible dynamic redundancy

The demand for computational power has been leading the improvement of the High Performance Computing (HPC) area, generally represented by the use of distributed systems like clusters of computers running parallel applications. In this area, fault tolerance plays an important role in order to provide high availability isolating the application from the faults effects. Performance and availability form an undissociable binomial for some kind of applications. Therefore, the fault tolerant solutions must take into consideration these two constraints when it has been designed. In this dissertation, we present a few side-effects that some fault tolerant solutions may presents when recovering a failed process. These effects may causes degradation of the system, affecting mainly the overall performance and availability. We introduce RADIC-II, a fault tolerant architecture for message passing based on RADIC (Redundant Array of Distributed Independent Fault Tolerance Controllers) architecture. RADIC-II keeps as maximum as possible the RADIC features of transparency, decentralization, flexibility and scalability, incorporating a flexible dynamic redundancy feature, allowing to mitigate or to avoid some recovery side-effects.

Recepción y difusión internacionales de Mercè Rodoreda: obra original, crítica y traducción

RESUM Recepción y difusión internacionales de Mercè Rodoreda: obra original, crítica y traducción té per objecte determinar la recepció i la difusió de l’obra original de Mercè Rodoreda, així com de l’obra crítica i de les traduccions, en el context internacional a partir de la interpretació de quatre bases de dades: obra literària de Mercè Rodoreda, obra crítica de Mercè Rodoreda i la seva obra, traductors i traduccions en funció de la llengua i de l’obra i, per últim, presència documental de Mercè Rodoreda a les Biblioteques Nacionals del món. El treball de recerca s’estructura de la següent manera. En primer lloc, plantegem i delimitem el tema, els objectius, la metodologia i la descripció de les bases de dades. Acte seguit, interpretem les bases de dades i exposem algunes consideracions. A continuació, presentem les conclusions finals que hem desenvolupat en cadascun dels àmbits en els que se centra la nostra recerca, així com el projecte de tesi doctoral i les noves línies de recerca. Per últim, exposem la bibliografia i els annexes, en els que incloem les bases de dades i reproduim els estudis traductològics comentats en el treball. Amb l’elaboració d’aquest treball de recerca pretenem, entre d’altres, donar a conèixer els gèneres literaris que va cultivar Mercè Rodoreda; recopilar l’obra crítica al voltant de l’autora i distingir la seva temàtica per determinar el nombre d’estudis crítics sobre traducció; identificar quins títols de l’obra de Mercè Rodoreda s’han traslladat a altres llengües, així com confirmar quina és l’obra més traduïda i quines les llengües a les que s’ha traslladat la seva obra; i, per últim, constatar la presència d’obres originals, estudis crítics i traduccions a les Biblioteques Nacionals del món i identificar-ne les possibles àrees d’expansió.