История создания и развития языка Prolog, первая его реализация с использованием компилятора Никлауса Вирта "Algol-W". Сферы использования языка, его применение при решении задач составления сложных расписаний. Синтаксис и константы Пролог-системы.

A network protocol as a specification for the format and relative timing of the messages exchanged. Formalizing why and how vulnerabilities occur in protocols. Previous models. Automated tools. Terminology relationships. A network time protocol exploit.

A new general mathematical problem, suitable for public-key cryptosystems, is proposed: morphism computation in a category of Abelian groups. The problem seems to be hard for solving with a quantum computer. A demonstrative example of encryption.

Основы подключения к базам данных. API для Python. Двухэтапный процесс соединения в С API. Вызов connect() в обоих API. Обработка запросов в Python для mSQL, описание команд. Обновление, вставка, удаление данных. Динамическое соединение с базами данных.

Використання QR-кодування в рекламі, торгівлі, логістиці, туризмі, банківській сфері, інтернет-магазинах з метою максимальної економії часу клієнтів та онлайн-покупців. Основні види інформації, закодовані в QR-кодах. Основні переваги QR-кодування.

Classical and quantum physics and information theory. Von Neumann entropy and relevant measures. Accessible classical and quantum information. Data processing. Real-life applications of information theory. A commercial quantum cryptographic device.

Автоматизація обліку ресторанів за допомогою програми R-Keeper. Складність роботи та специфіка ресторанного бізнесу. Мінімізація випадків крадіжок на підприємстві. Облік товарно-матеріальних потоків, контроль розрахунків. Звіти в системі R-Keeper.

Основное предназначение дисковых систем RAID, причины создания. Преимущества RAID: позволяет увеличить производительность, позволяет увеличить объем. Анализ структуры подсистемы RAID, принципы работы. Характеристика консультативного комитета RAID.

Rational Rose в отличие от подобных средств проектирования способна проектировать системы любой сложности. Развернутое представление о проекте в сочетании со средствами документирования. Кодогенерация. Обратное проектирование имеющихся систем.

Development of an algorithm for identifying potential clients of factoring services based on information from databases of Russian banks. Its implementation in the VBA programming language. Recommendations for improving the efficiency of sales staff.

Basic protocols and Internet search them. Search Tools in WWW. Thematic catalogs. Characteristics of automatic indexes. World Wide Web Worm. Review of Russian search engines. Features search through directories and search engines in a pure form.

The problem of reliability of air navigation system operator. The definition of the operator's reliability by the means of the chosen model. The choice of a system in accordance with the requirements of recovery operator efficiency after failure.

Analysis of simple principal component as a tool for dimension reduction can fail badly. Local approximations of principal component as among the most promising. Localized versions of component and principal curves and local partitioning algorithms.

The methods of image segmentation, a process of division of an image into different segments which contain pixels of similar color, are considered. Graph-based segmentation algorithm, which is based on Kruskal’s algorithm is implemented in C++ language.

The most common cyber threats in the educational environment. Analysis of the peculiarities of cyberattacks on educational institutions in times of war. Justification of the important factor in securing the educational space from cyber threats.

Processes of ordering and delivery of the ingredients to the warehouse and the costumers. Overview of the ERP system’s logistic unit. Management system for solving a variety of transport logistics problems. Application solution "1С: Enterprise 8".

Using Duraton-Overman test to study detailed location patterns of the forestry and agricultural industry in Russia. Data analysis package. The first article on geocoding. Methods for measuring localization. Distance-based localization measurement.

Исследование сегментации клиентов на основе RFM-анализа по уровню лояльности. Рассмотрение примера анализа на основе базы данных фотографа. Характеристика программного обеспечения Microsoft Excel, особенностей создания таблицы необходимых сведений.

Современное состояние RISC-архитектуры, причины ее меньшинства на рынке компьютерных комплектующих. Предпосылки популярности систем на базе архитектуры Sun Microsystems. Анализ возможностей Solaris 10, пути обеспечения бесперебойной работы приложений.

Винчестер и BAD-секторы. Понятие и содержание, история возникновения S.M.A.R.T.-технологий, их спецификация и атрибуты. Виды дефектов и причины их появления, направления и этапы устранения. Журналы ошибок (SMART error log). Реализация функций S.M.A.R.T.

Statistics increase in the total amount of information. Creating a storage cloud. Key features of its use. Consideration of the main advantages and disadvantages. Characteristic encryption and data protection. Recommendations file protection in the cloud.

Рассмотрение системы для разработки, настройки и эксплуатации систем управления производством, как в машиностроении, так и в других сферах. Определение мощности и масштабируемость платформы SCADA Infinity. Оценка надежности хранения данных в системе.

Разработка программного обеспечения систем управления технологическими процессами в реальном времени. Основные функции и уровни автоматизации SCADA. Популярные SCADA-системы, имеющие поддержку в России. Основные инструменты редактора форм отображения.

Основные структурные компоненты программы диспетчерского управления и сбора данных, логическая структурная схема. Особенности SCADA как процесса управления, её области применения, функциональные возможности. Роль диспетчера в управлении системой.

Архитектура управления предприятием. Обработка информации об управляемых процессах в режиме реального времени. Ведение базы данных реального времени с технологической информацией. Управление объектами автоматизации и технологическими процессами.

Motivation from Genetic and Evolutionary Computation. Factorization of the Search Distribution. The Convex and Concave Lagrangian. FDA Factorizations and Region Graphs. Probabilistic Optimization and Linkage Learning. Learning Bayesian Networks from Data.

Concept and prototype for an "assembling" IT intergration portal to be used in higher education. Solution, to use Elgg as an information portal and social media platform. The gap between the closed nature of university IT infrastructure and user-friendly.

Computer security approach. Message authentication codes. Bilinear maps from elliptic curve pairings. Cryptographic hash functions. Method of session key generation. Secure authenticated encryption schemes. An efficient protocol in extended model.

Make translation of paper-based procedures to networked digital ones hard. Specific non-repudiation services. General contribution to multi-party problem. Summary of MPNR protocol properties. Supporting legal framework. Main model simulation event.

Implementing two-party computation efficiently with security against malicious adversaries. Two generic constructions of probabilistic cryptosystems and their applications. Cramer-shoup satisfies a stronger plaintext awareness under a weaker assumption.