Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function decomposition » functional decomposition, factor decomposition
decomposition https » decomposition humus, decomposition maps, decomposition attack
programs function » programs functional, programme function, programs fiction
function https » functions https, fiction https
https function » its function, sites function, ups function
function decomposition » functional decomposition, factor decomposition
decomposition https » decomposition humus, decomposition maps, decomposition attack
programs function » programs functional, programme function, programs fiction
function https » functions https, fiction https
https function » its function, sites function, ups function
1
by Raddwan, Basheer, Al-Wagih, Khalil, Al-Baltah, Ibrahim A., Alrshah, Mohamed A., Al-Maqri, Mohammed A.
Published 2019
“...Recently, Network Function Virtualization (NFV) and Software Defined Networking (SDN) have...”Published 2019
View full text
Article
2
Published 2007
Table of Contents:
“...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...”View full text
Electronic
eBook
3
Table of Contents:
“...Inverse analyses -- Optimization algorithms -- Proper Orthogonal Decomposition and Radial Basis...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... with Rank Constraint -- Cycle Detection and Correction -- Decomposition Width of Matroids -- Session 2-Track...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Multiparty Communication Complexity -- Session A5 -- An Optimal Decomposition Algorithm for Tree Edit...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
9
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches...”View full text
Electronic
eBook
13
Table of Contents:
“... Functions and Kernel Density Estimation -- 4. The BONUS Algorithm -- 5. Water Management under Weather...”
View full text
View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... A Proposal to Measure the Functional Efficiency of Futures Markets: M. Consuegra et al -- 12...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Decomposition in a Rely/Guarantee Context -- A Verification Approach for System-Level Concurrent Programs...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Testing -- Verification 1 -- Decomposition for Compositional Verification -- A Formal Soundness Proof...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”View full text
Electronic
eBook