1
منشور في 2015
جدول المحتويات: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2006
جدول المحتويات: ... Recursive Functions with Object Oriented Genetic Programming -- Negative Slope Coefficient: A Measure...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2006
جدول المحتويات: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2008
جدول المحتويات: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2008
جدول المحتويات: ..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2007
جدول المحتويات: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2007
جدول المحتويات: ... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2012
جدول المحتويات: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2005
جدول المحتويات: ... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2005
جدول المحتويات: ... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2013
جدول المحتويات: ... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2008
جدول المحتويات: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
بواسطة O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
منشور في 2006
جدول المحتويات: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2006
جدول المحتويات: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2006
جدول المحتويات: ... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2013
جدول المحتويات: ... and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2005
جدول المحتويات: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2007
جدول المحتويات: ... in the Plane -- On the Fractional Chromatic Number of Monotone Self-dual Boolean Functions -- On the Complexity...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2008
جدول المحتويات: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
احصل على النص الكامل
الكتروني كتاب الكتروني