... Форумы > Кафедры > Тема . ... Форумы Список тем Новая тема . ... Специализация в области анализа программ . ... направления своей научной специализации такую область, . ... Одной из таких областей является теория анализа корректности компьютерных программ. Задача анализа корректности программы заключается в следующем. ... т.е. описание того, что программа должна делать: например связь между . ... Ответить Цитировать . ... на кафедре МЛиТА ведет Сухомлин В.А. Ответить Цитировать . ...

Еще в разделе: (Показать все результаты (>5113) - www.mmonline.ru/ )

• MMOnline | Форумы | Аспирантура | Аспирантура: за и против
• Голосование: Кто является главным героем стихотворения Хозяин Кафедры ?
• MMOnline | Форумы | Абитуриентам | Кто является победителями олимпиады?

... Область ПЛИС-компьютеров является достаточно молодой и бурно развивающейся в настоящее время. ... CLB (Configurable Logic Blocks) - программируемый логический блок, часть FPGA-устройства, предназначенная для программирования некоторой функции или ее части. ... FPSC (Field Programmable System Chip) - устройство, представляющее собой объединение на одном кристалле FPGA и встроенного ASIC -ядра. ... PLA (Programmable Logic Array) - программируемые логические устройства наподобие ППЗУ . ...

Еще в разделе: (Показать все результаты (>29) - fpga.parallel.ru/ )

• Технология SGI RASC
• Языки высокого уровня ImpulseC, Mitrion-C и Handel-C
• Строение и история развития микросхем с реконфигурируемой архитектурой

... О лаборатории . ... Состав лаборатории . ... Основным направлением деятельности группы является нанооптика различных типов наноструктур, включая метаматериалы. ... Submitted by Маруся_П on Thu, 04/07/2016 - 13:21 . ... Submitted by Маруся_П on Wed, 03/30/2016 - 09:42 . ... В эту пятницу, 4 марта, состоится лабораторный семинар, на котором выступит Константин Катамадзе, сотрудник Лаборатории квантовых оптических технологий (рук. ... Submitted by Маруся_П on Fri, 02/19/2016 - 16:49 . ...

Еще в разделе: (Показать все результаты (>2) - nanolab.phys.msu.ru/ )

Backlinks to EResoursesMSU in Main Web ( Search all webs ) . ... Факультетские IT сервисы Сетевые услуги * Подключение компьютера к сети факультета * Подключение к VPN факультета (например, для выхода на библиотеки) ... r3 - 04 Aug 2014 - 13:33 by RomanKondakov . ... Statistics for Main Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: ... r1443 - 04 Aug 2014 - 13:33 by RomanKondakov . ... Copyright by the contributing authors. ...

Еще в разделе: (Показать все результаты (>1554) - wiki.cmc.msu.ru/ )

• (backlinks in Main Web) NetRules < Main < Foswiki
• (backlinks in Main Web) AdminLPOGroup < Main < Foswiki
• (backlinks in all Webs) AdminLPOGroup < Main < Foswiki

Информационная безопасность в открытых научно-образовательных сетях . Одним из важных направлений деятельности Центра телекоммуникаций и технологий Интернет является работа в области обеспечения компьютерной безопасности. ... Существенным результатом деятельности Центра телекоммуникаций и технологий Интернет на этом направлении явилось создание в 1998-1999 годах комплексной системы обеспечения безопасности базового управляющего ядра компьютерной сети. ... Copyright 1999-2011 MSUNet . ...

Еще в разделе: (Показать все результаты (>12) - www.msu.net/ )

• MSUNet Положение о сети MSUNet

... Цель: показать навыки работы с научной литературой, соответствует разделу диссертации ?Степень разработанности темы?. ... Тема: ?История изучения+тема диссертации?, например: ?История изучения визуальных средств военной пропаганды времен русско-японской войны 1904-1905гг?. Тема утверждается на заседании кафедры. Структура: титул, оглавление, введение, основная часть, заключение, библиография. ... Основная часть - рассмотрение подходов и направлений, сложившихся в науке по теме исследования. ...

Еще в разделе: (Показать все результаты (>570) - polit.msu.ru/ )

• Факультет политологии принял участие во Всероссийском фестивале науки
• Магистерская программа ?Государственная политика в сфере здравоохранения? на
• Факультет политологии МГУ

Backlinks to NetRules in Main Web ( Search all webs ) . ... Факультетские IT сервисы Сетевые услуги * Подключение компьютера к сети факультета * Подключение к VPN факультета (например, для выхода на библиотеки) ... r3 - 04 Aug 2014 - 13:33 by RomanKondakov . ... Statistics for Main Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: ... r1443 - 04 Aug 2014 - 13:33 by RomanKondakov . ... Copyright by the contributing authors. ...

Еще в разделе: (Показать все результаты (>174) - wiki.cs.msu.ru/ )

• (backlinks in all Webs) AdminLPOGroup < Main < Foswiki
• (backlinks in all Webs) NetRules < Main < Foswiki
• (backlinks in Main Web) AdminLPOGroup < Main < Foswiki

Главным моим увлечением, а также немножко и способом заработать деньги, является игра на трубе - но не той трубе, что водосточной, а той, что музыкальный инструмент. Учился я музыке долго и ненастойчиво, а потому в данный момент я играю партию первого корнета в духовом оркестре МГСУ (бывшая высшая партийная школа). Периодически играю и в других оркестрах, например ДК МЛРЗ, но времена, когда играл в симфоническом уже прошли (и слава богу). ...

Еще в разделе: (Показать все результаты (>60) - www.spm.genebee.msu.ru/ )

• Киселев Глеб
• Методы построения и обработки изображений
• FIMIS

... Интегрируемые системы, возникающие в физике и механике, давно изучаются с разных точек зрения. ... Методы качественного анализа интегрируемых систем также активно развивались, начиная с работ Пуанкаре. ... Так, например, в работах В.В.Козлова были найдены некоторые топологические препятствия к интегрируемости. ... Если же рассматривать все 4-мерное фазовое пространство интегрируемой гамильтоновой системы, то множество точек, где интегралы зависимы, является двумерным комплексом. ...

Еще в разделе: (Показать все результаты (>300) - dfgm.math.msu.su/ )

• Научная работа / Кафедра Дифференциальной геометрии и приложений /
• Спецсеминары / Кафедра Дифференциальной геометрии и приложений /

... rfbr:rest:reqschema ]] . ... Форматы описания заданий: . Формат описания заданий . ... 08/122010 14:47 demichev [Получение списка заданий] 08/122010 14:45 demichev [Изменение задания и выполнение операций над заданием] 08/122010 14:42 demichev [Получение информации о задании] 08/122010 14:41 demichev [Получение информации о задании] 07/122010 17:32 demichev 07/122010 17:26 demichev created Go Next revision . ... rfbr/rest/reqschema.1291808565.txt.gz · Last modified: 08/122010 14:42 by demichev . ...

Еще в разделе: (Показать все результаты (>726) - theory.sinp.msu.ru/ )

• start [THEP]

ЖУРНАЛ МОСКОВСКОЙ ПАТРИАРХИИ . 04-2002 . ... В России на протяжении многих лет создавалась экологически чистая система естественной вентиляции в храмовых сооружениях, работающая за счет гравитационного и ветрового давлений, с применением дефлекторов, и что очень важно, не требующая больших эксплуатационных затрат. К сожалению, системы естественной вентиляции с применением дефлекторов очень часто малоэффективны в связи с несовершенством конструктивного исполнения. ...

Еще в разделе: (Показать все результаты (>1060) - www.srcc.msu.ru/ )

• Журнал Московской Патриархии 2-2007
• Журнал Московской Патриархии 12-2008
• Журнал Московской Патриархии 02-2003

Обычно, знакомство с кристаллической структурой начинают с рассмотрения кубических примитивной, объемно- и гранецентрированной решеток (рис. 2.1), или, сокращенно, ПК, ОЦК, ГЦК. Рис. ... Элементарные ячейки кубических решеток: а) простой; б) гранецентрированной; в) объемно--центрированной . ... ГЦК . ... Некоторые характеристики основных типов кристаллических решеток . ... Тип решетки . ... Его структуру можно представить как простую кубическую решетку, в узлах которой чередуются атомы Na и Cl . ...

Еще в разделе: (Показать все результаты (>31) - np-chair.sinp.msu.ru/ )

• :: Кафедра физики атомного ядра и квантовой теории столкновений
• Пространственная решетка кристалла, определения и первичные обозначения

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

Еще в разделе: (Показать все результаты (>690) - www.psy.msu.ru/ )

• Психолог-консультант в службе экстренной психологической помощи - 'Телефон
• Психолог в гражданской авиации
• Дубовская Екатерина Михайловна

... Химический факультет . Кафедра английского языка . ... В связи с этим на химическом факультете МГУ преподаванию английского языка студентам и аспирантам традиционно уделяется большое внимание. ... Кафедра английского языка, стала одним из первых подразделений факультета, в котором началось внедрение дистанционных образовательных технологий (ДОТ) в учебную деятельность. ... ДИСТАНЦИОННЫЕ ОБРАЗОВАТЕЛЬНЫЕ ТЕХНОЛОГИИ В ПРЕПОДАВАНИИ АНГЛИЙСКОГО ЯЗЫКА СТУДЕНТАМ И АСПИРАНТАМ ХИМИЧЕСКОГО ФАКУЛЬТЕТА МГУ . ...

Еще в разделе: (Показать все результаты (>44) - do.chem.msu.ru/ )

• Дистанционные курсы подготовки абитуриентов при химическом факультете МГУ им.
• Александр Викторович Мануйлов. ДИСФОР (ДИалог на языке Структурных ФОРмул)
• Информационно-коммуникационные технлогии в образовании/ В.В. Миняйлов/ 2015

... Исследование синхронности резких изменений альфа-активности ЭЭГ человека. ... Использование межсегментных переходов и моментов резких изменений в качестве единиц анализа структуры ЭЭГ . Боденштайн и Преториус (1977) ввели в своей работе несколько "предположений", которые легли в основу сегментационной методологии. ... Второе предположение: "В качестве признаков для описания сегмента возьмем его длину и оценку спектра мощности ЭЭГ. ...

Еще в разделе: (Показать все результаты (>30) - brain.bio.msu.ru/ )

• Анализ ЭЭГ как процесса с регулярно изменяющимися характеристиками --
• Группа изучения мозга человека (ГрИМ) -- Каф. физиологии человека и животных
• Гипотезы о функциональном значении альфа-активности -- Исследование

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

Еще в разделе: (Показать все результаты (>48) - www.protein.bio.msu.ru/ )

Каткова Е.В., Оферкин И.В., Сулимов А.В., Сулимов В.Б. Применение поуэмпирических квантово-химических методов для разработки ингибиторов урокиназы. IV съезд фармакологов России "Инновации в современной фармакологии" 18-21 сентября, г. Казань, 2012. ... Немаловажным аспектом моделирования будущего ингибитора является аккуратный расчет энергии связывания молекулы кандидата в ингибиторы с активным центром урокиназы. ... Ключевые слова: Ингибиторы урокиназы, полуэмпирические методы, программа MOPAC ...

Еще в разделе: (Показать все результаты (>286) - srcc.msu.ru/ )

• Моделирование квазидвухлетних колебаний зонального ветра экваториальной
• Выставка работ Г.Г.Рябова
• Михеев М.Ю. Примечания авторские (и издательские) к 'Тихому Дону' //

... В последние полтора года, то есть примерно с начала 2003 года, в физике элементарных частиц наблюдается подлинный "Ренесанс адронной спектроскопии". ... Кроме того, коллаборация CLEO обнаружила более тяжелую частицу того же + семейства, масса которой превышает массу DsJ (2317)мезона примерно на 140 МэВ. ... Ясно виден пик в районе 2635 МэВ/c2 . ... 4] И.Иванов, "Текущие открытия в ФЭЧ: природа мезона Ds (2317)", http://www.scientic.ru/spark/ds2317.html [5] Н.Никитин, "Открытие Ds (2317)-частицы. ...

Еще в разделе: (Показать все результаты (>272) - www.pereplet.ru/ )

• GRO J1744-28
• "Урания" - Портал "Русский переплет" Soros Education Journal

... Студенты . ... Международная научная конференция студентов и аспирантов Ломоносов проводится в Московском университете с 1994 года, и является единственной научной конференцией студентов и аспирантов на территории бывшего СССР, которая проходит под эгидой Организации объединенных наций по вопросам образования, науки и культуры (ЮНЕСКО). ... Заседание секции Вычислительная математика и кибернетика научной конференции студентов и аспирантов Ломоносов-2002 состоится 9 АПРЕЛЯ 2002 года в 11:00 в ауд П-8...

Еще в разделе: (Показать все результаты (>218) - www.cmc-online.ru/ )

• ВМиК - Online! : Новости - МГУ планирует более половины бюджетных мест отдать
• ВМиК - Online! : Кафедра МК
• ВМиК - Online! : Кафедра математической физики (МФ) факультета ВМК МГУ

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

Еще в разделе: (Показать все результаты (>82) - plantphys.bio.msu.ru/ )

• Минеральное питание растений
• Стриж Ирина Георгиевна