المؤلفون: S. A. Seshia, G. E. Blelloch, R. W. Harper

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.aladdin.cs.cmu.edu/papers/pdfs/y2001/comp_interval_arithm.pdf.

مصطلحات موضوعية: Computational geometry, geometric predicates, geometric robustness, interval arithmetic, error analysis

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.4791; http://www.aladdin.cs.cmu.edu/papers/pdfs/y2001/comp_interval_arithm.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.4791
http://www.aladdin.cs.cmu.edu/papers/pdfs/y2001/comp_interval_arithm.pdf

المؤلفون: S. A. Seshia, R. E. Bryant

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-156.ps.

مصطلحات موضوعية: Approximation algorithms, Complexity Theory, Approximation hardness, Binary Decision Diagrams, Coding Theory, Trellises

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.1182; http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-156.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.1182
http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-156.ps

المؤلفون: S. A. Seshia, G. E. Blelloch, R. W. Harper

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cmu.edu/~rwh/papers/perfcomp/tr172.ps.

مصطلحات موضوعية: Computational geometry, geometric predicates, geometric robustness, interval arithmetic, error

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.295; http://www.cs.cmu.edu/~rwh/papers/perfcomp/tr172.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.295
http://www.cs.cmu.edu/~rwh/papers/perfcomp/tr172.ps

المؤلفون: S. A. Seshia, R.K. Shyamasundar, A. K. Bhattacharjee, S.D. Dhodapkar

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.tcs.tifr.res.in/~shyam/fm99.ps.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.5068; http://www.tcs.tifr.res.in/~shyam/fm99.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.5068
http://www.tcs.tifr.res.in/~shyam/fm99.ps

المؤلفون: S. A. Seshia, Guy E. Blelloch, Robert Harper

مصطلحات موضوعية: Information and Computing Sciences not elsewhere classified, computer sciences

Relation: https://figshare.com/articles/A_Performance_Comparison_of_Interval_Arithmetic_and_Error_Analysis_for_Geometric_Predicates/6591161

الاتاحة: https://doi.org/10.1184/r1/6591161.v1
https://figshare.com/articles/A_Performance_Comparison_of_Interval_Arithmetic_and_Error_Analysis_for_Geometric_Predicates/6591161

المؤلفون: W. Li, W. Zheng, P. Giusto, A. Sangiovanni Vincentelli, S. A. Seshia, DI NATALE, Marco

المساهمون: W., Li, DI NATALE, Marco, W., Zheng, P., Giusto, A., Sangiovanni Vincentelli, S. A., Seshia

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000273246700192; Design Automation and Test in Europe 2009; numberofpages:10; http://hdl.handle.net/11382/303548; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-70350053119

الاتاحة: http://hdl.handle.net/11382/303548

المؤلفون: S. S. Seshia, J. D. Gillies

المصدر: Developmental Medicine & Child Neurology. 22:642-648

مصطلحات موضوعية: Male, Decerebrate State, Pediatrics, medicine.medical_specialty, Poor prognosis, Eye Movements, Brain Ischemia, Acute illness, Developmental Neuroscience, Humans, Medicine, Meningitis, Coma, Hypoxia, Brain, business.industry, Follow up studies, Brain, Infant, Electroencephalography, Prognosis, medicine.disease, Child, Preschool, Pediatrics, Perinatology and Child Health, Female, Neurology (clinical), medicine.symptom, business, Follow-Up Studies

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d7edd722642f346b1a803f325cfacd6
https://doi.org/10.1111/j.1469-8749.1980.tb04378.x

المؤلفون: M. M. K. Seshia, R. K. Sachdeva, S. S. Seshia

المصدر: Developmental Medicine & Child Neurology. 19:614-628

مصطلحات موضوعية: Male, medicine.medical_specialty, Intracranial infection, Adolescent, Eye Movements, Developmental Neuroscience, medicine, Humans, Meningitis, Coma, Child, Decerebrate State, Neurologic Examination, Gynecology, Epilepsy, Movement Disorders, business.industry, Infant, Electroencephalography, Prognosis, Paediatric neurology, Child, Preschool, Recien nacido, Pediatrics, Perinatology and Child Health, Encephalitis, Female, Neurology (clinical), medicine.symptom, Respiratory Insufficiency, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b3aa1c2d66903a4dbe03f1fa1ffa6c52
https://doi.org/10.1111/j.1469-8749.1977.tb07995.x

المؤلفون: S. S. Seshia, S. J. Wang, I. Abu Arafeh, A. D. Hershey, P. Winner, C. Wober Bingor, GUIDETTI, Vincenzo

المساهمون: S. S., Seshia, S. J., Wang, I., Abu Arafeh, A. D., Hershey, Guidetti, Vincenzo, P., Winner, C., Wober Bingor

Relation: info:eu-repo/semantics/altIdentifier/pmid/21059537; info:eu-repo/semantics/altIdentifier/wos/WOS:000284674100011; volume:37; issue:6; firstpage:769; lastpage:778; numberofpages:10; journal:CANADIAN JOURNAL OF NEUROLOGICAL SCIENCES; http://hdl.handle.net/11573/469366; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79952904076; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000284674100011&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=0c7ff228ccbaaa74236f48834a34396a

الاتاحة: http://hdl.handle.net/11573/469366
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000284674100011&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=0c7ff228ccbaaa74236f48834a34396a

المؤلفون: S. S. Seshia, C. Wober Bingol, GUIDETTI, Vincenzo

المساهمون: S. S., Seshia, C., Wober Bingol, Guidetti, Vincenzo

مصطلحات موضوعية: classification, chronic headache

Relation: info:eu-repo/semantics/altIdentifier/pmid/20855371; info:eu-repo/semantics/altIdentifier/wos/WOS:000285052900014; volume:30; issue:10; firstpage:1268; lastpage:1270; numberofpages:3; journal:CEPHALALGIA; http://hdl.handle.net/11573/92594; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79551549415; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000285052900014&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=0c7ff228ccbaaa74236f48834a34396a; http://www.scopus.com/inward/record.url?eid=2-s2.0-79551549415&partnerID=65&md5=18323a8a4590ff7daffbfae071486744

الاتاحة: http://hdl.handle.net/11573/92594
https://doi.org/10.1177/0333102410374143
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000285052900014&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=0c7ff228ccbaaa74236f48834a34396a
http://www.scopus.com/inward/record.url?eid=2-s2.0-79551549415&partnerID=65&md5=18323a8a4590ff7daffbfae071486744

المؤلفون: S S, Seshia

المصدر: Canadian Medical Association journal. 128(1)

مصطلحات موضوعية: Letters

URL الوصول: https://explore.openaire.eu/search/publication?articleId=pmid________::a50e049f8fee88f95faad66dbc33b694
https://pubmed.ncbi.nlm.nih.gov/20313832

المؤلفون: S. S. Seshia, B. Johnston

المصدر: Statistics in Medicine. 11:1023-1032

مصطلحات موضوعية: Statistics and Probability, Epidemiology, media_common.quotation_subject, Ocular Motility Disorders, Discriminant function analysis, Seizures, Software Design, Linear regression, Statistics, Craniocerebral Trauma, Humans, Mathematics, media_common, Multiple discriminant analysis, Variables, Decision Trees, Discriminant Analysis, Reproducibility of Results, Regression analysis, Linear discriminant analysis, Logistic Models, Evaluation Studies as Topic, Optimal discriminant analysis, Linear Models, Kernel Fisher discriminant analysis, Psychomotor Performance

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31600de866d8136fb02ae9110592f40a
https://doi.org/10.1002/sim.4780110804

المؤلفون: S. A. Seshia, Blelloch, Guy E., Harper, Robert

مصطلحات موضوعية: FOS: Computer and information sciences, 89999 Information and Computing Sciences not elsewhere classified

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2267029ce4d7c56f7fd9c702674b6a47

المؤلفون: Jaijeet Roychowdhury, Stavros Tripakis, E. A. Lee, J. Roydhowdhury, S. A. Seshia, S. Tripakis

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://embedded.eecs.berkeley.edu/eecsx44/lectures/wk2-lec2-fsm-minim.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.8197; http://embedded.eecs.berkeley.edu/eecsx44/lectures/wk2-lec2-fsm-minim.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.8197
http://embedded.eecs.berkeley.edu/eecsx44/lectures/wk2-lec2-fsm-minim.pdf

المؤلفون: Jaijeet Roychowdhury, Stavros Tripakis, Copyright -date, E. A. Lee, J. Roychowdhury, S. A. Seshia, Digital Circuit

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://embedded.eecs.berkeley.edu/eecsx44/lectures/wk2-lec1-discrete-systems.pdf.

مصطلحات موضوعية: clock

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.3891; http://embedded.eecs.berkeley.edu/eecsx44/lectures/wk2-lec1-discrete-systems.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.3891
http://embedded.eecs.berkeley.edu/eecsx44/lectures/wk2-lec1-discrete-systems.pdf

المؤلفون: D. Sadigh, K. Driggs-campbell, A. Puggelli, W. Li, V. Shia, R. Bajcsy, A. L. Sangiovanni-vincentelli, S. S. Sastry, S. A. Seshia

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/~sseshia/pubdir/aaaifv14.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.9214; http://www.eecs.berkeley.edu/~sseshia/pubdir/aaaifv14.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.9214
http://www.eecs.berkeley.edu/~sseshia/pubdir/aaaifv14.pdf

المؤلفون: Slide Thanks To C. Barre, S. A. Seshia

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.jhu.edu/~jason/325/PDFSlides/lect-smt.pdf.

مصطلحات موضوعية: • Program synthesis

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.4959; http://www.cs.jhu.edu/~jason/325/PDFSlides/lect-smt.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.4959
http://www.cs.jhu.edu/~jason/325/PDFSlides/lect-smt.pdf

المؤلفون: Edward Ashford Lee, Sanjit Arunkumar Seshia, E. A. Lee, S. A. Seshia

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://leeseshia.org/releases/LeeSeshia_DigitalV1_08.pdf.

مصطلحات موضوعية: LeeSeshia.org, 2011. This book is dedicated to our families. Contents Preface.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.6093; http://leeseshia.org/releases/LeeSeshia_DigitalV1_08.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.6093
http://leeseshia.org/releases/LeeSeshia_DigitalV1_08.pdf

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

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/~sseshia/talks/bryant-seshia-sat-smt.pdf.

مصطلحات موضوعية: Verification, Term-Level Verification

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.2315; http://www.eecs.berkeley.edu/~sseshia/talks/bryant-seshia-sat-smt.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.2315
http://www.eecs.berkeley.edu/~sseshia/talks/bryant-seshia-sat-smt.pdf

المؤلفون: Edward Ashford Lee, Sanjit Arunkumar Seshia, E. A. Lee, S. A. Seshia

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://leeseshia.org/releases/LeeSeshia_DigitalV1_06.pdf.

مصطلحات موضوعية: Preface. xi

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.626; http://leeseshia.org/releases/LeeSeshia_DigitalV1_06.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.626
http://leeseshia.org/releases/LeeSeshia_DigitalV1_06.pdf