1
por Thomas, Adrian., Thomas, Adrian.
Publicado 2008
Table of Contents: ... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...
Ligazón do recurso
Electrónico eBook
2
Publicado 2005
Table of Contents: ... -- Symmetry and Search in a Network Design Problem -- Integrating CSP Decomposition Techniques and BDDs...
Ligazón do recurso
Electrónico eBook
3
Publicado 2015
Table of Contents: ...Solvability of a Nonstationary Problem of Radiative-Conductive Heat Transfer in a System of Semi...
Ligazón do recurso
Electrónico eBook
4
Publicado 2013
Table of Contents: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
Ligazón do recurso
Electrónico eBook
5
Publicado 2014
Table of Contents: ... -- Concurrent Depth-First Search Algorithms -- Basic Problems in Multi-View Modeling -- GPU explore: Many-Core...
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ... Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver -- SAT-Based Software...
Ligazón do recurso
Electrónico eBook
7
Publicado 2005
Table of Contents: ... -- Complementation Constructions for Nondeterministic Automata on Infinite Words -- Using BDDs to Decide CTL...
Ligazón do recurso
Electrónico eBook
8
Table of Contents: ...Introduction -- 1 Levy processes -- 2 The principle of imperceptibility of the boundary -- 3...
Ligazón do recurso
Electrónico eBook
9
Publicado 2006
Table of Contents: ... Reviews -- Using Semi-supervised Learning for Question Classification -- Query Similarity Computing Based...
Ligazón do recurso
Electrónico eBook
10
Publicado 2014
Table of Contents: ... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...
Ligazón do recurso
Electrónico eBook
11
Publicado 2018
Subjects: ...Construction industry Mathematical models....
Ligazón do recurso
eBook
12
Publicado 2006
Table of Contents: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Ligazón do recurso
Electrónico eBook
13
Publicado 2006
Table of Contents: ... and Background Music -- Visual Pattern Modeling -- An Integration Concept for Vision-Based Object Handling: Shape...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ...Error Bounds for Galerkin Approximations of Weakly Singular Integral Operators -- Construction...
Ligazón do recurso
Electrónico eBook
15
Publicado 2010
Table of Contents: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ...-Adaptive Software -- Extending the Boundaries of Design Optimization by Integrating Fast Optimization...
Ligazón do recurso
Electrónico eBook
17
Publicado 2012
Table of Contents: ... Computing for the Resiliency of Protecting from Internal Attacks in Distributed Wireless Sensor -- Parallel...
Ligazón do recurso
Electrónico eBook
18
Publicado 2008
Table of Contents: ... of Spectral Computations for Integral Operators with Weakly Singular Kernels -- Numerical Solution of Integral...
Ligazón do recurso
Electrónico eBook
19
Publicado 2014
Table of Contents: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
Ligazón do recurso
Electrónico eBook
20
Publicado 2012
Table of Contents: ... and Sound-Based DJ Controller Implemented on a Bathtub -- Airstic Drum: a Drumstick for Integration of Real...
Ligazón do recurso
Electrónico eBook