Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
evolution https » evaluation https, pollution https, emotion https
https function » its function, sites function, ups function
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
evolution https » evaluation https, pollution https, emotion https
https function » its function, sites function, ups function
1
Published 2005
Table of Contents:
“... Genetic Programming with Homologous Crossover -- Coarse Graining Selection and Mutation -- Perturbation...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- On the Existence of Armstrong Data Trees for XML Functional Dependencies -- Polymorphism in Datalog and Inheritance...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Programming with Jolie -- From Artifacts to Activities -- On the Composability of Semantic Web Service...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Using Speciated Evolution and Ensemble -- Mining the Semantic Web: A Logic-Based Methodology -- Analysis...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- Axiomatising Functional Dependencies for XML with Frequencies -- Guarded Open Answer Set Programming...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular Automata...”View full text
Electronic
eBook
7
Table of Contents:
“...Abstract Machines -- How to Describe a Programming Language -- Foundations -- Names...”
View full text
View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Programming System for Solving Problems Requiring Big Data -- Grounded Simulation: Using Simulated Evolution...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Transitions in Arabidopsis -- Mechanisms of Transposable Element Evolution in Plants and their Effects on Gene...”View full text
Electronic
eBook
11
Table of Contents:
“...The Evolution of Type Theory until the 1940s -- Prehistory -- Type theory in Principia Mathematica...”
View full text
View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... by Nmatrix–Metric Semantics -- A Propositional Dynamic Logic for CCS Programs -- Towards Ontology Evolution...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Categorical Foundations of Distributed Graph Transformation -- Dynamic Graph Transformation Systems...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... an Understanding of the Evolution of IFIP WG 8.6 Research -- 5: Design Science -- Functional Service Domain...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Programming for Constrained Expensive Black-Box Optimization -- Ephemeral Resource Constraints in Optimization...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Soundness for Service Orchestrations -- Modeling Web Services by Iterative Reformulation of Functional...”View full text
Electronic
eBook