We pose a fundamental problem of public blockchain, “incentive mismatch.” It is an open problem, but application portability is a provisional solution to the problem. Portability is also a desirable property for an application on a private blockchain. It is not even clear to be able to define a common API for various blockchain middlewares, but it is possible to improve portability by reducing ...

Computational mechanism design brings together the concern in microeconomics with decision making in the context of distributed private information and self-interest and the concern in computer science with computational and communication complexity. In constructing mechanisms, with application to the design of electronic markets and to protocols for automated negotiation, many new issues arise...

Computational mechanism design brings together the concern in microeconomics with decision making in the context of distributed private information and self-interest and the concern in computer science with computational and communication complexity. In constructing mechanisms, with application to the design of electronic markets and to protocols for automated negotiation, many new issues arise...

Misrepresenting private information is often costly, for technological, legal, or psychological reasons. I develop a model of strategic information transmission based on Crawford and Sobel (1982) (CS), but with a convex cost of lying or misreporting. There are three main results. First, I prove that a sequence of monotone equilibria converges to a CS equilibrium as the cost of misreporting shri...

Currently, only a few Satisfiability Modulo Theories (SMT) solvers are able to produce proof objects, although there is a strong incentive: Proof objects can be reconstructed in a different system to the check soundness of an SMT solver. We present proof reconstruction for the SMT solver Z3 in Isabelle/HOL and give experimental results of its application.

BACKGROUND Evidence regarding the effectiveness of incentive spirometry (ISy) on postoperative pulmonary outcomes after thoracic, cardiac and abdominal surgery remains inconclusive. This is attributed to various methodological issues inherent in ISy trials. Patient compliance has also been highlighted as a possible confounding factor; however, the status of evidence regarding patient compliance...

A smartphone-based tidal volume (V(T)) estimator was recently introduced by our research group, where an Android application provides a chest movement signal whose peak-to-peak amplitude is highly correlated with reference V(T) measured by a spirometer. We found a Normalized Root Mean Squared Error (NRMSE) of 14.998% ± 5.171% (mean ± SD) when the smartphone measures were calibrated using spirom...

The objective of the present study was to evaluate incentive spirometers using volume- (Coach and Voldyne) and flow-oriented (Triflo II and Respirex) devices. Sixteen healthy subjects, 24 +/- 4 years, 62 +/- 12 kg, were studied. Respiratory variables were obtained by respiratory inductive plethysmography, with subjects in a semi-reclined position (45 masculine). Tidal volume, respiratory freque...

abstract in order to study salt stress, calcium and potassium effects and type of application on sorghum plant, a field experiment was arranged in randomized complete block in split plot design at the research field of center of excellence for special crops, ferdowsi university of mashhad at 2008. experimental treatments were included two levels of salinity (5 and 10 ds.m-1) as main plots and f...