نتایج جستجو برای: convertibility

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

Journal: :IJMTM 2000
Mostafa G. Mehrabi A. Galip Ulsoy Yoram Koren

A reconfigurable manufacturing system (RMS) is designed for rapid adjustment of production capacity and functionality in response to new market conditions and new process technology. It has several distinct characteristics including modularity, integrability, customization, convertibility and diagnosability. There are a number of key interrelated technologies that should be developed and implem...

Journal: :J. Symb. Comput. 1996
Richard Kennaway Jan Willem Klop M. Ronan Sleep Fer-Jan de Vries

Currying is a transformation of term rewrite systems which may contain symbols of arbitrary arity into systems which contain only nullary symbols, together with a single binary symbol called application. We show that for all term rewrite systems (whether orthogonal or not) the following properties are preserved by this transformation: strong normalization, weak normalization, weak Church-Rosser...

2000
Peter K. Cornelius

In light of the recent financial crises in the emerging markets, the coming-into-force of the financial services agreement under the GATS has been considered a success. While the agreement provides for little new liberalization but rather formalizes the status quo, it was feared that governments could even backtrack on previous commitments in the belief that more open markets could increase the...

Journal: :Electr. Notes Theor. Comput. Sci. 2008
Herman Geuvers Freek Wiedijk

The type theory λP corresponds to the logical framework LF. In this paper we present λH, a variant of λP where convertibility is not implemented by means of the customary conversion rule, but instead type conversions are made explicit in the terms. This means that the time to type check a λH term is proportional to the size of the term itself. We define an erasure map from λH to λP , and show t...

2008
Ila Patnaik Ajay Shah

Measurement of the currency exposure of firms can yield insights into issues connected with exchange rate regimes and capital account liberalisation. We set out to measure the currency exposure of firms in India over the 1993-2008 period. We identify sources of bias in favour of non-rejection of the null of no-exposure, and address these in the estimation strategy. From 1998 to 2008, for some h...

Journal: :New Media & Society 2021

The study of mundane, everyday uses the Internet remains an emerging field inquiry. Analysing data from a large seven country survey use and adapting concepts methods developed by Bourdieu, we show that there are distinct clusters users who in diverse ways to solve problems, such as buying mobile phone or diagnosing illness. Such problem-solving is dependent upon degrees economic, social, digit...

Journal: :Paragraph 2021

Mindful that philosophy is for Kofman always sublated ( relevé) by literature and psychoanalysis, this essay examines Kofman's rarely discussed text ‘Conversions: The Merchant of Venice under the Sign Saturn’ (1987) in light themes from elsewhere her work. Typical method, Conversions a richly philosophical reading psychoanalytic interpretation literary text. It also most sustained engagement wi...

2012
Sheng Wei Lin Louis Yi-Shih Lo Wen-Miao Liu

Past research has extensively studied individuals’ knowledge-sharing behavior. Identifying the effective mechanisms that motivate individuals to share their valuable knowledge has become an important issue and a major challenge for researchers and practitioners. Past studies fail to consider the readiness of conversion of motivational mechanism to economic benefits of knowledge sharing on knowl...

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

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