for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Constitutes the proceedings of the 4th International Conference on Theory... Læs mere
Bemærk: Kan ikke leveres før jul.
In jedem Handy, CD-Player und Computer steckt ein Chip, der lineare Gleichungssysteme über einem endlichen Körper blitzschnell löst, um fehlerbehaftetes Datenmaterial zu korrigieren;
Bemærk: Kan ikke leveres før jul.
Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The process of breaking up a physical domain into smaller sub-domains, known as meshing, facilitates the numerical solution of partial differential equations used to simulate physical systems.
Bemærk: Kan ikke leveres før jul.
Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard improvement of current computer tech nologies.
Bemærk: Kan ikke leveres før jul.
Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem.
Bemærk: Kan ikke leveres før jul.
In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited... Læs mere
Bemærk: Kan ikke leveres før jul.
Some of the most convincing demonstrations of the power of these tech niques are randomized algorithms for estimating quantities which are hard to compute exactly. One example is the randomized algorithm of Dyer, Frieze and Kannan for estimating the volume of a polyhedron.
Bemærk: Kan ikke leveres før jul.
Now fully updated in a third edition, this is a comprehensive textbook on combinatorial optimization. It puts special emphasis on theoretical results and... Læs mere
Bemærk: Kan ikke leveres før jul.
Leading experts have joined forces for the first time to explain the state of the art in quantum computing, hash-based cryptography, code-based cryptography, lattice-based cryptography, and multivariate cryptography.
Bemærk: Kan ikke leveres før jul.
Ad hoc networks refer to the wireless networking paradigm that covers a variety of network forms for specific purposes, such as mobile ad hoc networks, sensor n- works, vehicular networks, underwater networks, underground networks, personal area networks, and home networks.