In a setting with repeated experiments, where evidence about the experiments is symmetric, a decision-maker ranks bets (or acts) over their outcomes. We describe a stark modeling trade-o¤ between symmetry of preference (indi¤erence to permutations), dynamic consistency and ambiguity. Then, assuming that experiments are ordered in time, we outline an axiomatic model of preference that exhibits d...

Dynamic visual acuity (DVA) is defined as the ability to discriminate the fine parts of a moving object. DVA is generally better in athletes than in non-athletes, and the better DVA of athletes has been attributed to a better ability to track moving objects. In the present study, we hypothesized that the better DVA of athletes is partly derived from better perception of moving images on the ret...

Presupposition failures are errors occurring during the left-right processing of a computer program or natural language text. A general method for analysing such errors with dynamic logic is presented, based on the idea that sequential processing changes context dynamically and that this process of context change can be made the object of analysis in dynamic modal logic.

Presupposition failures are errors occurring during the left-right processing of a computer program or natural language text. A general method for analysing such errors with dynamic logic is presented, based on the idea that sequential processing changes context dynamically and that this process of context change can be made the object of analysis in dynamic modal logic.

dynamic cellular manufacturing systems,   mixed-integer non-linear programming,   production planning, manufacturing attributes   this paper presents a novel mixed-integer non-linear programming model for the design of a dynamic cellular manufacturing system (dcms) based on production planning (pp) decisions and several manufacturing attributes. such an integrated dcms model with an extensive c...

in this paper, we review novel techniques in the emerging field of spatiotemporal 4d pet imaging. we will discuss existing limitations in conventional dynamic pet imaging which involves independent reconstruction of dynamic pet datasets. various approaches that seek to attempt some or all of these limitations are reviewed in this work, including techniques that utilize iterative temporal smooth...

Rivin, I. and R. Zabih, A dynamic programming solution to the n-queens problem, Information Processing Letters 41 (1992) 253-256. The n-queens problem is to determine in how many ways n queens may be placed on an n-by-n chessboard so that no two queens attack each other under the rules of chess. We describe a simple O( f(n)8”) solution to this problem that is based on dynamic programming, where...

Contrast in image processing is typically scaled using a power function (gamma) where its exponent specifies the amount of the physical contrast change. While the exponent is normally constant for the whole image, we observe that such scaling leads to perceptual nonuniformity in the context of high dynamic range (HDR) images. This effect is mostly due to lower contrast sensitivity of the human ...

A parallel computer system is a collection of processing elements that communicate and cooperate to solve large computational problems efficiently. To achieve this, at first the large computational problem is partitioned into several tasks with different work-loads and then are assigned to the different processing elements for computation. Distribution of the work load is known as Load Balancin...

A sensor node is composed of different parts including processing units, sensor, transmitter, receiver, and security unit. There are many nodes in a sensor unit. These networks can be used for military, industrial, medicine, environmental, house, and many other applications. These nodes may be established in the lands of enemies to monitor the relations. Hence, it is important to consider conse...