Filters








2,629,291 Hits in 1.5 sec

Mechanically Verified Calculational Abstract Interpretation [article]

David Darais, David Van Horn
2015 arXiv   pre-print
We identify several technical challenges to overcome with the aim of supporting verified calculational abstract interpretation that is faithful to existing pencil-and-paper proofs, supports calculation  ...  To validate our approach, we give the first mechanically verified proof of correctness for Cousot's "Calculational design of a generic abstract interpreter."  ...  Consequently we obtain a verified proof of the calculation and extract a verified implementation of Cousot's static analyzer.  ... 
arXiv:1507.03559v1 fatcat:a2ho4ehqyjaqrprr5nujpaj7ri

Towards verified numerical renormalization group calculations

Peter Schmitteckert
2019 The European Physical Journal Special Topics  
This extension enables us to provide a numerically verified NRG excitation spectrum.  ...  However, their fragility with respect to rounding errors is not well studied and numerically verified enclosures of the results are not available.  ...  This is sufficiently large enough to demonstrate, that one is not restricted to toy calculations.  ... 
doi:10.1140/epjst/e2018-800058-3 fatcat:at2fhqyd3vgevginni7qu5ejd4

Verifying Traffic Noise Analysis Calculation Models

Adam Zagubień, Katarzyna Wolniewicz
2015 Polish Journal of Environmental Studies  
Three independent parts of roads were analysed using three calculation programmes based on three mathematical models.  ...  One should also be careful when choosing a calculation programme for rare traffic situations, such as bus terminals or transport bases.  ...  According to [12] , in each calculation case it is necessary to verify the calculation model by means of real field measurements.  ... 
doi:10.15244/pjoes/58962 fatcat:4olsjglqkjgo3aowt6svyxqcvm

Verified Real Number Calculations: A Library for Interval Arithmetic [article]

Marc Daumas , César Muñoz
2007 arXiv   pre-print
This pragmatic approach has been developed, and formally verified, in a theorem prover.  ...  Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs.  ...  VERIFIED REAL NUMBER CALCULATIONS IN PVS The interval arithmetic presented in this paper has been developed as a PVS library called Interval.  ... 
arXiv:0708.3721v1 fatcat:5a6672hxfzhlrnavvchbzlc7aq

Verifying monitor unit calculations for tangential breast fields

Ian Kay, Peter Dunscombe
2006 Journal of Applied Clinical Medical Physics  
An essential component of quality assurance in radiation therapy is verifying the accuracy of monitor unit calculations.  ...  The analysis we present can assist the treatment planning physicist in selecting a method and tolerance window for verifying monitor unit calculations for tangential breast fields.  ...  Validation of the monitor unit calculation is performed either using hand calculations or one of many software packages, both "home-grown" (2) and commercial.  ... 
doi:10.1120/jacmp.v7i2.2177 pmid:17533323 pmcid:PMC5722436 fatcat:sqwn7kasl5grddv2l42yfbqfhm

The Importance of Verifying Reference Intervals for Calculated Results

Rajeevan Selvaratnam, Amy B. Karger
2017 The Journal of Applied Laboratory Medicine  
While it is an accepted clinical laboratory practice to establish or verify reference intervals for measured analytes, this practice can be overlooked for calculated values such as the anion gap ([Na +  ...  Therefore, establishing or verifying appropriate reference intervals is an essential component of proper test utilization as the reference limits define the bounds of a healthy population.  ...  The need to establish or verify reference intervals for calculated parameters may also be overlooked at institutions accredited by the College of American Pathologists, as calculated results reported out  ... 
doi:10.1373/jalm.2017.024034 pmid:33636856 fatcat:wv7azxsl45hothdf7b7n3bociu

Verified Real Number Calculations: A Library for Interval Arithmetic

M. Daumas, D. Lester, C. Muoz
2009 IEEE transactions on computers  
This pragmatic approach has been developed, and formally verified, in a theorem prover.  ...  Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs.  ...  VERIFIED REAL NUMBER CALCULATIONS IN PVS The interval arithmetic presented in this paper has been developed as a PVS library called Interval.  ... 
doi:10.1109/tc.2008.213 fatcat:4aadux52sncpjan3yjo7fkauja

A Data Set to Verify Volume and Sample Removal Correction Calculations for Dissolution Testing

Alger Salt
2021 Dissolution Technologies  
These data can be used to verify the accuracy of such calculations.  ...  Presented here are data and results that can be used to verify the accuracy of the numeric values produced by such software.  ...  THE CALCULATIONS Consider two different scenarios -one where the amount of solution withdrawn at each sample interval is replaced and the vessel is replenished with an equal volume of fresh medium.  ... 
doi:10.14227/dt280221p16 fatcat:vbqnw6opmfcovdlx3hukrgfxua

THE DEVELOPMENT OF A MONTE CARLO SYSTEM TO VERIFY RADIOTHERAPY TREATMENT DOSE CALCULATIONS

S. Crowe, T. Kairn, A. Fielding
2009 Radiotherapy and Oncology  
2009) The development of a Monte Carlo system to verify radiotherapy treatment dose calculations. Radiotherapy and Oncology, 92(Supplement 1). S 71-S 71.  ...  This work is the first stage in the development of an independent MC dose calculation system for verifying and validating complex radiotherapy treatments such as IMRT.  ...  Existing measurement and TPS data for an anthropomorphic pelvis phantom, taken as part of a national dosimetry study, were also used to verify the MC dose predictions.  ... 
doi:10.1016/s0167-8140(12)72778-0 fatcat:ghn47merbvdezg5un6k5h46yoq

Conceptual Framework for Calculation of Climate Performance with Pre-verified LCA-Tools

Larissa Strömberg
2017 Journal of Civil Engineering and Architecture  
The proposed conceptual framework for verified climate calculations is based on the Swedish-based, the International EPD ® System.  ...  Fig. 1 The conceptual framework in a pre-verified LCA-tool which can produce verified EPDs and verified climate calculation (e.g., bridges and roads in this project).  ...  The project participants tested to perform the verified calculate calculations in order to calculate the climate impact for four infrastructural projects.  ... 
doi:10.17265/1934-7359/2017.01.004 fatcat:mkynhqsxazbo3nqsxqz4ndts6q

On the Necessary Grid Resolution for Verified Calculation of Premixed Laminar Flames

Asharf N. Al-Khateeb, Joseph M. Powers, Samuel Paolucci
2010 Communications in Computational Physics  
In Section 3.1, the algorithm is verified by comparison with calculations given by Smooke et al.  ...  Introduction Here we will employ a few basic numerical strategies to develop reliable tools which can give estimates of the grid size necessary for a mathematically verified calculation of reacting flows  ... 
doi:10.4208/cicp.090709.021109a fatcat:lmtpxaxjurggxar2qgui7vrvbe

Verified and validated calculation of unsteady dynamics of viscous hydrogen–air detonations

C. M. Romick, T. D. Aslam, J. M. Powers
2015 Journal of Fluid Mechanics  
The calculations are automatically verified by the use of an adaptive wavelet-based computational method which correlates a user-specified error tolerance to the error in the calculations.  ...  The calculations are automatically verified by the use of an adaptive wavelet-based computational method which correlates a user-specified error tolerance to the error in the calculations.  ...  In addition, inviscid calculations are compared directly with the viscous calculations.  ... 
doi:10.1017/jfm.2015.114 fatcat:kkqxxfsurbboxf45k2rxxyv3im

Investigation of a model to verify software for 3-D static force calculation

N. Takahashi, T. Nakata, Suhartono, H. Morishige
1994 IEEE transactions on magnetics  
Requirements for a model to verify software for 3-D static force calculation are examined, and a 3-D model for static force calculation is proposed.  ...  (b) The influence of the force calculation method, number of elements, unknown variable and element type on the accuracy of calculated forces are investigated.  ...  Force Calculation Method Fig.2 shows t h e z-components F z of electromagnetic force calculated using the Maxwell stress tensor method, advanced energy method and magnetizing current method [6, 7] .  ... 
doi:10.1109/20.312689 fatcat:vigbucscandxnhczx2ls55khru

Verifying monitor unit calculations for tangential whole breast fields in 3-dimensional planning

Ian Kay, Tyler Meyer
2008 Journal of Applied Clinical Medical Physics  
An essential component of quality assurance in radiation therapy is verifying the accuracy of monitor unit calculations.  ...  This analysis can also assist the treatment planning physicist in selecting a tolerance window for verifying monitor unit calculations for tangential breast fields.  ...  ., (2) and it is simpler to calculate. Prado et al.  ... 
pmid:18449165 pmcid:PMC5721530 fatcat:ll55oge6s5cinhex4stoknmkua

A cover technique to verify the reliability of a model for calculating fuzzy probabilities

Chongfu Huang
2011 International Journal of Disaster Risk Science  
In this article we suggest a new approach called the cover technique to verify the model's reliability.  ...  We present a case that shows how to construct a distribution-cover and calculate the consistency degree of the cover and a possibility-probability distribution.  ...  It is necessary to verify the reliability of the model used to calculate ( ) p x before we suggest it to the security department. Many models have been suggested to calculate fuzzy probabilities.  ... 
doi:10.1007/s13753-011-0011-x fatcat:gyoyoyyl6vfbra6v4putmmb4ni
« Previous Showing results 1 — 15 out of 2,629,291 results