| The Distributed Computer Network (DCN) research group at Saint Petersburg Polytechnic University developed such a software system for the analysis of program correctness; the new tool was named COVERS (Concurrent Verification and Simulation). | Группа учёных из Санкт-Петербургского Политехнического университета разработала программное обеспечение для анализа корректности системы; новый инструмент назвали COVERS (Параллельная Верификация и Моделирование). |
| He studied biochemistry at the University of Cologne and graduated in 2006 with a PhD; his dissertation was an open source tool for molecular biology called GENtle. | Магнус Манске изучал биохимию в Кёльнском университете и окончил его в 2006 году доктором философии; его диссертацией был инструмент для молекулярной биологии с открытым исходным кодом GENtle. |
| Shutterstock Images LLC announced the Shutterstock Instant tool in May 2012, which displayed images in an interlocking mosaic to increase viewing speed. | В мае 2012 года компания анонсировала инструмент Shutterstock Instant, демонстрирующий изображения в виде мозаики для увеличения скорости просмотра. |
| Although the tool has been called, "... the biggest change to Linux firewalling since the introduction of iptables in 2001", it has received little press. | Хотя инструмент был назван самым большим изменением межсетевого экрана Linux с момента появления iptables в 2001 году, в то время он получил мало освещения в прессе. |
| MPM ProcessMining is a Process Mining tool by Mehrwerk AG based on Qlik Platform. myInvenio cloud and on-premises solution by Cognitive Technology Ltd. | МРМ ProcessMining - инструмент компании Mehrwerk AG на базе платформы Qlik myInvenio - облачное решение компании Cognitive Technology Ltd. |
| The easy to use video converting software that mostly have a copyright, if you do not want to find happiness is also lazy file, it may be to try this free and powerful tool. | Простой в использовании видео-преобразования программного обеспечения, которое в основном имеют авторское право, если вы не хотите, чтобы найти счастье и ленивым файл, он может попробовать этот бесплатный и мощный инструмент. |
| As a tool for learning to control the body flight, there is a vertical wind tunnel, which makes it possible to fly in the air, simulating free fall due to the created air flow (on average, about 190 km/h). | Как инструмент для обучения контроля полета тела существует вертикальная аэродинамическая труба, которая дает возможность летать в воздухе, имитируя свободное падение за счет создаваемого воздушного потока (в среднем, около 190 км/ч). |
| This position put him in opposition to many European Communists and the leadership of Comintern, who saw religious belief as a hindrance to a proletarian revolution and a tool of the ruling class. | Это положение помещало его в оппозицию ко многим европейским коммунистам и лидерам Коминтерна, где религиозная вера расценивалась как помеха для пролетарской революции и как инструмент правящего класса для сдерживания угнетённых. |
| A common view is that it will be a general-purpose tool similar in functionality to a Swiss Army Knife to take health measurements such as blood pressure and temperature, and blood flow in a noninvasive way. | Сложившееся мнение состоит в том, что это будет инструмент общего назначения, аналогичный по функциональности швейцарскому армейскому ножу, для измерения жизненных показателей, таких как кровяное давление и температура, а также кровоток неинвазивным способом. |
| On the other hand, it shows that glottochronology can really only be used as a serious scientific tool on language families the historical phonology of which has been meticulously elaborated (at least to the point of being able to clearly distinguish between cognates and loanwords). | С другой стороны, она показывает, что глоттохронология может применяться как серьёзный научный инструмент только для тех языковых семей, для которых была тщательно разработана историческая фонология (по меньшей мере, настолько, чтобы иметь возможность чётко разграничить родственные и заимствованные слова). |
| While the office theoretically, was sacred, it was essentially wielded as a political tool by the serving Egyptian pharaoh to ensure "royal authority over the Theban region and the powerful priesthood of Amun" there. | В то время как должность в принципе, была священной, она по сути использовалась как политический инструмент служащий египетскому фараону, чтобы обеспечить «власть над фиванским регионом и могущество священников Амона». |
| This is a tool to measure pixel distances and colors on the screen. It is useful for working on layouts of dialogs, web pages etc. | Это инструмент для измерения расстояния между точками и определения цветов на экране. Инструмент полезен для работы с планировкой диалогов, шёЬ- страниц и т. п. |
| The target of this was to create a free creation tool for interactive 3D (online) content, and commercial versions of the software for distribution and publishing. | Целью этого было создать бесплатный инструмент для создания интерактивного 3D (онлайн) контента, а также коммерческие версии программного обеспечения для распространения и публикации... |
| Indeed, governments may wish to set forth long-term national environmental goals to promote sustainable development and then use PRTR as an important tool to examine objectively how well these goals are being met. | Государство может установить долгосрочные национальные цели охраны окружающей среды в поддержку устойчивого развития и использовать РВПЗ как важный инструмент, позволяющий объективно оценить, насколько хорошо выполняются эти цели. |
| Without further consideration, the pure transactions, or the ROI in the statistical tool that is easy to distort the result, after no returns or subsequent orders will be taken into account. | Без дальнейшего рассмотрения, чистые операции, или рентабельность инвестиций в статистический инструмент, который легко исказить результат после не возвращается или последующие заказы будут приниматься во внимание. |
| Other Image-Line developers created products such as the invoicing program Fact2000 and E-OfficeDirect, a content-based web tool that would a precursor to their later product EZGenerator. | Другие разработчики Image-Line создавали такие продукты как программа для составления счетов Fact2000 и E-OfficeDirect, контент-ориентированный инструмент для веб-разработок, который стал предшественником EZGenerator, более позднего продукта Image-Line. |
| A budget is a fundamental tool for an event director to predict with a reasonable accuracy whether the event will result in a profit, a loss or will break-even. | Бюджет - это фундаментальный инструмент для директора событий, который позволяет с достаточной точностью предсказать, приведет ли событие к прибыли, убытку или безубыточности. |
| The Lipstick tool is also available in our free Lite versions, MakeUp Guide Lite and Beauty Guide Lite. | Этот инструмент доступен и в бесплатных версиях программ MakeUp Guide Lite и Beauty Guide Lite. |
| Once again I would like to remind that the Price Histogram is reliable, but the intuitive tool, so the confirmation signals are necessary for its use. | В заключение хотелось бы еще раз напомнить, что «Ценовая Гистограмма» хоть и надежный, но интуитивный инструмент, и при его использовании необходимы подтверждающие сигналы. |
| A key point of Zen of Assembly Language is that performance must always be measured, and the book included a tool called the Zen Timer to check if theoretical code optimizations actually worked. | Ключевая мысль «Zen of Assembly Language» была в том, что производительность всегда должна быть измерена, и книга включала в себя инструмент для этого, названный «Zen Timer», для проверки, сработает ли теоретическая оптимизация кода. |
| Gender responsive budgeting was raised as an important tool that could be implemented by all countries to ensure that resources were committed to the implementation of the Millennium Development Goals for women and girls. | Было отмечено, что составление бюджетов с учетом гендерной проблематики представляет собой важный инструмент, который позволит всем странам выделять ресурсы для достижения сформулированных в Декларации тысячелетия целей в области развития, касающихся женщин и девочек. |
| The British National Archives developed a self-assessment tool divided into nine thematic modules providing support to analyse effective practices in line with the main elements of the guidance set out in the British records management code. | Британский национальный архив разработал инструмент самостоятельной оценки, имеющий девять тематических разделов и помогающий проводить анализ эффективности принимаемых мер в соответствии с основными руководящими положениями, изложенными в Британском кодексе ведения документации. |
| July 2010 - The DFGE, Institute for Energy, Ecology and economy, developed specifically for logistics companies to e3 emission calculator, a platform-independent software tool, which shows the calculation method based on ISO 14000ff for shippers, greenhouse gas emissions per order. | Июль 2010 - DFGE, Институт энергетики, Экология и экономика, разработанная специально для логистических компаний к e3 выбросов калькулятор, независимый от платформы программный инструмент, которая показывает расчет метод, основанный на ISO 14000ff для грузоотправителей, выбросы парниковых газов на заказ. |
| And like any tool that helps you in the development of your business, a Web site must meet the highest quality standards and fulfill its mission. | И как любой инструмент, который помогает Вам на пути развития бизнеса, созданный веб-сайт должен отвечать самым высоким стандартам качества и выполнять поставленные перед ним задачи. |
| A burin is a flint tool For grooving wood and bone, antlers especially, | Это кремниевый инструмент, для обработки дерева и костей, рогов в частности. |