المؤلفون: Kuan-Hao Chao, Pei-Wei Chen, Sanjit A. Seshia, Ben Langmead

المصدر: iScience, Vol 26, Iss 8, Pp 107402- (2023)

مصطلحات موضوعية: Bioinformatics, Algorithms, Data structure, Science

وصف الملف: electronic resource

العلاقة: http://www.sciencedirect.com/science/article/pii/S2589004223014797Test; https://doaj.org/toc/2589-0042Test

الوصول الحر: https://doaj.org/article/2a6484f345c243dab7f5c716214b5895Test

المؤلفون: Eric S. Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim, Shinichi Shiraishi

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 269, Iss Proc. SCAV 2018, Pp 3-16 (2018)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: http://arxiv.org/pdf/1804.04345v1Test; https://doaj.org/toc/2075-2180Test

الوصول الحر: https://doaj.org/article/4e15b7c9663b4e7fb4259ddf5b37e8a7Test

المؤلفون: Susmit Jha, Sanjit A. Seshia

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 157, Iss Proc. SYNT 2014, Pp 84-99 (2014)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: http://arxiv.org/pdf/1407.5397v1Test; https://doaj.org/toc/2075-2180Test

الوصول الحر: https://doaj.org/article/9b1eb17981f242ac9adb6dab42ef2844Test

المؤلفون: Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donze, Sanjit A. Seshia

المصدر: IEEE Access, Vol 2, Pp 1-25 (2014)

مصطلحات موضوعية: Design methodology, design automation, aircraft, power systems, control system synthesis, contract-based design, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/6690099Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/99000e33be3a49ef9a1230802816cbbcTest

المؤلفون: Sanjit A. Seshia, Randal E. Bryant

المصدر: Logical Methods in Computer Science, Vol Volume 1, Issue 2 (2005)

مصطلحات موضوعية: computer science - logic in computer science, i.2.3, f.4.1, f.3.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/2270/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/a014bd6a9d6c48aa9046827ac79f702aTest

المؤلفون: Sanjit A. Seshia

المصدر: Communications of the ACM. 65:60-69

مصطلحات موضوعية: carbohydrates (lipids), stomatognathic diseases, stomatognathic system, General Computer Science, complex mixtures

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::a52823037625047c57ef4e05ae3cfba3Test
https://doi.org/10.1145/3490442Test

المؤلفون: Krste Asanovic, John Koenig, Sanjit A. Seshia, David Biancolin, Albert Magyar, Jonathan Bachrach

المساهمون: Pan, David Z

المصدر: ICCAD

مصطلحات موضوعية: Bridging (networking), Correctness, business.industry, Computer science, Dataflow, Embedded system, Bounded function, Lookup table, Resource efficiency, Golden gate, business, Field-programmable gate array, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f22f606f5baca37ff1da1e47c8484a8dTest
https://escholarship.org/uc/item/4zs731zkTest

المؤلفون: Kuan-Hao Chao, Pei-Wei Chen, Sanjit A Seshia, Ben Langmead

مصطلحات موضوعية: Wheeler graph, Wheeler graph recognition, Satisfiability Modulo Theory, SMT, Visualization, pangenome

العلاقة: https://zenodo.org/record/7937689Test; https://doi.org/10.5281/zenodo.7937689Test; oai:zenodo.org:7937689

الإتاحة: https://doi.org/10.5281/zenodo.7937689Test
https://doi.org/10.5281/zenodo.7937688Test
https://zenodo.org/record/7937689Test

المؤلفون: Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

العلاقة: https://zenodo.org/record/7874466Test; https://doi.org/10.5281/zenodo.7874466Test; oai:zenodo.org:7874466

الإتاحة: https://doi.org/10.5281/zenodo.7874466Test
https://doi.org/10.5281/zenodo.7874465Test
https://zenodo.org/record/7874466Test

المؤلفون: Kuan-Hao Chao, Pei-Wei Chen, Sanjit A. Seshia, Ben Langmead

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::c8b6c5a7bc2e42b035c602936a03451bTest
https://doi.org/10.1101/2022.10.15.512390Test