?
Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT '20)
ACM, 2020.
---
Shkatov D., Rybakov M., , in : Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT '20). : ACM, 2020. P. 58-65.
It is proved that Church theorem and Trakhtenbrot theorem are true for the logic of quasiary predicates. ...
Added: July 20, 2020
Chennai : AIRCC Publishing Corporation, 2018
The 11th International Conference on Security and its Applications (CNSA 2018) was held in Zurich, Switzerland, during January 02~03, 2018. The 5th International Conference on Data Mining and Database (DMDB 2018) and The 5th International Conference on Artificial Intelligence and Applications (AIAP 2018) was collocated with The 11th International Conference on Security and its Applications ...
Added: January 10, 2018
Cham : Springer, 2018
This volume contains the refereed proceedings of the 6th International Conference on Analysis of Images, Social Networks, and Texts (AIST 2017)1. The previous conferences during 2012–2016 attracted a significant number of students, researchers, academics, and engineers working on interdisciplinary data analysis of images, texts, and social networks. The broad scope of AIST made it ...
Added: June 24, 2017
Association for Computing Machinery (ACM), 2020
This volume contains the proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020). The symposium has originally been planned to be held in Beijing (China), and then moved to Saarbrücken (Germany). Due to the pandemic, the symposium was held online, in co-location with ICALP 2020, in the period July 8-11, ...
Added: September 4, 2020
Springer, 2020
Modern cybernetics and computer engineering papers and topics are presented in
the proceedings. This proceedings is a Vol. 3 of the Computer Science On-line
Conference proceedings. Papers in this part discuss modern cybernetics and applied
informatics in technical systems.
This book constitutes the refereed proceedings of the Applied Informatics and
Cybernetics in Intelligent Systems section of the 9th Computer Science ...
Added: August 25, 2020
CEUR-WS, 2018
DAMDID/RCDL conference is formed as a result of transformation of the Russian Conference on Digital Libraries with an intention to create a forum reflecting the urgent challenges of data organization, exploration and analysis in various data intensive domains. The transformation is planned so that the continuity with RCDL should be preserved by the transformed conference as well ...
Added: October 31, 2019
CEUR Workshop Proceedings, 2021
The XXIII International Conference on "Enterprise Engineering and Knowledge management" (EEKM-2020) took place from 8 to 9 December 2020 in the Plekhanov Russian University of Economics (Moscow). By tradition, EEKM conference is planned as a multidisciplinary forum of researchers and practitioners from various domains, promoting cooperation and exchange of ideas in different areas. The objectives ...
Added: November 17, 2020
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2020
Added: November 23, 2020
Springer, 2016
This volume of Advances in Intelligent Systems and Computing contains papers presented in the main track of IITI 2016, the First International Conference on Intelligent Information Technologies for Industry held in May 16-21 in Sochi, Russia. The conference was jointly co-organized by Rostov State Transport University (Russia) and VŠB – Technical University of Ostrava (Czech ...
Added: September 8, 2019
Lansing : ThinkMind, 2019
The Eleventh International Conference on Advances in Multimedia (MMEDIA 2019), held between March 24, 2019 and March 28, 2019 in Valencia, Spain, continued a series of events presenting recent research results on advances in multimedia, mobile and ubiquitous multimedia and to bring together experts from both academia and industry for the exchange of ideas and ...
Added: July 29, 2019
Switzerland : Springer, 2020
This book comprises high-quality, refereed research papers presented at the 2019 International Symposium on Computer Science, Digital Economy and Intelligent Systems (CSDEIS2019): The symposium, held in Moscow, Russia, on 4–6 October 2019, was organized jointly by Moscow State Technical University and the International Research Association of Modern Education and Computer Science. The book discusses the ...
Added: March 15, 2020
Proceedings of 2nd International Conference on Computer Applications & Information Security (ICCAIS)
NY : IEEE, 2019
The 2nd International Conference on Computer Applications & Information Security (ICCAIS’ 2019) is inviting authors to submit original contributions in the event research area. ICCAIS’ 2019 is a selective single-track conference, covering all aspects of Networking and Information Security, Computer Applications, Electrical Engineering & Computer Science, Network Management, Network Function Virtualization, Software Defined Networks, Network ...
Added: July 29, 2019
Новосибирск : СибАК, 2016
Сборник статей «Естественные и математические науки в современном мире» включен в систему Российского индекса научного цитирования (РИНЦ). Статьи, принятые к публикации, размещаются в полнотекстовом формате на сайте научной электронной библиотеки eLIBRARY.RU.
При перепечатке материалов издания ссылка на сборник статей обязательна. ...
Added: October 6, 2016
NY : IEEE, 2019
The Conference on Games (CoG) evolves from the traditional Computational Intelligence and Games (CIG) to bring together leading researchers and practitioners from academia and industry in the field of Games, to discuss recent advances and explore future directions. Games offer a fantastic domain for computational creativity, game design, technology, education, social sciences and, undoubtedly, artificial ...
Added: July 30, 2019
М., Протвино : Институт физико-технической информатики, 2016
Труды Международной научной конференции Московского физико-технического института (государственного университета)и Института физико-технической информатики. ISBN 978-5-88835-039-3 ...
Added: May 11, 2016
Jordan : IEEE Computer Society, 2013
The International Conference on Information Technology, ICIT 2013 , is a forum for scientists, engineers, and practitioners to present their latest research results, ideas, developments, and applications in all areas of Information Technology. ICIT2013 , will include presentations of contributed papers and state-of-the-art lectures by invited keynote speakers. Moreover, the program will include tutorials on ...
Added: November 29, 2013
Los Alamitos : IEEE, 2015
HISTELCON 2015 was the 4th in its series, after HISTELCON 2008 in Paris, HISTELCON 2010 in Madrid, and HISTELCON 2012 in Pavia). HISTELCON is a pioneering effort by IEEE Region 8 to bring together engineers with historians of engineering to discuss subjects of mutual interest. ...
Added: March 15, 2016
Springer, 2022
“Data Analytics and Management in Data Intensive Domains” conference (DAMDID) is planned as a multidisciplinary forum of researchers and practitioners from various domains of science and research promoting cooperation and exchange of ideas in the area of data analysis and management in data intensive domains. Approaches to data analysis and management being developed in specific data intensive domains of X-informatics (such as X = astro, bio, chemo, geo, medicine, neuro, physics, ...
Added: August 30, 2021
Switzerland : Springer, 2019
Data management and analysis is one of the fastest growing and most challenging areas of research and development in both academia and industry. Numerous types of applications and services have been studied and re-examined in this field resulting in this edited volume which includes chapters on effective approaches for dealing with the inherent complexity within ...
Added: December 29, 2019
Сумы : СумДу, 2016
Сумской государственный университет: Апрель 18, 2016 – Апрель 22, 2016.
Факультет ЭлИТ. Конференция "Информатика, Математика, Автоматика" проводится на базе Сумского государственного университета. Конференция зарегистрирована у УкрЦНТЭИ как межвузовская. ...
Added: June 11, 2016
Kham T., Социальные и гуманитарные науки: теория и практика 2019 № 1(3) С. 167-183
The article examines the problems of defining the term computer simulations of scientific experiments. The first part analyzes the original method for classifying variations of terms proposed by Duran as the most successful for demonstrating significant existing contradictions among philosophers regarding the place and role of computer simulations in the philosophy of science. In the ...
Added: December 11, 2019
Los Alamitos : IEEE Computer Society, 2020
Added: June 9, 2021
Springer International Publishing, 2020
Added: October 22, 2019
Springer, 2016
The Second Russian Supercomputing Days Conference (RuSCDays 2016) was held
during September 26–27, 2016, in Moscow, Russia. It was organized by the Supercomputing
Consortium of Russian Universities and the Federal Agency for Scientific
Organizations. The conference was supported by the Russian Foundation for Basic
Research and our respected platinum sponsors (T-Platforms, RSC, Intel, NVIDIA),
gold sponsors (IBM, Mellanox, Dell EMC, ...
Added: November 21, 2016
NY : IEEE, 2019
The TSP 2019 Conference is organized by seventeen universities from Czech Rep., Hungary, Turkey, Taiwan, Japan, Slovak Rep., Spain, Bulgaria, France, Slovenia, Croatia, Greece, and Poland, for academics, researchers, and developers and it serves as a premier annual international forum to promote the exchange of the latest advances in telecommunication technology and signal processing. The ...
Added: July 29, 2019