Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_21
C. Baier, H. Hermanns, J. Katoen
{"title":"The 10, 000 Facets of MDP Model Checking","authors":"C. Baier, H. Hermanns, J. Katoen","doi":"10.1007/978-3-319-91908-9_21","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_21","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"79 1","pages":"420-451"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74106228","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_1
G. Woeginger
{"title":"Computation and Complexity","authors":"G. Woeginger","doi":"10.1007/978-3-319-91908-9_1","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_1","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"16 1","pages":"3-8"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90843863","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_7
D. Ron
{"title":"Sublinear-Time Algorithms for Approximating Graph Parameters","authors":"D. Ron","doi":"10.1007/978-3-319-91908-9_7","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_7","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"18 1","pages":"105-122"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79729231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_5
P. Agarwal, Esther Ezra, K. Fox
{"title":"Geometric Optimization Revisited","authors":"P. Agarwal, Esther Ezra, K. Fox","doi":"10.1007/978-3-319-91908-9_5","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_5","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"2014 1","pages":"66-84"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87941900","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_26
Falk Howar, B. Jonsson, F. Vaandrager
{"title":"Combining Black-Box and White-Box Techniques for Learning Register Automata","authors":"Falk Howar, B. Jonsson, F. Vaandrager","doi":"10.1007/978-3-319-91908-9_26","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_26","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"2015 1","pages":"563-588"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87081616","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_24
George Candea, Patrice Godefroid
{"title":"Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances","authors":"George Candea, Patrice Godefroid","doi":"10.1007/978-3-319-91908-9_24","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_24","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"35 1","pages":"505-531"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82235097","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_18
Reiner Hähnle, M. Huisman
{"title":"Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools","authors":"Reiner Hähnle, M. Huisman","doi":"10.1007/978-3-319-91908-9_18","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_18","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"1 1","pages":"345-373"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73359843","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_3
W. Cook
{"title":"Computing in Combinatorial Optimization","authors":"W. Cook","doi":"10.1007/978-3-319-91908-9_3","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_3","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"1 1","pages":"27-47"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76134354","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_23
Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, S. Smolka, R. Grosu
{"title":"Statistical Model Checking","authors":"Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, S. Smolka, R. Grosu","doi":"10.1007/978-3-319-91908-9_23","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_23","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"138 1","pages":"478-504"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88711720","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-01-01DOI: 10.1007/978-3-319-91908-9_2
R. R. Williams
{"title":"Some Estimated Likelihoods for Computational Complexity","authors":"R. R. Williams","doi":"10.1007/978-3-319-91908-9_2","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_2","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"55 1","pages":"9-26"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86874259","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：