stability and structural change of iranian consumers' preference for tea commodities during 1988-2005 is investigated throughout the coarse of this study. to this end, nonparametric test of revealed preference has been utilized. results of weak axiom of revealed preference (warp) show that in 1995 a contradiction has been in observed consumers' preference for tea with the null hypothe...

It is commonly believed that Alcubierre’s warp drive works by contracting space in front of the warp bubble and expanding space behind it. We show that this contraction/expansion is but a marginal consequence of the choice made by Alcubierre, and explicitly construct a similar spacetime where no contraction/expansion occurs. Global and optical properties of warp drive spacetimes are also discus...

A general mathematxal model descnbmg the response of an array of Bat amperometnc electrodes wth arbitrary srze and spatml dis~~tlon at the bottom of a measurmg cell with rectangular walls and fimte d~ensIons IS outlined It IS based on the gee-d~enslon~ d&fusion equation wrth m&al and boundary conditxons correspondmg to the physxal situatton wh& was numencally solved by the impbclt ~ternatl~~ir~...

GAHIDE, SEVERINE FRANCOISE. Exploration of Micromachines to Textiles: Monitoring Warp Tension and Breaks during the Formation of Woven Fabrics (Under the direction of Drs. George Hodge and Abdelfattah Seyam.) MicroElectroMechanical Systems, or MEMS, is an emerging high technology that has proven to be very successful in several industries such as medical, automotive and ink jet industries. The ...

We evaluate data on choices made from convex time budgets (CTB) in Andreoni and Sprenger (Am Econ Rev 102(7):3333-3356, 2012a) and Augenblick et al. (Q J Econ 130(3):1067-1115, 2015), two influential studies that proposed and applied this experimental technique. We use the weak axiom of revealed preference (WARP) to test for external consistency relative to pairwise choice, and demand, wealth a...

ÐThis paper describes a formal framework developed using the Prototype Verification System (PVS) to model and verify distributed simulation kernels based on the Time-Warp paradigm. The intent is to provide a common formal base from which domain specific simulators can be modeled, verified, and developed. PVS constructs are developed to represent basic Time-Warp constructs. Correctness condition...

This paper analyses the requirements of performing parallel transaction-oriented simulations with a special focus on the space-parallel approach and discrete event simulation synchronisation algorithms that are suitable for transaction-oriented simulation and the target environment of Ad Hoc Grids. To demonstrate the findings a Java-based parallel transaction-oriented simulator for the simulati...

In this paper, we develop a computationally efficient approach for warp factor estimation in Vocal Tract Length Normalization (VTLN). Recently we have shown that warped features can be obtained by a linear transformation of the unwarped features. Using the warp matrices we show that warp factor estimation can be efficiently performed in an EM framework. This can be done by collecting Sufficient...