Ditapis dengan
Applications of Declarative Programming and Knowledge Management
Knowledge Management and Decision Support -- Optimizing the Evaluation of XPath Using Description Logics -- Declaratively Querying and Visualizing Knowledge Bases in Xml -- SQL Based Frequent Pattern Mining with FP-Growth -- Incremental Learning of Transfer Rules for Customized Machine Translation -- Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases -- An Evaluation of a Rule-…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321248
- Deskripsi Fisik
- X, 315 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications of Agent Technology in Traffic and Transportation
Agent-Based Approaches to Transport Logistics -- Provisional Agreement Protocol for Global Transportation Scheduling -- An Adaptive Approach to Dynamic Transport Optimization -- Designing Multiagent Decision Support Systems for Traffic Management -- SCATEAgent: Context-Aware Software Agents for Multi-Modal Travel -- Reducing the Effects of the Braess Paradox with Information Manipulation -- Ana…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373634
- Deskripsi Fisik
- VIII, 209 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Ambient Networks
Information Models and Metrics -- On the Formalization of the Common Information Model Metaschema -- Ontology-Based Integration of Management Behaviour and Information Definitions Using SWRL and OWL -- On the Impact of Management on the Performance of a Managed System: A JMX-Based Management Case Study -- Security and Privacy -- Improving the Configuration Management of Large Network Security S…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322443
- Deskripsi Fisik
- XIV, 282 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithms in Bioinformatics
Expression -- Spectral Clustering Gene Ontology Terms to Group Genes by Function -- Dynamic De-Novo Prediction of microRNAs Associated with Cell Conditions: A Search Pruned by Expression -- Clustering Gene Expression Series with Prior Knowledge -- A Linear Time Biclustering Algorithm for Time Series Gene Expression Data -- Time-Window Analysis of Developmental Gene Expression Data with Multiple…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318125
- Deskripsi Fisik
- X, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithms and Computation
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324263
- Deskripsi Fisik
- XX, 1190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324263
- Deskripsi Fisik
- XX, 1190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithms – ESA 2005
Designing Reliable Algorithms in Unreliable Memories -- From Balanced Graph Partitioning to Balanced Metric Labeling -- Fearful Symmetries: Quantum Computing, Factoring, and Graph Isomorphism -- Exploring an Unknown Graph Efficiently -- Online Routing in Faulty Meshes with Sub-linear Comparative Time and Traffic Ratio -- Heuristic Improvements for Computing Maximum Multicommodity Flow and Minim…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319511
- Deskripsi Fisik
- XVIII, 901 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithmic Applications in Management
Invited Lecture -- Robust Airline Fleet Assignment:Imposing Station Purity Using Station Decomposition -- Computing the Arrow-Debreu Competitive Market Equilibrium and Its Extensions -- Contributed Papers -- Complexity of Minimal Tree Routing and Coloring -- Energy Efficient Broadcasting and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optim…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324409
- Deskripsi Fisik
- XIV, 484 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent-Oriented Software Engineering V
Modeling -- Organizational and Social Concepts in Agent Oriented Software Engineering -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling -- Formal Semantics for AUML Agent Interaction Protocol Diagrams -- A Study of Some Multi-agent Meta-models -- A Metamodel for Agents, Roles, and Groups -- Design -- Bridging th…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305781
- Deskripsi Fisik
- X, 246 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Design and Analysis of Randomized Algorithms
Fundamentals -- Foiling the Adversary -- Fingerprinting -- Success Amplification and Random Sampling -- Abundance of Witnesses -- Optimization and Random Rounding.Randomness is a powerful phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized algorithms are often more efficient, simpler and, surprisingly, also more reliable than their determinist…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540279037
- Deskripsi Fisik
- XII, 277 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Data Mining in Bioinformatics
Overview -- to Data Mining in Bioinformatics -- Survey of Biodata Analysis from a Data Mining Perspective -- Sequence and Structure Alignment -- AntiClustAl: Multiple Sequence Alignment by Antipole Clustering -- RNA Structure Comparison and Alignment -- Biological Data Mining -- Piecewise Constant Modeling of Sequential Data Using Reversible Jump Markov Chain Monte Carlo -- Gene Mapping by Patt…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846280597
- Deskripsi Fisik
- XII, 340 p. 110 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