Big Data Analytics: The Move Toward Rapid ExperimentationBrillio
Being able to set the appropriate context to ask real questions of this massive quantity of data is how companies will spark change that truly matters. And we must be able to do that now, in the moment – and not minutes, days, weeks, or even months later.
This presentation, by big data guru Bernard Marr, outlines in simple terms what Big Data is and how it is used today. It covers the 5 V's of Big Data as well as a number of high value use cases.
Big Data Analytics: The Move Toward Rapid ExperimentationBrillio
Being able to set the appropriate context to ask real questions of this massive quantity of data is how companies will spark change that truly matters. And we must be able to do that now, in the moment – and not minutes, days, weeks, or even months later.
This presentation, by big data guru Bernard Marr, outlines in simple terms what Big Data is and how it is used today. It covers the 5 V's of Big Data as well as a number of high value use cases.
Гринчук Александр - Практическое применение Data mining технологий-ооо «нанот...WG_ Events
Александр дал общую характеристику рынка бизнес-аналитики в Беларуси. На примере реальных бизнес-задач он рассказал о проблемах, с которыми сталкиваются специалисты при внедрении Data Mining, и о том, как эти проблемы можно решить при помощи программного обеспечения
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ К ГЕНЕРАЦИИ ТЕСТОВ ДЛЯ АВТОМАТНЫХ ПРОГРАММITMO University
Описан подход к автоматизации тестирования автоматных программ. Для формализации требований спецификации к модели и объектам управления предлагается использовать контракты. Тест описывается как последовательность переходов в модели. Для автоматизации процесса создания кода теста предложен генетический алгоритм, который позволяет находить значения переменных, удовлетворяющие условиям на переходах.
Formal Methods in Robotics
Dmitry Mordvinov, Yury Litvinov, Saint Petersburg State University, Saint Petersburg
12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg
Гринчук Александр - Практическое применение Data mining технологий-ооо «нанот...WG_ Events
Александр дал общую характеристику рынка бизнес-аналитики в Беларуси. На примере реальных бизнес-задач он рассказал о проблемах, с которыми сталкиваются специалисты при внедрении Data Mining, и о том, как эти проблемы можно решить при помощи программного обеспечения
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ К ГЕНЕРАЦИИ ТЕСТОВ ДЛЯ АВТОМАТНЫХ ПРОГРАММITMO University
Описан подход к автоматизации тестирования автоматных программ. Для формализации требований спецификации к модели и объектам управления предлагается использовать контракты. Тест описывается как последовательность переходов в модели. Для автоматизации процесса создания кода теста предложен генетический алгоритм, который позволяет находить значения переменных, удовлетворяющие условиям на переходах.
Formal Methods in Robotics
Dmitry Mordvinov, Yury Litvinov, Saint Petersburg State University, Saint Petersburg
12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg
3. Предпосылки проекта
Огромное разнообразие
выбора
Нерешительность
Необходимость сравнения
сложных характеристик
Желание выбрать
оптимальный вариант
7. Как работает приложение
Учитываются особенности
человеческой психики: оценки ставятся
не по линейной, а по логарифмической
шкале
Есть алгоритмы, разруливающие
ситуации нетранзитивности, т.е.
если A>>B>>C>>A по какой-то
характеристике
На самом деле, алгоритм, который
просто складывает и перемножает,
несовершенен. Гораздо круче
алгоритмы работы с матрицами
сравнений – с использованием анализа
матриц, результаты получаются более
качественными
Существуют также алгоритмы, которые
позволяют принимать решение в
условиях неполных данных