?
Proceedings of the 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)
IEEE, 2015.
September 24-26, 2015
Warsaw, Poland
ORGANIZED BY
IEEE Ukraine Section I&M / CI Joint Societies Chapter
Research Institute for Intelligent Computer Systems, Ternopil National Economic University and
V.M. Glushkov Institute of Cybernetics, National Academy for Sciences of Ukraine
Warsaw University of Technology
Faculty of Electronics and Information Technology
Faculty of Mathematics and Information Science
Peer reviewed, indexed by Scopus
Rodriges Zalipynis R. A., Ivashchuk O. A., Konstantinov I. S., , in : Proceedings of the 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS). : IEEE, 2015. P. 593-597.
Climate Wikience is a desktop application for
fast 3D visualization and analysis of retrospective climate
reanalysis and Earth remote sensing data. For its several
distinct features and certain tasks an analyst may prefer it
to other tools. The features include rich collection of
environmental variables readily available “out-of-the-box’,
one-click 3D visualization of any of them regardless of their
storage formats and coordinate ...
Added: October 28, 2015
Priority areas:
IT and mathematics
Language:
English
Донецк : Донецкий национальный технический университет, 2013
В сборнике представлены доклады ученых в области компьютерной графики, обработки изображений, численных методов, моделирования сложных динамических систем. Приведены результаты исследований, связанных с разработкой аппаратного, программного и алгоритмического обеспечения средств компьютерной графики, численных методов, параллельного моделирования сложных динамических систем, моделирования и проектирования средств вычислительной техники. Рассматриваются вопросы применения компьютерной графики и моделирования в САПР и экономике. ...
Added: October 26, 2015
Донецк : Донецкий национальный технический университет, 2014
Results of scientific research and development works are published in collected papers in following fields: modern information technologies, computer monitoring, artificial intelligence, simulation, digital device development, diagnostic expert systems, usage of intelligent data analysis methods, Web-technologies. ...
Added: October 23, 2015
Donetsk : Донецкий национальный технический университет, 2012
Выпуск сборника научных трудов посвящен 10-летию кафедры «Компьютерные системы мониторинга «ГВУЗ «Донецкий национальный технический университет».
Этот сборник научных трудов является выпуском факультета компьютерных наук и технологий, посвященный междисциплинарным исследованиям в науках о природе и обществе. Публикации охватывают широкий круг проблем - от фундаментальных вопросов системного анализа в прикладных разработок в области информационных технологий.
Материалы сборника предназначены для ...
Added: October 22, 2015
Сумы : СумДу, 2012
Сумский государственный университет. Апрель 16, 2012 – Апрель 21, 2012
Согласно решения Ученого совета факультета ЭлИТ, с 2012 года научно-техническая конференция "Информатика, Математика, Механика", которая проводилась на базе Сумского государственного университета в последние пять лет, отныне будет называться "Информатика, Математика, Автоматика". Конференция зарегистрирована у УкрЦНТЭИ как межвузовская. Официальные языки конференции: украинский, английский, русский. ...
Added: November 1, 2014
Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719-744
In their seminal paper:
Lincoln, P., Mitchell, J., Scedrov, A. and Shankar, N. (1992). Decision problems for propositional linear logic. Annals of Pure and Applied Logic 56 (1–3) 239–311,
LMSS have established an extremely surprising result that propositional linear logic is undecidable. Their proof is very complex and involves numerous nested inductions of different kinds.
Later an alternative ...
Added: September 1, 2016
Springer, 2020
Added: September 8, 2020
Сумы : СумДу, 2015
Сумской государственный университет: Апрель 20, 2015 – Апрель 25, 2015
Факультет ЭлИТ. Конференция "Информатика, Математика, Автоматика" проводится на базе Сумского государственного университета. Конференция зарегистрирована у УкрЦНТЭИ как межвузовская. ...
Added: June 14, 2015
Сумы : СумДу, 2014
Сумской государственный университет: Апрель 16, 2012 – Апрель 21, 2012
Факультет ЭлИТ. Конференция "Информатика, Математика, Автоматика" проводится на базе Сумского государственного университета. Конференция зарегистрирована у УкрЦНТЭИ как межвузовская. ...
Added: November 1, 2014
Pavolotsky A. V., Горячев А. В., Беленькая Н. Л. et al., М. : Баласс, 2014
Данное пособие входит в состав учебно-методического комплекса по информатике для 7-9-го классов. Содержит описание уроков информатики в 9-м классе, а также варианты поурочного планирования и ответы к заданиям учебника.
Учебник "Информатика" для 8-го класса соответствует Федеральному государственному оразовательному стандарту основного общего образования, является продолжением непрерывного курса информатики и составной частью комплекта учебников развивающей Образовательной системы "Школа ...
Added: March 9, 2014
Горячев А. В., Pavolotsky A. V., Островский С. Л. et al., М. : Баласс, 2014
Данное пособие входит в состав учебно-методического комплекса по информатике для 7-9-го классов. Содержит описание уроков информатики в 8-м классе, а также варианты поурочного планирования и ответы к заданиям учебника.
Учебник "Информатика" для 8-го класса соответствует Федеральному государственному оразовательному стандарту основного общего образования, является продолжением непрерывного курса информатики и составной частью комплекта учебников развивающей Образовательной системы "Школа ...
Added: January 29, 2014
М. : Фонд содействия развитию интернет-медиа, ИТ-образования, человеческого потенциала "Лига интернет-медиа", 2018
В данном выпуске журнала представлены доклады III Международной научной конференции «Конвергентные когнитивно-информационные технологии», прошедшей в Московском государственном университете имени М.В. Ломоносова 29 ноября - 2 декабря 2018 года. Конференция проводилась в рамках программы деятельности Федерального учебно-методического объединения в системе высшего образования по укрупненной группе специальностей и направлений подготовки 02.00.00 «Компьютерные и информационные науки».
Издание осуществлено при финансовой ...
Added: March 11, 2019
Springer, 2016
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: December 15, 2016
Taratukhin Victor, Yadgarova Y., Procedia Computer Science 2018 Vol. 123
Added: February 18, 2019
Pavolotsky A. V., Korolev D., Левицкая Н. И., Качество. Инновации. Образование 2015 № 12 С. 23-31
In the article the language choice problem to start programming training in universities for computer science programs is considered. Examples illustrating the difficulties with which both teachers and students meet during learning top five languages list according to the TIOBE site are given and also the statistics received from different universities open sources is analyzed. ...
Added: February 10, 2016
[б.и.], 2014
CSEE 2014, is to bring together innovative academics and industrial experts in the field of Computer Science and Electronics Engineering to a common forum.
The primary goal of the conference is to promote research and developmental activities in Computer Science and Electronics Engineering. Another goal is to promote scientific information interchange between researchers, developers, engineers, students, ...
Added: May 15, 2014
М. : НИУ ВШЭ, 2016
Сборник работ Первой студенческой конференции факультета компьютерных наук НИУ ВШЭ ...
Added: May 5, 2016
Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015
Added: May 30, 2015
NY : ACM, 2014
This volume contains the proceedings of the Joint Meeting of the Twenty-Third Annual EACSL Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS). CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve ...
Added: March 24, 2015
Cambridge : IEEE, 2015
Added: September 11, 2015
Formal Aspects of Computing: Essays dedicated to Derrick Kourie on the occasion of his 65th Birthday
Aachen : Shaker, 2013
Derick Kourie is one of the founding fathers of Computer Science in the Republic of South Africa. On the occasion of his 65th birthday in the year 2013, to honour his scientific and academic contributions to research and higher education, this Festschrift book has been compiled. It contains ten chapters in four parts, namely Logic, ...
Added: October 29, 2013
Santorini Island : CSCC, 2014
Added: July 26, 2014
Warsz. : Polskie Towarzystwo Informatyczne, 2013
The volume contains Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), which took place in Kraków, Poland, on September 8–11, 2013. ...
Added: November 14, 2013
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