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 2015
Table of Contents: ... into functional research of MSCs -- Human neural development and human embryonic stem cell neural differentiation...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Computational Interpretations of Analysis via Products of Selection Functions -- The Peirce Translation...
View full text
Electronic eBook
4
Subjects: ...Computer programming....
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...
View full text
Electronic eBook
6
Table of Contents: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... Simulators -- Automatic Translation of MP+V Systems to Register Machines -- On the Communication Complexity...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Sequence Data -- Rare Variants Analysis in Unrelated Individuals -- Gene Duplication and Functional...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook