Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program determination » program termination, problem determination, programs termination
functionals function » function function, functions functional, function dysfunction
determination https » determination attempt, determination ethics, determination time
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
program determination » program termination, problem determination, programs termination
functionals function » function function, functions functional, function dysfunction
determination https » determination attempt, determination ethics, determination time
https functionals » type functionals, data functionals, flaps functional
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”View full text
Electronic
eBook
2
Table of Contents:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... -- Products of Partial Sums and Wishart Determinants....”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
9
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...”View full text
Electronic
eBook
12
by Tang, Chu-Nie, Wan Abdullah, Wan Muhamad Asrul Nizam, Wee, Chien-Yeong, Balia Yusof, Zetty Norhana, Yap, Wai-Sum, Cheng, Wan-Hee, Baharum, Nadiya Akmal, Ong-Abdullah, Janna, Loh, Jiun-Yan, Lai, Kok-Song
Published 2023
“... identified previously, but only the functions of βVPE, γVPE, and δVPE were determined. The specific function...”Published 2023
Article
13
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
14
Table of Contents:
“... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
View full text
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Notion of Unsatisfiable Cores for LTL -- Rule Formats for Determinism and Idempotence -- The Complexity...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”View full text
Electronic
eBook
18
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
19
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”View full text
Electronic
eBook