Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs modal » programs model, programs moral, programs models
modal function » modal functional, foal function, total function
function https » functions https, fiction https
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs modal » programs model, programs moral, programs models
modal function » modal functional, foal function, total function
function https » functions https, fiction https
1
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
2
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Dynamic Grouping Crowding Differential Evolution with Ensemble of Parameters for Multi-modal Optimization...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Negation in Well-Founded and Partial Stable Semantics for Logic Programs -- MAT Logic: A Temporal×Modal...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...The drug discovery process -- Imaging modalities: principles and information content -- Magnetic...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... -- DESTRUCTIVE EXTENSION RULE IN PROPOSITION MODAL LOGIC K -- A NOVEL PARTICLE SWARM OPTIMIZATION-BASED APPROACH...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Salesman Problem -- Multi-Sub-Swarm PSO Algorithm for Multi-Modal Function Optimization -- Reliable License...”View full text
Electronic
eBook