An interactive state monad example

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Capital Intelectual: sua divulgação no setor bancário em Portugal

The importance of intangible resources has increased dramatically in recent years comparing to tangible ones. The economy in which we live is the result of competitive pressures that have imposed the implementation of business at an international level as well as a requirement in the application of sophisticated technologies that allow us to follow this fast evolution. In this age of information and innovation organizations will only survive if they are inserted in a global network of strategic relations, generically called as the network economy by Lev (2003). The service sector has stood out against the more traditional sectors of the economy. The intensive use of knowledge and a strong customer orientation created a new reality in today’s organizations: a growing importance attached to innovation, to the quality of products and services offered, to the information and communication technologies adopted, and to the creativity and particular abilities of human resources. The concept of intangible assets is more common in an accounting language and intellectual capital is most often applied in the context of management, being associated with a more comprehensive, multidimensional approach, representing all the knowledge that the institution owns and that it applies in the form of expertise, the creativity and organizational competencies that lead to innovation and to the sustained attainment of future economic benefits. An analysis of the scope of intellectual capital is fundamental to take more appropriate management decisions so that a more appropriate accounting treatment could be given by the accounting standardization organizations. This study intends to analyse the practices of information disclosure of the intellectual capital in the banking sector in Portugal, complementing the analysis of the disclosure of intangible assets in the context of accounting standards with the disclosure of intellectual capital in the context of organizational management. In particular, our main aims are to identify the extent of disclosure of intellectual capital made by banks in Portugal and also to identify the factors that determine such a disclosure. The disclosure in the context of accounting standards will be studied by checking the disclosure of intangible assets through the items listed in the International Accounting Standard 38 developed by the International Accounting Standards Board. The context of management was analysed by means of creating a voluntary disclosure index based on assumptions of the model Intellectus, developed by the Centro de Investigación sobre la Sociedad del Conocimiento – Instituto de Administración de Empresas (CIC-IADE) of the Universidad Autónoma of Madrid, and of the model Intellectual Capital Statement (made in Europe) (InCaS), both promoted by the European Commission and that we have adapted to the banking sector. When analysing the disclosure of intangible assets based on the context of accounting standards and the voluntary disclosure of intellectual capital, this study has tried to raise awareness about the importance of issuing reports on the intellectual capital as an alternative tool to take management decisions in the existing organizations and reflects the transparency and legitimacy that these institutions seek through a more extensive and more detailed information disclosure of their intellectual capital. Based on a complimentarily of economic theories, together with social and political theories, we tried to check the extent, evolution and tendencies of the compulsory disclosure of intangible assets and of the voluntary disclosure of the intellectual capital analysed in the period 2001-2011. Banks characteristics were also analysed in order to deduce those factors that determine or promote a larger disclosure in this sector. Based on these objectives, we adopted a longitudinal approach to explore the extent and the development of the disclosure of intangible assets as well as the factors that have determined it. Furthermore, we sought to assess the impact of the adoption of IAS 38 in the financial statements of the organizations in this sector. The disclosure index created on the basis of the disclosure requirements stated in IAS 38 from IASB was applied to the consolidated financial statements of the seventeen banks that rendered their statements in Portugal from 2001 to 2009. Since the information disclosed in the context of accounting standards may not have an important role as a management tool once it was not able to reflect what really contributes to the competitiveness and organizational growth, the voluntary disclosure of the intellectual capital was analysed according to the information obtained from the 2010 annual individual reports of the banks operating in Portugal in that year and from their respective websites in 2011. We tried to analyse the extent of the voluntary disclosure of the intellectual capital and of each of its components, human capital, structural capital and relational capital. The comparative analysis of their annual reports and their web pages allowed us to assess the incidence of the disclosure and discover what channel the banking sector focuses on when disclosing their intellectual capital. Also in this analysis the study of the disclosure determinants has allowed us to conclude about the influence of particular characteristics in the voluntary disclosure of the intellectual capital. The results of the analysis to the extent of the disclosure of intangible assets in the consolidated financial statements of the banking groups in Portugal in the period 2001-2009 have shown an average information disclosure of 0.24. This information disclosure evolved from an average value of 0.1940 in 2001 to 0.2778 in 2009. The average value is 0.8286 if it is only considered the disclosure of the intangible assets that the banks possessed. The evolution of this index means an increase in the average disclosure from 0.7852 in 2001 to 0.8788 in 2009. From the first results that are related to the extent of the disclosure of intangible assets in the financial statements, we can verify that the banking groups present a low disclosure level of these resources. However, when considering the disclosure of only the intangible assets that each institution owns, the disclosure level appears to be in compliance with the disclosure requirements for this sector. An evolution in the disclosure of intangible assets for the period considered was confirmed, showing an increase in the information disclosure of intangible assets in 2005, the year in which the accounting rules for intangible assets changed. The analysis that focused on the disclosure in the context of management tried to understand the extent, the incidence and the determinants of the voluntary information disclosure of intellectual capital in the annual reports of 2010 and on their web pages in 2011, studying the 32 banks operating in Portugal in this period. The average voluntary disclosure of the intellectual capital in the 2010 annual reports is 0.4342 while that in web pages is 0.2907. A review of the components of the intellectual capital allowed us to assess the importance that the banks confer to each of these components. The data obtained show that the relational capital, and more specifically the business capital, is the most disclosed component by banks in Portugal both in the annual reports and in their institutional web pages, followed by the structural capital and, finally, by the human capital. The disclosure of the human capital and the structural capital is higher in the annual reports than that in the websites, while the relational capital is more disclosed in the websites than in the annual reports. The results have also shown that the banks make a complementary use of both sources when disclosing information about their structural capital and relational capital but they do not show any information about their human capital in their websites. We tried to prove the influence of factors that could determine the accounting disclosure and the voluntary disclosure of the intellectual capital in this sector. The change in the IASB accounting rules as from January 1st 2005 gave a greater disclosure of accounting information of intangible assets in the financial statements of banks. The bank size and corporate governance measures have statistically proved to have an influence on the extent of the accounting disclosure of intangible assets and on the voluntary disclosure of the intellectual capital. Economic and financial variables such as profitability, operating efficiency or solvency were not determinants of information disclosure. The instability that the banking sector has experienced in economic and financial indicators in recent years as a result of the global financial markets imbalance has worsen indicators such as profitability, efficiency and solvency and caused major discrepancies in the economic situation between banks in Portugal. This empirical analysis has contributed to confront the disclosure required by accounting rules performed in the financial statements of organizations with that performed in the main disclosure media which is available for entities and which is increasingly requested in the process of taking management decisions. It also allowed us to verify whether there is homogeneity between institutions in the fulfilment of the requirements for information disclosure of intangible assets. However, as for voluntary disclosure of intellectual capital, there are large disparities in the disclosure extent between organizations. Regardless of this sector specific characteristics, the voluntary disclosure of intellectual capital made by banks in Portugal follows the trends in other sectors and the practices adopted in other countries, namely regarding the amount of information disclosed, the incidence of the disclosure on the indicators of relational capital and the importance of variables such as size as determinants of disclosure of intellectual capital. For a further knowledge in this field, we created a specific index for the banking sector, considering appropriate indicators for an incisive, comprehensive analysis in order to consider the most relevant indicators of intellectual capital components. Besides, confronting the analysis of disclosure in the context of accounting standards with the study of voluntary disclosure brought a new analysis approach to the research on intellectual capital disclosure. With this study, we have also intended to raise greater awareness of the need for harmonization in the intellectual capital disclosure on the part of the regulatory banking authority by means of a demanding, consistent and transparent report of intellectual capital with simple, clear, objective indicators so that those interested in disclosing intellectual capital information in the organizations in this sector may obtain more harmonized and comparable information. A research on the disclosure quality of intellectual capital, together with the application of other analysis methodologies in this sector, might be a promising approach for future research. Applying the voluntary disclosure index to the same sector in other countries may also contribute to the knowledge of disclosure practices in different geographical environments. We highlight the relevance of further studies contributing to the harmonization and consistency in the presentation of an intellectual capital report so as to enable organizations to disclose the resources that contribute most to their competitiveness and growth.

Tribunal Constitucional Internacional – auto de ciência

Resumo: a criação dum Tribunal Constitucional Internacional, no nosso entender, é uma exigência da própria Declaração Universal dos Direitos do Homem de 1948. Neste texto são apresentados uma série de argumentos velhos e novos para a importância da existência do Tribunal Constitucional Internacional a nível mundial. Trata-se dum Tribunal que é indispensável à defesa dos Direitos do Homem, contra qualquer tipo de ditadura ou fanatismo económico, social, político, cultural ou mental. § Abstract: the creation of an International Constitutional Court, in our view, is a requirement of own Universal Declaration of Human Rights of 1948. In this paper are given a lot of old and new arguments for the importance of the existence of the International Constitutional Court worldwide. It is of a Court that is indispensable to the defense of human rights, against all forms of dictatorship or economic fanaticism, social, political, cultural or mental.

Qualified intervention/qualifying formation

An education promoting scientific literacy (SL) that prepares the citizens to a responsible citizenship has persisted as an argument across discussions on curricula design. The ubiquity of science and technology on contemporary societies and the ideological requirement of informed democratic participation led to the identification of relevant categories that drive curriculum reforms towards a humanistic approach of school science. The category ‘Science as culture’ acquires in the current work a major importance: it enlightens the meaning of scientific literacy. Looking closely to the French term, culture scientifique et tecnologique, turns science simultaneously into a cultural object and product that can be both received and worked at different levels and within several approaches by the individuals and the communities. On the other hand, nonformal and informal education spaces gain greater importance. Together with the formal school environment these spaces allow for an enrichment and diversification of learning experiences. Examples of nonformal spaces where animators can develop their work may be science museums or botanical gardens; television and internet can be regarded as informal education spaces. Due to the above mentioned impossibility of setting apart the individual or community-based experiences from Science and Technology (S&T), the work in nonformal and informal spaces sets an additional challenge to the preparation of socio-cultural animators. Socio-scientific issues take, at times, heavily relevance within the communities. Pollution, high tension lines, spreading of diseases, food contamination or natural resources conservation are among the socio-scientific issues that often call upon arguments and emotions. In the context of qualifying programmes on socio-cultural animation (social education and community development) within European Higher Education Area (EHEA) the present study describes the Portuguese framework. The comparison of programmes within Portugal aims to contribute to the discussion on the curriculum design for a socio-cultural animator degree (1st cycle of Bologna process). In particular, this study intends to assess how the formation given complies with enabling animators to work, within multiple scenarios, with communities in situations of socio-scientific relevance. A set of themes, issues and both current and potential fields of action, not described or insufficiently described in literature, is identified and analysed in the perspective of a qualified intervention of animators. One of these examples is thoroughly discussed. Finally, suggestions are made about curriculum reforms in order, if possible, to strongly link the desired qualified intervention with a qualifying formation.

(Virtual) Agents for running electricity markets

This paper describes a multi-agent based simulation (MABS) framework to construct an artificial electric power market populated with learning agents. The artificial market, named TEMMAS (The Electricity Market Multi-Agent Simulator), explores the integration of two design constructs: (i) the specification of the environmental physical market properties and (ii) the specification of the decision-making (deliberative) and reactive agents. TEMMAS is materialized in an experimental setup involving distinct power generator companies that operate in the market and search for the trading strategies that best exploit their generating units' resources. The experimental results show a coherent market behavior that emerges from the overall simulated environment.

Equilibrium self-assembly of colloids with distinct interaction sites: Thermodynamics, percolation, and cluster distribution functions

We calculate the equilibrium thermodynamic properties, percolation threshold, and cluster distribution functions for a model of associating colloids, which consists of hard spherical particles having on their surfaces three short-ranged attractive sites (sticky spots) of two different types, A and B. The thermodynamic properties are calculated using Wertheim's perturbation theory of associating fluids. This also allows us to find the onset of self-assembly, which can be quantified by the maxima of the specific heat at constant volume. The percolation threshold is derived, under the no-loop assumption, for the correlated bond model: In all cases it is two percolated phases that become identical at a critical point, when one exists. Finally, the cluster size distributions are calculated by mapping the model onto an effective model, characterized by a-state-dependent-functionality (f) over bar and unique bonding probability (p) over bar. The mapping is based on the asymptotic limit of the cluster distributions functions of the generic model and the effective parameters are defined through the requirement that the equilibrium cluster distributions of the true and effective models have the same number-averaged and weight-averaged sizes at all densities and temperatures. We also study the model numerically in the case where BB interactions are missing. In this limit, AB bonds either provide branching between A-chains (Y-junctions) if epsilon(AB)/epsilon(AA) is small, or drive the formation of a hyperbranched polymer if epsilon(AB)/epsilon(AA) is large. We find that the theoretical predictions describe quite accurately the numerical data, especially in the region where Y-junctions are present. There is fairly good agreement between theoretical and numerical results both for the thermodynamic (number of bonds and phase coexistence) and the connectivity properties of the model (cluster size distributions and percolation locus).

Mixed-integer nonlinear approach for the optimal scheduling of a head-dependent hydro chain

This paper is on the problem of short-term hydro scheduling (STHS), particularly concerning a head-dependent hydro chain We propose a novel mixed-integer nonlinear programming (MINLP) approach, considering hydroelectric power generation as a nonlinear function of water discharge and of the head. As a new contribution to eat her studies, we model the on-off behavior of the hydro plants using integer variables, in order to avoid water discharges at forbidden areas Thus, an enhanced STHS is provided due to the more realistic modeling presented in this paper Our approach has been applied successfully to solve a test case based on one of the Portuguese cascaded hydro systems with a negligible computational time requirement.

Indoor air quality in primary schools

Clean air is a basic requirement of life. The Indoor Air Quality (IAQ) has been the object of several studies due to an increasing concern within the scientific community on the effects of indoor air quality upon health, especially as people tend to spend more time indoors than outdoors. The quality of air inside homes, offices, schools or other private and public buildings is an essential determinant of healthy life and people’s well-being. People can be exposed to contaminants by inhalation, ingestion and dermal contact. In the past, scientists have paid much attention to the study of exposure to outdoor air contaminants, because they have realised the seriousness of outdoor air pollution problems. However, each indoor microenvironment has unique characteristics, determined by the local outdoor air, specific building characteristics and indoor activities. Indeed, hazardous substances are emitted from buildings, construction materials and indoor equipment or due to human activities indoors.

Sistema de apoio à decisão para a classificação de risco em projectos de tecnologias de informação

O trabalho que a seguir se apresenta tem como objectivo descrever a criação de um modelo que sirva de suporte a um sistema de apoio à decisão sobre o risco inerente à execução de projectos na área das Tecnologias de Informação (TI) recorrendo a técnicas de mineração de dados. Durante o ciclo de vida de um projecto, existem inúmeros factores que contribuem para o seu sucesso ou insucesso. A responsabilidade de monitorizar, antever e mitigar esses factores recai sobre o Gestor de Projecto. A gestão de projectos é uma tarefa difícil e dispendiosa, consome muitos recursos, depende de numerosas variáveis e, muitas vezes, até da própria experiência do Gestor de Projecto. Ao ser confrontado com as previsões de duração e de esforço para a execução de uma determinada tarefa, o Gestor de Projecto, exceptuando a sua percepção e intuição pessoal, não tem um modo objectivo de medir a plausibilidade dos valores que lhe são apresentados pelo eventual executor da tarefa. As referidas previsões são fundamentais para a organização, pois sobre elas são tomadas as decisões de planeamento global estratégico corporativo, de execução, de adiamento, de cancelamento, de adjudicação, de renegociação de âmbito, de adjudicação externa, entre outros. Esta propensão para o desvio, quando detectada numa fase inicial, pode ajudar a gerir melhor o risco associado à Gestão de Projectos. O sucesso de cada projecto terminado foi qualificado tendo em conta a ponderação de três factores: o desvio ao orçamentado, o desvio ao planeado e o desvio ao especificado. Analisando os projectos decorridos, e correlacionando alguns dos seus atributos com o seu grau de sucesso o modelo classifica, qualitativamente, um novo projecto quanto ao seu risco. Neste contexto o risco representa o grau de afastamento do projecto ao sucesso. Recorrendo a algoritmos de mineração de dados, tais como, árvores de classificação e redes neuronais, descreve-se o desenvolvimento de um modelo que suporta um sistema de apoio à decisão baseado na classificação de novos projectos. Os modelos são o resultado de um extensivo conjunto de testes de validação onde se procuram e refinam os indicadores que melhor caracterizam os atributos de um projecto e que mais influenciam o risco. Como suporte tecnológico para o desenvolvimento e teste foi utilizada a ferramenta Weka 3. Uma boa utilização do modelo proposto possibilitará a criação de planos de contingência mais detalhados e uma gestão mais próxima para projectos que apresentem uma maior propensão para o risco. Assim, o resultado final pretende constituir mais uma ferramenta à disposição do Gestor de Projecto.

Protecção contra descargas atmosféricas: aplicação informática de identificação das vulnerabilidades das edificações e de apoio à concepção da protecção

A concepção de instalações eléctricas deve garantir condições de segurança para as pessoas e equipamentos. Para tal é exigida, quer por força de regulamentação ou de normalização, a instalação de dispositivos que garantam a detecção e a protecção contra os defeitos mais comuns nas instalações eléctricas como, por exemplo, as sobreintensidades e as sobretensões. Susceptíveis de criar sobretensões perigosas nas instalações eléctricas, as descargas atmosféricas podem ainda causar danos estruturais elevados, o que, em algumas actividades económicas, torna fundamental a implementação de medidas de protecção contra este fenómeno natural. A protecção contra descargas atmosféricas directas consiste em identificar as vulnerabilidades das estruturas e, nesses locais, implementar dispositivos de captura, direccionamento e escoamento da descarga atmosférica à terra, em condições de segurança. O presente trabalho, desenvolvido no âmbito da dissertação de Mestrado em Engenharia Electrotécnica, visa desenvolver e implementar uma ferramenta computacional, baseada em programas de desenho assistido por computador (CAD) de utilização corrente na área de projecto de arquitectura e de engenharia, que permita, no âmbito de normas internacionais, a análise e implementação de sistemas de protecção em edifícios contra descargas atmosféricas de uma forma rápida e expedita. Baseado num programa CAD 3D, que permite a modelização tridimensional das estruturas a proteger, a ferramenta desenvolvida tentará identificar as suas vulnerabilidades das estruturas às descargas atmosféricas directas, com o intuito de implementar as medidas de protecção mais adequadas do ponto de vista técnico económico. Prevê-se que a ferramenta resultante deste estudo, o Simulador do Modelo Electrogeométrico (SIMODEL), possibilite aos projectistas e particularmente aos alunos das unidades curriculares na área do projecto de instalações eléctricas da Área Departamental de Engenharia de Sistemas e Potencia e Automação (ADESPA) do ISEL, estudar e implementar sistemas de protecção contra descargas atmosféricas (SPDA) baseados na normalização internacional do CENELEC e da IEC, nomeadamente as normas da série 62305.

MDAI: Model based Design in Automobile Industry

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. This approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

Systematic and liquidity risk in sub-prime mortgage-backed assets

The mis-evaluation of risk in securitized financial products is central to understanding the global financial crisis. This paper characterizes the evolution of risk factors affecting collateralized debt obligations (CDOs) based on subprime mortgages. A key feature of subprime mortgage-backed indices is that they are distinct in their vintage of issuance. Using a latent factor framework that incorporates this vintage effect, we show the increasing importance of common factors on more senior tranches during the crisis. An innovation of the paper is that we use the unbalanced panel structure of the data to identify the vintage, credit, common and idiosyncratic effects from a state-space specification.

Volatility regimes for the VIX index

This article presents a Markov chain framework to characterize the behavior of the CBOE Volatility Index (VIX index). Two possible regimes are considered: high volatility and low volatility. The specification accounts for deviations from normality and the existence of persistence in the evolution of the VIX index. Since the time evolution of the VIX index seems to indicate that its conditional variance is not constant over time, I consider two different versions of the model. In the first one, the variance of the index is a function of the volatility regime, whereas the second version includes an autoregressive conditional heteroskedasticity (ARCH) specification for the conditional variance of the index.

Garantia de qualidade de serviço (QOS) em arquitecturas MPLS

Os prestadores de serviços de telecomunicações e operadores de telecomunicações deparam-se com um aumento exponencial das necessidades de largura de banda. A evolução e massificação dos serviços Internet e Intranet pelos serviços públicos e privados deixaram de ser uma mera adaptação do protocolo TCP, à qualidade da ligação sendo uma necessidade a diferenciação do tráfego. As metodologias que asseguram uma qualidade de serviço no âmbito dos fornecedores de serviços internet são a forma de garantir uma qualidade de serviço adequada a cada tipo de tráfego. Estas metodologias são suportadas pela rede IP MPLS dos diversos operadores de telecomunicações no transporte dos diversos serviços dos seus clientes empresarias e domésticos no acesso à internet dos diversos serviços públicos de dados e voz e nas redes virtuais privadas. Os portais aplicacionais são a interface directa com o cliente para definição dos acordos de nível de serviço “Service Level Agreements” e a sua associação à especificação dos níveis de serviço “Service Level Specification”, para posterior relação com a definição de métricas adequadas à qualidade de serviço acordada com o cliente no desenho dos serviços de uma rede IP “MultiProtocol Label Switch”. A proposta consiste em criar uma metodologia para mapear as necessidades de serviços dos clientes em SLAs e registá-los numa base de dados, separando claramente a qualidade do serviço vista na óptica do operador em: arquitectura de rede de transporte, arquitectura do serviço e arquitectura de monitoria. Estes dados são mapeados em parâmetros e especificações de implementação dos serviços de suporte ao negócio do operador tendo em vista a criação de um “Work Flow” fim a fim. Paralelamente define-se os serviços a disponibilizar comercialmente, o conjunto de serviços suportados pela rede e tecnologia IP MPLS com a parametrização de ”Quality of Service Assurance” adequada a cada um, cria-se uma arquitectura de rede de suporte ao transporte base entre os diversos equipamentos agregadores de acessos através do “Backbone”, define-se uma arquitectura de suporte para cada tipo de serviço independente da arquitectura de transporte. Neste trabalho implementam-se algumas arquitecturas de QoS estudadas no IP MPLS em simuladores disponibilizados pela comunidade “Open Source” e analisamos as vantagens de desvantagens de cada uma. Todas as necessidades são devidamente equacionadas, prevendo o seu crescimento, desempenho, estabelecendo regras de distribuição de largura de banda e análise de desempenho, criando redes escaláveis e com estimativas de crescimento optimistas. Os serviços são desenhados de forma a adaptarem-se à evolução das necessidades aplicacionais, ao crescimento do número de utilizadores e evolução do próprio serviço.