Filters








194 Hits in 4.3 sec

Advanced code coverage analysis using substring holes

Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5ttq32n6ujhkxfb7h22ytvohp4" style="color: black;">Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA &#39;09</a> </i> &nbsp;
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not executed.  ...  This is especially impressive because substring hole analysis relies only on the names of functions, whereas domain experts have a broad and deep understanding of the system.  ...  Section 3 describes the methodology we recommend for effective code coverage analysis. Section 4 details our substring hole analysis algorithm.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1572272.1572278">doi:10.1145/1572272.1572278</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issta/AdlerFKPRSUZ09.html">dblp:conf/issta/AdlerFKPRSUZ09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ilz7tr5sezcutji3euzstfsgby">fatcat:ilz7tr5sezcutji3euzstfsgby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815000456/http://www.cs.cmu.edu/~dpelleg/download/issta16-adlerPS.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/ae/87/ae87f4e0922cb296a841fcb888296f3e19c85a0e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1572272.1572278"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Combining multiple functional annotation tools increases coverage of metabolic annotation

Marc Griesemer, Jeffrey A. Kimbrel, Carol E. Zhou, Ali Navid, Patrik D'haeseleer
<span title="">2018</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4srzxifvfrdlhjhg3dimznkp7m" style="color: black;">BMC Genomics</a> </i> &nbsp;
Our analysis shows that annotation using multiple tools can result in a drastically larger metabolic network reconstruction, adding on average 40% more EC numbers, 3-8 times more substrate-specific transporters  ...  Combining multiple functional annotation tools can greatly improve genome coverage and metabolic network size, especially for non-model organisms and noncore pathways.  ...  Accession numbers for the genomes used are included in Table 1 . The authors declare that they have no competing interests.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s12864-018-5221-9">doi:10.1186/s12864-018-5221-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/trsiwwlqtff3lgspipoq4eucay">fatcat:trsiwwlqtff3lgspipoq4eucay</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501105044/https://bmcgenomics.biomedcentral.com/track/pdf/10.1186/s12864-018-5221-9" 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/b3/51/b3513d1757a41d7dd1959b26794a4c7ed5dab826.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s12864-018-5221-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

DNA-Based Storage: Trends and Methods [article]

S. M. Hossein Tabatabaei Yazdi, Han Mao Kiah, Eva Ruiz Garcia, Jian Ma, Huimin Zhao, Olgica Milenkovic
<span title="2015-07-06">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We also introduce and analyze a suite of new constrained coding schemes for both archival and random access DNA storage channels.  ...  The mathematical basis of our work is the construction and design of sequences over discrete alphabets that avoid pre-specified address patterns, have balanced base content, and exhibit other relevant substring  ...  The Goldman et al.encoding method using ASCII and differential coding, Huffman compression, four-fold coverage, reverse complementation of alternate data blocks and single parity-check coding.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.01611v1">arXiv:1507.01611v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bb7xfeonwvg5je32sx63fnzu44">fatcat:bb7xfeonwvg5je32sx63fnzu44</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200929213516/https://arxiv.org/pdf/1507.01611v1.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/84/f6/84f6b62ce40c693b08fb547dc4435347dcb594b2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.01611v1" 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>

Metagenomic Profiling of Microbial Pathogens in the Little Bighorn River, Montana

Steve Hamner, Bonnie Brown, Nur Hasan, Michael Franklin, John Doyle, Margaret Eggers, Rita Colwell, Timothy Ford
<span title="2019-03-27">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vyslcn4ljzdq3jes5w7fln3qyu" style="color: black;">International Journal of Environmental Research and Public Health</a> </i> &nbsp;
A metagenomic analysis was carried out to identify potential pathogens in the river water.  ...  Sequences were analyzed using CosmosID bioinformatics and, in agreement with previous studies, enterohemorrhagic and enteropathogenic Escherichia coli and other E. coli pathotypes were identified.  ...  GraphMap [32] was used for mapping and coverage calculations for these sequences.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/ijerph16071097">doi:10.3390/ijerph16071097</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/30934749">pmid:30934749</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC6479903/">pmcid:PMC6479903</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/js3kimk5kzbktp5rzn2zxrjlui">fatcat:js3kimk5kzbktp5rzn2zxrjlui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200309193924/https://scholarworks.montana.edu/xmlui/bitstream/handle/1/15435/19-011_Metagenomic_Profiling_of_Microbial_Pathogens.pdf;jsessionid=57A6E3F241A9E7C0A13F40EC98ACF1F1?sequence=1" 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/44/6d/446dd2746d8f82fba3b4e6aa5c567789f5e25633.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/ijerph16071097"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6479903" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

A Survey: Recent Advances and Future Trends in Honeypot Research

Matthew L. Bringer, Christopher A. Chelmecki, Hiroshi Fujinoki
<span title="2012-09-01">2012</span> <i title="MECS Publisher"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rwj7spciv5a47gdqqkgtmu7xvm" style="color: black;">International Journal of Computer Network and Information Security</a> </i> &nbsp;
Our literature reviews indicate that the advances in the first four areas reflect the recent changes in our networking environments, such as those in user demography and the ways those diverse users use  ...  This paper presents a survey on recent advances in honeypot research from a review of 80+ papers on honeypots and related topics mostly published after year 2005.  ...  Bailey proposed use of multiple low-interaction honeypots as sensors to collect information about network traffic to increase the width of coverage.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5815/ijcnis.2012.10.07">doi:10.5815/ijcnis.2012.10.07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dlidikdrxfavhirshxm37avygq">fatcat:dlidikdrxfavhirshxm37avygq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810193333/http://www.mecs-press.org/ijcnis/ijcnis-v4-n10/IJCNIS-V4-N10-7.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/7a/bb/7abbacbe20e442ce0c5f85bd77fee46dd06c0ff1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5815/ijcnis.2012.10.07"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Generating Handwriting via Decoupled Style Descriptors [article]

Atsunobu Kotani, Stefanie Tellex, James Tompkin
<span title="2020-09-14">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Overall, DSDs allows us to improve both the quality and flexibility over existing handwriting stroke generation approaches.  ...  Our dataset, code, and model will be open source at http://dsd.cs.brown.edu.  ...  As a result, we achieve 99.9% coverage with 3, 894 character pairs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.11354v2">arXiv:2008.11354v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w2ukewmmhngbnlbpe6rohc5ica">fatcat:w2ukewmmhngbnlbpe6rohc5ica</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200920103317/https://arxiv.org/pdf/2008.11354v2.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] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.11354v2" 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>

On Security Analysis of PHP Web Applications

David Hauzar, Jan Kofron
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ma4kgqf4lnhyfahyj2jlhr2usy" style="color: black;">2012 IEEE 36th Annual Computer Software and Applications Conference Workshops</a> </i> &nbsp;
The state-of-the-art tools for bug discovery in languages used for web-application development, such as PHP, suffer from a relatively high false-positive rate and low coverage of real errors; this is caused  ...  The approach utilizes symbolic execution to capture logical constraints on inputs, based on these constraints, it creates new inputs that would increase the code coverage.  ...  Static analysis that they employ is based on Pixy and has the same limitations. Moreover, the database may not contain strings corresponding to attacks that were not considered in advance.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsacw.2012.106">doi:10.1109/compsacw.2012.106</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/compsac/HauzarK12.html">dblp:conf/compsac/HauzarK12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yx64bkoxwjasthf2swvqwgb5me">fatcat:yx64bkoxwjasthf2swvqwgb5me</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120806162527/http://d3s.mff.cuni.cz/publications/download/2012-STPSA-HauzarKofron-OnSecurityAnalysisOfPHP.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/13/8e/138e6505e03c2a4cab64d27de8156c270a5c3d09.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsacw.2012.106"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A review of auditing methods applied to the content of controlled biomedical terminologies

Xinxin Zhu, Jung-Wei Fan, David M. Baorto, Chunhua Weng, James J. Cimino
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p4kk6lusgrhyxecgig72iasi5q" style="color: black;">Journal of Biomedical Informatics</a> </i> &nbsp;
The quality factors examined included concept orientation, consistency, non-redundancy, soundness and comprehensive coverage.  ...  Although controlled biomedical terminologies have been with us for centuries, it is only in the last couple of decades that close attention has been paid to the quality of these terminologies.  ...  For example, Campbell et al. used term substrings in SNOMED to suggest classification omissions [52] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jbi.2009.03.003">doi:10.1016/j.jbi.2009.03.003</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/19285571">pmid:19285571</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3505841/">pmcid:PMC3505841</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/afrfbtbxqnal5o5bxzbvquw6gm">fatcat:afrfbtbxqnal5o5bxzbvquw6gm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001142513/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/a4e/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTUzMjA0NjQwOTAwMDQzNA%3D%3D.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/9e/34/9e340dc079710c0e9ad3033cdbb50db015a5af5e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jbi.2009.03.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3505841" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Early DDoS Detection Based on Data Mining Techniques [chapter]

Konstantinos Xylogiannopoulos, Panagiotis Karampelas, Reda Alhajj
<span title="">2014</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The method uses the advanced All Repeated Patterns Detection (ARPaD) Algorithm, which allows the detection of all repeated patterns in a sequence.  ...  Statistical-based methods [7] monitor and model normal traffic patterns by using advanced statistical analysis techniques and are able to detect anomalies based on a predefined threshold.  ...  For the experiments a laptop with Intel i5 quad core processor and 8Gb RAM has been used. The code of ARPaD algorithm has been written in C# and a 64bit operat-ing system has been used.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-43826-8_15">doi:10.1007/978-3-662-43826-8_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5yby2odsvrbfjlk52npsccoc2m">fatcat:5yby2odsvrbfjlk52npsccoc2m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829161432/https://hal.inria.fr/hal-01400941/document" 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/af/88/af88392dff32598a868e3f4db168881a942f3737.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-662-43826-8_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

DNA punch cards for storing data on native DNA sequences via enzymatic nicking

S. Kasra Tabatabaei, Boya Wang, Nagendra Bala Murali Athreya, Behnam Enghiad, Alvaro Gonzalo Hernandez, Christopher J. Fields, Jean-Pierre Leburton, David Soloveichik, Huimin Zhao, Olgica Milenkovic
<span title="2020-04-08">2020</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a4wan6l5o5dfzn767kyz7jqevi" style="color: black;">Nature Communications</a> </i> &nbsp;
One means to avoid the above problems is using readily available native DNA. As the sequence content of native DNA is fixed, one can modify the topology instead to encode information.  ...  We use Pyrococcus furiosus Argonaute to punch files into the PCR products of Escherichia coli genomic DNA and accurately reconstruct the encoded data through high-throughput sequencing and read alignment  ...  Code availability All the codes used in this work are available from the authors upon reasonable request.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1038/s41467-020-15588-z">doi:10.1038/s41467-020-15588-z</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/32269230">pmid:32269230</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oizvyvdrvfhlnnldd74s7qvq4q">fatcat:oizvyvdrvfhlnnldd74s7qvq4q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200511143502/https://www.nature.com/articles/s41467-020-15588-z.pdf?error=cookies_not_supported&amp;code=cb6c8742-1a9a-4295-82de-34730e5fc019" 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/b5/b9/b5b9e9706cd582348b6ca39964dea07e9a9c3bf3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1038/s41467-020-15588-z"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> nature.com </button> </a>

Immunotronics - novel finite-state-machine architectures with built-in self-test using self-nonself differentiation

D.W. Bradley, A.M. Tyrrell
<span title="">2002</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dqtjwgdgmjazlimlppwouyrzcq" style="color: black;">IEEE Transactions on Evolutionary Computation</a> </i> &nbsp;
In particular, it is shown that by use of partial matching, as prevalent in biological systems, high fault coverage can be achieved with the added advantage of reducing memory requirements.  ...  Many examples of this have been investigated [38] , [47] , [63] using error correcting codes, duplication of functional systems, and extraction of signatures.  ...  Two methods of reducing the number of holes are the following. 1) Optimize the Self-String Structure: Preliminary analysis has shown that varying the structure of the self strings or state assignment varies  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tevc.2002.1011538">doi:10.1109/tevc.2002.1011538</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uga2vf63qbgvliyjrhf2epzme4">fatcat:uga2vf63qbgvliyjrhf2epzme4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921211344/http://eprints.whiterose.ac.uk/970/1/tyrrellam1.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/44/bf/44bfe323527afffb82e951e0dc3274e12ddfca58.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tevc.2002.1011538"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Communications, Multimedia, Ontology, Photonics and Internet Engineering 2012

Ryszard S. Romaniuk
<span title="2012-12-01">2012</span> <i title="Walter de Gruyter GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rzjgcrrtlndvnori2fbhpzjwne" style="color: black;">International Journal of Electronics and Telecommunications</a> </i> &nbsp;
Wilga Symposium gathers two times a year, together around 300 young scientists active in advanced photonics, electronics and software systems, including Internet engineering.  ...  Skarbek (IRE, PW) is working on advanced methods of image and audio processing and multimedia streams delivery. Huffman coding (code-blocks HCB) is used in the AAC.  ...  tracks, VIA holes etc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2478/v10177-012-0061-z">doi:10.2478/v10177-012-0061-z</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s6nm5vnwoneotjyny4ld5dp7ve">fatcat:s6nm5vnwoneotjyny4ld5dp7ve</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429130821/https://content.sciendo.com/downloadpdf/journals/eletel/58/4/article-p463.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/cb/db/cbdb5d73d0b3a15dd066794f2f7bcccd39a2802e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2478/v10177-012-0061-z"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Pathway Tools version 13.0: integrated software for pathway/genome informatics and systems biology

P. D. Karp, S. M. Paley, M. Krummenacker, M. Latendresse, J. M. Dale, T. J. Lee, P. Kaipa, F. Gilham, A. Spaulding, L. Popescu, T. Altman, I. Paulsen (+2 others)
<span title="2009-12-02">2009</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/op7ztx4fhvairowgqifu7dnvsi" style="color: black;">Briefings in Bioinformatics</a> </i> &nbsp;
Those PGDBs can be exchanged using a peerto-peer DB sharing system called the PGDB Registry.  ...  The software performs multiple computational inferences including prediction of metabolic pathways, prediction of metabolic pathway hole fillers and prediction of operons.  ...  The pathway hole filling program PHFiller [32] (a component of PathoLogic) generates hypotheses as to which genes code for these missing enzymes using the following method.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/bib/bbp043">doi:10.1093/bib/bbp043</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/19955237">pmid:19955237</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC2810111/">pmcid:PMC2810111</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/efngfucyp5dgpjjrggtcgrss2e">fatcat:efngfucyp5dgpjjrggtcgrss2e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170717072017/https://oup.silverchair-cdn.com/oup/backfile/Content_public/Journal/bib/11/1/10.1093/bib/bbp043/2/bbp043.pdf?Expires=1500369617&amp;Signature=aWBC20qU1~Uqlmpw46xBjJ65OE8qXf6GMLpG2cfK5ET-a25v1tFIMpAYLXPfpuE-CMIqR-iA1mP7XwM3hLtFtiNboJLsTxoNprn9Zhf4HSDtED6VoV0C3QWVRiQGmudrLvL3wV3qIxV5fOeHRT4QPBrOkCEIXPZ9z-bvmNpGV1cXjrF0zh9lV0qgOp8inTcBcIkeBYNI4xJfJRWubv2yxN6AMr05ssSrwEIOJYnjPwnQ1e~9I7k~uTa~Qj6p0c~9WfMMZnQAnisOJyFEEHuFe0wW6cynY9f0rTMkCxiCeJacrVjeT~GvEsNwXCSwsCaP6RVkTwX44DoCSvwcbkunkg__&amp;Key-Pair-Id=APKAIUCZBIA4LVPAVW3Q" 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/b6/56/b656ec1d4cce514458c8f7dbf2c5131b4e11fc31.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/bib/bbp043"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2810111" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

MECA

Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson Engler
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 10th ACM conference on Computer and communication security - CCS &#39;03</a> </i> &nbsp;
Our most thorough case study was a user-pointer checker that used 75 annotations to check thousands of declarations in millions of lines of code in the Linux system.  ...  As another example, it lets programmers use general predicates to determine if an annotation is applied; we have used this ability to easily handle kernel backdoors and other false-positive inducing constructs  ...  INTRODUCTION Static analysis can find many security holes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/948109.948153">doi:10.1145/948109.948153</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/YangKXE03.html">dblp:conf/ccs/YangKXE03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/anzlkukdnvd4pj6rfytqn6twcy">fatcat:anzlkukdnvd4pj6rfytqn6twcy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20041013004040/http://www.stanford.edu:80/~engler/ccs03-meca.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/b3/8c/b38c9c3e5f7766f80740aaa986de3f367ddaa4b3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/948109.948153"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

MECA

Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson Engler
<span title="">2003</span> <i title="ACM Press"> Proceedings of the 10th ACM conference on Computer and communication security - CCS &#39;03 </i> &nbsp;
Our most thorough case study was a user-pointer checker that used 75 annotations to check thousands of declarations in millions of lines of code in the Linux system.  ...  As another example, it lets programmers use general predicates to determine if an annotation is applied; we have used this ability to easily handle kernel backdoors and other false-positive inducing constructs  ...  INTRODUCTION Static analysis can find many security holes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/948152.948153">doi:10.1145/948152.948153</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nrmmlajsezfdbn2mca63iqb23y">fatcat:nrmmlajsezfdbn2mca63iqb23y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809030653/http://systems.cs.columbia.edu/files/wpid-yang-meca-ccs.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/27/7e/277e41dd3e85828ee4db1f1d05d273290475f578.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/948152.948153"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 194 results