Computability theory

Part 2 book "Matrix algebra - Theory, computations and applications in statistics" included contents: Special matrices and operations useful in modeling and data analysis; selected applications in statistics; numerical methods; numerical linear algebra; software for numerical linear algebra.

316p dianmotminh04 12-07-2024 2 0   Download

Part 1 book "Matrix algebra - Theory, computations and applications in statistics" included contents: Basic vector matrix structure and notation; vectors and vector spaces; basic properties of matrices; vector matrix derivatives and integrals; matrix transformations and factorizations; solution of linear systems; evaluation of eigenvalues and eigenvectors.

348p dianmotminh04 12-07-2024 0 0   Download

Part 1 book "Functions of matrices - Theory and computation" included contents: Theory of matrix functions; applications; conditioning; techniques for general functions; matrix sign function; matrix square root; matrix pth root; the polar decomposition.

241p dianmotminh04 12-07-2024 0 0   Download

Part 2 book "Functions of matrices - Theory and computation" included contents: Schur parlett algorithm; matrix exponential; matrix logarithm; matrix cosine and sine; function of matrix times vector - f(a)b; miscellany.

205p dianmotminh04 12-07-2024 0 0   Download

Part 2 of ebook "Artificial superintelligence: A futuristic approach" provides readers with contents including: Chapter 5 - On the limits of recursively self-improving artificially intelligent systems; Chapter 6 - Singularity paradox and what to do about it; Chapter 7 - Superintelligence safety engineering; Chapter 8 - Artificial intelligence confinement problem (and solution); Chapter 9 - Efficiency theory, a unifying theory for information, computation, and intelligence; Chapter 10 - Controlling the impact of future superintelligence;...

112p daonhiennhien 03-07-2024 1 1   Download

Part 2 of ebook "Guide to discrete mathematics: An accessible introduction to the history, theory, logic and applications" provides readers with contents including: Chapter 10 - Cryptography; Chapter 11 - Coding theory; Chapter 12 - Language theory and semantics; Chapter 13 - Computability and decidability; Chapter 14 - A short history of logic; Chapter 15 - Propositional and predicate logic; Chapter 16 - Advanced topics in logic; Chapter 17 - Software engineering mathematics; Chapter 18 - Formal methods; Chapter 19 - Z formal specification language; Chapter 20 - Probability, statistics and...

208p daonhiennhien 03-07-2024 3 1   Download

Part 2 of ebook "The finite element method for solid and structural mechanics (Seventh edition)" provides readers with contents including: Chapter 10 - Background mathematics and linear shell theory; Chapter 11 - Differential geometry and calculus on manifolds; Chapter 12 - Geometrically nonlinear problems in continuum mechanics; Chapter 13 - A nonlinear geometrically exact rod model; Chapter 14 - A nonlinear geometrically exact shell model; Chapter 15 - Computer procedures for finite element analysis; Appendix A - Isoparametric finite element approximations; Appendix B - Invariants of seco...

322p giangmacvien 21-06-2024 0 0   Download

Ebook "Complexity & cryptography: An introduction" provides that knowledge, combining an informal style with rigorous proofs of the key results to give an accessible introduction. It comes with plenty of examples and exercises (many with hints and solutions), and is based on a highly successful course developed and taught over many years to undergraduate and graduate students in mathematics and computer science.

305p zizaybay1103 29-05-2024 5 2   Download

Ebook Concrete mathematics: A foundation for computer science (Second edition) presents the following content: Chapter 1: recurrent problems, chapter 2: sums, chapter 3: integer functions, chapter 4: number theory, chapter 5: binomial coefficients, chapter 6: special numbers, chapter 7: generating functions, chapter 8: discrete probability, chapter 9: asymptotics.

692p zizaybay1103 29-05-2024 8 2   Download

Contemporary Cryptography is written to be comprehensive and tutorial in nature. The book starts with two chapters that introduce the topic and briefly overview the cryptographic systems (or cryptosystems) in use today. After a thorough introduction of the mathematical fundamentals and principles that are at the heart of contemporary cryptography (Part I), the cryptographic systems are addressed in detail and defined in a mathematically precise sense.

530p zizaybay1103 29-05-2024 3 2   Download

Cryptography is concerned with the conceptualization, definition, and construction of computing systems that address security concerns. The design of cryptographic systems must be based on firm foundations. This book presents a rigorous and systematic treatment of the foundational issues: defining cryptographic tasks and solving new cryptographic problems using existing tools. It focuses on the basic mathematical tools: computational difficulty (one-way functions), pseudorandomness, and zero-knowledge proofs.

393p zizaybay1103 29-05-2024 4 2   Download

Ebook Probabilistic & statistical methods in cryptology presents the following content: Chapter 1 classical polyalphabetic substitution ciphers; chapter 2 rsa and probabilistic prime number tests; chapter 3 factorization with quantum computers: shor’s algorithm; chapter 4 physical random-number generators; chapter 5 pseudo-random number generators; chapter 6 an information theory primer; chapter 7 tests for (pseudo-)random number generators; chapter 8 diffie-hellman key exchange; chapter 9 differential cryptanalysis; chapter 10 semantic security; chapter 11 algorithmic complexity; chapter 1...

159p zizaybay1103 29-05-2024 2 2   Download

In this book you will find the basics of probability theory and statistics. In addition, there are several topics that go somewhat beyond the basics but that ought to be present in an introductory course: simulation, the Poisson process, the law of large numbers, and the central limit theorem. Computers have brought many changes in statistics. In particular, the bootstrap has earned its place. It provides the possibility to derive confidence intervals and perform tests of hypotheses where traditional (normal approximation or large sample) methods are inappropriate.

484p zizaybay1103 29-05-2024 3 1   Download

Ebook Human attention in digital environments (2011) is organized as follows: Chapter 1 introduction; chapter 2 human attention and its implications for human–computer interaction; chapter 3 the management of visual attention in graphic displays; chapter 4 cognitive load theory, attentional processes and optimized learning outcomes in a digital environment; chapter 5 salience sensitive control, temporal attention and stimulus-rich reactive interfaces;...

361p zizaybay1103 29-05-2024 3 2   Download

Ebook "Nonlinear solid mechanics: A continuum approach for engineering" opens with a fundamental chapter on vectors and tensors. The following chapters are based on nonlinear continuum mechanics - an inevitable prerequisite for computational mechanicians. In addition, continuum field theory (applied to a representative sample of hyperelastic materials currently used in nonlinear computations such as incompressible and compressible materials) is presented, as are transversely isotropic materials, composite materials, viscoelastic materials and hyperelastic materials with isotropic damage.

235p giangdongdinh 28-05-2024 4 2   Download

Ebook "Numerical regularization for atmospheric inverse problems" is to present and analyze numerical algorithms for atmospheric retrieval. The book is aimed at physicists and engineers with some background in numerical linear algebra and matrix computations. Although there are many practical details in this book, for a robust and efficient implementation of all numerical algorithms, the reader should consult the literature cited.

432p giangdongdinh 28-05-2024 2 1   Download

We have written this book to introduce students and software professionals to the fundamental ideas in testing theory, testing techniques, testing practices, and quality assurance. Undergraduate students in software engineering, computer science, and computer engineering with no prior experience in the software industry will be introduced to the subject matter in a step-by-step manner. Practitioners too will benefit from the structured presentation and comprehensive nature of the materials. Graduate students can use the book as a reference resource.

648p zizaybay1103 29-05-2024 3 2   Download

Part 1 of ebook "Numerical modelling of wave energy converters: State-of-the-art techniques for single devices and arrays" provides readers with contents including: wave energy converter modelling techniques based on linear hydrodynamic theory; frequency-domain models; time-domain models; spectral-domain models; nonlinear potential flow models; computational fluid dynamics (CFD) models; identifying models using recorded data;...

147p dongmelo 20-05-2024 5 2   Download

The paper "Static bending analysis of FGM stiffened plate resting on discontinuous elastic foundation" uses the finite element method to study the static bending response of stiffened FGM plates resting on a discontinuous elastic foundation. The structure is computed using the first-order shear deformation theory coupled with the four-node and two-node quadrilateral elements.

7p dathienlang1012 03-05-2024 1 0   Download

Part 2 book "Analysis of synchronous machines" includes contents: Power system transient stability, excitation systems and dynamic stability, naturally commutated synchronous motor drives, extension of d–q theory to unbalanced operation, linearization of the synchronous machine equations, computer simulation of synchronous machines.

277p dianmotminh01 14-05-2024 3 0   Download