Ditapis dengan
Control of Robot Manipulators in Joint Space
Preliminaries -- to Part I -- What Does “Control of Robots” Involve? -- Mathematical Preliminaries -- Robot Dynamics -- Properties of the Dynamic Model -- Case Study: The Pelican Prototype Robot -- Position Control -- to Part II -- Proportional Control plus Velocity Feedback and PD Control -- PD Control with Gravity Compensation -- PD Control with Desired Gravity Compensation -- PID Control…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781852339999
- Deskripsi Fisik
- XXVI, 426 p. 110 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
ZB 2005: Formal Specification and Development in Z and B
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract— -- Visualising Larger State Spaces in Pro B -- Non-atomic Refinement in Z and CSP -- Process Refinement in B -- CZT: A Framework for Z Tools -- Model Checking Z Specifications Using SAL -- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ -- A Stepwise Deve…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320074
- Deskripsi Fisik
- XVI, 496 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Intelligence
Intelligent Techniques and Computational Intelligence -- Neuro-Fuzzy based Intelligent Hybrid Systems for Fault Diagnosis -- Neuro-Fuzzy Integration in Intelligent Hybrid Systems -- Fuzzy Rules Extraction from ANNs -- Integration of Explicit and Implicit Knowledge in Intelligent Hybrid Systems -- Practical Implementation Aspects Regarding Real-World Applications of Intelligent Hybrid Systems (N…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540323693
- Deskripsi Fisik
- XX, 213 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Perception-Based Data Processing in Acoustics
The objective of the monograph is to provide novel insights into cognitive mechanisms underlying processing of sound and music in different environments. A solid understanding of these mechanisms is vital for numerous technological applications such as for example information retrieval from distributed musical databases or building expert systems. In order to investigate the cognitive mechanism…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540324010
- Deskripsi Fisik
- XVI, 420 p. 154 illus., 8 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
History of Nordic Computing
Reflections, Thoughts, and Episodes -- An Interview with Börje Langefors -- The Pioneer Era in Norwegian Scientific Computing (1948–1962) -- The Role of IBM in Starting up Computing in the Nordic Countries -- Computerisation of the Icelandic State and Municipalities -- Technology transfer, Modernization, and the Welfare State -- A Failure Revisited: The First Finnish Computer Construction Pr…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387241685
- Deskripsi Fisik
- XIX, 488 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Product Line Engineering
to Software Product Line Engineering -- A Framework for Software Product Line Engineering -- Overview of the Example Domain: Home Automation -- Product Line Variability -- Principles of Variability -- Documenting Variability in Requirements Artefacts -- Documenting Variability in Design Artefacts -- Documenting Variability in Realisation Artefacts -- Documenting Variability in Test Artefacts --…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540289012
- Deskripsi Fisik
- XXVI, 467 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Intelligent Document Retrieval
Related Work -- Data Analysis and Domain Model Construction -- Incorporating Additional Knowledge -- A Dialogue System for Partially Structured Data -- UKSearch - Intelligent Web Search -- UKSearch - Evaluation and Discussion -- YPA - Searching Classified Directories -- Future Directions and Conclusions.Collections of digital documents can nowadays be found everywhere in institutions, universit…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402037689
- Deskripsi Fisik
- XVI, 198 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Super-Recursive Algorithms
Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems of Computability -- Superrecursive Algorithms: Problems of Efficiency -- Conclusion: Problems of Information Technology and Computer Science Development.New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic universe" and asserts the conventiona…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387268064
- Deskripsi Fisik
- XII, 304 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Science Logic
Invited Lectures -- XML Navigation and Tarski’s Relation Algebras -- Verification in Predicate Logic with Time: Algorithmic Questions -- Note on Formal Analogical Reasoning in the Juridical Context -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed Control Flow with Classical Modal Logic -- A Logic of Coequations -- A Semantic Formula…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318972
- Deskripsi Fisik
- XI, 567 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical and Experimental DNA Computation
DNA: The Molecule of Life -- Theoretical Computer Science: A Primer -- Models of Molecular Computation -- Complexity Issues -- Physical Implementations -- Cellular Computing.This book provides a broad overview of the entire field of DNA computation, tracing its history and development. It contains detailed descriptions of all major theoretical models and experimental results to date, which are …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540281313
- Deskripsi Fisik
- XIII, 173 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah