Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
program based » programs based, gram based, programming based
based program » based programming
using https » using http, nursing https, aging https
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
program based » programs based, gram based, programming based
based program » based programming
using https » using http, nursing https, aging https
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
3
Table of Contents:
“... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“.... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....”
View full text
View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Partial Evaluation of Logic Programs Using Online Techniques -- Improving Offline Narrowing-Driven Partial...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- On the Limiting Distribution of Program Sizes in Tree-Based Genetic Programming -- Predicting Prime Numbers Using...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”View full text
Electronic
eBook
17
Table of Contents:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
View full text
View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Compiler from ?-Protocol to 2-Move Deniable Zero-Knowledge -- New Extensions of Pairing-Based Signatures...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook