1
Sommario: ... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....
Testo
Elettronico eBook
2
Sommario: ... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...
Testo
Elettronico eBook
3
di Lopez, Cesar., Lopez, Cesar.
Pubblicazione 2014
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
4
di Lopez, Cesar., Lopez, Cesar.
Pubblicazione 2014
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
5
Pubblicazione 2011
Sommario: ... Method for Bloat Control in Genetic Programming -- A Survey of Self Modifying Cartesian Genetic...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Testo
Elettronico eBook
7
Pubblicazione 2012
Sommario: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
Testo
Elettronico eBook
8
Pubblicazione 2015
Sommario: ... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...
Testo
Elettronico eBook
9
Pubblicazione 2006
Sommario: ...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...
Testo
Elettronico eBook
10
Pubblicazione 2007
Sommario: ... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...
Testo
Elettronico eBook
11
Pubblicazione 2015
Sommario: ...Testing and Inspection -- An Implementation Framework for Optimizing Test Case Generation Using...
Testo
Elettronico eBook
12
Pubblicazione 2014
Sommario: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testo
Elettronico eBook
13
Pubblicazione 2012
Sommario: ... from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.-  Waiting...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ...Invited Speaker -- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization...
Testo
Elettronico eBook
15
Pubblicazione 2008
Sommario: ...A Preliminary Study of Fitness Inheritance in Evolutionary Constrained Optimization...
Testo
Elettronico eBook
16
Pubblicazione 2015
Sommario: ... -- Supercompilation for Datatypes -- More type Inference in Java 8 -- Polynomial-Time Optimal Pretty-Printing...
Testo
Elettronico eBook
17
Pubblicazione 2013
Sommario: ... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...
Testo
Elettronico eBook
18
Pubblicazione 2005
Sommario: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Testo
Elettronico eBook
19
Sommario: ... Interface -- Optimizing and Scaling for Large Data Sets -- What’s Next for the Google Maps API? -- Advanced...
Testo
Elettronico eBook
20
Pubblicazione 2007
Sommario: ... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...
Testo
Elettronico eBook