نتایج جستجو برای: hirarechical ordering principle

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

2006
Ian Wehrman Aaron Stump Edwin M. Westbrook

A Knuth-Bendix completion procedure is parametrized by a reduction ordering used to ensure termination of intermediate and resulting rewriting systems. While in principle any reduction ordering can be used, modern completion tools typically implement only Knuth-Bendix and path orderings. Consequently, the theories for which completion can possibly yield a decision procedure are limited to those...

2010
Gregory P. Fournier Justin E. Neumann J. Peter Gogarten

Universally conserved positions in ribosomal proteins have significant biases in amino acid usage, likely indicating the expansion of the genetic code at the time leading up to the most recent common ancestor(s) (MRCA). Here, we apply this principle to the evolutionary history of the ribosome before the MRCA. It has been proposed that the experimentally determined order of assembly for ribosoma...

2015
Li-Ting Tseng Yunhao Lu Hai Ming Fan Yiren Wang Xi Luo Tao Liu Paul Munroe Sean Li Jiabao Yi

α-MnO2 nanotubes were fabricated using a hydrothermal technique. Li, Na and K ions were introduced into MnO2 nanotubes to tailor their magnetic properties. It was found that with a doping concentration lower than 12 at%, the nanotubes showed ferromagnetic-like ordering at low temperature (<50 K), while antiferromagnetic coupling dominated their physical behavior with doping concentrations beyon...

2007
Patrick Allo

The tutorial connects two notions of information: the inverse relationship principle which relates informational content to the exclusion of possibilities, and information-structures based on a partial ordering on states of information. Jointly, these allow the formulation of several distinct precise notions of content-individuation.

Journal: :مدیریت صنعتی 0
حسن فارسیجانی استادیار دانشگاه شهید بهشتی، دانشکده مدیریت و حسابداری، تهران، ایران محمدرضا عبدوس کارشناسی ارشد مدیریت صنعتی، دانشگاه شهید بهشتی، تهران، ایران

this paper submitting the computation of optimize point of ordering in inventory control systems and particularly for continuous review of ordering system (r,q) by fuzzy logic method which similarly can be used for other ordering systems. since in the ordering models we cannot forecast the parameters like cost exactly, we have ambiguity. in this case using precise parameters may cause wrong dec...

Journal: :Computers & Geosciences 2016
Dan Arnold Vasily V. Demyanov Mike Christie Alexander Bakay Konstantin Gopa

Assessing the change in uncertainty in reservoir production forecasts over field lifetime is rarely undertaken because of the complexity of joining together the individual workflows. This becomes particularly important in complex fields such as naturally fractured reservoirs. The impact of this problem has been identified in previous and many solutions have been proposed but never implemented o...

Journal: :J. Economic Theory 2013
Marco Mariotti Roberto Veneziani

We study a principle of ’Non-Interference’ in social welfare judgements. NonInterference captures aspects of liberal approaches (particularly aMillian approach) to social decision making. In its full generality, Non-Interference produces an impossibility result: together with Weak Pareto Optimality, it implies that a social welfare ordering must be dictatorial. However, interesting restricted v...

1993
Mohammed Faci Luigi Logrippo

This paper reports on some initial results in using LOTOS as a hardware description language. LOTOS, the Language Of Temporal Ordering Specifications, is a language that has been conceived in the framework of Open Systems Interconnection (OSI) standardization as a tool for the formal description of OSI services and protocols. We present some examples to show how LOTOS can be applied to the spec...

2007
Iraj Kalantari

We exploit the analogy between the well ordering principle for nonempty subsets of N (the set of natural numbers) and the existence of a greatest lower bound for non-empty subsets of [a, b) 1 to formulate a principle of induction over the continuum for [a, b) analogous to induction over N. While the gist of the idea for this principle has been alluded to, our formulation seems novel. To demonst...

2008
HOLGER DIESSEL

Recent work in functional and cognitive linguistics has argued and presented evidence that the positioning of adverbial clauses is motivated by competing pressures from syntactic parsing, discourse pragmatics, and semantics. Continuing this line of research, the current paper investigates the e¤ect of the iconicity principle on the positioning of temporal adverbial clauses. The iconicity princi...

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

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