Название: Automated Verification of Concurrent Search Structures
Автор: Siddharth Krishna, Nisarg Patel
Издательство: Morgan & Claypool
Год: 2021
Страниц: 190
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly. Indeed, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and deployment of these concurrent algorithms has resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today.

Название: Молодой ученый №24 июнь 2021
Издательство: ООО «Издательство Молодой ученый»
Формат: True PDF
Частей: 6
Страниц: Часть 1 (стр. 1-69)
Часть 2 (стр. 71-131)
Часть 3 (стр. 133-207)
Часть 4 (стр. 209-291)
Часть 5 (стр. 293-371)
Часть 6 (стр. 373-445)
Размер: 22.99 MB
Язык: русский, другие

«Молодой учёный» - Еженедельное издание, предоставляющее аспирантам, докторантам, соискателям, молодым специалистам и ученым возможность опубликовать результаты научных исследований. В отдельный список реферируемых изданий («Список ВАК») журнал не входит. При этом, статьи, опубликованные в журнале «Молодой ученый», учитываются ВАК как печатный труд.

Название: Australian House & Garden - July 2021
Издательство: Are Media Pty Limited
Формат: True PDF
Страниц: 196
Размер: 91.74 MB
Язык: English

A trusted source of information; filled with expert advice and inspiration for every step of the homemaking journey – from renovations to design and decorating. Plus: food, travel, health, landscaping and more. It is a must-read for avid home renovators and decorators alike.
Надежный источник информации; полон экспертных советов и вдохновения для каждого шага домашнего хозяйства - от ремонта до дизайна и декорирования. Плюс: еда, путешествия, здоровье, озеленение и многое другое. Это необходимо прочитать для заядлых ремонтников и декораторов дома.

Название: New Zealand Listener Vol.276 №4201 26,June-2,July 2021
Издатель: Are Media Pty Limited
Формат: True PDF
Страниц: 96
Размер: 33.42 MB
Язык: English

New Zealand Listener is the country’s most respected general interest magazine, bringing you a wide variety of news, stories, columns, reviews, plus TV listings, every week.
New Zealand Listener - самый уважаемый в стране журнал, посвященный всеобщим интересам, еженедельно публикующий самые разные новости, статьи, колонки, обзоры и телепрограммы.

Название: The Weekend Cookbook: breakfats, lunch and dinner at home or away
Автор: Catherine Hill
Издательство: Michael Joseph LTD
ISBN: 0241961605
Год: 2012
Формат: EPUB
Страниц: 193
Размер: 76,9 МБ
Язык: Английский

From celebrated food stylist and writer Catherine Hill, comes this sumptuous collection of recipes for all home cooks who love celebrity chefs such as Nigel Slater. From stews to slow-cooked joints to mouth-watering veg dishes, this is a fully illustrated cookbook to be relied upon for delicious, original and low-maintenance meals.

Название: Le Journal du Dimanche №3884 20,Juin 2021
Издатель: Lagardere Media News
Формат: True PDF
Страниц: 60
Размер: 48.31 MB
Язык: French

Retrouvez tous les dimanches l'actualité nationale et internationale, politique, économique, sportive et culturelle...Le JDD vous permet de revenir sur les événements forts de la semaine, et de découvrir aussi les rendez-vous du week-end à ne pas manquer.
Каждое воскресенье вы найдете национальные и международные, политические, экономические, спортивные и культурные новости ... JDD позволяет вам вернуться к основным событиям недели, а также узнать о встречах по выходным, которые нельзя пропустить.

Название: Borduurblad
Издательство: Rielies Timmer
Год: 2021
Номер: 103
Размер: 13 mb
Формат: pdf
Страниц: 60
Язык: Нидерландский

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

Название: Transfer Learning through Embedding Spaces
Автор: Mohammad Rostami
Издательство: Chapman and Hall/CRC
Год: 2021
Страниц: 221
Язык: английский
Формат: pdf (true), epub
Размер: 25.4 MB

Recent progress in Artificial Intelligence (AI) has revolutionized our everyday life. Many AI algorithms have reached human-level performance and AI agents are replacing humans in most professions. It is predicted that this trend will continue and 30% of work activities in 60% of current occupations will be automated. This success, however, is conditioned on availability of huge annotated datasets to training AI models. Data annotation is a time-consuming and expensive task which still is being performed by human workers. Learning efficiently from less data is a next step for making AI more similar to natural intelligence. Transfer learning has been suggested a remedy to relax the need for data annotation. Transfer learning is a Machine Learning method where a model developed for a task is reused as the starting point for a model on a second task.

Автор: John E. Moore
Название: The Soviet Navy Today
Издательство: Stein and Day
Язык: Английский
Год: 1976
Формат: PDF
Размер: 98,9 МБ
Кол-во страниц: 258


The Soviet Navy Today - справочник по советскому военному флоту по состоянию на середину 70х годов. Автор-составитель книги кэптен Британского флота Джон Е. Мур , редактор справочников Джейн Файтинг Шипс.В справочнике приведены данные о структуре и базировании ВМФ СССР , званиях , системе командования , операционной деятельности в предшествующие годы , кораблестроительных предприятиях и многое другое.
Собственно корабельная справочная часть разбита на несколько разделов: авианесущие корабли , крейсера , эсминцы , корветы и малые ракетные корабли , подводные лодки , вспомогательный флот. по большинству единиц приведены схемы , силуэты или фотографии. Классификация дана по НАТОвским обозначениям , однако количество единиц приведено достаточно точно. книга явно была одним из важных источников при составлении в 1990 году А.С.Павловым его "Справочника ВМФ СССР".

Название: Циньна. Искусство болевых захватов
Автор: Лю Го Шень
Издательство: Будо
Год: 1997
Страниц: 118
Язык: русский
Формат: pdf
Размер: 30.3 MB
Автор скана: ss leonidovich

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