نتایج جستجو برای: input and output

تعداد نتایج: 16850645  

Journal: :PloS one 2015
Federica Cerina Zhen Zhu Alessandro Chessa Massimo Riccaboni

Production systems, traditionally analyzed as almost independent national systems, are increasingly connected on a global scale. Only recently becoming available, the World Input-Output Database (WIOD) is one of the first efforts to construct the global multi-regional input-output (GMRIO) tables. By viewing the world input-output system as an interdependent network where the nodes are the indiv...

1996
Patrick Viry

We show how to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speciication of-calculus. This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the eeectiveness of this approach.

2008
Martin Weiglhofer Bernhard K. Aichernig

Model-based conformance testing aims to assess the correctness of an implementation with respect to a specification. This raises the question of a proper conformance relation that should be established between implementation and specification. One commonly used conformance relation is the so-called input output conformance (ioco), which is defined over labeled transition systems. In this paper ...

2009
ABDUL AZIZ ABDUL RAHMAN ABDUL AZIZ

This paper discusses an input-output projection model which has been usedfor indicatz've planning of the West Malaysian economy into 1985. The model projects the structure of the economy including output, investment and labour in 1985 given a level ofaggregate domestic consumption likely to be utilised in the target year. The basic projection indicates that the growth rate in per capita private...

2014
Xueting Zhao

This Technical Document describes the steps to disaggregate an industry sector in an I-O table using Python. A disaggregation method that based on weight factors is used in this document. The calculation has three parts. The rst part is to calculate the disaggregated input matrix DIM, which represents all the input from common sectors into the new sectors. The second part is to calculate the di...

F. Matroud, Gh. Tohidi

In conventional DEA, measures are classified as either input or output. However, in some real cases there are variables whose status is not known as input or output before assessment. These variable are known as flexible measures. One of the most important economic dimensions for ensuring the success of a company is the efficiency with which it uses its resources. Therefore, centering on Asses...

Journal: :Electr. Notes Theor. Comput. Sci. 1996
Patrick Viry

We show how to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speciication of-calculus. This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the eeectiveness of this approach.

2009
Margus Veanes Nikolaj Bjørner

Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output model programs, where the action vocabulary is divided between two conceptual players: the input player and the output player. The players share the action vocabulary and make moves that are labeled by actions according to their res...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید