{"title":"Collecting University Rankings for Comparison Using Web Extraction and Entity Linking Techniques","authors":"Nick Bassiliades","doi":"10.1007/978-3-319-13206-8_2","DOIUrl":"https://doi.org/10.1007/978-3-319-13206-8_2","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"36 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124715563","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}
{"title":"Forming an Evolutionarily Stable Firm Strategy Under Cournot Competition Using Social Preferences","authors":"Vitaliy Kobets, Maksym Poltoratskiy","doi":"10.1007/978-3-319-13206-8_17","DOIUrl":"https://doi.org/10.1007/978-3-319-13206-8_17","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132601180","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}
G. Zholtkevych, F. Mallet, Iryna Zaretska, G. Zholtkevych
{"title":"Two Semantic Models for Clock Relations in the Clock Constraint Specification Language","authors":"G. Zholtkevych, F. Mallet, Iryna Zaretska, G. Zholtkevych","doi":"10.1007/978-3-319-03998-5_10","DOIUrl":"https://doi.org/10.1007/978-3-319-03998-5_10","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"162 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123414041","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}
{"title":"Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings","authors":"Maxim Davidovsky, V. Ermolayev, V. Tolok","doi":"10.1007/978-3-319-03998-5_9","DOIUrl":"https://doi.org/10.1007/978-3-319-03998-5_9","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"147 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133795364","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}
{"title":"Specializations in Symbolic Verification","authors":"V. Peschanenko, A. Guba, Constantin Shushpanov","doi":"10.1007/978-3-319-03998-5_17","DOIUrl":"https://doi.org/10.1007/978-3-319-03998-5_17","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115211491","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}
{"title":"From Collegial to Collaborative - A Model for Building Trust and Partnership in Information Technology","authors":"Gary L. Pratt","doi":"10.1007/978-3-319-03998-5_3","DOIUrl":"https://doi.org/10.1007/978-3-319-03998-5_3","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129832085","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}
Spivakovskiy Oleksandr, L. Petukhova, Evgeniya Spivakovska, V. Kotkova, H. Kravtsov
{"title":"Three-Subjective Didactic Model","authors":"Spivakovskiy Oleksandr, L. Petukhova, Evgeniya Spivakovska, V. Kotkova, H. Kravtsov","doi":"10.1007/978-3-319-03998-5_13","DOIUrl":"https://doi.org/10.1007/978-3-319-03998-5_13","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129779880","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}
{"title":"Extending Floyd-Hoare Logic for Partial Pre- and Postconditions","authors":"Andrii Kryvolap, M. Nikitchenko, W. Schreiner","doi":"10.1007/978-3-319-03998-5_18","DOIUrl":"https://doi.org/10.1007/978-3-319-03998-5_18","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131406029","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}
{"title":"Improving the Efficiency of Synchronized Product with Infinite Transition Systems","authors":"Yuliia Romenska, F. Mallet","doi":"10.1007/978-3-319-03998-5_15","DOIUrl":"https://doi.org/10.1007/978-3-319-03998-5_15","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132993276","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}
{"title":"Asymptotical Information Bound of Consecutive Qubit Binary Testing","authors":"Anastasiia Varava, G. Zholtkevych","doi":"10.1007/978-3-319-03998-5_6","DOIUrl":"https://doi.org/10.1007/978-3-319-03998-5_6","url":null,"abstract":"","PeriodicalId":273908,"journal":{"name":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121829325","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}