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.

Database and logic abduction method. Classical Logic Programming approach. Soundness and completeness DLA method. Various aspects of analysis of security protocols. Needham-Schroeder protocol. Optimized Otway-Rees protocol. Internet Key Exchange Protocol.

Основы продвижения сайтов в поисковых системах. Сущность семантического ядра как набора ключевых слов, используемых при поисковом запросе. Наиболее типичные ошибки при развитии интернет-ресурса. Особенности продвижения сайта с помощью внешних ссылок.

The software which automates the process of air-traffic situations generation. The set includes: airspace sector editor, dynamic situation generator. Reducing the generation time and increasing the quantities of practical tasks due to automation.

Дослідження способів побудови архітектури мережевих сервісів з використанням Shell-інтерпретатора, керування взаємодією між системою та користувачем. Написання додатків для процесів фонового режиму в ОС Linux як вирішення проблем організації їх роботи.

Micali-Reyzin computational model. Target circuit and block cipher. Analysis of single point leakages. Towards the analysis of real constructions. Definition of security against side-channel attacks. The initialize a PRNG securely with a public seed.

The article considers an example that contains the main features of a relational database - tabular representation, primary key, foreign key. It is shown that this database is completely described by the new format. A comma-separated values (CSV) files.

Application of mathematical methods - important condition in the analysis, work optimization of industrial structures. Use of the device of imitating modeling for research of production systems. The program table parameters for collecting statistics.

The process of helicopter pilots training by simulator. Analyzed the aviation accidents due to human factor. The way of estimation of pilots training by simulators. The formalization of the educational process with the control of training information.

Общие сведения о программе Simulink, её интерфейс, назначение и преимущества. Создание модели в программе, основные приёмы подготовки и редактирования. Установка параметров расчёта и его выполнение. Использование редактора дифференциальных уравнений.

Огляд концепцій для створення вебзастосунків, аналіз переваг і недоліків сучасних технологій для прогнозування погодних умов. Представлено сучасні клієнт-серверні технології. Докладно розглянуто концепцію Single Page Application та інші технології.

Основные понятия, связанные с технологией Skiip, которая используется SEMIKRON и сочетается с различными клеммами питания и управления, подключенными к модулю. Описание электрических характеристик модулей SKiiP. Сферы применения современных модулей Skiip.

Основные улучшения новой версии SolidWorks 2012. Система управления инженерными данными SolidWorks Enterprise PDM. Работа с уравнениями в SolidWorks. Библиотека стандартных компонентов Toolbox. Модуль экологической экспертизы проекта Sustainability.

Установка и администрирование SolidWorks. Индивидуальные и множественные установки на отдельных компьютерах и нескольких клиентах. Программа Workgroup PDM Viewer. Администрирование лицензий и устранение неполадок. Справка менеджера установки SolidWorks.

Характеристика некоторых особенностей работы с SolidWorks. Разработка и модификация приложения SwCSharpAddin. Разработка макроса отрисовки болта. Описание этапов процесса построения шестигранного болта на основе разных подходов при создании детали.

Linear Programming is concerned with maximizing or minimizing an equation over certain criteria. Mixed Integer Linear Programming: Techniques for Solving, Contribution of the Project, Solving Using Branch. Schematic for Branch and Cut algorithm.

Major machine translation methods designed to speed up the process of multilingual text translation by using a computer software. Analysis of the performance of rule-based machine translation, statistical models, hybrid and neural machine translation.

Review of Basic Statistics With SPSS. Data Coding and Exploratory Analysis. Selecting and Interpreting Inferential Statistics. Several Measures of Reliability. Exploratory Factor Analysis and Principal Components Analysis. Multiple Linear Regression.

Язык программирования SQL - инструмент, предназначенный для обработки и чтения данных, содержащихся в компьютерной базе. Функциональные возможности, которые СУБД предоставляет пользователю. Запросы, транзакции в SQL, защита данных и обработка ошибок.

Создание курсоров и их использование, средства программирования приложений. Кэширование при обработке больших объемов информации. Доступ к базам данных SQL Server с помощью вложений клиента. Конфигурирование интерфейса при работе с Microsoft Server 6.5.

Полупроводниковый накопитель как энергонезависимое перезаписываемое компьютерное запоминающее устройство. История развития SSD, принцип работы. Преимущества и недостатки систем SSD. Реализация SSD в Windows 7. Анализ сценарий развития технологии SSD.

Biography of Steve Jobs - founder of corporation Apple. Work in Atari and "club of home-made computers". Creation of company "Apple Computer", "Pixar" and "Disney". Development of iPod and iTunes. Relationships with the figures of the IT-industry.

Theoretical aspects and research of the growth strategies of international technology companies. Analysing of the evolution of growth strategies executed by Microsoft. Examining of strategies of internal development and acquisitions for inorganic growth.

The robotics complex as a strategy for the development of information and innovation activity in the enterprise in terms of digitalization. The digital recording, chronology, accessibility and openness, globality - the main benefits of blockchain.

FSMs are widely used in various application domains such as telecommunication systems, communication protocols and other systems. Existence of a separating sequence of two FSMs depends on the number of nondeterministic transitions in these FSMs.

Public key encryption and digital signature security definitions. Composable symbolic analysis for public key encryption. Ideal functionality formulations. Redefining ideal functionalities. Adding signatures to universally composable symbolic analysis.