745,037 Hits in 3.8 sec

Survey on Directed Model Checking [chapter]

Stefan Edelkamp, Viktor Schuppan, Dragan Bošnački, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
2009 Lecture Notes in Computer Science  
This article surveys and gives historical accounts to the algorithmic essentials of directed model checking, a promising bug-hunting technique to mitigate the state explosion problem.  ...  Last but not least, we explain how directed model checking helps to accelerate finding solutions to scheduling problems.  ...  The survey thus fills the gap left open by directed model checking not being mentioned in the most visible books like "Model Checking" [27] and surveys like "25 Years of Model Checking" [53] .  ... 
doi:10.1007/978-3-642-00431-5_5 fatcat:ajlgidfe3neu3ojpascy4l6evu

Page 2188 of American Society of Civil Engineers. Collected Journals Vol. 117, Issue 7 [page]

1991 American Society of Civil Engineers. Collected Journals  
The model of “overview checking” is directed at assessing the adequacy of the designed member size.  ...  CHECKING MODELS IN STRUCTURAL DESIGN* Discussion by W.  ... 

Discussion of "Impact of Frequentist and Bayesian Methods on Survey Sampling Practice: A Selective Appraisal" by J. N. K. Rao

Eric Slud
2011 Statistical Science  
Discussion of "Impact of Frequentist and Bayesian Methods on Survey Sampling Practice: A Selective Appraisal" by J. N. K. Rao [arXiv:1108.2356]  ...  of shrinking direct estimators from similar areas toward one another.  ...  Chi-squared tests based on survey cross-classifications were studied in a series of papers leading up to Rao and Scott (1984) , and are widely cited but perhaps not much used in model-checking.  ... 
doi:10.1214/11-sts346c fatcat:d5jwkuasx5gjpb3ykdminxlmdu


V. V. Shcherbakov, M. A. Altyntsev, M. A. Altyntseva
2021 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
Coordinates of rails and rail track axis can be used as control points for georeferencing of any other surveying data. UAV images are one of these data types.  ...  Accuracy estimation of generating photogrammetric models and image-based point clouds using control point coordinates measured with the trolley is given.  ...  It can be concluded that one control point on the adjacent rail track is enough for generating an accurate model if the direction of a rail track is close to a straight line (Figure 9 ).  ... 
doi:10.5194/isprs-archives-xliii-b2-2021-101-2021 fatcat:nuz6htyq4ngtzh2c6ho6osjtla

Evaluation of Terrestrial Laser Scanner Accuracy in the Control of Hydrotechnical Structures

Zbigniew Muszyński, Jarosław Rybak
2017 Studia Geotechnica et Mechanica  
The application of surveying methods such as high-precision levelling, motorized tacheometry or even terrestrial laser scanning makes it possible to provide an independent reference measurement free from  ...  The methods under scrutiny (motorized tacheometry and terrestrial laser scanning) have been compared to classical techniques and described in the context of their practical use on the example hydrotechnical  ...  points located on the struts and calculated on the basis of the total station measurements 1st check survey 2nd check survey No. of check point Δx [mm] mΔx [mm] Δy [mm] mΔy [mm] Δx [mm  ... 
doi:10.1515/sgem-2017-0036 fatcat:kylj247e7vgcnmw6rcf5pmvqim

Hospital pharmacy practice in Saudi Arabia: Dispensing and administration in the Riyadh region

Mohammed S. Alsultan, Fowad Khurshid, Ahmed Y. Mayet, Ahmed H. Al-jedai
2012 Saudi Pharmaceutical Journal  
Recently, we published the survey results on the prescribing and transcribing steps of the medication use process. This paper focuses on dispensing and administration.  ...  Results: Twenty-nine hospitals participated in the survey with a response rate of 60.4%. Centralized distribution (74%) is the most commonly used model for inpatient pharmacies.  ...  , Riyadh, Saudi Arabia for his review of survey questionnaire as pertinent to Saudi Arabia.  ... 
doi:10.1016/j.jsps.2012.05.003 pmid:23960805 pmcid:PMC3745065 fatcat:ctxz6dqxpjb3fi3op3fetjzbia


J. N. K. Rao
2011 Statistical Science  
Rejoinder of "Impact of Frequentist and Bayesian Methods on Survey Sampling Practice: A Selective Appraisal" by J. N. K. Rao [arXiv:1108.2356]  ...  I am presently studying model-checking methods for twolevel models taking account of the survey design.  ...  model diagnostics (Slud) and Bayesian model checking (Sedransk) .  ... 
doi:10.1214/11-sts346rej fatcat:4g2oxrjadnh2jkekh4rxcg4y64

Page 447 of Geophysics Vol. 25, Issue 2 [page]

1960 Geophysics  
Additional ground-control points were identified on the instrument model and designated as “check points.””  ...  PHOTOGRAMMETRIC GRAVITY SURVEYS 447 Measurements in the vertical direction were made in base units and then converted to their equivalent values in ft.  ... 

Increased Prevalence of Diabetes in Argentina Is Due to Easier Health Care Access Rather than to an Actual Increase in Prevalence

Adolfo Rubinstein, Laura Gutierrez, Andrea Beratarrechea, Vilma E. Irazola, Pal Bela Szecsi
2014 PLoS ONE  
We used logistic regression models to explore the relationship between prevalence of self-reported diabetes and recent blood sugar check as the main predictor.  ...  We evaluated the independent effect of a recent blood sugar check, on the increase in selfreported diagnoses of diabetes between 2005 and 2009.  ...  Recent blood sugar check was defined as having at least one measure within 2 years of the survey (response options were: less than one year, one to two years, more than 2 years, and never).  ... 
doi:10.1371/journal.pone.0092245 pmid:24699429 pmcid:PMC3974703 fatcat:jndxi4agibhmnkc5p3uikdwxpe

Page 440 of Naval Engineers Journal Vol. 60, Issue 4 [page]

1948 Naval Engineers Journal  
A directive antenna, fed by a radio frequency oscillator, is located at the edge of the ocean and beams r-f- energy at the receiving antennas located on the ship model.  ...  Tests to check the validity of the model can be readily made by a comparison of antenna patterns from the model and the actual ship.  ... 

Influences of health facility type for delivery and experience of cesarean section on maternal and newborn postnatal care between birth and facility discharge in Malawi

Eunsoo Timothy Kim, Kavita Singh, Ilene S. Speizer, Clara Lemani
2020 BMC Health Services Research  
The total and direct effects of delivering in private hospitals on maternal and newborn PNC before facility discharge were significantly higher than the effects of delivering in government hospitals.  ...  Data from the 2015-16 Malawi Demographic and Health Survey were used for the study.  ...  Exclusion of such variables in the model (in order to keep the model parsimonious for the main research questions) means that the direct effects of the type of health facility where women delivered on  ... 
doi:10.1186/s12913-020-4958-4 pmid:32093660 fatcat:q7dvzcenfracpctzvdhdnjnmzi

Six issues concerning future directions in concurrency research

Jos C. M. Baeten, Jan A. Bergstra
1996 ACM Computing Surveys  
Automated Verification One succesful and even commercially used approach is model checking, which makes it possible to check the correctness of programs exhaustively without any user interaction.  ...  It is interesting to investigate integration of the two approaches in one tool, in which the switch from theorem proving to model checking and back again can be made autonomously, without user intervention  ... 
doi:10.1145/242224.242272 fatcat:4vjmqlfg5zh67nduawzpzvbcfm

Page 399 of Surveying and Land Information Science Vol. 20, Issue 3 [page]

1960 Surveying and Land Information Science  
Please send me complete details on the KE-6e and other K&E Theodolite Models. Name & Title and KE-le (erected), .and Model KE-2 (inverted), and KE-2e (erected), reading direct to 1 sec.  ...  Choice of erected or inverted (Model KE-6) image. Optical plummet built into alidade . . . affords a com- plete check of accuracy when rotated 180°.  ... 

3D Laser Scanner for Tunnel Surveying and Accuracy Analysis According to Registration Method

Joon Kyu Park, Department of Civil Engineering, Seoil University, 28, Yongmasan-ro 90-gil, Jungnang-gu, Seoul, Korea
2019 International Journal of ICT-aided Architecture and Civil Engineering  
Results of accuracy evaluation compared with check points, the maximum error was within 6cm in the N, E, and H directions, indicating the plane and elevation acceptable accuracy of scale 1:1000 digital  ...  Recently, 3D laser scanners have been used in a variety of areas as a new way to improve existing surveying methods.  ...  Figure. 1 1 Figure. 1 Study area Figure. 4 4 Figure. 4 Modeling result FigURE. 5 5 Comparison of accuracy of check pointsAs a result of the accuracy evaluation compared to the check point, the maximum  ... 
doi:10.21742/ijiace.2019.6.1.03 fatcat:5zndku43uvdqvnz6blkl567i24

Families' Use of Payment Instruments During a Decade of Change in the U.S. Payment System

Elizabeth Klee
2006 Social Science Research Network  
., the share of payments made "electronically" -with credit cards, debit cards and direct payments -grew from 25 percent in 1995 to over 50 percent in 2002 (BIS, 2004).  ...  A Appendix: Survey of Consumer Finances Questions The SCF contains both direct and indirect questions on payment choices. Respondents answer direct questions with "yes", "no" or "not applicable".  ...  According to the survey data, families most frequently reported that they use direct payment for insurance premiums across all survey years.  ... 
doi:10.2139/ssrn.899115 fatcat:mxf3lt53tjcndl2w3f7lwjwt4q
« Previous Showing results 1 — 15 out of 745,037 results