Eficiência e concentração na indústria bancária

O objectivo deste trabalho é a análise da eficiência produtiva e dos efeitos da concentração sobre os custos bancários, tendo por base a indústria bancária portuguesa. O carácter multiproduto da empresa bancária sugere a necessidade de se adoptar formas multiproduto da função custo (tipo Fourier). Introduzimos variáveis de homogeneidade e de estrutura que permitem o recurso a formas funcionais uniproduto (Cobb-Douglas) à banca. A amostra corresponde a 22 bancos que operavam em Portugal entre 1995-2001, base não consolidada e dados em painel. Para o estudo da ineficiência recorreu-se ao modelo estocástico da curva fronteira (SFA), para as duas especificações. Na análise da concentração, introduziram-se variáveis binárias que pretendem captar os efeitos durante quatro anos após a concentração. Tanto no caso da SFA como no da concentração, os resultados encontrados são sensíveis à especificação funcional adoptada. Concluindo, o processo de concentração bancário parece justificar-se pela possibilidade da diminuição da ineficiência-X.

Vir sapiens dominabitur astris: astrological knowledge and practices in the Portuguese medieval court (king João I to king Afonso V)

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em História Medieval

A framework for using real data with distributed low cost sensors

Currently, due to the widespread use of computers and the internet, students are trading libraries for the World Wide Web and laboratories with simulation programs. In most courses, simulators are made available to students and can be used to proof theoretical results or to test a developing hardware/product. Although this is an interesting solution: low cost, easy and fast way to perform some courses work, it has indeed major disadvantages. As everything is currently being done with/in a computer, the students are loosing the “feel” of the real values of the magnitudes. For instance in engineering studies, and mainly in the first years, students need to learn electronics, algorithmic, mathematics and physics. All of these areas can use numerical analysis software, simulation software or spreadsheets and in the majority of the cases data used is either simulated or random numbers, but real data could be used instead. For example, if a course uses numerical analysis software and needs a dataset, the students can learn to manipulate arrays. Also, when using the spreadsheets to build graphics, instead of using a random table, students could use a real dataset based, for instance, in the room temperature and its variation across the day. In this work we present a framework which uses a simple interface allowing it to be used by different courses where the computers are the teaching/learning process in order to give a more realistic feeling to students by using real data. A framework is proposed based on a set of low cost sensors for different physical magnitudes, e.g. temperature, light, wind speed, which are connected to a central server, that the students have access with an Ethernet protocol or are connected directly to the student computer/laptop. These sensors use the communication ports available such as: serial ports, parallel ports, Ethernet or Universal Serial Bus (USB). Since a central server is used, the students are encouraged to use sensor values results in their different courses and consequently in different types of software such as: numerical analysis tools, spreadsheets or simply inside any programming language when a dataset is needed. In order to do this, small pieces of hardware were developed containing at least one sensor using different types of computer communication. As long as the sensors are attached in a server connected to the internet, these tools can also be shared between different schools. This allows sensors that aren't available in a determined school to be used by getting the values from other places that are sharing them. Another remark is that students in the more advanced years and (theoretically) more know how, can use the courses that have some affinities with electronic development to build new sensor pieces and expand the framework further. The final solution provided is very interesting, low cost, simple to develop, allowing flexibility of resources by using the same materials in several courses bringing real world data into the students computer works.

Uma formação útil para a literacia no novo contexto de Bolonha

A Declaração de Bolonha (1999) obrigou a mudanças várias, reconfigurando os modelos formativos no espaço europeu do ensino superior, até 2010. A partir de 2006, em Portugal, com a criação e adequação dos cursos superiores existentes ao modelo de Bolonha, verificou-se uma generalizada redução da duração média dos diferentes ciclos de estudo e a definição de competências gerais e específicas para os cursos e estudantes. Reflecte-se sobre a importância da literacia da informação, conceito evolutivo e abrangente, que se pode traduzir, sumariamente, em saber quando e porquê se tem uma necessidade informacional, onde encontrar a informação, como avaliá-la, usá-la e comunicá-la de forma ética, incluindo as competências tecnológicas, definição que se inscreve na interdisciplinar Ciência da Informação e no comportamento informacional. Destaca-se a vantagem de uma formação para a literacia da informação no ensino superior, a qual contribuirá, certamente, para dotar os estudantes das referidas competências e melhorá-las. Defende-se a necessidade de uma desejável inter-acção entre múltiplos agentes educativos, com destaque para a trilogia estudantes, bibliotecários e professores, sendo os primeiros encarados como protagonistas activos das suas aprendizagens e devendo ser dotados de competências de literacia da informação, factor determinante para o seu sucesso. Quanto ao Bibliotecário, dotado de novas competências, entre as quais as tecnológicas, deve ser um facilitador do processo de formação para a literacia - preferencialmente integrada num projecto pedagógico e no currículo - articulando a sua acção educativa com estudantes e docentes. Corroborando a extensão educativa das Bibliotecas e aliando-a ao uso inevitável das novas tecnologias da informação e comunicação, sublinha-se o papel das Bibliotecas Digitais, que podem corresponder eficientemente aos anseios dos utilizadores no acesso a uma informação de qualidade, de forma cómoda, rápida, a baixo custo, com personalização dos serviços online, com inter-acção e socialização, através de ferramentas de edição colaborativa, típicas da Web 2.0.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Partial Rhombencephalosynapsis.

Clinical history - A 4-year-old boy, born prematurely at 29 weeks (twin pregnancy), with periventricular leukomalacia and epilepsy underwent brain MRI. Neurological examination showed severe developmental retardation with axial hypotonia, spastic tetraparesis and convergent strabismus. Imaging findings - Cranial MRI revealed typical aspects of partial rhombencephalosynapsis with vermian hypoplasia, midline fusion of the cerebellar hemispheres and transversely oriented folia and fissures. There was also mild dilatation and dysmorphism of the ventricular system, the septum pellucidum was absent, the hippocampi were malrotated and had vertical orientation and additional finding of associated periventricular cystic leukomalacia. Discussion - Rhombencephalosynapsis (RS) is a rare congenital defect of the cerebellum classically characterised by vermian agenesis or hypogenesis, fusion of the hemispheres, and closely apposed or fused dentate nuclei. It is now considered to result from an absence of division of the cerebellar hemispheres, following an insult between the 28th and 44th day of gestation (i.e., before the formation of the vermis). Other features have also been described such as fusion of the thalami and cerebral peduncles, malrotated hippocampi, corpus callosum agenesis, hypoplastic chiasm, absence of the septum pellucidum, ventriculomegaly, agenesis of the posterior lobe of the pituitary and cortical malformations. Musculoskeletal, cardiovascular, urinary tract, and respiratory abnormalities have been reported. Typical symptoms consist of swallowing difficulties, delayed motor acquisitions, muscular hypotonia, spastic quadriparesis, cerebellar signs including dysarthria, gait ataxia, abnormal eye movements, and seizures and hydrocephalus. The major MRI signs consist of fused cerebellar hemispheres, with absent or hypoplastic vermis, narrow diamond-shaped fourth ventricle and fused dentate nuclei. In a minority of cases, partial RS has been identified by MRI, demonstrating the presence of the nodulus and the anterior vermis and absence of part of the posterior vermis with only partial fusion of the hemispheres in the inferior part. Other cerebellar malformations involving vermian agenesis or hypoplasia include the Dandy–Walker continuum, Joubert syndrome, tectocerebellar dysraphy or pontocerebellar hypoplasias, and are now easily distinguished from RS by both brain MRI and morphology.

Long-term biosignals visualization and processing

Thesis submitted in the fulfillment of the requirements for the Degree of Master in Biomedical Engineering

Criação de valor em fusões e aquisições horizontais

O aumento verificado nos últimos anos em fusões e aquisições (F&A) resulta da opção dos gestores para fazer face ao aumento da pressão competitiva e ou à necessidade de crescimento rápido. A literatura sobre os efeitos dos processos de F&A é diversificada e as conclusões são contraditórias. Neste trabalho pretendemos verificar se o processo de F&A se traduz na criação de valor para o acionista da empresa adquirente. Como métrica de avaliação utilizamos o método de análise dos fluxos de caixa atualizados ou o Discounted Cash-Flow (DCF). Para o efeito efetuamos um estudo de caso que vai incidir sobre uma empresa seguradora portuguesa – A Lusitania Companhia de Seguros, S.A. – que recentemente adquiriu, por fusão por incorporação, a Real Seguros, S.A. Efetuamos uma análise de natureza quantitativa através dos dados do relatório e contas e encontramos evidência de que o desempenho diminuiu após a transação.

Viva@Matemática project: a different way to see math

Viva@Mat is a project developed by four Math teachers from the School of Industrial Studies and Management (ESEIG) that was born with the fundamental objective of engaging ESEIG students with different math backgrounds in Math challenging activities. Some of these activities were transformed into real palpable materials and others into small interactive ones, being the great majority of them proposed by ESEIG’ students themselves. This small project rapidly grew into something we didn’t expect – it did flow over the walls of our institution to the general involving community – specifically to pre-university schools through the Viva@Math Exhibits – Orange, Blue and Green (the fourth, the Purple one is still in development). Nowadays, Viva@Math Exhibits – the public face of the Project – are itinerant and have been travelling between several, and different institutions (pre-university schools, preparatory schools, libraries, among others), around ESEIG and IPP area of influence and having registered visitors/participants of all ages. In this article we will describe the Viva@Math Project, its different activities that are categorized in some “great groups” like Numerical Trivia, Logic Activities and Mental Calculation, Puzzles, Geometric Curiosities, Magic Tricks, among others, designed to challenge students to use the underlying logical-mathematical reasoning to any ordinary and everyday activity. We will give specific and concrete examples of some of the activities developed and, also, reproduce of the general stimulating feedback the Project receives from the enrolled “actors” (teachers, students and their relatives, institutions, among others). We feel that this Project has become a small “bridge” between the pre-university schools and Higher Education Institutions (HEI), in trying to shorten the “gap” between the institutions of different levels of education and bring them to work together.

Avaliação dos mecanismos de concorrência na API do Java 8

As plataformas com múltiplos núcleos tornaram a programação paralela/concorrente num tópico de interesse geral. Diversos modelos de programação têm vindo a ser propostos, facilitando aos programadores a identificação de regiões de código potencialmente paralelizáveis, deixando ao sistema operativo a tarefa de as escalonar dinamicamente em tempo de execução, explorando o maior grau possível de paralelismo. O Java não foge a esta tendência, disponibilizando ao programador um número crescente de bibliotecas de mecanismos de sincronização e paralelização de código. Neste contexto, esta tese apresenta e discute um conjunto de resultados obtidos através de testes intensivos à eficiência de algoritmos de ordenação implementados com recurso aos mecanismos de concorrência da API do Java 8 (Threads, Threadpools, ExecutorService, CountdownLach, ExecutorCompletionService e ForkJoinPools) em sistemas com um número de núcleos variável. Para cada um dos mecanismos, são apresentadas conclusões sobre o seu funcionamento e discutidos os cenários em que o seu uso pode ser rentabilizado de modo a serem obtidos melhores tempos de execução.

Algorithmic skeleton framework for the orchestration of GPU computations

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

Frameworks e Bibliotecas Javascript

This report describes a study based on a research and evaluation of platforms (JavaScript frameworks and libraries carried out under the discipline of Tese/Dissertação/Estágio in the Master Degree Computer Science - area of expertise in Arquitecturas Sistemas e Redes, in Instituto Superior de Engenharia do Porto (ISEP). The JavaScript language is increasingly present in the development of software and particularly software for the web environment. For this reason there is a need to investigate the issue, as the platforms that are emerging in the market have a very low level of maturity compared to existing, it is crucial to identify the main differences so that we can save time, labor and other costs in research and experimentation developers. This project aims to inform a range of platforms and existing JavaScript libraries on the market. For further investigation, a study of use cases used at this point in the market was held. To assist the work were used qualitative research methods through the existing content of research related to the area, and quantitative research methods. It was thus conducted a survey sent via email to fifty regular users of the language, platforms, and JavaScript libraries, linking the functional and non-functional characteristics of the platforms and existing use cases in the market, in order to realize what is the use of these tools in his professional life. This study allowed developers to access information that will be compared and evaluated in order to achieve a more precise evaluation of the various analyzed platforms. It was also made an evaluation of adaptation of the various platforms to the various use cases.

People and object tracking for video annotation

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

Corporate social responsibility and its effect on image and reputation: The case of L’Oréal and its acquisition of The Body Shop

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Acquisition of Carrefour-Portugal by Sonae Distribuição

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics