Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Estimativa dos parâmetros de compactação de solos usando técnicas de data mining

Dissertação de mestrado integrado em Engenharia Civil

An R package for the integrated analysis of metabolomics and spectral data

Recently, there has been a growing interest in the field of metabolomics, materialized by a remarkable growth in experimental techniques, available data and related biological applications. Indeed, techniques as Nuclear Magnetic Resonance, Gas or Liquid Chromatography, Mass Spectrometry, Infrared and UV-visible spectroscopies have provided extensive datasets that can help in tasks as biological and biomedical discovery, biotechnology and drug development. However, as it happens with other omics data, the analysis of metabolomics datasets provides multiple challenges, both in terms of methodologies and in the development of appropriate computational tools. Indeed, from the available software tools, none addresses the multiplicity of existing techniques and data analysis tasks. In this work, we make available a novel R package, named specmine, which provides a set of methods for metabolomics data analysis, including data loading in different formats, pre-processing, metabolite identification, univariate and multivariate data analysis, machine learning, and feature selection. Importantly, the implemented methods provide adequate support for the analysis of data from diverse experimental techniques, integrating a large set of functions from several R packages in a powerful, yet simple to use environment. The package, already available in CRAN, is accompanied by a web site where users can deposit datasets, scripts and analysis reports to be shared with the community, promoting the efficient sharing of metabolomics data analysis pipelines.

A nutrient balance model for typical Irish farming systems

The twin objectives of the work described were to construct nutrient balance models (NBM) for a range of Irish animal production systems and to evaluate their potential as a means of estimating the nutrient composition of farm wastes. The NBM has three components. The first is the intake of nutrients in the animal's diet. The second is retention or the nutrients the animal retains for the production of milk, meat or eggs. The third is the balance or the difference between the nutrient intake and retention. Data on the intake levels and their nutrient value for dairy cows, beef cattle, pigs and poultry systems were assembled. Literature searches and interviews with National experts were the primary sources of information. NBMs were then constructed for each production system. Summary tables of the nutrient values for the common diet constituents used in Irish animal production systems, the nutrient composition of the animal products and the NBMs (nutrient intake, retention and excretion) for a range of production systems were assembled. These represent the first comprehensive data set of this type for Irish animal production systems. There was generally good agreement between the derived NBMs values and those published in the literature. The NBMs were validated on a number of farms. Data on animal numbers, fertiliser use, concentrates inputs and production output were recorded on seven farms. Using the data a nutrient input/output balance was constructed for each farm. This was compared with the NBM estimate of the farm nutrient balance. The results showed good agreement between the measured balance and the NBM estimate particularly for the pig and poultry farms. However, the validation emphasised the inherent risks associated with NBMs. The average values used for feed intake and production parameters in the NEMs may result in the under or over estimate of actual nutrient balances on individual farms where these variables are substantially different. On the grassland farms there was a poor correlation between the input/output estimate and the NBM. This possibly results from the omission of the soil's contribution to the nutrient balance. However, the results indicate that the NBMs developed are a potentially useful tool for estimating nutrient balances. They also will serve to highlight the significant fraction of the nutrient inputs into farming systems that are retained on the farm. The potential of the NBM as a means of estimating the nutrient composition of farm wastes was evaluated on two farms. Feed intake and composition, animal production, slurry production was monitored during the indoor winter feeding period. Slurry samples were taken for analysis. The appropriates NBMs were used to estimate the nutrient balance for each farm. The nutrient content of the slurry produced was calculated. There was a good agreement between the NBM estimate and the measured values. This preliminary evaluation suggests that the NBM has a potential to provide the farmer with a simple means of estimating the nutrient value of his slurry.

Theory and application of nonlinear wave propagation phenomena in combined reaction/separation processes

Reaction separation processes, reactive distillation, chromatographic reactor, equilibrium theory, nonlinear waves, process control, observer design, asymptoticaly exact input/output-linearization

Wireless GPS-based phase-locked synchronization system for outdoor environment.

Synchronization of data coming from different sources is of high importance in biomechanics to ensure reliable analyses. This synchronization can either be performed through hardware to obtain perfect matching of data, or post-processed digitally. Hardware synchronization can be achieved using trigger cables connecting different devices in many situations; however, this is often impractical, and sometimes impossible in outdoors situations. The aim of this paper is to describe a wireless system for outdoor use, allowing synchronization of different types of - potentially embedded and moving - devices. In this system, each synchronization device is composed of: (i) a GPS receiver (used as time reference), (ii) a radio transmitter, and (iii) a microcontroller. These components are used to provide synchronized trigger signals at the desired frequency to the measurement device connected. The synchronization devices communicate wirelessly, are very lightweight, battery-operated and thus very easy to set up. They are adaptable to every measurement device equipped with either trigger input or recording channel. The accuracy of the system was validated using an oscilloscope. The mean synchronization error was found to be 0.39 μs and pulses are generated with an accuracy of <2 μs. The system provides synchronization accuracy about two orders of magnitude better than commonly used post-processing methods, and does not suffer from any drift in trigger generation.

Constructing a Social Accounting Matrix for Libya

In this paper a Social Accounting Matrix is constructed for Libya for the year 2000. The procedure was divided into three steps. First, a macro SAM was constructed to consistently capture and represent the macroeconomic framework of the Libyan economy in 2000. Second, that macro SAM was disaggregated into a micro SAM incorporating the accounts for individual activities, primary factors and the main economic institutions. But the SAM obtained in this way was not balanced. So in thE final step we balanced the SAM using a cross-entropy procedure in General Algebraic Modelling System (GAMS). This SAM integrates national income, inputoutput, flow-of-funds, and foreign trade statistics into a comprehensive and consistent dataset. The lack of coherent time series data for Libya is a serious obstacle for applied research that uses econometric analysis. Our main intension in constructing this SAM has been one of providing benchmark data for economy-wide analysis using CGE modelling for Libya.

“Policy Scepticism” and the Impact of Scottish Higher Education Institutions (HEIs) on their Host Region: Accounting for Regional Budget Constraints under Devolution

A “policy scepticism” has emerged that challenges the results of conventional regional HEI impact analyses. Its denial of the importance of the expenditure impacts of HEIs appears to be based on a belief in either a binding regional resource constraint or a regional public sector budget constraint. In this paper we provide a systematic critique of this policy scepticism. However, while rejecting the extreme form of policy scepticism, we argue that it is crucial to recognise the importance of the public-sector expenditure constraints that are binding under devolution. We show how conventional impact analyses can be augmented to accommodate regional public sector budget constraints. While our results suggest that conventional impact studies overestimate the expenditure impacts of HEIs, they also demonstrate that the policy scepticism that treats these expenditure effects as irrelevant neglects some key aspects of HEIs, in particular their export intensity.

The Expenditure Impacts of Individual Higher Education Institutions (HEIs) and their Students on the Scottish Economy under Devolution: Homogeneity or Heterogeneity?

Comparing each of the twenty Higher Education Institutions (HEIs) in Scotland as separate sectors in an Input-Output table suggests their expenditure patterns are homogenous and that the apparent heterogeneity of their impacts is primarily driven by scale. However, a disaggregation of their income by source reveals a disparity in their dependence upon funding from the devolved Scottish Government and their ability to draw in income/funding from external sources. Acknowledging the binding budget constraint of the Scottish Government and deriving balanced expenditure multipliers reveals large differences in the net-expenditure impact of HEIs upon the Scottish economy, with the source of variation being the origin of income. Applying a novel treatment of student expenditure impacts, identifying the amount of exogenous spending per student, modifies the heterogeneity of the overall expenditure impacts. On balance this suggests that the impacts of impending budget cut-backs will be quite different by institution depending on their sensitivity to public funding. However, predicting the outcome of budget cutbacks at the margin is problematic as we do not know whether public and external incomes are complements or substitutions (and indeed this may vary between individual HEIs).

“Policy Scepticism” and the Impact of Welsh Higher Education Institutions (HEIs) on their Host Region: Accounting for Regional Budget Constraints

This paper replicates the analysis of Scottish HEIs in Hermannsson et al (2010b) for the case of Wales in order to provide a self-contained analysis that is readily accessible by those whose primary concern is with the regional impacts of Welsh HEIs. A “policy scepticism” has emerged that challenges the results of conventional regional HEI impact analyses. This denial of the importance of the expenditure impacts of HEIs appears to be based on a belief in either a binding regional resource constraint or a regional public sector budget constraint. In this paper we provide a systematic critique of this policy scepticism. However, while rejecting the extreme form of policy scepticism, we argue that it is crucial to recognise the importance of the publicsector expenditure constraints that are binding under devolution. We show how conventional impact analyses can be augmented to accommodate regional public sector budget constraints. While our results suggest that conventional impact studies overestimate the expenditure impacts of HEIs, they also demonstrate that the policy scepticism that treats these expenditure effects as irrelevant neglects some key aspects of HEIs, in particular their export intensity.

“Policy Scepticism” and the Impact of Northern Irish Higher Education Institutions (HEIs) on their Host Region: Accounting for Regional Budget Constraints

This paper replicates the analysis of Scottish HEIs in Hermannsson et al (2010b) for the case of Northern Ireland. The motivation is to provide a self-contained analysis that is readily accessible by those whose primary concern is with the regional impacts of Northern Irish HEIs. A comparative analysis will follow in due course. A “policy scepticism” has emerged that challenges the results of conventional regional HEI impact analyses. This denial of the importance of the expenditure impacts of HEIs appears to be based on a belief in either a binding regional resource constraint or a regional public sector budget constraint. In this paper we provide a systematic critique of this policy scepticism. However, while rejecting the extreme form of policy scepticism, we argue that it is crucial to recognise the importance of the public sector expenditure constraints that are binding under devolution. We show how conventional impact analyses can be augmented to accommodate regional public sector budget constraints. While our results suggest that conventional impact studies overestimate the expenditure impacts of HEIs, they also demonstrate that the policy scepticism that treats these expenditure effects as irrelevant neglects some key aspects of HEIs, in particular their export intensity.

The Expenditure Impacts of Individual Higher Education Institutions (HEIs) and their Students on the Welsh Economy: Homogeneity or Heterogeneity?

This paper replicates the analysis of Scottish HEIs in Hermannsson et al (2010a) for the case of Wales in order to provide a self-contained analysis that is readily accessible by those whose primary concern is with the regional impacts of Welsh HEIs. When we treat each of the twelve Higher Education Institutions (HEIs) that existed in Wales in 2006 as separate sectors in conventional input-output analysis, their expenditure impacts per unit of final demand appear rather homogenous, with the apparent heterogeneity of their overall impacts being primarily driven by scale. However, a disaggregation of their income by source reveals considerable variation in their dependence upon funding from the devolved Welsh Assembly Government and their ability to draw in income/funding from external sources. Acknowledging the binding budget constraint of the Welsh Assembly Government and deriving balanced expenditure multipliers reveals large differences in the net-expenditure impact of HEIs upon the Welsh economy, with the source of variation being the origin of income. Applying a novel treatment of student expenditure impacts, identifying the amount of exogenous spending per student, modifies the heterogeneity of the overall expenditure impacts. On balance this suggests that the impacts of impending budget cut-backs will be quite different by institution depending on their sensitivity to public funding. However, predicting the outcome of budget cutbacks at the margin is problematic for reasons that we identify.

“Policy Scepticism” and the Impact of London-based Higher Education Institutions (HEIs) on the economy of England: Accounting for Alternative Uses of Public Expenditure

This paper replicates the analysis of Scottish HEIs in Hermannsson et al (2010a) for the case of London-based HEIs’ impact on the English economy in order to provide a self-contained analysis that is readily accessible by those whose primary concern is with the regional impacts of London HEIs. A “policy scepticism” has emerged that challenges the results of conventional regional HEI impact analyses. This denial of the importance of the expenditure impacts of HEIs appears to be based on a belief in either a binding regional resource constraint or a regional public sector budget constraint. In this paper we provide a systematic critique of this policy scepticism. However, while rejecting the extreme form of policy scepticism, we argue that it is crucial to recognise the importance of alternative uses of public expenditure, and show how conventional impact analyses can be augmented to accommodate this. While our results suggest that conventional impact studies overestimate the expenditure impacts of HEIs, they also demonstrate that the policy scepticism that treats these expenditure effects as irrelevant neglects some key aspects of HEIs, in particular their export intensity.

The Expenditure Impacts of London-based Individual Higher Education Institutions (HEIs) and their Students on the Economy of England: Homogeneity or Heterogeneity?

This paper replicates the analysis of Scottish HEIs in Hermannsson et al (2010a) to identify the impact of London-based HEIs on the English economy in order to provide a self-contained analysis that is readily accessible by those whose primary concern is with the regional impacts of London HEIs. When we treat each of the 38 London-based Higher Education Institutions (HEIs) that existed in England in 2006 as separate sectors in conventional input-output analysis, their expenditure impacts per unit of final demand appear rather homogenous (though less so than HEIs in Wales and Scotland), with the apparent heterogeneity of their overall impacts being primarily driven by scale. However, a disaggregation of their income by source reveals considerable variation in their dependence upon general public funding and their ability to draw in income/funding from external sources. Acknowledging the possible alternative uses of the public funding and deriving balanced expenditure multipliers reveals large differences in the net-expenditure impact of London HEIs upon the English economy, with the source of variation being the origin of income. Applying a novel treatment of student expenditure impacts, identifying the amount of exogenous spending per student, modifies the heterogeneity of the overall expenditure impacts. On balance this suggests that the impacts of impending budget cut-backs will be quite different by institution depending on their sensitivity to public funding. However, predicting the outcome of budget cutbacks at the margin is problematic for reasons that we identify.

The Expenditure Impacts of Individual Higher Education Institutions (HEIs) and their Students on the Northern Irish Economy: Homogeneity or Heterogeneity?

This paper replicates the analysis of Scottish HEIs in Hermannsson et al (2010a) for the case of Northern Ireland in order to provide a self-contained analysis that is readily accessible by those whose primary concern is with the regional impacts of Northern-Irish HEIs. When we treat each of the four Higher Education Institutions (HEIs) that existed in Northern Ireland in 2006 as separate sectors in conventional input-output analysis, their expenditure impacts per unit of final demand appear rather homogenous, with the apparent heterogeneity of their overall impacts being primarily driven by scale. However, a disaggregation of their income by source reveals considerable variation in their dependence upon funding from the devolved Assembly and their ability to draw in income/funding from external sources. Acknowledging the binding budget constraint of the Northern Ireland Assembly and deriving balanced expenditure multipliers reveals large differences in the netexpenditure impact of HEIs upon the Northern Irish economy, with the source of variation being the origin of income. Applying a novel treatment of student expenditure impacts, identifying the amount of exogenous spending per student, modifies the heterogeneity of the overall expenditure impacts. On balance this suggests that the impacts of impending budget cut-backs will be quite different by institution depending on their sensitivity to public funding. However, predicting the outcome of budget cutbacks at the margin is problematic for reasons that we identify.