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