MATLAB Polyspace Code Prover User’s Guide (R2022b)

Автор: literator от 28-12-2022, 05:36, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

MATLAB Polyspace Code Prover User’s Guide (R2022b)Название: MATLAB Polyspace Code Prover User’s Guide (R2022b)
Автор: MathWorks
Издательство: The MathWorks, Inc.
Год: September 2022
Страниц: 1110
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

Polyspace Code Prover is a sound static analysis tool that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and other run-time errors in C and C++ source code. It produces results without requiring program execution, code instrumentation, or test cases. Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior. You can use it to verify handwritten code, generated code, or a combination of the two. Each code statement is color-coded to indicate whether it is free of run-time errors, proven to fail, unreachable, or unproven.
 

MATLAB Bioinformatics Toolbox User’s Guide (R2022b)

Автор: literator от 28-12-2022, 05:23, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

MATLAB Bioinformatics Toolbox User’s Guide (R2022b)Название: MATLAB Bioinformatics Toolbox User’s Guide (R2022b)
Автор: MathWorks
Издательство: The MathWorks, Inc.
Год: September 2022
Страниц: 724
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

Bioinformatics Toolbox provides algorithms and apps for Next Generation Sequencing (NGS), microarray analysis, mass spectrometry, and gene ontology. Using toolbox functions, you can read genomic and proteomic data from standard file formats such as SAM, FASTA, CEL, and CDF, as well as from online databases such as the NCBI Gene Expression Omnibus and GenBank®. You can explore and visualize this data with sequence browsers, spatial heatmaps, and clustergrams. The toolbox also provides statistical techniques for detecting peaks, imputing values for missing data, and selecting features. The Bioinformatics Toolbox product extends the MATLAB environment to provide an integrated software environment for genome and proteome analysis. Scientists and engineers can answer questions, solve problems, prototype new algorithms, and build applications for drug discovery and design, genetic engineering, and biological research. An introduction to these features will help you to develop a conceptual model for working with the toolbox and your biological data. The Bioinformatics Toolbox product includes many functions to help you with genome and proteome analysis. Most functions are implemented in the MATLAB programming language, with the source available for you to view. This open environment lets you explore and customize the existing toolbox algorithms or develop your own.
 

LandScape UK - February 2023

Автор: Malinka от 28-12-2022, 05:19, Коментариев: 0

Категория: ЖУРНАЛЫ » ДОМ И САД

Название: LandScape UK
Год издания: February 2023
Издательство: Bauer Publishing Limited
Формат: True PDF
Страниц: 132
Размер: 165 Mb
Язык: English

LandScape magazine is a breath of fresh air, capturing the very best of every season. Every two months, join us to: Celebrate the joy of the garden; Learn simple seasonal recipes; Enjoy traditional British crafts; Wonder at the beauty of nature and the countryside. The magazine is a haven from the pressures of modern living; a chance to slow down… and most importantly, a reminder of the good things in life. Take time to appreciate everything that nature creates and inspires.
 

State of the Art in Neural Networks and Their Applications: Volume 2

Автор: literator от 28-12-2022, 05:07, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

State of the Art in Neural Networks and Their Applications: Volume 2Название: State of the Art in Neural Networks and Their Applications: Volume 2
Автор: Ayman S. El-Baz, Jasjit S. Suri
Издательство: Academic Press/Elsevier
Год: 2023
Страниц: 328
Язык: английский
Формат: pdf (true), epub
Размер: 18.6 MB

State of the Art in Neural Networks and Their Applications, Volume Two presents the latest advances in artificial neural networks (ANN) and their applications across a wide range of clinical diagnoses. The book provides over views and case studies of advances in the role of Machine Learning, Artificial Intelligence (AI), Deep Learning (DL), cognitive image processing, and suitable data analytics useful for clinical diagnosis and research applications. The application of neural network, Artificial Intelligence and Machine Learning methods in biomedical image analysis have resulted in the development of computer-aided diagnostic (CAD) systems that aim towards the automatic early detection of several severe diseases. State of the Art in Neural Networks and Their Applications is presented in two volumes. Written by experienced engineers in the field, these two volumes will help engineers, computer scientists, researchers, and clinicians understand the technology and applications of artificial neural networks (ANN).
 

Marie Claire Idees №154 2023

Автор: Malinka от 28-12-2022, 05:06, Коментариев: 0

Категория: ЖУРНАЛЫ » РУКОДЕЛИЕ

Название: Marie Claire Idees
Издательство: MarieClaire
Год издания: janvier 2023
Номер: 154
Формат: True PDF
Cтраниц: 136
Размер: 166 Mb
Язык: французский

Marie Claire idees - модный журнал из Франции по всем видам рукоделия и творчества. Это один из лучших журналов об умении создания своей жизни и жизненного пространства, украшения дома и дизайна помещений. "Marie Claire Idees" целеустремлённо и с женским изяществом представляет рекомендации и тренды для всех креативных читателей, которые желают персонализировать и декорировать свои квартиры, показать изобретательность в кулинарии и обрести "свой" стиль.
 

The English Garden - February 2023

Автор: Malinka от 28-12-2022, 04:55, Коментариев: 0

Категория: ЖУРНАЛЫ » ДОМ И САД

Название: The English Garden
Издательство: The Chelsea Magazine Company Ltd
Год издания: February 2023
Формат: PDF
Размер: 178 Mb
Страниц: 116
Язык: английский

Enjoy over 60 beautiful gardens a year with The English Garden. Every issue features country, city, cottage and coastal gardens, with advice on how to recreate them. Be inspired by articles written by the country's top garden designers and discover the best plant varieties for your garden, chosen by expert nurserymen and plantspeople.
 

State of the Art in Neural Networks and Their Applications: Volume 1

Автор: literator от 28-12-2022, 04:51, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

State of the Art in Neural Networks and Their Applications: Volume 1Название: State of the Art in Neural Networks and Their Applications: Volume 1
Автор: Ayman S. El-Baz, Jasjit S. Suri
Издательство: Academic Press/Elsevier
Год: 2021
Страниц: 310
Язык: английский
Формат: pdf (true)
Размер: 15.6 MB

State of the Art in Neural Networks and Their Applications presents the latest advances in artificial neural networks and their applications across a wide range of clinical diagnoses. Advances in the role of Machine Learning, Artificial Intelligence, Deep Learning, cognitive image processing and suitable data analytics useful for clinical diagnosis and research applications are covered, including relevant case studies. The application of Neural Network, Artificial Intelligence, and Machine Learning methods in biomedical image analysis have resulted in the development of computer-aided diagnostic (CAD) systems that aim towards the automatic early detection of several severe diseases. State of the Art in Neural Networks and Their Applications is presented in two volumes. Volume 1 covers the state-of-the-art Deep Learning approaches for the detection of renal, retinal, breast, skin, and dental abnormalities and more. Among Deep Learning object detectors, the two-stage Deep Learning (DL) object detectors include R-CNN, fast R-CNN, and faster R-CNN.
 

Огня для мисс Уокер! (Аудиокнига)

Автор: Uri от 28-12-2022, 04:14, Коментариев: 0

Категория: АУДИОКНИГИ » БЕЛЛЕТРИСТИКА

Огня для мисс Уокер! (Аудиокнига)Название: Огня для мисс Уокер!
Автор: Ярошинска Ольга
Цикл/серия: Колдовские миры
Жанр: Фэнтези
Издательство: Эксмо
Год: 2022
Тип: аудиокнига
Читает: Бобылёва Дина
Язык: Русский
Время звучания: 09:54:06
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 545.15 Mb


Джейн Уокер пересекла Атлантику, чтобы выйти замуж по переписке, но оказалось, что жених давным-давно мертв. Теперь она застряла в туманном городишке, где жители проводят мрачные ритуалы, а над холмами несется волчий вой.
 

Экспедиция Жизни и Смерти (Аудиокнига)

Автор: Uri от 28-12-2022, 04:07, Коментариев: 0

Категория: АУДИОКНИГИ » БЕЛЛЕТРИСТИКА

Экспедиция Жизни и Смерти (Аудиокнига)Название: Экспедиция Жизни и Смерти
Автор: Ли Сарко
Цикл/серия: Академия Магии
Жанр: Фэнтези
Издательство: Эксмо
Год: 2022
Тип: аудиокнига
Читает: Бабкова Екатерина
Язык: Русский
Время звучания: 10:05:43
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 554.87 Mb


Хмурые, мрачные слуги тьмы. Они не спят ночами и едят мертвечину. У них холодная кровь и полное отсутствие моральных принципов. Так говорят о некромантах в далёком Солнечном крае. Да и в Туманных землях, на родине, их порой побаиваются. Но что делать самим некромантам, которые любят свою работу, не мыслят себя без неё и искренне не могут понять, почему этим ярко разодетым друидам так неуютно в Некроситете?
 

Роркх. Книга первая (Аудиокнига)

Автор: Uri от 28-12-2022, 03:57, Коментариев: 0

Категория: АУДИОКНИГИ » БЕЛЛЕТРИСТИКА

Роркх. Книга первая (Аудиокнига)Название: Роркх. Книга первая
Автор: Бо Вова
Цикл/серия: Роркх
Номер книги: 1
Жанр: Фэнтези
Издательство: 1С-Паблишинг
Год: 2022
Тип: аудиокнига
Читает: Суслов Максим
Язык: Русский
Время звучания: 16:02:47
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 384.48 Mb


Он искалечит твой разум и сожрёт твоё тело. Роркх - Город, вываливающий волны ужаса одну за другой. Показалось, что всё кончилось? Перезарядись и займи позицию! Следи за небом, смотри под ноги - твари могут появиться откуда угодно. Одна уже у тебя за спиной. Немногие рискуют выйти на улицы в ночь. И абсолютно никто не возвращается оттуда тем же, что прежде.