maize hybrid ksc 706 (k3547/4 × mo17) produced grain yield 11.713 t ha-1, when evaluated in eight locations over two years (2007-8), comparing to ksc 704 with 9.845 t/ha. on farm experiments in 2012, in kermanshah province in two locations, this hybrid produced 13.100 and 13.300 t ha-1 in eslam abad and ravansar as first cropping, respectively, comparing to ksc 704, with 11.300 and 9.700 t ha-1...

We examine a number of objective, automatically computable TURN-YIELDING CUES — distinct prosodic, acoustic and syntactic events in a speaker’s speech that tend to precede a smooth turn exchange — in the Columbia Games Corpus, a large corpus of task-oriented dialogues. We show that the likelihood of occurrence of a turn-taking attempt from the interlocutor increases linearly with the number of ...

Consider an agent taking two successive decisions to maximize his expected utility under uncertainty. After his first decision, a signal is revealed that provides information about the state of nature. The observation of the signal allows the decision-maker to revise his prior and the second decision is taken accordingly. Assuming that the first decision is a scalar representing consumption, th...

The NuPRL system [3] was designed for interactive writing of machine–checked constructive proofs and for extracting algorithms from the proofs. The extracted algorithms are guaranteed to be correct 1 which makes it possible to use NuPRL as a programming language with built-in verification[1,5,7,8,9,10]. However it turned out that proofs written without algorithmic efficiency in mind often produ...