Internationalization plan of NMusic to Angola

Field lab: Entrepreneurial and innovative ventures

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Practices and trends of telework in the Portuguese industry: the results of surveys in the textile, metal and software sectors

The aim of the TeleRisk Project on labour relations and professional risks within the context of teleworking in Portugal – supported by IDICT – Institute for Development and Inspection of Working Conditions (Ministry of Labour), is to study the practices and forms of teleworking in the manufacturing sectors in Portugal. The project chose also the software industry as a reference sector, even though it does not intend to exclude from the study any other sector of activity or the so-called “hybrid” forms of work. However, the latter must have some of the characteristics of telework. The project thus takes into account the so-called “traditional” sectors of activity, namely textile and machinery and metal engineering (machinery and equipment), not usually associated to this type of work. However, telework could include, in the so-called “traditional” sectors, other variations that are not found in technologically based sectors. One of the evaluation methods for the dynamics associated to telework consisted in carrying out surveys by means of questionnaires, aimed at employers in the sectors analysed. This paper presents some of the results of those surveys. It is important to mention that, being a preliminary analysis, it means that it does not pretend to have exhausted all the issues in the survey, but has meant that it shows the bigger tendencies, in terms of teleworking practices, of the Portuguese industry.

Change Processes and Future Perspectives in the Knowledge Society. The Example of Clothing and Textile Industry

The paper examines change processes und future perspectives in the knowledge society. It presents the clothing and textile industry as an example for a transforming industry in a global economy. The paper reviews existing future studies, which have surveyed change processes and future developments in the clothing and textile industry. Main goals of the review are the identification of changes in work and the description of the restructuring of global value chains within the clothing and textile sector. The paper also highlights major current trends, drivers of change and future prospects in this sector.

Futures of automobile industry and challenges on sustainable development and mobility

Portugal had only very few foresight exercises on the automobile sector, and the most recent one was a survey held in a project on work organisation systems in the automobile industry, its recent historical paths and the special strategies of location of companies (the WorTiS project). This involved several teams with different disciplinary backgrounds and from two Portuguese universities. The provisional main results of the first round of a Delphi survey held in Portugal on the automotive sector were already published, but a further analysis was not yet done. This foresight survey was done under the WorTiS project, developed in 2004 by IET – Research Centre on Enterprise and Work Innovation (at FCT-UNL), and financed by the Portuguese Ministry of Science and Technology. Some of this experience on foresight analysis is also been transferred to other projects, namely the WORKS project on work organisation restructuring in the knowledge society that received the support from EC and still is running. The majority of experts considered having an average of less knowledge in almost all the scenario topics presented. This means that information on the automotive industry is not spread enough among academics or experts in related fields (regional scientists, innovation economists, engineers, sociologists). Some have a good knowledge but in very specialised fields. Others have expertise on foresight, or macroeconomics, or management sciences, but feel insecure on issues related with futures of automobile sector. Nevertheless, we considered specially the topics where the experts considered themselves to have some knowledge. There were no “irrelevant” topics considered as such by the expert panel. There are also no topics that are not considered a need for co-operation. The lack of technological infrastructures was not considered as a hindered factor for the accomplishment of any scenario. The experts’ panel considered no other international competence besides US, Japan or Germany in these topics. Special focus will be made in this paper on the topic 2. Public policy and automobile industries, and more specifically on the technological and/or research policies issues, where one can specify the automobile’s role in transport policies with further implications like environment, safety, energy, mobility.

Sistema de transmissão rádio UWB para amplificação digital de áudio com modulação sigma-delta

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Culturtainment - a new interactive entertainment genre: assessment of Cultural Heritage digital content in leisure software games

European Master in Multimedia and Audiovisual Administration

ECO@GRO Digital: Uma ferramenta WebGIS de apoio na consultadoria e gestão agro-florestal

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Direito de Autor, intimidade privada e ambiente digital: reflexões sobre a cópia privada de obras intelectuais

Araucaria. Revista Iberoamericana de Filosofia, Política y Humanidades - Año 9, Nº 18, Segundo semestre de 2007

The simple economics of risk-sharing agreements between the NHS and the pharmaceutical industry

The Janssen-Cilag proposal for a risk-sharing agreement regarding bortezomib received a welcome signal from NICE. The Office of Fair Trading report included risk-sharing agreements as an available tool for the National Health Service. Nonetheless, recent discussions have somewhat neglected the economic fundamentals underlying risk-sharing agreements. We argue here that risk-sharing agreements, although attractive due to the principle of paying by results, also entail risks. Too many patients may be put under treatment even with a low success probability. Prices are likely to be adjusted upward, in anticipation of future risk-sharing agreements between the pharmaceutical company and the third-party payer. An available instrument is a verification cost per patient treated, which allows obtaining the first-best allocation of patients to the new treatment, under the risk sharing agreement. Overall, the welfare effects of risk-sharing agreements are ambiguous, and care must be taken with their use.

Digital-domain self-calibration technique for video-rate pipeline A/D converters using Gaussian white noise

Electronics Letters Vol.38, nº 19

DIGRA (Digital Graffiti) um protótipo de apoio à realização de percursos topográficos

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Detecção de incêndios nocturnos através de processamento digital de imagem

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para o grau de Mestre em Engenharia Electrotécnica e Computadores

Cork stoppers industry: defining appropriate mould colonization

Aims: The main aims of this work were the study of cork slabs moulds colonization and the evaluation of the moulds diversity during cork processing steps, in different cork stoppers factories. Simultaneously, it was envisaged to perform an evaluation of the air quality. Methods and Results: Moulds were isolated and identified from cork slabs and cork samples in four cork stoppers factories. The identification was based on morphological characters and microscopic observation of the reproductive structures. Airborne spore dispersion was assessed using a two stage Andersen sampler. It was observed that Chrysonilia sitophila was always present on cork slabs during the maturing period, but mould diversity appeared to be associated to the different factory configurations and processing steps. Conclusions: Spatial separation of the different steps of the process, including physical separation of the maturation step, is essential to guarantee high air quality and appropriate cork slabs colonization, i.e. C. sitophila dominance. The sorting and cutting of the edges of cork slabs after boiling and before the maturing step is also recommended. Significance and Impact of the Study: This study is very important for the cork stopper industry as it gives clear indications on how to keep high quality manufacturing standards and how to avoid occupational health problems.