1
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
View full text
Electronic eBook
5
by Lee, Kent D., Lee, Kent D.
Published 2008
Table of Contents: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
View full text
Electronic eBook
9
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
View full text
Electronic eBook
10
Table of Contents: ... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... -- Structure-Function Relationship of Bacterial SH3 Domains -- Activation of PI3K by Thyroid Hormone Nuclear...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for Provably Secure Computation -- Scoring Matrices That Induce Metrics on Sequences -- Data Structures...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian...
View full text
Electronic eBook
17
Table of Contents: ... Animation, Effects, and Commands -- Actions and Interactions -- Intelligent Actions -- Multimedia: Sound...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Paraphrases of Japanese Action Word of Sentence Ending Part from Web and Mobile News Articles -- Improving...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Structure Theory -- Exploiting Ontological Structure for Complex Preference Assembly -- Constraints -- A...
View full text
Electronic eBook