1
Published 2014
Table of Contents: ... Operator -- Discrete Wavelet Transform Based Fault Detection and Classification in a Static Synchronous...
View full text
Electronic eBook
2
by Fasano, Giorgio., Fasano, Giorgio.
Published 2014
Table of Contents: ...1. Non-standard packing problems -- 2. Tetris-like items -- 3. Model reformulations and tightening...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Strategy for Pruning and Adding Hidden Neurons during Training Artificial Neural Networks -- Using Kullback...
View full text
Electronic eBook
8
Table of Contents: ... INDUCED STATIC AND DYNAMIC RESPONSE CALCULATIONS -- DETERMINATION OF CROSS SECTIONAL FORCES -- MOTION...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... -- Non-functional Requirements in Embedded Systems -- Navigating the Requirements Jungle -- Non...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... -- Characteristic Function for Variable-Bit-Rate Multimedia QoS -- A Fully Simulatable Oblivious Transfer Scheme...
View full text
Electronic eBook
11
Published 2011
Table of Contents: ... Recognition System -- Study on Architecture and Performances of Dual Track SAW Device -- Adaptive Function...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
View full text
Electronic eBook
14
Table of Contents: ... and Inversion -- System Transformations -- Applications to Control Problems -- Input-output Linearization...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Routing Problem -- Numerical Simulation of Static Noise Margin for a Six-Transistor Static Random Access...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... of Implementable MSC Languages -- Combining Static Analysis and Model Checking for Systems Employing Commutative...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... -- Construction and Verification of Mobile Ad Hoc Network Protocols -- Zero-Day Traffic Identification -- Design...
View full text
Electronic eBook
18
...The Human Immune System (HIS) is considered as a bank of models, functions, and concepts from where...
View full text
Article