1
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Views for Visual Exploration -- Linked Data Views -- Visualizing Trees and Forests -- Methodologies...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook
17
Published 2023
Table of Contents: ... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...
Open Access Book. Read online
Electronic eBook