-
Computational complexity: a modern approach
Computational complexity theory has developed rapidly in the past three decades. The list of surprising and fundamental results proved since 1974 continually grows longer (some highlights appear in Chapter 1). The field has seen interactions with, and applications to, cryptography, quantum computing, machine learning, and other areas of computer science. This book is an attempt to describe it in modern terms. We hope it will serve as a textbook for students of computer science, as well as a reference for researchers in the field.
-
Mechanical engineer's handbook
This handbook provides a concise yet thorough compilation of the essential formulas and facts required by mechanical engineers. It is designed to serve as a reliable and quick reference tool for professionals working in the field. It includes information on basic principles, material properties, mathematical techniques, structural and mechanical design, thermal sciences, fluid dynamics, control systems, and much more.
-
Геометриядан масалалар тўплами 1- қисим
Ушбу масалалар тўплами педагогика институтларининг геометрия курси бўйича янги дастурига мувофиқ тузилган бўлиб , векторлар алгебраси элементлари , текисликдаги координаталар методи , текисликнинг алмаштиришлари ва иккинчи тартибли чизиқлар , текисликлар ва квадрикаларга доир масалаларни ўз ичига олган.
-
Visualization in medicine and life sciences
Visualization technology has become a crucial component of medical and biomedical data processing and analysis. The technique of constructing high-quality, interactive 3D visualizations assists researchers and practitioners in their efforts to analyse complex data from various sources, including imaging data and genetic information. This book comprises chapters contributed by experts in the field and presents state-of-the-art research topics in areas like multimodality imaging and molecular structures. The text covers various visualization techniques that are essential for medical and life sciences, thus helping readers to understand and effectively utilize visualization methods in their work. Detailed case studies and examples are included to demonstrate the application of visualization techniques in real-world scenarios.
-
Fortran20 for fortran77 programmers
Этот документ служит руководством для программистов, работающих с Fortran20, новой версией Fortran77. В руководстве рассматриваются новые возможности языка, изменения в синтаксисе и особенности миграции с Fortran77 на Fortran20. Детально описываются улучшения в структуре данных, новые управляющие конструкции, усовершенствования модульности и обработки ошибок. Также приводится сравнение старого и нового синтаксиса, что помогает программистам быстрее адаптироваться к новым стандартам и требованиям.
-
Pattern theory: from representation to inference
Pattern Theory: From Representation to Inference предлагает комплексный и всесторонний обзор теории шаблонов — теории, которая призвана описывать и объяснять разнообразные структуры и сценарии через применение математических и статистических методов. Книга охватывает широкий спектр тем, включая вероятностные графические модели, статистические методы для анализа данных, а также алгоритмы, используемые в современной науке о данных и искусственном интеллекте. Труд предназначен для исследователей и специалистов в области теории вероятностей, статистики, компьютерных наук и анализа данных, предлагая читателю глубокие теоретические знания и практические инструменты для анализа и понимания структуры сложных систем.
-
Abstract state machines: a method for high-level system design and analysis
This book introduces a systems engineering method which aims to exploit the pros of using abstract concepts in system modeling along with the inherent rigor due to its mathematical foundation. It is designed to provide a high-level yet rigorous system specification and analysis framework. Applicable in various domains, the book outlines and details theories and practical methods integral to the Abstract State Machines (ASM) framework, making it a definitive resource for scholars and practitioners alike.
-
Ўз-ўзига ишонч ҳосил қилиш ва омма олдида сузлаш санъати
Эътибор берганмисиз, аксарият ҳолларда кўпчилигимиз иккиланамиз, фикр билдиришга ожизлик қиламиз. Ҳадеганда яку- ний хулосага келавермаймиз. Бу эса ўзимизга нисбатан ишончсизликни намоён этади. Шунингдек, омма олдида ҳаяжон босиб, шахсий нуқтаи назарини ифодалай олмайдиганлар бор. Уларда жўяли фикр, истиқболли таклифлар бўлса-да, кўпчилик ҳузурида буни баён этишга ожизлик қиладилар. Машҳур руҳшунос Дейл Карнегининг мазкур китоби ўз-ўзига ишонч ҳосил қилиш ва омма олдида сўзлашнинг турли йўлларини очиб беради. Чунончи, сиз тингловчини қизиқтириш, яхши маъруза ўқиш, хотирани мус- таҳкамлаш ва бошқа мавзуларда ҳам бой маълумот оласиз. Ушбу китоб ҳаёт йўлингизда доимий ҳамроҳингизга айлана- ди, деган умиддамиз.
-
O'ZBEKISTON TARIXI
Ushbu o'quv-uslubiy qo'llanma davlat ta'lim standartlari asosida tayyorlanib, universitetning 1-kurs talabalariga O'zbekiston tarixi fanidan amaliy mashg'ulotlarda foydalanish uchun mo'ljallangan. Ushby o'quv-uslubiy qo'llanma Fakultetlararo O'zbekiston tarixi kafedrasining 2008 yil 26 avgustdagi 1-sonli yig'ilishida muhokama qilib, tavsiya etilgan. Hamda universitet o'quv- uslubiy kengashining 2008 yil 29 avgustdagi 1-sonli yig'ilishida ko`rib chiqilgan va nashrga tavsiya etilgan.
-
Logic for concurrency and synchronisation
This book addresses logic aspects of concurrency and synchronization in computer science. It covers various approaches and methods including modal logic and proof systems related to concurrency theory. The content ranges from fundamental theory to application in computer systems. It is a valuable resource for researchers and students interested in the logical foundations of concurrency and synchronization in computing.
-
Ирригация Узбекистана, т. IV.
В монографии освещены научные и технические достижении ирригационного и мелиоративного строительства и эксплуатации водохозяйственных систем Узбекистана; охарактеризованы современные гидротехнические сооружения, применяемые в ирригационном строительстве, а также описаны образцы новейшей ирригационно мелиоративной техники, внедряемой в производство; рассмотрены современные индустриальные методы ирригационно-мелиоративного, дорожного освоения крупных земельных массивов.
-
ЎЗБЕКИСТОН АМАЛИЙ САНЪАТИ
Ўзбек халқи ўзининг қадимий амалий санъати билан жаҳонга машҳурдир. Зеби зийнатли буюмлар ясаш санъати халқимиз ижодининг энг қадимийларидан ҳисобланади. Бу нодир халқ бадиий ҳунармандчилиги меъморий ёдгорликлар, ганч, ёғоч ўймакорлиги, наққошликда, шунингдек, мисгарлик, заргарлик, кулолчилик, гиламдўзлик, ипак ва ип газламачилиги, зардўзлик, каштачилик ва ўнлаб бошқа амалий санъат турларида ўз намуналарини сақлаб қолган. Бугунги кунда юксак ва ноёб санъат дурдоналари даражасига кўтарилган бу бебаҳо меросимиз музейларимизда сақланиб келинмоқда.
-
Electromagnetics and antenna optimization using taguchi's method
This book presents a new global optimization technique using Taguchi’s method and its applications in electromagnetics and antenna engineering. Compared with traditionally stochastic optimization techniques like genetic algorithms and simulated annealing, Taguchi’s optimization method is deterministic based on the orthogonal array (OA) concept, which provides a nonlinear solution search with higher computational efficiency. The book illustrates the fundamental procedure of Taguchi’s robust design approach and the Taguchi optimization method based on the interaction between different variables. Several examples and applications of Taguchi’s optimization method in electromagnetics and antenna design are provided, covering topics such as wire antennas, microstrip patch antennas, impedance matching networks, and linear arrays. The proposed Taguchi’s optimization approach has shown to have very consistent results when compared with other methods like genetic algorithms. The key advantage is its streamlined computational procedure, which makes Taguchi’s method ideal for solving complex multi-objective optimization problems in electromagnetics and antenna design.
-
Хоразмшохлар сулоласи маликлари
Юртимиз азалдан бетакрор тарихи билан дунё олимларини узига мафтун килиб келган. Нафакат сиёсий доирада, балки илмий жамоатчилик, хусусан, тарих илми мутахассислари хам диёримиз утмишига катта кизикиш билан карайди.
-
Ирригация мелиорация
В книге дана характеристика естественноисторических и хозяйственных условий, оценка земельного фонда и водных ресурсов, современного состояния водного хозяйства и мелиорации земель бассейна р. Амударьи о целом к в границах Узбекистана по областям. Приводится техническая характеристика и описание крупных оросительных систем, гидроузлов, водохранилищ, насосных станций и других гидротехнических сооружений. а также данные по их эксплуатации. Большое внимание уделено перспективам дальнейшего развития ирригации и орошаемого земледелия.
-
Vector analysis for computer graphics
In my last book, Geometry for Computer Graphics, I employed a mixture of algebra and vector analysis to present many of the major results derived in computer graphics, all in 2D. I did not realize how restrictive the 2D constraint was until I came to apply many of these geometric results to 3D, and had to hunt elsewhere for the appropriate theory. Most textbooks on analytic geometry and vector analysis aim at providing the tools for dealing with a wide range of geometric and mechanical engineering problems. Fortu-nately, I was able to find mathematical results given in this book as part of a more general mathematical education. A spin-off to this book that I would consider to be important to this specialized area of computer graphics has been the presentation of geometric formulas in a reduced and more compact form. As I have matured mathematically my books have subsequently become more fluent in vector algebra for solving problems in applied 3D geometry.