?
10th International Conference on Computer Science & Education (ICCSE)
Cambridge :
IEEE, 2015.
Maksimenkova O. V., Podbelskiy V. V., , in : 10th International Conference on Computer Science & Education (ICCSE). : Cambridge : IEEE, 2015. P. 233-236.
This paper describes the experience of using open datasets in “Programming” course for the first-year undergraduates in Software engineering. The course is designed according to a combined approach. It contains the features of problem based learning and formative assessment. We describe and give examples of open datasets using in training and assessment task development. We ...
Added: September 11, 2015
Priority areas:
IT and mathematics
Language:
English
Keywords: computer science
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
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
Pavolotsky A. V., Горячев А. В., Беленькая Н. Л. et al., М. : Баласс, 2014
Данное пособие входит в состав учебно-методического комплекса по информатике для 7-9-го классов. Содержит описание уроков информатики в 9-м классе, а также варианты поурочного планирования и ответы к заданиям учебника.
Учебник "Информатика" для 8-го класса соответствует Федеральному государственному оразовательному стандарту основного общего образования, является продолжением непрерывного курса информатики и составной частью комплекта учебников развивающей Образовательной системы "Школа ...
Added: March 9, 2014
Сумы : СумДу, 2012
Сумский государственный университет. Апрель 16, 2012 – Апрель 21, 2012
Согласно решения Ученого совета факультета ЭлИТ, с 2012 года научно-техническая конференция "Информатика, Математика, Механика", которая проводилась на базе Сумского государственного университета в последние пять лет, отныне будет называться "Информатика, Математика, Автоматика". Конференция зарегистрирована у УкрЦНТЭИ как межвузовская. Официальные языки конференции: украинский, английский, русский. ...
Added: November 1, 2014
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
Springer, 2020
Added: September 8, 2020
Сумы : СумДу, 2014
Сумской государственный университет: Апрель 16, 2012 – Апрель 21, 2012
Факультет ЭлИТ. Конференция "Информатика, Математика, Автоматика" проводится на базе Сумского государственного университета. Конференция зарегистрирована у УкрЦНТЭИ как межвузовская. ...
Added: November 1, 2014
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
Горячев А. В., Pavolotsky A. V., Островский С. Л. et al., М. : Баласс, 2014
Данное пособие входит в состав учебно-методического комплекса по информатике для 7-9-го классов. Содержит описание уроков информатики в 8-м классе, а также варианты поурочного планирования и ответы к заданиям учебника.
Учебник "Информатика" для 8-го класса соответствует Федеральному государственному оразовательному стандарту основного общего образования, является продолжением непрерывного курса информатики и составной частью комплекта учебников развивающей Образовательной системы "Школа ...
Added: January 29, 2014
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
Донецк : Донецкий национальный технический университет, 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
Elsevier, 2016
Special issue of Elsevier’s Procedia Computer Science, which consists of the proceedings of the 20th International Conference on Knowledge - Based and Intelligent Information & Engineering Systems (KES2016) which was organised by KES International and held on September 5th to 7th, 2016 in York, United Kingdom. Celebrating 20 years of KES conferences, KES2016 was the ...
Added: February 19, 2017
Donetsk : Донецкий национальный технический университет, 2012
Выпуск сборника научных трудов посвящен 10-летию кафедры «Компьютерные системы мониторинга «ГВУЗ «Донецкий национальный технический университет».
Этот сборник научных трудов является выпуском факультета компьютерных наук и технологий, посвященный междисциплинарным исследованиям в науках о природе и обществе. Публикации охватывают широкий круг проблем - от фундаментальных вопросов системного анализа в прикладных разработок в области информационных технологий.
Материалы сборника предназначены для ...
Added: October 22, 2015
Denver : IEEE Computer Society, 2015
2015 Second International Conference on Mathematics and Computers in Sciences and in Industry (MCSI) Modelling, Optimization and Control of Wind and Photovoltaic Power Plants Control, Neural Networks, Machines ...
Added: October 1, 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
Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015
Added: May 30, 2015
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
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 ...
Added: October 28, 2015
Донецк : Донецкий национальный технический университет, 2013
В сборнике представлены доклады ученых в области компьютерной графики, обработки изображений, численных методов, моделирования сложных динамических систем. Приведены результаты исследований, связанных с разработкой аппаратного, программного и алгоритмического обеспечения средств компьютерной графики, численных методов, параллельного моделирования сложных динамических систем, моделирования и проектирования средств вычислительной техники. Рассматриваются вопросы применения компьютерной графики и моделирования в САПР и экономике. ...
Added: October 26, 2015
Santorini Island : CSCC, 2014
Added: July 26, 2014
Сумы : СумДу, 2015
Сумской государственный университет: Апрель 20, 2015 – Апрель 25, 2015
Факультет ЭлИТ. Конференция "Информатика, Математика, Автоматика" проводится на базе Сумского государственного университета. Конференция зарегистрирована у УкрЦНТЭИ как межвузовская. ...
Added: June 14, 2015
Toldova S., Azerkovich I., Гришина Ю. et al., / НИУ ВШЭ. Series WP BRP "Linguistics". 2015.
Building benchmark corpora in the domain of coreference and anaphora resolution is an important task for developing and evaluating NLP systems and models. Our study is aimed at assessing the feasibility of enhancing corpora with information about coreference relations. The annotation procedure includes identification of text segments that are subjects to annotation (markables), marking their ...
Added: December 15, 2015
Kiselyova N. N., Dudarev V.A., Korzhuev M. A., Inorganic Materials: Applied Research 2016 Vol. 7 No. 1 P. 34-39
A database (DB) on the bandgap of inorganic substances available via the Internet (http://bg.imetdb.ru) was developed for the information service of specialists in the sphere of inorganic chemistry and materials science. The DB is integrated with other information systems on the properties of inorganic substances and materials, which provides the search of a wide range ...
Added: February 23, 2016
Baibikova T., Domoratsky E., Вестник Московского финансово-юридического университета 2017 № 1 С. 200-206
Some questions of scientific visualization are under consideration in this paper. This article also discusses the peculiarities of application of cognitive computer graphics, singles out a range of tasks of scientific visualization. The paper gives a brief overview of modern support tools for program visualization, tendencies of their development and their main characteristics. A module ...
Added: June 10, 2017