?
Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013
Каз. :
-, 2013.
Editor-in-chief: Kamkin A.
Under the general editorship: Petrenko A., Terekhov A.
The issue contains the papers presented at the 7th Spring/Summer Young Researchers' Соllоquium оn Software Engineering (SYRCoSE 2013) held in Kazan, Russia on 30th and З1st оf Мay, 2013. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and reseаrсh-in-рrogrеss papers were соnsidered ассeрtable for the colloquium.
The topics of the colloquium include modeling of computer systems, software testing and verification, parallel and distributed systems, information search and data mining, image and speech processing and others.
ISBN 978-5-91474-020-4
Shershakov S., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 19-24.
Volume of the data information system operate has been rapidly increasing. Data logs have long been known, as they are a useful tool to solve a range of tasks. The amount of information that is written to a log during a specified length of time leads to the so-called problem of “big data”. Process-aware information ...
Added: June 8, 2013
Dworzanski L. W., Frumin D. I., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 9-14.
Nested Petri nets is an extension of Petri net formalism with net tokens for modelling multi-agent distributed systems with complex structure. While having a number of interesting properties, NP-nets have been lacking tool support. In this paper we present the NPNtool toolset for NP-nets which can be used to edit NP-nets models and check liveness ...
Added: June 18, 2013
Buchina N. G., Dworzanski L. W., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 15-18.
The work provides a specific approach to modeling and simulating Wireless Sensor Networks (WSN) via nested Petri Nets formalism. The tool for modeling/simulating WSN must take into account resources, time and sensors cost. Even though classical Petri Nets are well-suited for modeling dynamic concurrent systems, they do not have enough expressibility to model systems with ...
Added: July 4, 2013
Sukhov A., Lyadova L. N., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 31-40.
Different specialists are involved in software development at once: databases designers, business analysts, user interface designers, programmers, testers, etc. It leads to creation and usage in systems designing of various models fulfilled from the different points of view, with different levels of details, which use different modeling languages for the description. Thus there is a ...
Added: September 2, 2013
Protsenko A. S., Chupilko M., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 25-31.
Added: September 3, 2013
Seryi A. P., Lyadova L. N., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 41-46.
Abstract – Nowadays approaches, based on models, are used in the development of the information systems. The models can be changed during the system development process by developers. They can be transformed automatically: visual model can be translated into program code; transformation from one modeling language to other can be done. The most appropriate way ...
Added: September 3, 2013
Drobintsev P., Kotlyarov V. P., Nikiforov I. V., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 46-51.
Added: September 4, 2013
Lanin V., Uzunova E., Yugov A. et al., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 139-143.
Today many problems that are dedicated to a particular problem domain can be solved using DSL. Thus to use DSL it must be created or it can be selected from existing ones. Creating a completely new DSL in most cases requires high financial and time costs. Selecting an appropriate existing DSL is an intensive task ...
Added: January 21, 2014
Lanin V., Nesterov R., Osotova Т., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 136-138.
This article contains the implementation description of a real estate market offers aggregator service. Advertisement analysis is made with the aid of ontologies. A set of ontologies to describe specific websites can be extended, so the aggregator can be used for many diverse resources. ...
Added: January 21, 2014
Chugunov A., Lanin V., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 133-135.
This paper describes our approach to document search based on the ontological resources and graph models. The approach is applicable in local networks and local computers. It can be useful for ontology engineering specialists or search specialists. ...
Added: January 21, 2014
Tatarnikov A., Kamkin A., Сергеева Т. И. et al., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 51-57 .
Creation of test programs and analysis of their
execution is the main approach to system-level verification of microprocessors. A lot of techniques have been proposed to automate test program generation, ranging from completely random to well directed ones. However, no “silver bullet” has been found. In good industrial practices, various methods are combined complementing each other. ...
Added: December 20, 2017
Language:
English
Kamkin A., Petrenko A., Terekhov A., Perm : -, 2012
The issue contains the papers presented at the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2012) held in Perm, Russia on 30th and 31st of May, 2012. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and research-in-progress papers were considered acceptable for the ...
Added: September 20, 2012
IEEE, 2020
The proceedings contain 212 papers. The topics discussed include: implementation of the algorithm for improving the frontier in DEA models; a decision model and method for the bi-objective parallel machine ScheLoc problem; deep imitation learning for broom-manipulation tasks using small-sized training data; performance and usage frequency based policy for products recovery and remanufacturing; voltage oriented ...
Added: June 17, 2021
Baku : Publishing Department of Qafqaz University, 2016
Added: November 5, 2016
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
М. : ОАО «Концерн «Моринформистема–Агат», 2014
Системные проблемы надёжности, качества, компьютерного моделирования, информационных и электронных технологий в инновационных проектах. ...
Added: October 16, 2014
М. : МИЭМ НИУ ВШЭ, 2013
Представлены материалы десятой юбилейной Международной научно-практической конференции. Сборник отражает современное состояние инноватики в образовании, науке, промышленности, социально-экономической сфере и медицине с позиций внедрения новейших информационных и коммуникационных технологий.
Представляет интерес для широкого круга специалистов в области современных информационных и коммуникационных технологий, научных работников, преподавателей, аспирантов и студентов ВУЗов, связанных с инновационной деятельностью. ...
Added: October 11, 2013
М. : Институт прикладной математики им. М.В. Келдыша РАН, 2018
Содержит материалы, представленные к рассмотрению на научно-практический семинар “Новые информационные технологии в автоматизированных системах”, проводившейся в Москве 20 апреля 2018 г.
Представляет интерес для научных сотрудников, преподавателей, аспирантов и студентов, работающих по указанным научным направлениям. ...
Added: April 20, 2018
Каз. : СМУиС, 2013
Вторая Всероссийская молодежная научная Интернет-конференция «Грани науки» проводится Казанским (Приволжским) федеральным университетом, Советом молодых ученых и специалистов города Казани (http://kznscience.ru) и Комитетом по делам детей и молодежи Исполкома Казани. ...
Added: July 7, 2016
M. : HSE, 2014
The materials of The Third International Scientific-Practical Conference is presented below. The Conference reflects the modern state of innovation in education, science, industry and social-economic sphere, from the standpoint of introducing new information technologies.
Digest of Conference materials is presented in 3 parts. It is interesting for a wide range of researchers, teachers, graduate students and ...
Added: April 18, 2014
Naidenova X., Ignatov D. I., Hershey : IGI Global, 2012
The consideration of symbolic machine learning algorithms as an entire class will make it possible, in the future, to generate algorithms, with the aid of some parameters, depending on the initial users’ requirements and the quality of solving targeted problems in domain applications.
Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems surveys, analyzes, and ...
Added: December 3, 2012
CEUR Workshop Proceedings, 2019
This volume contains the papers presented at the session "Data Science" within the V International Conference on Information Technology and Nanotechnology (ITNT-2019). The conference was held in Samara, Russia, during May 21-24, 2019 (itnt-conf.org). The conference is a forum for leading researchers from all over the world aimed to discuss the latest advances in the ...
Added: September 13, 2019
М. : ГПБОУ МГОК, 2016
В сборнике представлены материалы участников конференции (в авторской редакции), подготовленные оргкомитетом конференции (Государственное бюджетное профессиональное образовательное учреждение города Москвы "Московский государственный образовательный комплекс", Московский государственный университет печати имени Ивана Федорова). Издание предназначено для специалистов в области виртуальной, дополненной и смешанной реальности, научно-педагогических работников и руководящих кадров, сотрудников отраслевых организаций и ученых, работающих по данному направлению, ...
Added: May 3, 2016
Пермь : Пермский государственный национальный исследовательский университет, 2014
В сборнике собраны статьи студентов и молодых ученых ПГНИУ, отражающие результаты научных исследований, выполняемых на базе университета. Статьи посвящены актуальным проблемам изучения естественных и гуманитарных наук.
Сборник издается по итогам конкурса научно-исследовательских работ студентов ПГНИУ (апрель – ноябрь 2014 г.), в котором принимали участие все факультеты университета. ...
Added: December 30, 2014
Красноярск : Сибирский федеральный университет, 2017
Представлены научные труды участников ежегодной Всероссийской научно-технической конференции молодых ученых и студентов, посвященной 122-й годовщине Дня радио, состояв- шейся в г. Красноярске 4–5 мая 2017 г. Отражены разработки в области радиотехники и радиоэлектроники по направлениям: радио- технические системы; радионавигация; СВЧ-технологии, антенны и устройства; информацион- ные спутниковые системы и технологии; полупроводниковая электроника и наноэлектроника; конструирование и ...
Added: May 22, 2017
IEEE, 2020
Proceedings 2020 2nd International Conference on Control Systems, Mathematical Modeling, Automation and Energy Efficiency (SUMMA). Lipetsk State Technical University Lipetsk, Russia November, 10-13 2020. Organized by Lipetsk State Technical University, Lipetsk, Russia. Technically Co-Sponsored by IEEE, IEEE Industrial Electronics Society (IES), IEEE Industry Applications Society, (IAS) Lipetsk State Technical Univ, STB ...
Added: June 17, 2021
M. : HSE, 2014
The materials of The Third International Scientific-Practical Conference is presented below. The Conference reflects the modern state of innovation in education, science, industry and social-economic sphere, from the standpoint of introducing new information technologies.
Digest of Conference materials is presented in 3 parts. It is interesting for a wide range of researchers, teachers, graduate students and ...
Added: April 18, 2014
Таганрог : Изд-во НОЦ ЗИС КТ Южного федерального университета, 2015
Сборник подготовлен по результатам проведения Всероссийской молодежной школы семинара «Актуальные проблемы информационных технологий, электроники и радиотехники - 2015» (ИТЭР - 2015). В сборник включены материалы лучших научных статей молодых ученых, аспирантов, магистрантов, студентов, сотрудников образовательных и научных организаций, участников всероссийской молодежной школы семинара «Актуальные проблемы информационных технологий, электроники и радиотехники – 2015». Всероссийская молодежная школа ...
Added: February 19, 2016
Пенза : ПГУ, 2015
В сборник трудов включены доклады юбилейного ХХ-го Международного симпозиума «Надежность и качество», проходившего с 25 по 31 мая 2015 г. в городе Пензе.
Рассмотрены актуальные проблемы теории и практики повышения надежности и качества; эффективности внедрения инновационных и информационных технологий в фундаментальных научных и прикладных исследованиях, образовательных и коммуникативных системах и средах, экономике и юриспруденции; методов и ...
Added: May 31, 2015
Berlin, Heidelberg : Springer, 2012
This book constitutes the refereed proceedings of the 12th Industrial Conference on Data Mining, ICDM 2012, held in Berlin, Germany in July 2012. The 22 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on data mining in medicine and biology; data mining for energy ...
Added: December 3, 2012
Екатеринбург : Издательство Уральского университета, 2012
Added: December 10, 2012
М. : МИЭМ НИУ ВШЭ, 2013
The materials of The Second International Scientific – Practical Conference is presented below. The Conference reflects the modern state of innovation in education, science, industry and social-economic sphere, from the standpoint of introducing new information technologies.
Digest of Conference materials is presented in 4 parts. It is interesting for a wide range of researchers, teachers, graduate ...
Added: April 18, 2013
Santorini Island : CSCC, 2014
Added: July 26, 2014
M. : Association of graduates and employees of AFEA named after prof. Zhukovsky, 2018
The materials of The International Scientific – Practical Conference is presented below.
The Conference reflects the modern state of innovation in education, science, industry and social-economic sphere, from the standpoint of introducing new information technologies.
It is interesting for a wide range of researchers, teachers, graduate students and professionals in the field of innovation and information technologies. ...
Added: May 24, 2018
M. : Higher School of Economics Publishing House, 2011
Concept discovery is a Knowledge Discovery in Databases (KDD) research field that uses human-centered techniques such as Formal Concept Analysis (FCA), Biclustering, Triclustering, Conceptual Graphs etc. for gaining insight into the underlying conceptual structure of the data. Traditional machine learning techniques are mainly focusing on structured data whereas most data available resides in unstructured, often ...
Added: December 3, 2012