?
Towards a socio-inspired multiagent approach for new generation of product life cycle management
Procedia Computer Science. 2018. Vol. 123.
Taratukhin Victor, Yadgarova Y.
Language:
English
Князева И., Лысов И. И., Курочкин Е. et al., Astronomy and Computing 2025 Vol. 51 P. 100918–0
The advancement of observational technologies and software for processing and visualizing spectro-polarimetric microwave data obtained with the RATAN-600 radio telescope opens new opportunities for studying the physical characteristics of solar plasma at the levels of the chromosphere and corona. These levels remain some difficult to detect in the ultraviolet and X-ray ranges. The development of ...
Added: December 10, 2024
Springer, 2024.
Added: October 23, 2024
Association for Computing Machinery (ACM), 2023.
Welcome to the 54th annual SIGCSE Technical Symposium on Computer Science Education (SIGCSE TS 2023). Recent years have seen numerous milestones for the SIGCSE Technical Symposium such as its 50th anniversary, and the first online and hybrid symposiums. This year we celebrate another milestone: the first SIGCSE Technical Symposium held outside of the United States. ...
Added: April 2, 2023
Cham: Springer Publishing Company, 2022.
This book constitutes the proceedings of the 25th International Conference on Text, Speech, and Dialogue, TSD 2022, held in Brno, Czech Republic, in September 2022.
The 43 papers presented in this volume were carefully reviewed and selected from 94 submissions. The topical sections "Text", "Speech", and "Dialogue" deal with the following issues: speech recognition; corpora and ...
Added: October 5, 2022
Antonova M., Bakulev A., М.: Флинта, 2022.
The coursebook is designed to assist students in gaining, practicing, and mastering academic English written and oral skills. Special focus is placed on teaching research writing in such fields and applied mathematics, computer science and engineering. Students are trained to write proposals of their senior theses and research articles. The book also covers research presentation and discussion ...
Added: January 12, 2022
Пермь: Пермский государственный национальный исследовательский университет, 2021.
В сборнике представлены статьи участников Всероссийской научно-практичес- кой конференции молодых ученых с международным участием «Математика и междисциплинарные исследования – 2021».
Публикуемые материалы охватывают широкий спектр таких направлений, как фундаментальная математика и механика, математическое моделирование в различных сферах, искусственный интеллект, прикладная лингвистика, информа- ционные технологии в различных сферах, а также современные методики препо- давания. Большинство работ носит междисциплинарный характер.
Сборник предназначен ...
Added: December 19, 2021
CEUR Workshop Proceedings, 2020.
Added: November 18, 2021
Bukley G., St. Petersburg: Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого", 2021.
Bioinformatics Institute 2020/21. Project abstracts. Bioinformatics Summer School 2021. Abstracts. ...
Added: August 14, 2021
Springer, 2020.
Added: November 28, 2020
Springer Publishing Company, 2020.
This book constitutes the proceedings of the 16th International Symposium on Bioinformatics Research and Applications, ISBRA 2020, held in Moscow, Russia, in December 2020.
The 23 full papers and 18 short papers presented in this book were carefully reviewed and selected from 131 submissions. They were organized in topical sections named: genome analysis; systems biology; computational ...
Added: November 3, 2020
Springer, 2020.
Added: September 8, 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
Babenko M. A., Kolesnichenko I., Smirnov I., Theory of Computing Systems 2019 Vol. 63 No. 4 P. 637–646
Heaps are well-studied fundamental data structures, having myriads of applications, both theoretical and practical. We consider the problem of designing a heap with an “optimal” extract-min operation. Assuming an arbitrary linear ordering of keys, a heap with n elements typically takes O(log n) time to extract the minimum. Extracting all elements faster is impossible as ...
Added: December 6, 2019
Antonova M., Bakulev A., М.: Флинта, 2019.
The coursebook is designed for students to acquire, practice, and master their communicative competence in academic writing in English, the focus being on fundamental and applied mathematics and computer science. The target of the book is to teach students to write research project proposals of their term papers, senior theses, and dissertations in the format ...
Added: October 26, 2019
Gremyachikh L., Dubov D., Kazeev N. et al., Advances in the Astronautical Sciences 2020 Vol. 170 P. 305–319
The number of space objects will grow several times in a few years due to the planned launches of constellations of thousands microsatellites. It leads to a significant increase in the threat of satellite collisions. Spacecraft must undertake collision avoidance maneuvers to mitigate the risk. According to publicly available information, conjunction events are now manually ...
Added: October 10, 2019
NY: IEEE, 2019.
The 14th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2019) will take place in Larnaca (Cyprus), on 9th and 10th June 2019. SMAP 2019 will be organized with the support of the Cyprus University of Technology.
The Semantic and Social Media Adaptation and Personalization (SMAP) workshop is the evolution of the Semantic ...
Added: July 29, 2019
М.: Фонд содействия развитию интернет-медиа, ИТ-образования, человеческого потенциала "Лига интернет-медиа", 2018.
В данном выпуске журнала представлены доклады III Международной научной конференции «Конвергентные когнитивно-информационные технологии», прошедшей в Московском государственном университете имени М.В. Ломоносова 29 ноября - 2 декабря 2018 года. Конференция проводилась в рамках программы деятельности Федерального учебно-методического объединения в системе высшего образования по укрупненной группе специальностей и направлений подготовки 02.00.00 «Компьютерные и информационные науки».
Издание осуществлено при финансовой ...
Added: March 11, 2019
Springer, 2017.
The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic form. While the focus is on publication of peer-reviewed full papers presenting mature work, inclusion of reviewed short papers reporting on work in progress is welcome, ...
Added: February 13, 2019
Netherlands: Springer, 2018.
The Formal Grammar conference series (FG) provides a forum for the presentation of
new and original research on formal grammar, mathematical linguistics, and the
application of formal and mathematical methods to the study of natural language.
Themes of interest include, but are not limited to:
– Formal and computational phonology, morphology, syntax, semantics, and
pragmatics
– Model-theoretic and proof-theoretic methods in ...
Added: December 5, 2018
Netherlands: Springer, 2018.
The 16th Asian Symposium on Programming Languages and Systems (APLAS) aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2018 ...
Added: December 5, 2018
Kanovich M., Kuznetsov S., Nigam V. et al., , in: IJCAR: International Joint Conference on Automated Reasoning Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.: Springer, 2018. P. 228–245.
Abstract
Logical frameworks allow the specification of deductive systems using the same logical machinery. Linear logical frameworks have been successfully used for the specification of a number of computational, logics and proof systems. Its success relies on the fact that formulas can be distinguished as linear, which behave intuitively as resources, and unbounded, which behave intuitionistically. ...
Added: November 1, 2018
Springer, 2018.
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers The Ershov Informatics Conference Perspectives of System Informatics (in the PSI Conference Series) is the premier international forum in Russia for research and applications in computer, software, and information sciences. The conference brings together academic and industrial researchers, ...
Added: April 7, 2017