Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
The Primality Testing Problem (PTP) has now proved to be solvable in deterministic polynomial-time (P) by the AKS (Agrawal-Kayal-Saxena) algorithm, whereas the Integer Factorization Problem (IFP) still remains unsolvable in (P).
Bemærk: Kan ikke leveres før jul.
Examples abound throughout remote sensing (satellite data mapping, data assimilation, climate-change studies, land use), medical imaging (organ... Læs mere
Bemærk: Kan ikke leveres før jul.
The discrete Fourier transform (DFT) is an extremely useful tool that finds application in many different disciplines.
Bemærk: Kan ikke leveres før jul.
Motivation comes from everyday experiences of probability, such as that of a dice or cards, the idea of fairness in games of chance, and the random ways in which, say, birthdays are... Læs mere
Bemærk: Kan ikke leveres før jul.
This highly practical Guide to Geometric Algebra in Practice reviews algebraic techniques for geometrical problems in computer science and engineering, and the... Læs mere
Bemærk: Kan ikke leveres før jul.
The discrete Fourier transform (DFT) is an extremely useful tool that finds application in many different disciplines.
Bemærk: Kan ikke leveres før jul.
Data mining essentially relies on several mathematical disciplines, many of which are presented in this second edition of this... Læs mere
Bemærk: Kan ikke leveres før jul.
Designs and Finite Geometries brings together in one place important contributions and up-to-date research results in this important area of mathematics. Designs and... Læs mere
Bemærk: Kan ikke leveres før jul.
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.
Bemærk: Kan ikke leveres før jul.
The techniques and methods presented for knowledge elicitation, model construction and verification, modeling techniques and... Læs mere
Bemærk: Kan ikke leveres før jul.
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced... Læs mere
Bemærk: Kan ikke leveres før jul.
Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R.