Filters








19,657 Hits in 3.9 sec

Decision Procedures over Sophisticated Fractional Permissions [chapter]

Xuan Bach Le, Cristian Gherghina, Aquinas Hobor
2012 Lecture Notes in Computer Science  
We develop a set decision procedures over equations drawn from the sophisticated boolean binary tree fractional permission model developed by Dockins et al. [4].  ...  We show how entailment checkers for separation logic with fractional permissions can extract equation systems over fractional shares.  ...  We have shown how to extract a system of equations over a sophisticated fractional share model from separation logic formulae.  ... 
doi:10.1007/978-3-642-35182-2_26 fatcat:4hgcbmznwfcr3bkqzrkwifdbum

Automated program verification made SYMPLAR

Kevin Bierhoff
2011 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software - ONWARD '11  
The paper shows that symbolic permissions can be enforced with a linear refinement typechecking procedure.  ...  Symbolic permissions provide a simple alias control mechanism with expressiveness similar to the well-known fractional permissions [Boyland 2003 ].  ...  We Don't Need Fractions While formally appealing, automated reasoning about fractions requires significant engineering and a sophisticated decision procedure for rationals or integers [Bierhoff 2009;  ... 
doi:10.1145/2048237.2048242 dblp:conf/oopsla/Bierhoff11 fatcat:7mw6slfukfbxtlf2cspoou6o5u

The Role of Radiotherapy in Breast Conserving Treatment

Torsten Landberg
1995 Acta Oncologica  
Radiotherapy in breast conserving procedures is instrumental for reducing the frequency of a breast relapse, and may even improve survival.  ...  Technique In the treatment decision procedure in radiotherapy, as is the case with other treatment modalities, the aim of therapy (radical or palliative) will have to be determined, and the tissue volumes  ...  (Ref. 7, with kind permission.) It should be delivered by daily 2 Gy fractions 5 times a week to avoid unnecessary late connective tissue reactions.  ... 
doi:10.3109/02841869509094047 pmid:7546838 fatcat:pj36yeow2ngh5a2h3eyszgojwy

A cerebellar role in evidence-guided decision-making [article]

Ben Deverett, Sue Ann Koay, Marlies Oostland, Samuel S.-H. Wang
2018 bioRxiv   pre-print
Here we show that during perceptual decision-making over a period of seconds, decision-, sensory-, and error-related information converge on the lateral posterior cerebellum in crus I, a structure that  ...  Decision errors were represented by dendritic calcium spikes, which are known to drive plasticity.  ...  Procedure and conventions 949 follow Figure 3C, demonstrating the fraction of cells with significant modulation by evidence. 950 Percent of modulated cells is statistically indistinguishable from the shuffle  ... 
doi:10.1101/343095 fatcat:7kzcjo42d5ggfmtumgby6ngmd4

The art and science of customer-choice modeling Reflections, advances, and managerial implications

R Verma
2003 The Cornell Hotel and Restaurant Administration Quarterly  
Our attempt in this essay is to highlight some of the valuable managerial and methodological insights we have observed over the course of the past ten years.  ...  mReproduced with permission of the copyright owner. Further reproduction prohibited without permission.  ...  Further reproduction prohibited without permission.  ... 
doi:10.1016/s0010-8804(03)90120-0 fatcat:vktm4zdvirae3gdxag6p5jxbn4

Barriers in Concurrent Separation Logic: Now With Tool Support!

Aquinas Hobor, Cristian Gherghina, Frank Piessens
2012 Logical Methods in Computer Science  
Adding fractional permissions required the development of an appropriate equational decision procedure for fractional shares.  ...  Once SLEEK understood fractional permissions, checking the validity side conditions on barriers was quite simple. 8.1. Decision Procedure for Shares.  ... 
doi:10.2168/lmcs-8(2:2)2012 fatcat:q4jx7tr35fdjtl7fekt67slak4

Does marriage work as a savings commitment device? Experimental evidence from Vietnam

Hisaki Kono, Tomomi Tanaka, Pablo Brañas-Garza
2019 PLoS ONE  
We find that individuals are less present biased when making joint decisions with their spouses than they are when making decisions alone.  ...  However, present-biased individuals turn over a smaller ratio of their earnings to their spouses and are more likely to manage household resources than time-consistent individuals are.  ...  As reported in Table 1 , 31.3% of the subjects are sophisticated PB, whereas the total fraction of PB subjects is 36.9%.  ... 
doi:10.1371/journal.pone.0217646 pmid:31216318 pmcid:PMC6583950 fatcat:xl63rtu3ere4vlegvqcpvkqcme

Investigating Effects of Control and Ads Awareness on Android Users' Privacy Behaviors and Perceptions

Na Wang, Bo Zhang, Bin Liu, Hongxia Jin
2015 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services - MobileHCI '15  
Our findings suggest that empowering users with control over information disclosure and enhancing their ads awareness before installation effectively help them make better privacy decisions, increase their  ...  In the 3 (control: no, low, high) x 2 (ads awareness: absent, present) x 3 (app context: Wallpaper, BusTracker, Flashlight) fractional factorial between-subjects experiment, we designed privacy notice  ...  Flashlight) fractional factorial between-subjects online experiment.  ... 
doi:10.1145/2785830.2785845 dblp:conf/mhci/WangZLJ15 fatcat:vzn5lv67fzekhorcx5bpxalxbq

Coronary Physiology in the Cath Lab: Beyond the Basics

Morton J. Kern
2011 Cardiology Clinics  
Effective radiation dose, time, and contrast medium to measure fractional flow reserve. J Am Coll Cardiol Interv 2010;3:821-7; with permission.)  ...  Relationship between quantitative ultrasound tomography and pressure-derived fractional flow reserve. Circulation 1999;100:250-5; with permission.)  ... 
doi:10.1016/j.ccl.2011.01.001 pmid:21459247 fatcat:rfxzlvfswjbubmma7tcn3bxu54

Reconciling mobile app privacy and usability on smartphones

Bin Liu, Jialiu Lin, Norman Sadeh
2014 Proceedings of the 23rd international conference on World wide web - WWW '14  
Android for instance allows developers to select from over 130 possible permissions. Expecting users to review and possibly adjust settings related to these permissions has proven unrealistic.  ...  Our results suggest that, while people's mobile app privacy preferences are diverse, a relatively small number of profiles can be identified that offer the promise of significantly simplifying the decisions  ...  While it is unrealistic to expect users to want to manually specify decisions on over 60 permissions (average of over 20 apps per user and over 3 permissions per app), it is not unreasonable to think that  ... 
doi:10.1145/2566486.2568035 dblp:conf/www/LiuLS14 fatcat:kacprzwvtbar5anosiimbltlvy

The impact of learning on perceptual decisions and its implication for speed-accuracy tradeoffs [article]

André G. Mendonça, Jan Drugowitsch, M. Inês Vicente, Eric DeWitt, Alexandre Pouget, Zachary F. Mainen
2018 bioRxiv   pre-print
SUMMARYIn standard models of perceptual decision-making, noisy sensory evidence is considered to be the primary source of choice errors and the accumulation of evidence needed to overcome this noise gives  ...  We found that the speed and accuracy of performance of rats on olfactory decision tasks could be best explained by a Bayesian model that combines reinforcement-based learning with accumulation of uncertain  ...  An ideal decision maker would learn to set the perfect decision boundary by averaging over all the trials that it has been exposed to.  ... 
doi:10.1101/501858 fatcat:2iv27dj76zfv3p33odzsxxelfq

Dynamic Pricing with Online Learning and Strategic Consumers: An Application of the Aggregating Algorithm

Tatsiana Levina, Yuri Levin, Jeff McGill, Mikhail Nediak
2009 Operations Research  
In the learning procedure, the company observes the sales history over consecutive learning stages and predicts consumer demand by applying an aggregating algorithm (AA) to a pool of online stochastic  ...  Numerical experiments demonstrate that the learning procedure is robust to deviations of the actual market from the model of the market used in learning.  ...  This adaptive procedure permits learning of consumer response through observation of sales over successive learning stages.  ... 
doi:10.1287/opre.1080.0577 fatcat:pqeahj73gve3rhscc2wifcy7ni

CABG at 50 (or 107?) — The Complex Course of Therapeutic Innovation

David S. Jones
2017 New England Journal of Medicine  
., intravascular ultrasonography and measurement of fractional flow reserve) allow refined selection of patients.  ...  Cardiac surgeons and cardiologists now collaborate on heart teams to provide the best data to their patients for shared decision making.  ... 
doi:10.1056/nejmp1702718 pmid:28489988 pmcid:PMC5563669 fatcat:44cr7uuux5fjrjiphpre5lhpq4

Salience-driven value construction for adaptive choice under risk [article]

Mehran Spitmaan, Emily Chu, Alireza Soltani
2018 bioRxiv   pre-print
Decisions we face in real life are inherently risky and can result in one of many possible outcomes.  ...  We show that differential weighting of possible outcomes enabled subjects to make decisions more easily and quickly.  ...  Currently, there are a number of sophisticated models for valuation and choice between complex gambles.  ... 
doi:10.1101/506832 fatcat:rbs3kxo3hnhfvdhyz7lyj7jcli

Recommended changes of the current version of the German Rili-BAEK

Christian Beier
2019 Journal of Laboratory Medicine  
Further proposals to enhance clarity are given concerning the release decisions of medical devices and the EQA.  ...  As a more sophisticated concept, the novel Adaptive Retrospective Monitoring (ARM) has been developed. ARM is recommended as the new minimum requirement for the entire internal quality assurance.  ...  Hence, a disturbance in the distribution curve of patient samples cannot be definitely matched to the fraction of sick people.  ... 
doi:10.1515/labmed-2019-0097 fatcat:jjc3nkccoregbfznldyhsflv54
« Previous Showing results 1 — 15 out of 19,657 results