Ditapis dengan
Algorithmic Foundations of Robotics VI
From the contents: Algorithmic Challenges in Structural Molecular Biology and Proteomics -- Networked Robots: Ten Years of Experiments -- Algorithmic Foundation of the Clockwork Orange Robot Soccer Team -- Uniform Coverage of Simple Surfaces Embedded in R3 for Auto-Body Painting -- Stealth Tracking of an Unpredictable Target among Obstacles -- Multi-Step Motion Planning for Free-Climbing Robots…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315063
- Deskripsi Fisik
- XIII, 456 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Human-Robot Interaction
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
- -
Advances in Communication Control Networks
Stochastic Fluid Models For the On-line Control of Communication Networks -- Stability Analysis of Window Flow Control -- H-infinity and LMMSE Based Capacity Predictors for Flow -- Control in Communication Networks -- Models and Methods for Analyzing Congestion Control and Active Management Schemes -- Delay Effects on the Stability of Various Fluid Models Encountered in High-speed Networks -- D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315971
- Deskripsi Fisik
- X, 346 p. 99 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Discrete-Time Markov Chains
Prologue and Preliminaries -- Introduction, Overview, and Examples -- Mathematical Preliminaries -- Asymptotic Properties -- Asymptotic Expansions -- Occupation Measures -- Exponential Bounds -- Interim Summary and Extensions -- Applications -- Stability of Dynamic Systems -- Filtering -- Markov Decision Processes -- LQ Controls -- Mean-Variance Controls -- Production Planning -- Stochastic App…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387268712
- Deskripsi Fisik
- XX, 347 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Control, Communication Networks, and Transportation Systems
Hybrid Systems -- Polytopic Approximations of Reachable Sets Applied to Linear Dynamic Games and a Class of Nonlinear Systems -- On the Problem of Measurement Feedback Control: Ellipsoidal Techniques -- Stability of Hybrid Systems and Related Questions from Systems Biology -- System Theory and Design -- Martingale Representation and All That -- Engineering Education: A Focus on Systems -- New D…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644093
- Deskripsi Fisik
- XXXV, 358 p. 80 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Quantitative Measure for Discrete Event Supervisory Control
Theory of Language Measure and Supervisory Control -- Signed Real Measure of Regular Languages -- Optimal Supervisory Control of Regular Languages -- Robust Optimal Control of Regular Languages -- Advanced Topics in Supervisory Control -- Engineering and Software Applications of Language Measure and Supervisory Control -- Discrete Event Supervisory Control of a Mobile Robotic System -- Optimal …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387239033
- Deskripsi Fisik
- XX, 264 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Biomimetic Neural Learning for Intelligent Robots
Towards Biomimetic Neural Learning for Intelligent Robots -- Towards Biomimetic Neural Learning for Intelligent Robots -- I: Biomimetic Multimodal Learning in Neuron-Based Robots -- The Intentional Attunement Hypothesis The Mirror Neuron System and Its Role in Interpersonal Relations -- Sequence Detector Networks and Associative Learning of Grammatical Categories -- A Distributed Model of Spati…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318965
- Deskripsi Fisik
- IX, 383 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Design of Embedded Control Systems
Specification of Concurrent Embedded Control Systems -- Using Sequents for Description of Concurrent Digital Systems Behavior -- Formal Logic Design of Reprogrammable Controllers -- Hierarchical Petri Nets for Digital Controller Design -- Analysis and Verification of Discrete-Event Systems -- WCET Prediction for Embedded Processors Using an ADL -- Verification of Control Paths Using Petri Nets …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387283272
- Deskripsi Fisik
- XI, 267 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Attention and Performance in Computational Vision
Attention in Object and Scene Recognition -- Distributed Control of Attention -- Inherent Limitations of Visual Search and the Role of Inner-Scene Similarity -- Attentive Object Detection Using an Information Theoretic Saliency Measure -- Architectures for Sequential Attention -- A Model of Object-Based Attention That Guides Active Visual Search to Behaviourally Relevant Locations -- Learning o…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305729
- Deskripsi Fisik
- VIII, 236 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Nonblocking Supervisory Control of State Tree Structures
Introduction -- State Tree Structures: Basics -- Nonblocking Supervisory Control of State Tree Structures -- Symbolic Computation of State Tree Structures -- The Production Cell Example -- The AIP Example -- Conclusions and Future Research.This monograph proposes how to manage complexity by organizing the system as a State Tree Structure (STS). Based on STS, which is an adaptation of statechart…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315896
- Deskripsi Fisik
- XV, 192 p. 114 illus.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