Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
foundation computational » function computational, cognition computational, conduction computational
function computation » function computing, function decomposition, section computational
using methods » using method, nursing methods, aging methods
foundation computational » function computational, cognition computational, conduction computational
function computation » function computing, function decomposition, section computational
using methods » using method, nursing methods, aging methods
1
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...-Way Function Based on an Average-Case Assumption -- On Characteristic Constants of Theories Defined...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Interaction in a Prototypical Project: Emerging Results -- Scenarios and Elicitation -- Videos vs. Use Cases...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...-Computing Methods on Abnormalities in Audio Data -- Bioinformatics -- Shadowed Clustering for Speech Data...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... of Human Activity -- Integration Use Cases – An Applied UML Technique for Modeling Functional Requirements...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... -- Session 8 -- A Bytecode Logic for JML and Types -- On Jones-Optimal Specializers: A Case Study Using Unmix....”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- The Computational Complexity of Inference Using Rough Set Flow Graphs -- Rough-Fuzzy Hybridization -- Upper...”View full text
Electronic
eBook
11
Table of Contents:
“... of Examples -- Application Issues -- The Reliability Issue in Data Mining: The Case of Computer-Aided Breast...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“... Mechanics.- 3. Numerical Method.- 4. Iteration Process in FRACOD.- 5. Modelling Time Dependency.- 6...”
View full text
View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”View full text
Electronic
eBook
16
Table of Contents:
“... Languages -- Chap. 9 The Power of Linear Programming -- Chap. 10 Hybrid Tractability -- Chap. 11 Summary...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...”
View full text
View full text
Electronic
eBook
18
Table of Contents:
“...Preface -- Introduction -- Lyapunov and Lyapunov-like Function -- Convex Sets...”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... -- Functional-Logic Graph Parser Combinators -- Proving Quadratic Derivational Complexities Using Context...”View full text
Electronic
eBook