1
Gepubliceerd in 2015
Inhoudsopgave: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2008
Inhoudsopgave: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2008
Inhoudsopgave: ..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2014
Inhoudsopgave: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2007
Inhoudsopgave: ... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2006
Inhoudsopgave: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
Volledige tekst
Elektronisch E-boek
7
door Moller, Faron., Moller, Faron., Struth, Georg.
Gepubliceerd in 2013
Inhoudsopgave: ... Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2005
Inhoudsopgave: ... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2007
Inhoudsopgave: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2006
Inhoudsopgave: ... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2012
Inhoudsopgave: ... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2006
Inhoudsopgave: ... -- Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis -- Synthesis...
Volledige tekst
Elektronisch E-boek
13
door Vankka, Jouko., Vankka, Jouko.
Gepubliceerd in 2005
Inhoudsopgave: .../Q Modulator Errors -- 4. Direct Digital Synthesizers -- 5. Recursive Oscillators -- 6. Cordic...
Volledige tekst
Elektronisch E-boek