Лохов, А. Функциональная верификация СБИС [Текст] : в свете решений Mentor Graphics / А. Лохов> // Электроника: наука, технология, бизнес. - 2004. - N 1. - С. . 58-62. - RUMARS-entb04_000_001_058_1
Рубрики: Радиоэлектроника--Электроника Кл.слова (ненормированные): электроника -- СБИС -- интегральные схемы -- верификация Аннотация: Рассмотрена проблема функциональной верификации СБИС при разработке систем на кристалле, включающие не только цифровые, но и аналоговые, смешанные и даже СВЧ-блоки. Нет сведений об экземплярах (Источник в БД не найден) |
Першин, Юрий Юрьевич. Опыт реконструкции понятия сублимации [Текст] / Ю. Ю. Першин> // Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2004. - N 3. - С. . 208-214. - Библиогр. в примеч. - RUMARS-vgu704_000_003_0208_1
Рубрики: Психология--Психические процессы и состояния Кл.слова (ненормированные): сублимация -- психоанализ -- психические процессы -- психоаналитики -- верификация -- фрейдизм -- лингвистика -- реальность -- психическая реальность -- материальная реальность -- виртуальная реальность Аннотация: Анализируется понятие сублимации в его психоаналитическом значении. Даются определения сублимации разными психоаналитиками. Рассматривается проблема интиктивности сублимации в философско-психоаналитическом и лингвистическом аспектах. Доп.точки доступа: Фрейд, Зигмунд (психоаналитик ; 1856-1939) \з.\; Хартман (психоаналитик) \х.\; Хорни, Карен (психоаналитик ; 1885-1952) \к.\; Юнг, Карл Густав (психолог ; 1875-1961) \к. Г.\ Нет сведений об экземплярах (Источник в БД не найден) |
Косачев, А. С. Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования [Текст] / А. С. Косачев, Ф. Куттер, М. А. Посыпкин> // Программирование. - 2004. - N 4. - С. . 52-67. - Библиогр.: с. 66-67 (27 назв. ). - RUMARS-prog04_000_004_0052_1
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование) Кл.слова (ненормированные): языки программирования -- строго-конформные тесты -- программы -- программное обеспечение -- компиляторы Аннотация: В работе предлагается методика автоматической генерации тестов для компиляторов на основе формальных спецификаций языка программирования. Доп.точки доступа: Куттер, Ф.; Посыпкин, М. А. Нет сведений об экземплярах (Источник в БД не найден) |
Иванов, А. Образ компании во внешней среде [Текст] / А. Иванов, Е. Бунина> // Журнал для акционеров. - 2005. - N 2/3. - С. . 32-39. - RUMARS-jurn05_000_002/003_0032_1
Рубрики: Экономика--Экономика предприятия, 2005 г. Россия Кл.слова (ненормированные): имидж компании -- компании -- социальная отчетность -- образ компании -- деловая репутация -- стандарты верификации -- верификация -- оценка бизнеса Аннотация: Социальная отчетность, стандарт верификации, деловая репутация, оценка бизнеса, корпоративная социальная ответственность, обязанности компании, - как составляющие имиджа компании. Доп.точки доступа: Бунина, Е. Нет сведений об экземплярах (Источник в БД не найден) |
Рязанов, Виктор Тимофеевич. Проблема верификации в экономической теории [Текст] / В. Т. Рязанов> // Вестник Санкт-Петербургского университета. Сер. 5, Экономика. - 2004. - N 4. - С. . 3-21. - Библиогр.: с. 20-21 (29 назв. ). - RUMARS-vsp504_000_004_0003_1
Рубрики: Экономика--Общая экономическая теория Россия Кл.слова (ненормированные): экономическая теория -- истина -- экономическая наука -- экономические знания -- верификация -- научная истина -- методология науки Аннотация: Предназначение экономической науки - стремиться к истине. Истина должна осознаваться как непроходящая общественная ценность. Нет сведений об экземплярах (Источник в БД не найден) |
Соловьев, А. Грани документооборота [Текст] : обрабатываем формы / Александр Соловьев> // Бухгалтер и компьютер. - 2005. - N 10. - С. . 37-44. - s, 2005, , rus. - RUMARS-buco05_000_010_0037_1. - Библиотека Белорусского государственного экономического университета. - N 10. - С. 37-44. - buco05_000_010_0037_1, 10, 37-44
Рубрики: Вычислительная техника--Оргтехника Кл.слова (ненормированные): документы-формы -- формы -- OCR-программы -- обработка форм -- программные продукты -- сканирование -- программы распознавания форм -- структурированные формы -- бумажные формы -- распознавание форм -- электронный образ документа -- Intelligent Character Recognition -- гибкие формы -- верификация -- жесткие формы -- ICR-пограммы Аннотация: Рассказано о документах-формах, для которых процесс сканирования отличается от сканирования текстовых документов. Нет сведений об экземплярах (Источник в БД не найден) |
Сорокин, А. В. Верификация ценовых эффектов [Текст] / А. В. Сорокин> // Вестник Московского университета. Сер. 6, Экономика. - 2005. - N 4. - С. . 45-67. - Библиогр. в сносках. - s, 2005, , rus. - RUMARS-meko05_000_004_0045_1. - Зональная научная библиотека им. В. А. Артисевич Саратовского государственного университета. - N 4. - С. 45-67. - meko05_000_004_0045_1, 4, 45-67
Рубрики: Экономика--Общая экономическая теория Кл.слова (ненормированные): ценовые эффекты -- верификация ценовых эффектов -- цена -- общественное богатство -- стоимостное ограничение -- прирост товарной массы -- ПТМ -- избыток потребительской стоимости -- ИПС -- индивидуальное богатство -- богатство -- экономические категории Аннотация: Задача статьи - верификация (проверка истинности теоретических положений) неоклассических закономерностей эффекта дохода и замещения в рамках синтеза знания. Нет сведений об экземплярах (Источник в БД не найден) |
Романовская, А. А. Аккумуляция углерода в болотных низинных почвах залежных земель Мурманской области [Текст] / А. А. Романовская> // Экология. - 2006. - N 6. - С. . 424-428. - Библиогр.: с. 428 (24 назв. ). - s, 2006, , rus. - RUMARS-ekol06_000_006_0424_1. - Научная библиотека Тульского государственного университета. - Таб. - N 6.- С. 424-428. - ekol06_000_006_0424_1, 6, 424-428
Рубрики: Сельское и лесное хозяйство--Почвоведение Россия РФ Российская Федерация Мурманская область Кл.слова (ненормированные): аккумуляция углерода -- углерод -- болотные почвы -- низинные почвы -- залежные земли -- органический углерод почв -- верификация Аннотация: Рассмотрена динамика накопления органического углерода в болотных низинных почвах Мурманской области в течение первых восьми лет после их выведения из сельскохозяйственного пользования. После трех лет зарастания брошенных посевов многолетних трав в слое почвы 0 - 20 см накоплено 0, 07 % углерода от уровня пашни. В среднем для почв шести - и восьмилетних залежей содержание органического углерода увеличилось соответственно на 0, 2 % и 0, 46 % углерода. Проведена верификация расчетов по модели RothC с экспериментальными данными для болотных низинных почв залежных земель Мурманской области. Нет сведений об экземплярах (Источник в БД не найден) |
Савченко, А. Механизм латентного управления [Текст] / А. Савченко> // Консультант директора. - 2006. - N 21. - С. . 26-30. - Библиогр.: с. 30 (10 назв. ). - s, 2006, , rus. - RUMARS-kdir06_000_021_0026_1. - МУК "Централизованная библиотечная система им. В. Н. Татищева" г. Тольятти. - N 21. - С. 26-30. - kdir06_000_021_0026_1, 21, 26-30
Рубрики: Экономика--Управление экономикой. Менеджмент Кл.слова (ненормированные): управление -- латентное управление -- искусство управления -- искаженное поведение -- рефлексивное сознание -- субъекты управления -- объекты управления -- методы управления -- верификация -- фальсификация -- дезинформация -- дробление информации -- гипертрофирование информации -- гипотрофирование информации -- пересемантизация информации -- манипуляция сознанием -- менеджмент Аннотация: Автор приводит определения механизма менеджмента (управления) различных исследователей проблемы, дает свое определение механизма латентного управления, главной составляющей которого является искажение рефлексивных процессов в социальной экономической системе. Рассмотрены также основные методы латентного управления. Нет сведений об экземплярах (Источник в БД не найден) |
Кузнецов, Георгий. Автоматизация розничного бизнеса: время - деньги [Текст] / Георгий Кузнецов> // Банковские технологии. - 2005. - N 9. - С. . 40-42. - s, 2005, , rus. - RUMARS-bath05_000_009_0040_1. - Национальная библиотека Республики Коми. - N 9. - С. 40-42. - bath05_000_009_0040_1, 9, 40-42
Рубрики: Экономика--Финансы Россия Кл.слова (ненормированные): автоматизация розничного бизнеса -- экспресс-кредитование -- кредитование физических лиц -- верификация данных -- пластиковые карточки -- банковские услуги -- автоматизация банков -- банки -- кредитные учреждения -- услуги банков Аннотация: О функционировании банковской сети пунктов экспресс-кредитования и сокращения временных затрат на обслуживание клиентов. Нет сведений об экземплярах (Источник в БД не найден) |
Юровицкий, В. М. Новая банковская услуга - БАНКИНЕТ [Текст] / В. М. Юровицкий> // Банковские услуги. - 2007. - N 4. - С. . 21-26. - 0; Проблемы авторизации в интернете. - ; Интернет и денежно-банковская сеть. - ; Подключение банков к сети интернет. - ; Банковская электронная почта B-mail. - ; Верификация коммерческих сайтов. - ; Платежи через интернет. - ; Решение споров в режиме удаленного общения. - ; Банки и интернетизация страны. - RUMARS-baus07_000_004_0021_1
Рубрики: Экономика--Финансы, 21 в. нач. Российская Федерация Россия РФ Кл.слова (ненормированные): банки -- банковские услуги -- БАНКИНЕТ -- электронная почта -- коммерческие сайты -- сайты -- платежи -- интернет-арбитраж -- информационные технологии -- банковский бизнес -- интернет-банкинг -- интернет-банки -- интернет Аннотация: В настоящее время банки могут предложить совим клиентам совершенно новую услугу - БАНКИНЕТ, которая способная привлечь в банковскую систему большое количество современных продвинутых клиентов. |
Вудок, Д. Первые шаги к решению проблемы верификации программ [Текст] / Д. Вудок> // Открытые системы. СУБД. - 2006. - N 8. - С. . 36-43. - Библиогр.: с. 43 (2 назв. ). - RUMARS-osys06_000_008_0036_1
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование) Кл.слова (ненормированные): верификация программ -- верифицированные программы -- программная инженерия -- программное обеспечение -- программные системы -- технология верификации Аннотация: Исследователи в области программной инженерии объединяются для создания технологии верификации, которая заметно увеличит производительность и надежность разработки, интеграции и обслуживания программного обеспечения. |
Шишкин, Михаил Владиславович. Методология экономического анализа и верификация теории: основные тенденции развития [Текст] / М. А. Шишкин> // Вестник Санкт-Петербургского университета. Сер. 5, Экономика. - 2007. - N 2. - С. . 22-28. - Библиогр.: с. 28 (8 назв. ). - RUMARS-vsp507_000_002_0022_1
Рубрики: Экономика--Общая экономическая теория Кл.слова (ненормированные): экономисты -- экономическая наука -- экономическая методология -- экономический анализ -- методология экономической науки -- экономическая теория -- верификация Аннотация: Опубликованная в "Вестнике Санкт-Петербургского университета" в 2004 году статья В. Т. Рязанова "Проблема верификации в экономической теории" привлекла к себе внимание широкой научной общественности и послужила своеобразным катализатором возрождения интереса к методологическим проблемам экономической науки. Доп.точки доступа: Рязанов \в. Т.\ |
Петряев, В. В. Творчество: диалектика конструктивного абстрагирования [Текст] / Петряев В. В.> // Российский исторический журнал. - 2007. - N 2. - С. 73-89
Рубрики: Социальная философия Деятельность Кл.слова (ненормированные): творчество -- критерии творчества -- атрибутивный творческий потенциал -- творческое самодистанцирование -- творческое абстрагирование -- конструктивность -- конструктивное абстрагирование -- творческая свобода -- диалектика творчества -- развитие творчества -- принципы диалектики творчества -- внутренняя достоверность -- объективная верификация Аннотация: Рассмотрены отправные критерии творчества как целостной системы. Сформулированы базовые принципы атрибутивно-конструктивной диалектики творчества: свобода дистанцирования субъекта, внутренняя достоверность, конструктивация атрибутивного и объективная верификация, атрибутивно-конструктивное достраивание. |
Карпычев, А. Н. Правовой анализ методов защиты нотариальных документов [Текст] / Карпычев А. Н.> // Нотариус. - 2008. - N 4. - С. 15-17. - Библиогр.: с. 17 (9 назв. )
Рубрики: Право Нотариат Кл.слова (ненормированные): нотариальные документы -- защита нотариальных документов -- носители нотариальных документов -- техническая защита нотариальных документов -- верификация нотариальных документов Аннотация: Результатом нотариальной деятельности является создание документов, закрепляющих права граждан и подтверждающих юридически значимые факты, а также обеспечение их защиты по трем основным направлениям: защита носителя документа, техническая защита самого документа, верификация документа при помощи средств коммуникации. |
Проверка правил политики безопасности для корпоративных компьютерных сетей [Текст] / И. В. Котенко [и др. ]> // Защита информации. Инсайд. - 2007. - N 5. - С. 46-49. - Окончание следует
Рубрики: Информатика Информационно-поисковые системы. Банки данных Кл.слова (ненормированные): корпоративная безопасность -- компьютерные сети -- компьютерная безопасность -- верификация -- корпоративные компьютерные сети -- информационная защита -- информационные системы Аннотация: Настоящая работа описывает общий подход к верификации политики безопасности корпоративных компьютерных сетей, основанной на использовании гибридной многомодульной архитектуры системы верификации. Доп.точки доступа: Котенко, И. В.; Тишков, А. В.; Сидельникова, Е. В.; Черватюк, О. В. |
Проверка правил политики безопасности для корпоративных компьютерных сетей [Текст] / И. В. Котенко [и др. ]> // Защита информации. Инсайд. - 2007. - N 6. - С. 52-59 : ил. - Библиогр.: с. 58-59 (48 назв. ). - Окончание. Начало см. N 5 2007
Рубрики: Информатика Информационно-поисковые системы. Банки данных Кл.слова (ненормированные): корпоративная безопасность -- компьютерные сети -- компьютерная безопасность -- верификация -- корпоративные компьютерные сети -- информационная защита -- информационные системы Аннотация: Настоящая работа описывает общий подход к верификации политики безопасности корпоративных компьютерных сетей, основанной на использовании гибридной многомодульной архитектуры системы верификации. Доп.точки доступа: Котенко, И. В.; Тишков, А. В.; Черватюк, О. В.; Сидельникова, Е. В. |
Демкив, О. Экономическая мораль украинского общества в общеевропейском и внутрирегиональном измерении [Текст] / О. Демкив, Л. Кондратик> // Социология: теория, методы, маркетинг. - 2007. - N 4. - С. 5-37. - Библиогр.: с. 36-37 (47 назв. ) . - ISSN 1563-4426
Рубрики: Социология Социологическое исследование--Украина Кл.слова (ненормированные): методы социологических исследований -- экономическая мораль -- лонгитюдные исследования -- мораль -- ценностные ориентации -- экономическая деятельность -- ценностно-нормативная система общества -- методологические принципы -- украинское общество -- интегрированные показатели -- пределы конвенциональности -- конвенциональность -- приемлемость -- верификация результатов Аннотация: Переформулирование понятия "Экономическая мораль" в категориях социологического исследования, определение теоретико-методологических рамок изучения данного явления и их применение в обработке данных "Европейского социального исследования" (волна 2004-2005 годов). Доп.точки доступа: Кондратик, Л. |
Звягин, В. Н. Определение длины тела взрослого человека по костям кисти [Текст] / В. Н. Звягин, А. О. Замятина> // Судебно-медицинская экспертиза. - 2008. - N 6. - С. 24-26. - Библиогр. с. 26 (7 назв. )
Рубрики: Здравоохранение. Медицинские науки Судебная медицина Кл.слова (ненормированные): остеометрия -- длина тела -- регрессионный анализ -- кости кисти -- верификация Аннотация: Впервые разработаны методики по определению длины тела взрослого человека по костям кисти. Доп.точки доступа: Замятина, А. О. |
Глигич-Золотарева, Милена Валериевна. Верификация дефиниций конституционной науки vs. "увлечение общими местами" [Текст] / М. В. Глигич-Золотарева> // Политика и общество. - 2009. - N 5 (59). - С. 4-10. - Библиогр.: с. 10 (10 назв. ) . - ISSN 1812-8696
Рубрики: Право Политика. Политология Политическая система Конституционное (государственное) право в целом Кл.слова (ненормированные): юриспруденция -- государство -- международное право -- наука -- верификация -- демократия -- суверенитет -- конституции -- власть -- самоопределение -- конституционно-правовая наука -- публичное право Аннотация: Рассматривается системный кризис традиционных государственных институций, в корне которого лежит несоответствие демократии, суверенитета, разделения властей реалиям интенсивно меняющегося мира. |