for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Michael Hoffmann stellt auf leicht verständliche Art und Weise die Grundlagen der stochastischen Analysis dar, d.h. die Begriffe der stochastischen Integration und der stochastischen Differentialgleichungen.
Dabei werden sowohl die grundlegenden Konzepte der Quantenphysik vorgestellt, die wichtig für die Anwendungen in der Quanteninformationstechnologie sind, als auch zentrale Experimente, die das Verständnis für die Grundlagen der Quantenphysik nachhaltig beeinflussten.
Ziel des Buches ist es, Ingenieuren oder Naturwissenschaftlern die Programmierung als... Læs mere
Die "Elementare Differentialgeometrie (nicht nur) für Informatiker" entstand aus einer Vorlesung an Hochschule für Angewandte Wissenschaften Hamburg (HAW) über mathematische Methoden der Computergrafik.
The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.
The subject of Partial Differential Equations (PDEs) which first emerged in the 18th century holds an exciting and special position in the applications relating to the mathematical modelling of physical phenomena.
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
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
Part II studies some special ciphers including the security of mobile phones, RC4 and related ciphers, the eStream project and the blum-blum-shub generator and related ciphers.
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.
Examples abound throughout remote sensing (satellite data mapping, data assimilation, climate-change studies, land use), medical imaging (organ... Læs mere