نتایج جستجو برای: incentive of application

تعداد نتایج: 21210852  

Journal: :CoRR 2018
Kazuyuki Shudo Kenji Saito

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 ...

2007

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...

2007

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...

2005
Navin Kartik Ying Chen Marco Ottaviani Vince Crawford Peter Hammond

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...

2009
Sascha Böhme

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.

2016
Aqilah Leela T Narayanan Syed Rasul G Syed Hamid Eko Supriyanto

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...

Journal: :Sensors 2016
Bersain A. Reyes Natasa Reljin Youngsun Kong Yunyoung Nam Sangho Ha Ki H. Chon

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...

Journal: :Brazilian journal of medical and biological research = Revista brasileira de pesquisas medicas e biologicas 2005
V F Parreira G M Tomich R R Britto R F Sampaio

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...

Journal: :آب و خاک 0
سجاد صادقی لطف آبادی محمد کافی حمیدرضا خزاعی

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...

Journal: :Australian Journal of Physiotherapy 1978

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید

function paginate(evt) { url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term pg=parseInt(evt.target.text) var data={ "year":filter_year, "term":term, "pgn":pg } filtered_res=post_and_fetch(data,url) window.scrollTo(0,0); } function update_search_meta(search_meta) { meta_place=document.getElementById("search_meta_data") term=search_meta.term active_pgn=search_meta.pgn num_res=search_meta.num_res num_pages=search_meta.num_pages year=search_meta.year meta_place.dataset.term=term meta_place.dataset.page=active_pgn meta_place.dataset.num_res=num_res meta_place.dataset.num_pages=num_pages meta_place.dataset.year=year document.getElementById("num_result_place").innerHTML=num_res if (year !== "unfilter"){ document.getElementById("year_filter_label").style="display:inline;" document.getElementById("year_filter_place").innerHTML=year }else { document.getElementById("year_filter_label").style="display:none;" document.getElementById("year_filter_place").innerHTML="" } } function update_pagination() { search_meta_place=document.getElementById('search_meta_data') num_pages=search_meta_place.dataset.num_pages; active_pgn=parseInt(search_meta_place.dataset.page); document.getElementById("pgn-ul").innerHTML=""; pgn_html=""; for (i = 1; i <= num_pages; i++){ if (i===active_pgn){ actv="active" }else {actv=""} pgn_li="
  • " +i+ "
  • "; pgn_html+=pgn_li; } document.getElementById("pgn-ul").innerHTML=pgn_html var pgn_links = document.querySelectorAll('.mypgn'); pgn_links.forEach(function(pgn_link) { pgn_link.addEventListener('click', paginate) }) } function post_and_fetch(data,url) { showLoading() xhr = new XMLHttpRequest(); xhr.open('POST', url, true); xhr.setRequestHeader('Content-Type', 'application/json; charset=UTF-8'); xhr.onreadystatechange = function() { if (xhr.readyState === 4 && xhr.status === 200) { var resp = xhr.responseText; resp_json=JSON.parse(resp) resp_place = document.getElementById("search_result_div") resp_place.innerHTML = resp_json['results'] search_meta = resp_json['meta'] update_search_meta(search_meta) update_pagination() hideLoading() } }; xhr.send(JSON.stringify(data)); } function unfilter() { url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term var data={ "year":"unfilter", "term":term, "pgn":1 } filtered_res=post_and_fetch(data,url) } function deactivate_all_bars(){ var yrchart = document.querySelectorAll('.ct-bar'); yrchart.forEach(function(bar) { bar.dataset.active = false bar.style = "stroke:#71a3c5;" }) } year_chart.on("created", function() { var yrchart = document.querySelectorAll('.ct-bar'); yrchart.forEach(function(check) { check.addEventListener('click', checkIndex); }) }); function checkIndex(event) { var yrchart = document.querySelectorAll('.ct-bar'); var year_bar = event.target if (year_bar.dataset.active == "true") { unfilter_res = unfilter() year_bar.dataset.active = false year_bar.style = "stroke:#1d2b3699;" } else { deactivate_all_bars() year_bar.dataset.active = true year_bar.style = "stroke:#e56f6f;" filter_year = chart_data['labels'][Array.from(yrchart).indexOf(year_bar)] url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term var data={ "year":filter_year, "term":term, "pgn":1 } filtered_res=post_and_fetch(data,url) } } function showLoading() { document.getElementById("loading").style.display = "block"; setTimeout(hideLoading, 10000); // 10 seconds } function hideLoading() { document.getElementById("loading").style.display = "none"; } -->