m3 Голосов: 1 Адрес блога: http://zagovor-2013.blogspot.com/ Добавлен: 2012-08-22 12:37:31 блограйдером 1234zz

Model-based verificaton with error localization and error correction for c designs

2013-02-08 20:00:00 (читать в оригинале)




In simulation-based verification, a digital system (design) looks like a black box, as it uses inputs and compares outputs. It’s entire design structure is irrelevant. If we want to debug this design, it should be transformed into a white box stru...








Анализ связанности сложно-структурированных текстовых данных, характеризующих процессы формирования, размещения и исполнения государственных заказов в научно-технической сфере
Настройка выполнения параллельных программ
Gardens Inc.: From rags to riches (2013/RUS)
Применение метода линейного программирования при автоматизированном проектировании дополнительных аэродинамических поверхностей
Информационная система мониторинга рынка государственных заказов с возможностью многокритериального поиска, поддержки принятия управленческих решений и персонификации результатов
Выбор вычислительной системы для решения научных задач
Как гадать под Рождество? Рождественские гадания.
Тенденции объектно-ориентированного программирования в разработке системы кумир
Интерактивное байесовское матирование изображений
Разработка раздела научного ежегодника для академического сайта на базе cms netcat

---

Как гадать под Рождество? Рождественские гадания.

2013-02-08 19:59:00 (читать в оригинале)




Рождественские гадания происходят в период святок. Святки – это двухнедельный период зимних праздников. Они начинаются в Рождественский сочельник, который приходится на 6 января, а заканчиваются 19 января, т.е. на Крещение. Гадания в этот период считаются самыми правдоподобными.

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

Рождественские гадания по лаю собак

Рождественские гадания по лаю собак помогут рассказать Вам о Вашем будущем супруге. Для этого гадания Вы должны в полночь взять в руки нож и выйти на улицу.








Принципы построения и формирования электронной библиотеки «научное наследие россии»
Оптимизация переходов в двоичном трансляторе для архитектуры «эльбрус»
Применение программного продукта «2п-кадры!» для повышения эффективности использования трудовых ресурсов предприятия
Методы и инструменты реализации предметно-ориентированных компонентов обучающих систем
Реализация метода ляпунова по первому приближению в maple 12
Извлечение смысла из предложений естественного языка
Об организации бесперебойной сети для передачи коротких сообщений в случае чрезвычайных ситуаций
Большой Адронный Коллайдер открыл ящик Пандоры.
Ископаемые инфекции из сердца Антарктиды.
Исследование статистических свойств алгоритмов минимизации недетерминированных конечных автоматов с использованием программы refam

---

Разработка раздела научного ежегодника для академического сайта на базе cms netcat

2013-02-08 19:59:00 (читать в оригинале)




В соответствии с концепцией единого информационного пространства (ЕИП) [1, 2] сайт создается как внешний интерфейс к БД, содержащей сведения об организационной структуре, планах и результатах деятельности организации. Информация выбирается из базы по за...








Gardens Inc.: From rags to riches (2013/RUS)
Подходы к анализу точности мультиагентных моделей динамических систем
Экспериментальная среда облачных вычислений в институте математики и механики уро ран
Интеллектуальное управление многосвязными объектами, реализованное в ситуационных подпрограммах
Ископаемые инфекции из сердца Антарктиды.
XCOM: Enemy Unknown v 1.0u3 + 2 DLC (RePack Audioslave/FULL RU)
Параллельный программный комлекс оптимального развития динамической транспортной сети
Социальная сеть ран – единое информационное пространство для ученых
Интерактивное байесовское матирование изображений
Принципы построения и формирования электронной библиотеки «научное наследие россии»

---

Комплекс программ и алгоритм расчета фрактальной размерности и линейного тренда временных рядов

2013-02-08 19:59:00 (читать в оригинале)




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








Эволюционный метод ранжирования и классификации биологических объектов
Большой Адронный Коллайдер открыл ящик Пандоры.
Параллельный программный комлекс оптимального развития динамической транспортной сети
Программное обеспечение и алгоритмы для моделирования нелинейной динамики полиномами вольтерра
Генетический алгоритм для задачи вершинной минимизации недетерминированных конечных автоматов
Подходы к анализу точности мультиагентных моделей динамических систем
Реализация метода ляпунова по первому приближению в maple 12
Методика и программное средство защиты кода от несанкционированного анализа
Ископаемые инфекции из сердца Антарктиды.
Извлечение смысла из предложений естественного языка

---

Качественные и количественные характеристики открытых информационных систем

2013-02-08 19:59:00 (читать в оригинале)




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








XCOM: Enemy Unknown v 1.0u3 + 2 DLC (RePack Audioslave/FULL RU)
Параллельный программный комлекс оптимального развития динамической транспортной сети
Извлечение смысла из предложений естественного языка
Алгоритм плотной стереореконструкции на основе контрольных точек и разметки плоскостями
Интерактивное байесовское матирование изображений
Матрично-топологический метод математического и компьютерного моделирования температурных полей в электронных модулях: программный комплекс stf-electronmod
Программное обеспечение и алгоритмы для моделирования нелинейной динамики полиномами вольтерра
Методы и инструменты реализации предметно-ориентированных компонентов обучающих систем
Разработка раздела научного ежегодника для академического сайта на базе cms netcat
Об организации бесперебойной сети для передачи коротких сообщений в случае чрезвычайных ситуаций