Search results for "InP"
showing 10 items of 508 documents
Towards efficient inductive synthesis of expressions from input/output examples
1993
Our goal through several years has been the development of efficient search algorithm for inductive inference of expressions using only input/output examples. The idea is to avoid exhaustive search by means of taking full advantage of semantic equality of many considered expressions. This might be the way that people avoid too big search when finding proof strategies for theorems, etc. As a formal model for the development of the method we use arithmetic expressions over the domain of natural numbers. A new approach for using weights associated with the functional symbols for restricting search space is considered. This allows adding constraints like the frequency of particular symbols in t…
New Developments in the Use of Location Quotients to Estimate Regional Input–Output Coefficients and Multipliers
2004
Tohmo T. (2004) New developments in the use of location quotients to estimate regional input–output coefficients and multipliers, Reg. Studies 38, 43–54. This study compares the survey-based regional input–output coefficients and production multipliers published by Statistics Finland, 2000, with estimates obtained by applying location quotients (LQs) to national data. The consequences of using alternative adjustment formulae, the ‘SLQ, CILQ and FLQ’ are illustrated by an input–output model constructed for the Keski-Pohjanmaa (K-P) region. The results indicate that the SLQ and CILQ both produce highly misleading regional input–output coefficients and multipliers. These adjustment formulae ar…
Input-Output Finite-Time Stability of Discrete-Time Impulsive Switched Linear Systems with State Delays
2013
Published version of an article in the journal: Circuits, Systems, and Signal Processing. Also available from the publisher at: http://dx.doi.org/10.1007/s00034-013-9610-7 This paper is concerned with the problem of input-output finite-time stability (IO-FTS) for discrete impulsive switched systems with state delays. Sufficient conditions are presented for the existence of IO-FTS for such systems under the cases of certain switching, arbitrary switching, and uncertain switching. All the obtained results are formulated in a set of linear matrix inequalities (LMIs). Two numerical examples are given to illustrate the effectiveness of the proposed results.
Regional Input–Output Tables and the FLQ Formula: A Case Study of Finland
2013
Flegg A. T. and Tohmo T. Regional input – output tables and the FLQ formula: a case study of Finland, Regional Studies. This paper examines the use of location quotients (LQs) in constructing regional input – output tables. Its focus is on the modified FLQ formula proposed by Flegg and Webber in 1997. Using data for twenty Finnish regions of widely different size, a regression model is developed to assist in the selection of a value for the unknown parameter δ in this formula. It is found that the FLQ yields results far superior to those from standard LQ-based formulae. The FLQ-based initial set of regional input coefficients could be used to build the non-survey foundations of a hybrid mod…
"A Comment on Tobias Kronenberg's "Construction of Regional Input-Output Tables Using Nonsurvey Methods: The Role of Cross-Hauling"
2012
This article examines the effectiveness of a new non-survey regionalization method: Kronenberg’s Cross-Hauling Adjusted Regionalization Method (CHARM). This aims to take into account the fact that regions typically both import and export most commodities. Data for Uusimaa, Finland’s largest region, are employed to carry out a detailed empirical test of CHARM. This test gives very encouraging results. CHARM is suitable for studying environmental questions, but it can only be applied in situations where foreign imports have been included in the national input–output table. Where the focus is on regional output and employment, location quotients (LQs) can be used for purposes of regionalizati…
The energy and environmental impacts of Italian households consumptions: An input–output approach
2011
Abstract Promoting sustainable consumption and production patterns is a key challenge for the future, in order to use the Earth resources efficiently, to reduce the greenhouse gas emissions, and to decouple the economic growth from the environmental degradation. New or customized methods have to be applied to support decisions makers in the choice of environmental-friendly products, and to select policy priorities and sustainable strategies. A modified input–output model can aid to analyse the relationships among economic growth, energy consumptions and pollutants, in order to assess the energy and environmental impacts due to the actual production and consumption patterns. The following pa…
Characterization of impervious layers using scale models and an inverse method
2009
We describe a novel procedure that uses an inverse method to determine unknown parameters for impervious layers used in multilayer structures. The proposed model of the multilayer structure is limited to an ideal double plate separated by an unbonded, fibrous, sound-absorbing material. Experimental data were obtained by nearfield acoustic holography for the calculation of the transmission loss of various multilayer structures mounted in a window in a wooden box designed specifically for this purpose. We used the Trochidis and Kalaroutis forecast model of acoustic insulation for multilayer structures, which is based on a spatial Fourier transform. The experimental pressure and velocity data …
Biproportional Methods And Interindustry Dynamics: The Case of Energy in France
1996
Dynamique de la structure industrielle française
1990
A Note on added information in the RAS Procedure: reexamination of some evidence
2006
International audience; An example in Miernyk (1977) presented a rather counterintuitive result, namely that introducing accurate exogenous information into an RAS matrix estimating procedure could lead to an estimate that was worse than one generated by RAS using no exogenous information at all. This became an oft-cited black mark against RAS. Miller and Blair (1985) included a different (and small) illustration of the same possibility. It was recently pointed out by one of us that the Miller/Blair numerical results are wrong. For that reason, we decided to reexamine all the empirical evidence we could find on the subject. While figures in both Miernyk and Miller/Blair appear to be wrong, …