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…

Input/outputQuadratic equationTheoretical computer scienceSearch algorithmBeam searchBrute-force searchInductive reasoningComputer experimentAlgorithmExpression (mathematics)Mathematics
researchProduct

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/outputRegional planningEconometricsGeneral Social SciencesProduction (economics)Mathematical economicsNational dataQuotientGeneral Environmental ScienceMathematicsLocal policyRegional Studies
researchProduct

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.

Input/outputSignal processingFinite-time stability; Impulsive systems; Input-output stability; Linear matrix inequality; State delays; Switched systems; Signal Processing; Applied MathematicsApplied MathematicsVDP::Technology: 500Linear systemLinear matrix inequalityImpulsive systemsState (functional analysis)Linear matrix inequalityStability (probability)State delaysSet (abstract data type)Input-output stabilityDiscrete time and continuous timeControl theoryFinite-time stabilitySignal Processingfinear matrix inequalitySwitched systemsMathematicsCircuits, Systems, and Signal Processing
researchProduct

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…

Input/outputta511EconometricsGeneral Social SciencesSocial Sciences & Humanities[SHS.SCIPO]Humanities and Social Sciences/Political scienceGeneral Environmental ScienceMathematicsRegional Studies
researchProduct

"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…

Input/outputta511Operations researchGeneral Social SciencesTest (assessment)Empirical researchCarry (investment)Regional scienceEconomicsmedia_common.cataloged_instanceTable (database)National levelCharm (quantum number)European unionGeneral Environmental Sciencemedia_commonInternational Regional Science Review
researchProduct

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…

Input–output analysis Life cycle assessment Energy consumptions Environmental impacts Sustainable production and consumptionConsumption (economics)Settore ING-IND/11 - Fisica Tecnica AmbientaleRenewable Energy Sustainability and the Environmentbusiness.industryInput–output modelEconomic sectorEnvironmental resource managementEnvironmental economicsGoods and servicesEconomicsSustainable consumptionEnvironmental impact assessmentbusinessLife-cycle assessmentEnvironmental degradationRenewable and Sustainable Energy Reviews
researchProduct

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 …

Inverse methodsEngineeringAcoustics and UltrasonicsAcousticsImpedance couplingHolographyExperimental dataMultilayer structuresAnalysis modelslaw.inventionScale modelssymbols.namesakeOpticsUnknown parameterslawInput dataObservational errorSound absorbing materialsNearfield Acoustic Holographybusiness.industryTransmission lossMechanical EngineeringNumerical analysisSpatial Fourier TransformFORECAST modelAcoustic holographyInverse problemCondensed Matter PhysicsImpervious layersFourier transformMechanics of MaterialsFISICA APLICADAsymbolsbusinessStructural acousticsPosition sensorJournal of Sound and Vibration
researchProduct

Biproportional Methods And Interindustry Dynamics: The Case of Energy in France

1996

JEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsJEL : Q - Agricultural and Natural Resource Economics • Environmental and Ecological Economics/Q.Q4 - Energy/Q.Q4.Q43 - Energy and the MacroeconomyJEL: Q - Agricultural and Natural Resource Economics • Environmental and Ecological Economics/Q.Q4 - Energy/Q.Q4.Q43 - Energy and the MacroeconomyJEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsJEL : D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and Analysis[ SHS.ECO ] Humanities and Social Sciences/Economies and financesJEL: D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and Analysis[SHS.ECO]Humanities and Social Sciences/Economics and Finance[SHS.ECO] Humanities and Social Sciences/Economics and Finance
researchProduct

Dynamique de la structure industrielle française

1990

JEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsJEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C63 - Computational Techniques • Simulation ModelingJEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsJEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C61 - Optimization Techniques • Programming Models • Dynamic AnalysisJEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C63 - Computational Techniques • Simulation ModelingJEL: L - Industrial Organization/L.L1 - Market Structure Firm Strategy and Market Performance/L.L1.L16 - Industrial Organization and Macroeconomics: Industrial Structure and Structural Change • Industrial Price IndicesJEL : D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and AnalysisJEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C61 - Optimization Techniques • Programming Models • Dynamic Analysis[ SHS.ECO ] Humanities and Social Sciences/Economies and financesJEL: D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and AnalysisJEL : L - Industrial Organization/L.L1 - Market Structure Firm Strategy and Market Performance/L.L1.L16 - Industrial Organization and Macroeconomics: Industrial Structure and Structural Change • Industrial Price Indices[SHS.ECO]Humanities and Social Sciences/Economics and Finance[SHS.ECO] Humanities and Social Sciences/Economics and Finance
researchProduct

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, …

JEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsJEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsCounterintuitiveClosenessJEL: D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and AnalysisEnvironmental Science (miscellaneous)Development[SHS.ECO]Humanities and Social Sciences/Economics and FinanceJEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C63 - Computational Techniques • Simulation ModelingJEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C63 - Computational Techniques • Simulation ModelingInput-outputbiproportionEconometricsJEL : D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and Analysis[ SHS.ECO ] Humanities and Social Sciences/Economies and finances[SHS.ECO] Humanities and Social Sciences/Economics and FinanceEmpirical evidenceMathematical economicsCounterexampleMathematicsRAS
researchProduct