Results 221 to 230 of about 90,610 (239)

Многопоточный обратный метод Маслова

This article introduces a novel multiprocessing methodology tailored for the Inverse Method, a critical component of Automated Theorem Provers (ATPs), aimed at optimizing theorem proving efficiency. Our approach utilizes multiple running units, each operating as a distinct prover equipped with specific heuristic options, collaborating to explore ...
openaire   +1 more source

Приспособления для Ð¼ÐµÑ‚Ð°Ð»Ð»Ð¾Ñ€ÐµÐ¶ÑƒÑ‰Ð¸Ñ ÑÑ‚Ð°Ð½ÐºÐ¾Ð²

1979
В справочник включены сведения, Ð½ÐµÐ¾Ð±Ñ Ð¾Ð´Ð¸Ð¼Ñ‹Ðµ при выборе Ñ€Ð°Ñ†Ð¸Ð¾Ð½Ð°Ð»ÑŒÐ½Ñ‹Ñ ÐºÐ¾Ð½ÑÑ‚Ñ€ÑƒÐºÑ†Ð¸Ð¹ приспособлений и для Ð¸Ñ Ð¿Ñ€Ð¾ÐµÐºÑ‚Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð¸Ñ. Справочные данные Ð¾Ñ Ð²Ð°Ñ‚Ñ‹Ð²Ð°ÑŽÑ‚ конструкции приспособлений, узлы, приводы,
openaire   +1 more source

Физика твердого тела. Физическая кристаллография

2004
Пособие соответствует государственному образовательному стандарту подготовки по направлениям: 654100 «Электроника и микроэлектроника», 551900 Â«ÐžÐ¿Ñ‚Ð¾Ñ‚ÐµÑ Ð½Ð¸ÐºÐ°Â», 553100 Â«Ð¢ÐµÑ Ð½Ð¸Ñ‡ÐµÑÐºÐ°Ñ физика», по ÑÐ¿ÐµÑ†Ð¸Ð°Ð»Ñ ...
openaire   +1 more source

Уголовное уложение Федеративной Республики Германия - Strafgesetzbuch (StGB) - : Научно-практический комментарий и перевод текста закона

, 2021
Pavel Golovnenkov
semanticscholar   +1 more source

Прибор для поверки ÐºÐ¾Ð½Ñ†ÐµÐ²Ñ‹Ñ Ð¼ÐµÑ€ длины свыше 100 мм

2017
Везде, на любом производстве, при Ð»ÑŽÐ±Ñ‹Ñ Ð¸Ð·Ð¼ÐµÑ€ÐµÐ½Ð¸ÑÑ , используется эталон длин. За эталон взят метр. Но так как измерения бывают разной длины и зачастую эта длина в Ð´ÐµÑÑÑ‚Ñ‹Ñ Ð¸ ÑÐ¾Ñ‚Ñ‹Ñ Ð´Ð¾Ð»ÑÑ Ð¼ÐµÑ‚Ñ€Ð°, то им п
openaire   +1 more source

Расчет ядерного реактора на Ñ‚ÐµÐ¿Ð»Ð¾Ð²Ñ‹Ñ Ð½ÐµÐ¹Ñ‚Ñ€Ð¾Ð½Ð°Ñ

2005
Пособие соответствует государственному образовательному стандарту бакалаврской и инженерной подготовки направлений 140100 «Теплоэнергетика» и 140402 «Техническая физика» и предназначено для под
openaire   +1 more source

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

, 2021
В. Ю. Железнов, Т. В. Малинский, С. И. Миколуцкий, В.Е. Рогалин, Сергей Александрович Филин, Ю. В. Хомич, В. А. Ямщиков, И.А. Каплунов, А. И. Иванова   +8 more
semanticscholar   +1 more source

Импульсный световой отжиг нанопористого слоя германия, сформированного ионной имплантацией

Казанский физико-технический институт имени Е.К Завойского. Ежегодник, 2021
Б. Ф. Фаррахов, Я. В. Фаттахов, Д. А. Коновалов, В. И. Нуждин, В. Ф. Валеев, А. Л. Степанов   +5 more
semanticscholar   +1 more source

Сульфатостойкий бетон для Ð¼Ð¾Ñ€ÑÐºÐ¸Ñ ÑÐ¾Ð¾Ñ€ÑƒÐ¶ÐµÐ½Ð¸Ð¹

2016
Subject of inquiry - concrete mixtures and concrete that contain fly ash of the Baltic shale. The purpose of this work is to get a sulfate-resistant concrete with using active mineral fly ash supplement of the Baltic shale. In this work we consider the possibility of using Baltic shale fly ash as an additional material resource for getting sulfate ...
openaire   +1 more source

Разработка и исследование биополимерного раневого покрытия, полученного методом электроформования

2019
This work outlines the principles of the wound healing process, the modern requirements for the treatment of extensive skin defects and the basic requirements for polymer-based wound dressings. Various composite wound dressings of the nanofibrous structure based on both natural and synthetic polymers were developed and processed by electrospinning ...
openaire   +1 more source