Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computation » function computing, function decomposition, section computational
using methods » using method, nursing methods, aging methods
function computation » function computing, function decomposition, section computational
using methods » using method, nursing methods, aging methods
1
Published 2006
Table of Contents:
“... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”View full text
Electronic
eBook
4
Table of Contents:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”View full text
Electronic
eBook
7
Table of Contents:
“... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
View full text
View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
11
Table of Contents:
“... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
View full text
View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”View full text
Electronic
eBook
13
by Koohi, Sina Zangbari
Published 2020
Subjects:
“...Parallel programming (Computer science) - Research...”Published 2020
View full text
Thesis
14
Published 2014
Table of Contents:
“... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook