3,796,407 Hits in 7.2 sec

An approach to systems correctness

Gilles Khan
1971 Proceedings of the third symposium on Operating systems principles - SOSP '71  
Firsts the problem of proving the correctness of an operating system is defined. Then a simple model is presented.  ...  Several examples are given to show how this model allows derivation of proofs about small systems.  ...  Acknowledgment My friends Denis Seror and Mark Smith helped me considerably to formulate the ideas of this paper. I thank them wholeheartedly for their merciless criticisms.  ... 
doi:10.1145/800212.806504 dblp:conf/sosp/Kahn71 fatcat:3vnsy6xpo5bethcf5etcwynl3e

An approach to correctness of security and operational business policies

V.R. Karimi, D.D. Cowan, P.S.C. Alencar
2014 International Journal of Accounting Information Systems  
Conclusions In this paper we have proposed an approach to describing security and operational business policies and verifying their correctness with respect to a set of properties.  ...  We will use the earlier statement about tellers and depositing money into an account to illustrate the approach.  ... 
doi:10.1016/j.accinf.2014.05.004 fatcat:wnmoqgiuobadfakpem6rdvipum

Correction to: Measuring the impact of the Afordable Care Act Medicaid expansion on access to primary care using an interrupted time series approach

Elizabeth A. Brown, Brandi M. White, Walter J. Jones, Mulugeta Gebregziabher, Kit N. Simpson
2021 Health Research Policy and Systems  
An amendment to this paper has been published and can be accessed via the original article.  ...  enrollee f Average of pre-and post-ACA FPL Medicaid Income Eligibility Limits for parents of dependent children (in a family of three) Demographic Variables a NME b States ME c States p-value Access to  ...  categorical variables b NME: Non-Medicaid expansion states include South Carolina, Wisconsin, Georgia, and Florida c ME: Medicaid expansion states include Arizona, Kentucky, New Jersey, and New York d Medicaid-to-Medicare  ... 
doi:10.1186/s12961-021-00740-y pmid:34074307 fatcat:z3qt7ii3szbldexssulv7ewhea

Lead Extraction and Upgrade to a Biventricular Device with Concomitant Systemic Tricuspid Valve Replacement in an Adult with Congenitally Corrected Transposition: A Hybrid Approach

Tahmeed Contractor, Ahmed Kheiwa, Ravi Mandapati, Eric Buch, Joshua Cooper, Timothy Martens
2020 HeartRhythm Case Reports  
We preferred to avoid an additional implanted device in this young patient and hence did not choose this latter approach.  ...  In difficult cases, an inferior percutaneous approach is necessary, and this typically involves the use of snaring tools. 8 When a percutaneous approach is felt to be high risk (large complex vegetations  ... 
doi:10.1016/j.hrcr.2020.05.008 pmid:32817830 pmcid:PMC7424290 fatcat:6mzknvaku5gyppvfndonniffqe

Review: hindi question answering system using machine learning approach As an upshot of Natural Language Interface to Database (NLIDB), Question Answering System is relatively an Information Retrieval system which is suppose to reflect the user with the correct or closest results to the query being asked to the system in natural language. Information Retrieval and Information Extraction plays vital role in accomplishing the task of interaction between the user and the system. The paper discusses various way ...

2016 International Journal of Latest Trends in Engineering and Technology  
Question Answering system is an idea to make the access of the system much user friendly and efficient to use as it will be going to work in the natural language which is much more easy for the user; both  ...  Abstract of machine learning approach let number of researchers to work on Question Answering system, whether it would be Support Vector Machine, Classification or Clustering.  ... 
doi:10.21172/1.74.035 fatcat:mg67bb4pj5d23eh5ewq5x5f5nu

An experimental and theoretical approach to correct for the scattered radiation in an X-ray computer tomography system for industrial applications

Alice <1978> Miceli, Franco Casali
The main problem connected to cone beam computed tomography (CT) systems for industrial applications employing 450 kV X-ray tubes is the high amount of scattered radiation which is added to the primary  ...  CT system, and the optimization of the hardware components of the CT system.  ...  Chapter 3 describes the methodology and approaches to validate the MC simulation of the CT system, to optimize the CT system, to investigate the scattering, and to optimize the anti-scatter grid.  ... 
doi:10.6092/unibo/amsdottorato/848 fatcat:4wrsybxuxzgb5ijku3kgwg4xia


K Kehiopulo
2013 Рецензент-проф. Н.В. Пашковська Buk. Med. Herald   unpublished
risk factors of the development of cardiovascular diseases, as well as the efficacy of different therapeutic approaches to a correction of disturbed indicators of inflammation, hemostasis and fibrinolysis  ...  Combined therapy, including the intake of met-formin and liraglutide is condurive to a more significal reduction of the body weight as compared with metformin mono-therapy and contributes to an improvement  ... 

System Combination for Grammatical Error Correction Based on Integer Programming [article]

Ruixi Lin, Hwee Tou Ng
2021 arXiv   pre-print
We also perform experiments to compare our IP approach with another state-of-the-art system combination method for GEC, demonstrating IP's competitive combination capability.  ...  In this paper, we propose a system combination method for grammatical error correction (GEC), based on nonlinear integer programming (IP).  ...  During correction (inference), the system applies an edit (by system i to correct an error of type j) to an input sentence if x ij = 1 as determined by the LINGO solver.  ... 
arXiv:2111.01465v1 fatcat:fwoqbemlmrejvbacyuzd65mcdy

System Combination for Grammatical Error Correction

Raymond Hendy Susanto, Peter Phandi, Hwee Tou Ng
2014 Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP)  
In this paper, we propose to combine the output from a classification-based system and an SMT-based system to improve the correction quality.  ...  Different approaches to high-quality grammatical error correction have been proposed recently, many of which have their own strengths and weaknesses.  ...  We would like to thank Christopher Bryant for his comments on this paper.  ... 
doi:10.3115/v1/d14-1102 dblp:conf/emnlp/SusantoPN14 fatcat:alkuyb7jx5bwpkzadnh6geqrzi

Spell Checking And Error Correcting System For Text Paragraphs Written In Punjabi Language Using Hybrid Approach

Harpreet Kaur, Navroop Kaur
2016 Zenodo  
We have developed a spell checker and error correcting system for Punjabi language.  ...  The proposed system use hybrid approach which s a combination of various approaches like rule based approach, dictionary lookup approach , edit distance approach and N-Gram approach.  ...  We have discussed numerous detection and correction methods that are helpful in finding the errors. We have to develop an online Punjabi spell checker system using NLP.  ... 
doi:10.5281/zenodo.46488 fatcat:mnnx7w6b5vh7xax6scmregj2pq

Improving transient memory fault resilience of an H.264 decoder

Andreas Heinig, Michael Engel, Florian Schmoll, Peter Marwedel
2010 2010 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia  
In this paper, we present a structure for an error-correcting embedded system based on a real-time aware classification.  ...  In many situations, however, it will not be required to create a totally error-free system. In such a system, only perceptible errors will have to be corrected.  ...  While some early approaches to classify errors according to their impact exist, to the best of our knowledge, no system provides an important feature of our approach: the flexibility to handle the same  ... 
doi:10.1109/estmed.2010.5666989 dblp:conf/estimedia/HeinigESM10 fatcat:h2vd2qhpkzhdlaywf5s46wk3ve

Database Design for Quality [chapter]

Donatella Castelli, Elvira Locuratolo
1996 Achieving Quality in Software  
The approach employed to define a formal design methodology for the development of easy to use, flexible, efficient and correct database systems is described.  ...  Keywords Database system quality attributes, design for quality, methodological tools.  ...  In this paper, we propose an approach to define methods for good design.  ... 
doi:10.1007/978-0-387-34869-8_20 fatcat:oev2uaihvbfhrb6kz2wduykgtu

A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems [chapter]

Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli
2005 Lecture Notes in Computer Science  
Indeed, a widely used approach in performability modeling is to describe the system by state space models (like Markov models).  ...  Modeling for dependability and performance evaluation has proven to be a useful and versatile approach in all the phases of the system life cycle.  ...  [7] proposes an efficient modeling approach and solution for Phase Mission Systems.  ... 
doi:10.1007/978-3-540-30225-4_12 fatcat:yiu6nn4bfbgcjajdpvlncyqmbi

Exploiting the Use of DC SCOPF Approximation to Improve Iterative AC SCOPF Algorithms

Alejandro Marano-Marcolini, Florin Capitanescu, Jose Luis Martinez-Ramos, Louis Wehenkel
2012 IEEE Transactions on Power Systems  
Our approach brings two benefits compared to benchmark SCOPF algorithms: it speeds-up the solution of an iterative AC SCOPF algorithm thanks to a more efficient identification of binding contingencies,  ...  The proposed approach is illustrated on 5 test systems of 60, 118, 300, 1203, and 2746 buses.  ...  ACKNOWLEDGMENTS We thank RTE-France for allowing us to use and publish results with their data.  ... 
doi:10.1109/tpwrs.2012.2186469 fatcat:c4ldhnmprjahhicdqq5m2wduoy

Exploiting N-Best Hypotheses to Improve an SMT Approach to Grammatical Error Correction [article]

Duc Tam Hoang and Shamil Chollampatt and Hwee Tou Ng
2016 arXiv   pre-print
We apply these methods to a state-of-the-art GEC system that uses the SMT approach.  ...  In this paper, we propose a novel approach to improve the accuracy of GEC, by exploiting the n-best hypotheses generated by an SMT approach.  ...  Our novel approach exploits the top n correction candidates (n-best hypotheses) generated by the SMT system. We build an edit classifier to validate the edits made by the SMT system.  ... 
arXiv:1606.00210v1 fatcat:537pvffjibd5dgkvnbtidwaev4
« Previous Showing results 1 — 15 out of 3,796,407 results