- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 521 to 530 of 10626 (0.058 seconds)Spelling suggestions: "subject:"“programming”"" "subject:"“erogramming”""
| 521 |
Semidefinite programming under uncertaintyZhu, Yuntao, January 2006 (has links) (PDF)
Thesis (Ph. D.)--Washington State University, August 2006. / Includes bibliographical references.
|
| 522 |
Numerical methods for d-parametric nonlinear programming with chemical process control and optimization applicationsHale, Elaine Thompson, Qin, S. Joe, January 2005 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2005. / Supervisor: S. Joe Qin. Vita. Includes bibliographical references.
|
| 523 |
Decidability and expressiveness of logics of processes /Abrahamson, Karl Raymond. January 1980 (has links)
Thesis--University of Washington. / Vita. Bibliography: leaves [164]-167.
|
| 524 |
Expressiveness of answer set languagesFerraris, Paolo, January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2007. / Vita. Includes bibliographical references.
|
| 525 |
Improving error discovery using guided model checking /Rungta, Neha S. January 2006 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2006. / Includes bibliographical references (p. 31-33).
|
| 526 |
A SAT-based planning framework for optimizing resource production /Ventura, Christopher. January 1900 (has links)
Thesis (M.S.)--Oregon State University, 2008. / Printout. Includes bibliographical references (leaves 54-56). Also available on the World Wide Web.
|
| 527 |
APOP an automatic pattern- and object-based code parallelization framework for clusters /Liu, Xuli. January 1900 (has links)
Thesis (Ph.D.)--University of Nebraska-Lincoln, 2007. / Title from title screen (site viewed July 10, 2007). PDF text: 140 p. : ill. UMI publication number: AAT 3252445. Includes bibliographical references. Also available in microfilm and microfiche formats.
|
| 528 |
Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition /Liblit, Ben. January 1900 (has links)
Revised thesis (Ph.D.) - University of California, Berkeley, 2004. / Includes bibliographical references (p. 97-101) and index.
|
| 529 |
Evolving Robocode Tank FightersEisenstein, Jacob 28 October 2003 (has links)
In this paper, I describe the application of genetic programming to evolve a controller for a robotic tank in a simulated environment.The purpose is to explore how genetic techniques can best be applied to produce controllers based on subsumption and behavior oriented languages such as REX. As part of my implementation, I developed TableRex, a modification of REX that can be expressed on a fixed-lengthgenome. Using a fixed subsumption architecture of TableRex modules, I evolved robots that beat some of the most competitive hand-coded adversaries.
|
| 530 |
Dynamically discovering likely program invariants /Ernst, Michael D. January 2000 (has links)
Thesis (Ph. D.)--University of Washington, 2000. / Vita. Includes bibliographical references (p. 125-141).
|
Page generated in 0.1246 seconds