Ditapis dengan
Implementation and Application of Automata
Invited Papers -- Automata-Theoretic Techniques for Analyzing Infinite-State Systems -- Enumerating Regular Expressions and Their Languages -- Contributed Papers -- A General Weighted Grammar Library -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code Selection by Tree Series Transducers -- Some Non-semi-decidability Problems for Li…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305002
- Deskripsi Fisik
- XII, 336 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Evolutionary Computation in Combinatorial Optimization
An External Partial Permutations Memory for Ant Colony Optimization -- A Novel Application of Evolutionary Computing in Process Systems Engineering -- Choosing the Fittest Subset of Low Level Heuristics in a Hyperheuristic Framework -- An Attribute Grammar Decoder for the 01 MultiConstrained Knapsack Problem -- EvoGeneS, a New Evolutionary Approach to Graph Generation -- On the Application of E…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319962
- Deskripsi Fisik
- XI, 271 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Fuzzy Systems and Knowledge Discovery
Dimensionality Reduction -- Pattern Recognition and Trend Analysis -- Other Topics in FSKD Methods -- Mining of Spatial, Textual, Image and Time-Series Data -- Fuzzy Systems in Bioinformatics and Bio-medical Engineering -- Fuzzy Systems in Expert System and Informatics -- Fuzzy Systems in Pattern Recognition and Diagnostics -- Knowledge Discovery in Bioinformatics and Bio-medical Engineering --…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318286
- Deskripsi Fisik
- L, 1312 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Switching and Learning in Feedback Systems
Switching and Control -- From Feedback Control to Complexity Management: A Personal Perspective -- Convex Cones, Lyapunov Functions, and the Stability of Switched Linear Systems -- Survey of Explicit Approaches to Constrained Optimal Control -- Gaussian Processes -- Analysis of Some Methods for Reduced Rank Gaussian Process Regression -- Filtered Gaussian Processes for Learning with Large Data-…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305606
- Deskripsi Fisik
- X, 346 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Transactions on Rough Sets III
Regular Papers -- Flow Graphs and Data Mining -- The Rough Set Exploration System -- Rough Validity, Confidence, and Coverage of Rules in Approximation Spaces -- Knowledge Extraction from Intelligent Electronic Devices -- Processing of Musical Data Employing Rough Sets and Artificial Neural Networks -- Computational Intelligence in Bioinformatics -- Rough Ethology: Towards a Biologically-In…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318507
- Deskripsi Fisik
- IX, 461 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Developments in Language Theory
Restricted Towers of Hanoi and Morphisms -- Collapsing Words: A Progress Report -- Locally Consistent Parsing and Applications to Approximate String Comparisons -- Central Sturmian Words: Recent Developments -- Reversible Cellular Automata -- Inexpressibility Results for Regular Languages in Nonregular Settings -- Complexity of Quantum Uniform and Nonuniform Automata -- Membership and Finitenes…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316824
- Deskripsi Fisik
- XII, 412 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Transactions on Computational Systems Biology III
Computer-Aided DNA Base Calling from Forward and Reverse Electropherograms -- A Multi-agent System for Protein Secondary Structure Prediction -- Modeling Kohn Interaction Maps with Beta-Binders: An Example -- Multidisciplinary Investigation into Adult Stem Cell Behavior -- Statistical Model Selection Methods Applied to Biological Networks -- Using Secondary Structure Information to Perform Mult…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314462
- Deskripsi Fisik
- VII, 169 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Hybrid Systems: Computation and Control
Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Tim…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319542
- Deskripsi Fisik
- XII, 684 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Innovations in Applied Artificial Intelligence
Invited Contributions -- Computer Vision -- Image Analysis -- Speech Recognition -- Robotics -- Agents -- Planning -- Human-Computer Interaction and Natural Language Processing -- Reasoning -- Machine Learning -- Data Mining -- Genetic Algorithms -- Neural Networks -- Decision Support and Heuristic Search -- Fuzzy Logic -- Knowledge Management -- Applications.“Intelligent systems are those wh…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318934
- Deskripsi Fisik
- XX, 858 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Foundations of Intelligent Systems
Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer Security and an Application to File System Accesses -- Regular Papers -- A Machine Text-Inspired Machine Learning Approach for Identification of Transmembrane Helix Boundaries -- Visualization of Similarities and Dissimilarities in Rules Using Multidimensional Scaling -- Learning Profiles Based on…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319498
- Deskripsi Fisik
- XIV, 706 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