Measurement of national intellectual capital – application to EU countries

The aim of the article is to present both an alternative approach to measurement of intellectual capital of a country (IC) and a calculation of IC index. In order to achieve it, at first a definition of IC was adopted and a conceptual model of IC was worked out. Then, a method of operationalisation of conceptual model was elaborated, which comprised: 1. method of transforming the theoretical concept and relations into more concise ones that enabled the measurement sensu stricto, 2. selection of indicators of each component of IC, 3. adoption of appropriate method of aggregation of indicators. Finally the measurement of each component of IC and IC itself for UE countries was executed. Proposed method of IC measurement can be regarded as the extension of the proposals of Bontis (Bontis, 2004) and Andriessen and Stam (Andriessen, Stam, 2004). Thanks to the application of different approach to data aggregation the subjective decision concerning weights imposed on IC indicators made by Bontis was confirmed. Different factor loadings and resulting from them factor scores for each measurement model of components of IC and IC itself proved the indicators are not of the same importance. Although it could be useful and interesting to compare their relative importance, unfortunately it was impossible to conduct due to the lack of entire comparability of the indicators used. Strong correlation between IC index and GDP per capita indicated that there was a significant level of information carried by the IC index. First of all, it should be pointed out that IC probably explains significant part of the difference in the level of development of various countries. Secondly, it does not carry the full information about the value of the GDP in economy, so it possibly carries also information about the future development of a country.intellectual capital ; EU countries ; factor analysis ; SEM

Forensic Methods and Tools for Web Environments

abstract: The Web is one of the most exciting and dynamic areas of development in today’s technology. However, with such activity, innovation, and ubiquity have come a set of new challenges for digital forensic examiners, making their jobs even more difficult. For examiners to become as effective with evidence from the Web as they currently are with more traditional evidence, they need (1) methods that guide them to know how to approach this new type of evidence and (2) tools that accommodate web environments’ unique characteristics. In this dissertation, I present my research to alleviate the difficulties forensic examiners currently face with respect to evidence originating from web environments. First, I introduce a framework for web environment forensics, which elaborates on and addresses the key challenges examiners face and outlines a method for how to approach web-based evidence. Next, I describe my work to identify extensions installed on encrypted web thin clients using only a sound understanding of these systems’ inner workings and the metadata of the encrypted files. Finally, I discuss my approach to reconstructing the timeline of events on encrypted web thin clients by using service provider APIs as a proxy for directly analyzing the device. In each of these research areas, I also introduce structured formats that I customized to accommodate the unique features of the evidence sources while also facilitating tool interoperability and information sharing.Dissertation/ThesisDoctoral Dissertation Computer Science 201

Microprocessor-controlled inverter-fed synchronous motor

Imperial Users onl

Novel optical sensing systems for primary level science education

In the last three years, a number of Irish primary schools have been using LEGO Mindstorms technology in order to investigate the use of project-based learning as an alternative teaching tool. This has involved the use of LEGO bricks combined with standard electronic motors and some commercial sensors (e.g. temperature). In order to develop this project into the area of science education, we have developed a range of miniaturized optical sensors, which are compatible with the LEGO platform. In particular a working oxygen sensor has been designed and fabricated. The principal design features were compatibility with the programmable LEGO platforms and robustness for classroom use. This sensor uses the method of intensity quenching to determine oxygen concentration. This sensor has been demonstrated in a learning environment. Similarly a carbon dioxide sensor has been developed. In addition, simple colour sensors have been produced. The aim of developing such sensors is to familiarise students with the concept of colour detection and to introduce them to the basic principles o f spectroscopy. A specific use for the colour sensor has been identified, in the role of a pH sensor. A simple method of detecting nickel sulphate using colorimetric diffuse measurements has been demonstrated. The performance of both sensor types has been evaluated

Highly Automated Formal Verification of Arithmetic Circuits

This dissertation investigates the problems of two distinctive formal verification techniques for verifying large scale multiplier circuits and proposes two approaches to overcome some of these problems. The first technique is equivalence checking based on recurrence relations, while the second one is the symbolic computation technique which is based on the theory of Gröbner bases. This investigation demonstrates that approaches based on symbolic computation have better scalability and more robustness than state-of-the-art equivalence checking techniques for verification of arithmetic circuits. According to this conclusion, the thesis leverages the symbolic computation technique to verify floating-point designs. It proposes a new algebraic equivalence checking, in contrast to classical combinational equivalence checking, the proposed technique is capable of checking the equivalence of two circuits which have different architectures of arithmetic units as well as control logic parts, e.g., floating-point multipliers