Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function distance » function resistance, function disease, function disturbances
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
https function » its function, sites function, ups function
distance https » resistance https, finance https, dance https
function distance » function resistance, function disease, function disturbances
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
https function » its function, sites function, ups function
distance https » resistance https, finance https, dance https
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“.... Martinez) -- 13. DC Programming Approaches for Distance Geometry Problems (H. Thi, T. Dinh) -- 14...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Negative androgen-response elements in androgen target genes -- Chromatin looping and long distance...”View full text
Electronic
eBook
4
Table of Contents:
“.... Partition Scheme for Families of Distances -- 11. Infinitely Divisible Processes -- 12. The Fundamental...”
View full text
View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”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
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Distance -- On Commutativity Based Edge Lean Search -- Commitment Under Uncertainty: Two-Stage Stochastic...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Programming Language -- Distance-Based Repairs of Databases -- Natural Deduction Calculus for Linear-Time...”View full text
Electronic
eBook