Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 5 dari pencarian Anda melalui kata kunci: author=Rüdiger.
cover
Advances in Human-Robot Interaction
Komentar Bagikan
Dillmann, Rüdiger.Grunwald, Gerhard.Hägele, Martin.Iossifidis, Ioannis.Lawitzky, Gisbert.Prassler, Erwin.Stopp, Andreas.

Multi-modal Robot Interfaces -- Perception, Interpretation and Interaction -- Learning, Programming and Instructing -- Co-existence: Physical Interaction and Coordinated Motion -- Safety and Dependability -- Architecture -- Systems and Applications."Advances in Human-Robot Interaction" provides a unique collection of recent research in human-robot interaction. It covers the basic important rese…

Edisi
1st ed.
ISBN/ISSN
9783540315094
Deskripsi Fisik
XIII, 414 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Algorithms and Data Structures
Komentar Bagikan
Dehne, Frank.LópezOrtiz, AlejandroSack, JörgRüdiger.

Session 1 -- Towards a Theory of Algorithms -- Session 2A -- k-Restricted Rotation with an Application to Search Tree Rebalancing -- Heap Building Bounds -- Session 2B -- The Multi-radius Cover Problem -- Parameterized Complexity of Generalized Vertex Cover Problems -- The Complexity of Implicit and Space Efficient Priority Queues -- Analysis of a Class of Tries with Adaptive Multi-digit Branc…

Edisi
1st ed.
ISBN/ISSN
9783540317111
Deskripsi Fisik
XIV, 446 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Fundamentals of Computation Theory
Komentar Bagikan
Liskiewicz, Maciej.Reischuk, Rüdiger.

Invited Talks -- The Complexity of Querying External Memory and Streaming Data -- The Smoothed Analysis of Algorithms -- Path Coupling Using Stopping Times -- Circuits -- On the Incompressibility of Monotone DNFs -- Bounds on the Power of Constant-Depth Quantum Circuits -- Automata I -- Biautomatic Semigroups -- Deterministic Automata on Unranked Trees -- Complexity I -- Decidable Membership Pr…

Edisi
1st ed.
ISBN/ISSN
9783540318736
Deskripsi Fisik
XVI, 580 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Lead Markets for Environmental Innovations
Komentar Bagikan
Beise, Marian.Blazejczak, Jürgen M.Edler, Dietmar.Haum, Rüdiger.Jacob, Klaus.Jänicke, Martin.Löw, Thomas.Petschow, Ulrich.Rennings, Klaus.

Theoretical Approaches -- Towards an Integrated Model of the Lead Market for Environmental Innovations -- Case Studies of Lead Markets from Literature Studies -- The International Adoption of Photovoltaic Energy Conversion -- Fuel Cells in Stationary Applications -- Fuel Cells for Mobile Applications -- Technologies to Reduce Harmful Emissions in Diesel Vehicles -- Lead Markets for VOC-Reduced …

Edisi
1st ed.
ISBN/ISSN
9783790816341
Deskripsi Fisik
XII, 276 p. 52 illus.online resource.
Judul Seri
-
No. Panggil
-
cover
Advanced BDD Optimization
Komentar Bagikan
Drechsler, Rolf.Ebendt, Rudiger.Fey, Görschwin.

Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binary Decision Diagrams -- 3. Exact node Minimization. 3.1. Branch and Bound Algorithm. 3.2. A*-Based Optimization. 3.3. Summary -- 4. Heuristic node Minimization. 4.1. Efficient Dynamic Minimization. 4.2. Improved Lower Bounds for Dynamic Reordering.…

Edisi
1st ed.
ISBN/ISSN
9780387254548
Deskripsi Fisik
X, 222 p.online resource.
Judul Seri
-
No. Panggil
-