1
2
by Moengin, Parwadi
Published 2003
... of barrier functions and penalty functions methods for solving the linear programming problems. All...
View full text
Thesis
3
by Parwadi Moengin
Published 2016
Subjects: ...LINEAR PROGRAMMING...
View full text
Journal Contribution
4
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
5
by Zainal Azmi, Nurazlin
Published 2006
Subjects: ...Animation (Cinematography) - Simulation methods...
View full text
Thesis
6
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Functional analysis....
View full text
Electronic eBook
7
Published 2014
Table of Contents: ...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...
View full text
Electronic eBook
8
by Liu, G.R., Liu, G.R., Gu, Y.T.
Published 2005
Table of Contents: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
View full text
Electronic eBook
9
by Zainal Azmi, Nurazlin
Published 2006
..., and the potential for a new 3D immersive communication metaphor for human-computer interaction. Wrinkles...
View full text
Thesis
10
Published 2008
Table of Contents: ...: An Experiment of Formal Methods -- Correct Channel Passing by Construction -- Semantics -- A Process Semantics...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...
View full text
Electronic eBook
12
Published 2010
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
View full text
Electronic eBook
14
15
Published 2008
Table of Contents: ... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... -- Evolutionary Methods for the Construction of Cryptographic Boolean Functions -- TEMPLAR – A Framework...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
View full text
Electronic eBook