sugarcane, which has high water requirements, is grown in khuzestan province (iran). climate and optimizing the use of water is very important to sustainable cultivation of sugarcane. studies of water requirements for sugar cane in khuzestan show that in parts of sugarcane agro-industry, the water applied is more than the actual water requirement of the plant. the present study was conducted to...

We adopt the same mathematical model of a set M of probability measures as is central to the theory of coherent imprecise probability. However, we endow this model with an objective, frequentist interpretation in place of a behavioral subjective one. We seek to use M to model stable physical sources of time series data that have highly irregular behavior and not to model states of belief or kno...

Model M is a recently proposed class based exponential n-gram language model. In this paper, we extend it with personalization features, address the scalability issues present with large data sets, and test its effectiveness on the Bing Mobile voice-search task. We find that Model M by itself reduces both perplexity and word error rate compared with a conventional model, and that the personaliz...

Human aware planning requires an agent to be aware of the intentions, capabilities and mental model of the human in the loop during its decision process. This can involve generating plans that are explicable (Zhang et al. 2017) to a human observer as well as the ability to provide explanations (Chakraborti et al. 2017) when such plans cannot be generated. This has led to the notion “multi-model...

Type of MEngineering Type of MConceptual Model -17 Abstraction Model Analysis F-1 Performance Assessment Model 5I1 Mathematical Model F-1 System Model 51 Siqipntifir rl1 Prnc.ps'. Model Intended Use F-1 Input to Calculation Intended 171 Input to Calculation of Analysis M Input to another Analysis or Model Use of M; Input to another Model or Analysis M;I Input to Technical Document Model M Input...

In this paper we analyze declarative deterministic and non-deterministic semantics for active rules. In particular we consider several (partial) stable model semantics, previously defined for deductive rules, such as well-founded, max deterministic, unique total stable model, total stable model, and maximal stable model semantics. The semantics of an active program AP is given by first rewritin...

「罰金付きロジスティック回帰マシンを用いた話者認識」, ビルケネス・オイスティン(ノル ウェー工科大学),松井知子(統数研) Abstract We study on speaker recognition using a penalized logistic regression machine (PLRM) [1-3]. Parameters of a multiclass logistic regression model with the log-likelihood values of speaker Gaussian mixture models (GMMs) are discriminatively estimated and the model used for speaker decision. In speaker identification experimen...

We find that several recently proposed, consumption-based models of stock returns, when evaluated using an optimal set of managed portfolios and the associated model-implied conditional moment restrictions, fail to capture key features of risk premiums in equity markets. To arrive at these conclusions we address two methodological issues that are central to assessing the goodness-of-fit of asse...

In formal verification, we verify that a system is correct with respect to a specification. Cases like antecedent failure can make a successful pass of the verification procedure meaningless. Vacuity detection can signal such “meaningless” passes of the specification, and indeed vacuity checks are now a standard component in many commercial model checkers. We address two dimensions of vacuity: ...

Analytical models for IEEE 802.11-based WLANs are invariably based on approximations, such as the well-known decoupling approximation proposed by Bianchi for modeling single cell WLANs consisting of saturated nodes. In this paper, we provide a new approach to model the situation when the nodes are not saturated. We study a State Dependent Attempt Rate (SDAR) approximation to model M queues (one...