Pub Date : 2019-02-22DOI: 10.1007/s41781-019-0032-5
Frédéric Bapst, W. Bhimji, P. Calafiura, H. Gray, W. Lavrijsen, Lucy Linder, Alex Smith
{"title":"A Pattern Recognition Algorithm for Quantum Annealers","authors":"Frédéric Bapst, W. Bhimji, P. Calafiura, H. Gray, W. Lavrijsen, Lucy Linder, Alex Smith","doi":"10.1007/s41781-019-0032-5","DOIUrl":"https://doi.org/10.1007/s41781-019-0032-5","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"4 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s41781-019-0032-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41969582","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
B. Steffen, G. Woeginger
{"title":"Computing and Software Science: State of the Art and Perspectives","authors":"B. Steffen, G. Woeginger","doi":"10.1007/978-3-319-91908-9","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"12 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80826724","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_12
Kenneth W. Regan
{"title":"Rating Computer Science via Chess - In Memoriam Daniel Kopec and Hans Berliner","authors":"Kenneth W. Regan","doi":"10.1007/978-3-319-91908-9_12","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_12","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"10 1","pages":"200-216"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82242355","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_17
B. Steffen, F. Gossen, Stefan Naujokat, T. Margaria
{"title":"Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages","authors":"B. Steffen, F. Gossen, Stefan Naujokat, T. Margaria","doi":"10.1007/978-3-319-91908-9_17","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_17","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"97 1","pages":"311-344"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88730980","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_19
M. Huth, F. Nielson
{"title":"Static Analysis for Proactive Security","authors":"M. Huth, F. Nielson","doi":"10.1007/978-3-319-91908-9_19","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_19","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"97 1","pages":"374-392"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73330007","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_13
G. Weikum, Johannes Hoffart, Fabian M. Suchanek
{"title":"Knowledge Harvesting: Achievements and Challenges","authors":"G. Weikum, Johannes Hoffart, Fabian M. Suchanek","doi":"10.1007/978-3-319-91908-9_13","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_13","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"30 1","pages":"217-235"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88251813","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_4
H. Aziz, F. Brandt, E. Elkind, P. Skowron
{"title":"Computational Social Choice: The First Ten Years and Beyond","authors":"H. Aziz, F. Brandt, E. Elkind, P. Skowron","doi":"10.1007/978-3-319-91908-9_4","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_4","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"230 1","pages":"48-65"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85920772","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_22
R. Alur, Mirco Giacobbe, T. Henzinger, K. Larsen, Marius Mikucionis
{"title":"Continuous-Time Models for System Design and Analysis","authors":"R. Alur, Mirco Giacobbe, T. Henzinger, K. Larsen, Marius Mikucionis","doi":"10.1007/978-3-319-91908-9_22","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_22","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"32 1","pages":"452-477"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89288136","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_15
Robert Chatley, A. Donaldson, A. Mycroft
{"title":"The Next 7000 Programming Languages","authors":"Robert Chatley, A. Donaldson, A. Mycroft","doi":"10.1007/978-3-319-91908-9_15","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_15","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"44 1","pages":"250-282"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79086019","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_9
M. Halldórsson, Roger Wattenhofer
{"title":"Wireless Network Algorithmics","authors":"M. Halldórsson, Roger Wattenhofer","doi":"10.1007/978-3-319-91908-9_9","DOIUrl":"https://doi.org/10.1007/978-3-319-91908-9_9","url":null,"abstract":"","PeriodicalId":36026,"journal":{"name":"Computing and Software for Big Science","volume":"72 1","pages":"141-160"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73399843","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}