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: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
View full text
Electronic eBook
3
Table of Contents: ...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Problems with CLP( ) -- Improved Fusion for Optimizing Generics -- The Program Inverter LRinv and Its...
View full text
Electronic eBook
11
by Townsend, RJ., Townsend, RJ.
Published 2010
Table of Contents: ... to Drupal Functionality....
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- A Cache-Conscious Profitability Model for Empirical Tuning of Loop Fusion -- Optimizing Matrix...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Issues for Information Fusion Applications -- A Regular Tetrahedron Formation Strategy for Swarm Robots...
View full text
Electronic eBook