Ditapis dengan
Applications of Evolutionary Computing
EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Hu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320036
- Deskripsi Fisik
- XX, 631 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications and Theory of Petri Nets 2005
Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov N…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315599
- Deskripsi Fisik
- XI, 475 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Analyzing Computer System Performance with Perl::PDQ
Theory of System Performance Analysis -- Time—The Zeroth Performance Metric -- Getting the Jump on Queueing -- Queueing Systems for Computer Systems -- Linux Load Average—Take a Load Off! -- Performance Bounds and Log Jams -- Practice of System Performance Analysis -- Pretty Damn Quick (PDQ)—A Slow Introduction -- Multicomputer Analysis with PDQ -- How to Scale an Elephant with PDQ -- Cli…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268604
- Deskripsi Fisik
- XXIII, 436 p. 176 illus.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 Data Structures
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
- -
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 and Computation
Puzzles, Art, and Magic with Algorithms -- The ABCs of AVDs: Geometric Retrieval Made Simple -- Pareto Optimality in House Allocation Problems -- Property-Preserving Data Reconstruction -- On the Monotone Circuit Complexity of Quadratic Boolean Functions -- Generalized Function Matching -- Approximate Distance Oracles for Graphs with Dense Clusters -- Multicriteria Global Minimum Cuts -- Polyli…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305514
- Deskripsi Fisik
- XVII, 935 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
- -
Digital Watermarking
Session I: Steganography and Steganalysis -- A New Approach to Estimating Hidden Message Length in Stochastic Modulation Steganography -- Information Transmission and Steganography -- On the Existence of Perfect Stegosystems -- Towards Multi-class Blind Steganalyzer for JPEG Images -- Session II: Fingerprinting -- An Efficient Fingerprinting Scheme with Symmetric and Commutative Encryption -- C…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320524
- Deskripsi Fisik
- XII, 492 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