Filters








128,767 Hits in 4.3 sec

Effectively Combining Software Verification Strategies: Understanding Different Assumptions

David Owen, Dejan Desovski, Bojan Cukic
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nfq6z4zvsrgj3dpnvkgei4hgt4" style="color: black;">Proceedings - International Symposium on Software Reliability Engineering</a> </i> &nbsp;
We checked them first using the model checker SPIN and Lurch, our random testing tool for finite-state models.  ...  In one case a property violation was detected by Lurch, an incomplete tool, but missed by SPIN, a well-known and established model checking tool designed for complete verification.  ...  We also thank Ramesh Bharadwaj from NRL for providing us with the Salsa tool together with details on how to apply it in our case study.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/issre.2006.24">doi:10.1109/issre.2006.24</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issre/OwenDC06.html">dblp:conf/issre/OwenDC06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2vurgcflcfdzdceg6kow242vwq">fatcat:2vurgcflcfdzdceg6kow242vwq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110106035457/http://www.csee.wvu.edu/~dowen/papers/issta.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3c/61/3c61416fd131de1ffb788e0a3e39b9d9fc14b92e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/issre.2006.24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Detection of Mendelian Consistent Genotyping Errors in Pedigrees

Charles Y.K. Cheung, Elizabeth A. Thompson, Ellen M. Wijsman
<span title="">2014</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bfe2cswpyfdjvmuvpnj65rlx7i" style="color: black;">Genetic Epidemiology</a> </i> &nbsp;
Using simulations, we show that this method, even with the simpler A1 statistic, is effective for detecting MC genotyping errors in dense variants, with sensitivity almost as high as the theoretical best  ...  To detect genotyping errors in pedigrees, Mendelian inconsistent (MI) error checks exist, as do multi-point methods that flag Mendelian consistent (MC) errors for sparse multi-allelic markers.  ...  Genotyping errors that are not MI are MC, and they cannot be detected by using MI checks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/gepi.21806">doi:10.1002/gepi.21806</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/24718985">pmid:24718985</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC4081466/">pmcid:PMC4081466</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5cfe4y7qnzagrbpl4oi4uoi6be">fatcat:5cfe4y7qnzagrbpl4oi4uoi6be</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200503135349/http://europepmc.org/backend/ptpmcrender.fcgi?accid=PMC4081466&amp;blobtype=pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/42/2a/422a284d7b6faad4374e9bf21481c8b43e75cc9d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/gepi.21806"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4081466" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Checking it twice: an evaluation of checklists for detecting medication errors at the bedside using a chemotherapy model

R. E. White, P. L. Trbovich, A. C. Easty, P. Savage, K. Trip, S. Hyland
<span title="2010-08-19">2010</span> <i title="BMJ"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ocmws7peubahxn54cbsgxwdhiy" style="color: black;">BMJ Quality and Safety</a> </i> &nbsp;
Adding a specific instruction to check the patient's identification improved error detection in this category by 65 percentage points.  ...  Error detection varied as a function of error type and checklist used. Specific stepby-step instructions were more effective than abstract general reminders in helping nurses to detect errors.  ...  DATA ANALYSIS Error-detection rates were analysed using a 2 (checklist type; old vs new)34 (error type; pump programming vs mismatch vs patient ID vs clinical decision) repeated-measures analysis of variance  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1136/qshc.2009.032862">doi:10.1136/qshc.2009.032862</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/20724398">pmid:20724398</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3002832/">pmcid:PMC3002832</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hhys5uw2wbattn3trekjc24rhm">fatcat:hhys5uw2wbattn3trekjc24rhm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190302161649/http://pdfs.semanticscholar.org/a5fa/12650f49bcc736615b8b9f77154fc0beaeb6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a5/fa/a5fa12650f49bcc736615b8b9f77154fc0beaeb6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1136/qshc.2009.032862"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> bmj.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3002832" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

External validation of a Bayesian network for error detection in radiotherapy plans

Petros Kalendralis, Denis Eyssen, Richard Canters, Samuel M.H. Luk, Alan M. Kalet, Wouter van Elmpt, Rianne Fijten, Andre Dekker, Catharina M.L. Zegers, Inigo Bermej
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gsz26jq6jzexfdi7kemk7rj6wq" style="color: black;">IEEE Transactions on Radiation and Plasma Medical Sciences</a> </i> &nbsp;
We collected data from 5,238 patients treated at Maastro Clinic, and introduced a range of common radiotherapy plan errors for the model to detect.  ...  Its usefulness as alert system to reduce the need for manual checks is questionable due to the low PPV and high percentage of values flagged as potential errors to achieve a high sensitivity.  ...  [21] proposed a model to detect radiotherapy errors using an AI-based approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/trpms.2021.3070656">doi:10.1109/trpms.2021.3070656</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s7bxomka2zccnofobjxvnhb4tm">fatcat:s7bxomka2zccnofobjxvnhb4tm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210717232025/https://ieeexplore.ieee.org/ielx7/7433213/7870700/09394426.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/58/6f/586fd0c209c3fce4ae651bc3d76ccf5654ed0e0d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/trpms.2021.3070656"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Performance optimization of iterative receiver for wireless communications based on realistic channel conditions

Xiaonan Shi, Yoshikazu Miyanaga
<span title="">2014</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fj5ycmjsdvfz7njycwowhlfiwq" style="color: black;">Computers &amp; electrical engineering</a> </i> &nbsp;
Simulations of our optimization reveal superior error rate performance and lower computational cost vs. conventional LDPC coded MIMO OFDM system.  ...  Our simulation results also capture the effects of realistic vs. typical channel fading types (i.e., Rician vs.  ...  The realistic Laplacian PAS model [14] [11] has been used for the simulation results shown later in this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.compeleceng.2014.02.012">doi:10.1016/j.compeleceng.2014.02.012</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/otqhv5mthnhozfodu52gte6zne">fatcat:otqhv5mthnhozfodu52gte6zne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720081156/https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/57249/1/elsarticle-nicole-LDPC-final.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/f1/2af1e2af176d4e6b7fcccc892a56b6ced847e141.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.compeleceng.2014.02.012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Post-silicon validation opportunities, challenges and recent advances

Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5vn6yyeefbbxtoo3uhwxwjwtme" style="color: black;">Proceedings of the 47th Design Automation Conference on - DAC &#39;10</a> </i> &nbsp;
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture.  ...  Due to sheer design complexity, it is nearly impossible to detect and fix all bugs before manufacture. Post-silicon validation is a major challenge for future systems.  ...  In this context, the verification-guided error resilience (VGER) approach [Seshia 07] has demonstrated how formal specifications and model checking can be used to perform such analysis for transient errors  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1837274.1837280">doi:10.1145/1837274.1837280</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dac/MitraSN10.html">dblp:conf/dac/MitraSN10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hwycqj5eljfxbnszwn3zn5yjmy">fatcat:hwycqj5eljfxbnszwn3zn5yjmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150616081742/http://www.eecs.berkeley.edu:80/~sseshia/pubdir/postSi-dac10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/5f/9c5f066ebe8c07d04d9fb18eae0813c280120a17.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1837274.1837280"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Page 1049 of Genetics Vol. 168, Issue 2 [page]

<span title="">2004</span> <i title="Genetics Society of America"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_genetics" style="color: black;">Genetics </a> </i> &nbsp;
We acknowledge that such error checking requires extensive and difficult computa- tions in large-scale simulation studies.  ...  It is quite possible that the likelihood models used for detecting positive selection can be violated such that the rate of false positives of the LRT is increased over the nominal level.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_genetics_2004-10_168_2/page/1049" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_genetics_2004-10_168_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Robust Inference of Cell-to-Cell Expression Variations from Single- and K-Cell Profiling

Manikandan Narayanan, Andrew J. Martins, John S. Tsang, Raphael Gottardo
<span title="2016-07-20">2016</span> <i title="Public Library of Science (PLoS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ch57atmlprauhhbqdf7x4ytejm" style="color: black;">PLoS Computational Biology</a> </i> &nbsp;
Using simulated as well as experimentally generated single-and k-cell data, we found situations where each data type would offer advantages, but using both together can improve precision and better reconcile  ...  However, the expression level of many genes in single cells fall below the detection limit of even the most sensitive technologies currently available.  ...  SC vs. KC vs. SCKC performance for two-condition simulations. . Bias/error in parameter estimates in two-vs. one-condition simulation settings.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pcbi.1005016">doi:10.1371/journal.pcbi.1005016</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/27438699">pmid:27438699</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC4954693/">pmcid:PMC4954693</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g7yj4iup4jfrrc3esk4vhwzcma">fatcat:g7yj4iup4jfrrc3esk4vhwzcma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171015153336/http://journals.plos.org/ploscompbiol/article/file?id=10.1371/journal.pcbi.1005016&amp;type=printable" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/ce/9cce5a2162022c7832d5bdc4435286f586cd591d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pcbi.1005016"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> plos.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4954693" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Effect of channel conditions on inventory database update in supply chains

Murat Kocaoglu, Cuneyt Oksuz, Ozgur B. Akan
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7jytmfmwqjeejna3w4atxyerjy" style="color: black;">2013 First International Black Sea Conference on Communications and Networking (BlackSeaCom)</a> </i> &nbsp;
In this paper, we investigate the effects of channel conditions and the selected error control technique on the supply chain inventory database update in terms of database error rate and end-to-end delay  ...  We derive the analytical expressions and verify them with extensive simulations and show that channel codes adapting to channel conditions would improve reliability of the inventory database.  ...  Moreover, a parity check matrix H can be used to detect if there is an error in the received codeword or not.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/blackseacom.2013.6623419">doi:10.1109/blackseacom.2013.6623419</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/blackseecom/KocaogluOA13.html">dblp:conf/blackseecom/KocaogluOA13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/56a5khlcw5fi5mh26hti5piegi">fatcat:56a5khlcw5fi5mh26hti5piegi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812010318/https://nwcl.ku.edu.tr/paper/C40.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/62/38/623866fb1a46a390eca0684b3dbf0eef37546f23.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/blackseacom.2013.6623419"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Interaction Between Fault Attack Countermeasures and the Resistance Against Power Analysis Attacks [chapter]

Francesco Regazzoni, Luca Breveglieri, Paolo Ienne, Israel Koren
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wsmcy3rqifaqpn7ibccavehimi" style="color: black;">Information Security and Cryptography</a> </i> &nbsp;
While these countermeasures have been evaluated with respect to their cost (implementation overhead) and efficiency (fault coverage), little attention has been devoted to the question of the impact their use  ...  Fig. 10 . 10 Success rate of the correlation-based DPA attack vs the number of traces using attack hypothesis of 8 bits only (the adversary is unaware of the error detection/correction code used).  ...  Fig. 9 . 9 Success rate of the correlation-based DPA attack vs the number of traces using attack hypothesis of the full size of the output register (the adversary is aware of the error detection/correction  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-29656-7_15">doi:10.1007/978-3-642-29656-7_15</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/series/isc/RegazzoniBIK12.html">dblp:series/isc/RegazzoniBIK12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/airmhh277zbfbp4bslhp7bdk3a">fatcat:airmhh277zbfbp4bslhp7bdk3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721222400/http://euler.ecs.umass.edu/research/rbik-chapter-2012.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f8/a0/f8a022808c9c98fa43aeee9166d318d6d56cd15a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-29656-7_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Performance Improvement in MIMO-OFDM using BCH Coding and Interleaving

Anjali Kafaltiya, P S Sharma
<span title="2014-07-18">2014</span> <i title="Foundation of Computer Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b637noqf3vhmhjevdfk3h5pdsu" style="color: black;">International Journal of Computer Applications</a> </i> &nbsp;
In this paper, the performance of BCH correcting code is evaluated in comparison with Convolutional encoding using interleaved OFDM modulation.  ...  These kinds of codes are basically like, parity check, LRC-VRC check, and CRC check.  Error-Correcting Codes:-These are mainly used in wireless communication and are categorized as follows: There are  ...  general:  Error-Detecting Codes: -І.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/16977-6347">doi:10.5120/16977-6347</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/veq6eis6xjht5a5ym7ylylwqzi">fatcat:veq6eis6xjht5a5ym7ylylwqzi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706144913/http://research.ijcaonline.org/volume97/number2/pxc3896347.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/93/aa/93aacfc55706d3850a6787bd4d715625b871d979.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/16977-6347"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

High accuracy 65nm OPC verification: full process window model vs. critical failure ORC

Amandine Borjon, Jerome Belledent, Shumay D. Shang, Olivier Toublan, Corinne Miramond, Kyle Patterson, Kevin Lucas, Christophe Couderc, Yves Rody, Frank Sundermann, Jean-Christophe Urbani, Stanislas Baron (+3 others)
<span title="2005-05-12">2005</span> <i title="SPIE"> Optical Microlithography XVIII </i> &nbsp;
This model is then applied to various test patterns to predict potential printing errors.  ...  To address this issue, a technique known as Critical Failure ORC (CFORC) was introduced that uses optical parameters from aerial image simulations.  ...  For the detection of pinching errors, CFORC is accurately predicting pinching errors whereas PW model is missing a lot of pinching errors.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1117/12.600471">doi:10.1117/12.600471</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2styr3nnlnfyhpvmqc77ejrlca">fatcat:2styr3nnlnfyhpvmqc77ejrlca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140826041735/http://hal.inria.fr/docs/00/06/64/34/PDF/paper_5754-128_amandine.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/46/1b/461b192b501af82838671400ce00f83b10f27723.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1117/12.600471"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A framework for the simulation of CR-VANET channel sensing, coordination and allocation [article]

Hameer Abbasi, Shahid H. Abbassi, Ijaz M. Qureshi
<span title="2015-06-07">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we introduce a framework that can be used to define and compare such schemes in a variety of scenarios.  ...  Simulation results clearly show the robustness of our technique by eliminating the misdetections and reducing to a great extent the false alarms.  ...  MODELS USED FOR THE SIMULATION The Hata Model for suburban areas was used as the large-scale fading model in this simulation. This depends on the Hata model for urban areas.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1506.02220v1">arXiv:1506.02220v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n4vlmr3g3jeqtakxsx5cm37s24">fatcat:n4vlmr3g3jeqtakxsx5cm37s24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200826115858/https://arxiv.org/ftp/arxiv/papers/1506/1506.02220.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ed/7a/ed7a16c3183f3ff4180e62e07d5599266a8f4012.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1506.02220v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Accurate Detection of Outliers and Subpopulations With Pmetrics, a Nonparametric and Parametric Pharmacometric Modeling and Simulation Package for R

Michael N. Neely, Michael G. van Guilder, Walter M. Yamada, Alan Schumitzky, Roger W. Jelliffe
<span title="">2012</span> <i title="Ovid Technologies (Wolters Kluwer Health)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2hsuc3b5v5gptoxacks773qqyq" style="color: black;">Therapeutic Drug Monitoring</a> </i> &nbsp;
The parametric iterative two-stage Bayesian (IT2B) and the non-parametric adaptive grid (NPAG) approaches in Pmetrics were used to fit a simulated population with bimodal elimination (Kel) and unimodal  ...  Only NPAG was able to accurately detect the bimodal distribution for Kel and to find the outlier in both the population model and in the Bayesian posterior parameter estimates.  ...  Standard Pmetrics plot of prediction discrepancies (or standardized visual predictive check) for internal model validation using the simulator embedded within the PMdiag function and a multi-modal, multi-variate  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1097/ftd.0b013e31825c4ba6">doi:10.1097/ftd.0b013e31825c4ba6</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22722776">pmid:22722776</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3394880/">pmcid:PMC3394880</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iffwbzmkvrd7hiqxqnkl33pmaq">fatcat:iffwbzmkvrd7hiqxqnkl33pmaq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200507031228/http://europepmc.org/backend/ptpmcrender.fcgi?accid=PMC3394880&amp;blobtype=pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1e/da/1eda7290a9e6400743259cc39ff3ee973d790e41.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1097/ftd.0b013e31825c4ba6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3394880" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Improved reticle requalification accuracy and efficiency via simulation-powered automated defect classification

Shazad Paracha, Benjamin Eynon, Ben F. Noyes, Anthony Nhiev, Anthony Vacca, Peter Fiekowsky, Dan Fiekowsky, Young Mog Ham, Doug Uzzel, Michael Green, Susan MacDonald, John Morgan (+2 others)
<span title="2014-04-02">2014</span> <i title="SPIE"> Metrology, Inspection, and Process Control for Microlithography XXVIII </i> &nbsp;
To verify accuracy, detected defects of interest were analyzed with lithographic simulation software and compared to the results of both AIMS™ optical simulation and to actual wafer prints.  ...  Manually reviewing sometimes hundreds of potentially yield-limiting detections is a very high-risk activity due to the likelihood of human error; the worst of which is the accidental passing of a real,  ...  AIMS CD percentage error results comparison Figure 5 : 5 ADAS vs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1117/12.2048622">doi:10.1117/12.2048622</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zbtt2rdfhfftncdd2qmbsy2pm4">fatcat:zbtt2rdfhfftncdd2qmbsy2pm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161219061815/http://aviphotomask.com/wp-content/uploads/2013/04/SPIE-2014-SAS-ADAS-Manuscript-FINAL.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/76/3e/763e14a21b43aafe4caf48885d1714b856f361eb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1117/12.2048622"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 128,767 results