1
2
Por Moengin, Parwadi
Publicado em 2003
... of barrier functions and penalty functions methods for solving the linear programming problems. All...
Obter o texto integral
Thesis
3
Por Parwadi Moengin
Publicado em 2016
Assuntos: ...LINEAR PROGRAMMING...
Obter o texto integral
Journal Contribution
4
Por Hunt, John., Hunt, John.
Publicado em 2014
Sumário: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Por Zainal Azmi, Nurazlin
Publicado em 2006
Assuntos: ...Animation (Cinematography) - Simulation methods...
Obter o texto integral
Thesis
6
Por Liu, G.R., Liu, G.R., Gu, Y.T.
Publicado em 2005
Sumário: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2014
Sumário: ...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Por Nisio, Makiko., Nisio, Makiko.
Publicado em 2015
Assuntos: ...Functional analysis....
Obter o texto integral
Recurso Electrónico livro electrónico
9
Por Zainal Azmi, Nurazlin
Publicado em 2006
...-scale or large-scale wrinkles. This research focuses on introducing a new shape function for simulating...
Obter o texto integral
Thesis
10
Publicado em 2015
Sumário: ... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2015
Sumário: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Assuntos: ...Programming languages (Electronic computers)....
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2008
Sumário: ...: An Experiment of Formal Methods -- Correct Channel Passing by Construction -- Semantics -- A Process Semantics...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2015
Sumário: ... -- Evolutionary Methods for the Construction of Cryptographic Boolean Functions -- TEMPLAR – A Framework...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2013
Sumário: ...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2014
Sumário: ...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2008
Sumário: ... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2008
Sumário: ... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2007
Sumário: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2008
Sumário: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obter o texto integral
Recurso Electrónico livro electrónico