Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 -
6 of
6
Captain Jack: New Variable Selection Heuristics in Local Search for SAT
"... Abstract. Stochastic local search (SLS) methods are well known for their ability to find models of randomly generated instances of the propositional satisfiability problem (SAT) very effectively. Two well-known SLS-based SAT solvers are SPARROW, one of the best-performing solvers for random 3-SAT in ..."
Abstract
-
Cited by 15 (3 self)
- Add to MetaCart
instances, and VE-SAMPLER, which achieved significant performance improvements over previous SLS solvers on SAT-encoded software verification problems. Here, we introduce a new highly parametric algorithm, CAPTAIN JACK, which extends the parameter space of SPARROW to incorporate elements from VE
A SELECTIVE LETHAL EFFECT OF PENICILLIN ON SARCOMA CELLS GROWING WITH NORMAL TISSUE IN ROLLER TUBE CULTURES*
"... 43 made available small amounts of this substance for experimental study. Accordingly, at the suggestion of Lieutenant Colonel Carl J. Lind and Captain Jack M. Evans, some of the drug was taken to The Wistar Institute of Anatomy and Biology in Philadelphia, for use in tissue culture experiments. The ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
43 made available small amounts of this substance for experimental study. Accordingly, at the suggestion of Lieutenant Colonel Carl J. Lind and Captain Jack M. Evans, some of the drug was taken to The Wistar Institute of Anatomy and Biology in Philadelphia, for use in tissue culture experiments
unknown title
"... tion, let’s look at what happens here around the 4th of July every year. Hell-on-Wheels is now 15 years old. This year the sixth per-son to be Match Director took the reins for HOW and put together a team for this great SASS match. Each time a new Match Director takes over, that person assigns commi ..."
Abstract
- Add to MetaCart
Station in Northern Colorado, for the last several years with great success. Captain Jack Storm, SASS #68631, was corralled next and asked to take on the task of mak-ing the stages look like you were in the Old West of the 1880s. This was a challenge Captain Jack took on with pleasure and gusto. He
Midway through Johnson Jones Hooper’s 1845 Some Adventures of Captain Simon Suggs (1993, 82), the narrative
"... declares its arrival at the “most important moment in the history of our hero, ” but then digresses, issuing the following apology: And we beg the reader to believe, that we approach this portion of our subject with a profound regret at our own incapacity for its proper illumination. Would that thy ..."
Abstract
- Add to MetaCart
to have broken out ” (82). In this compressed introduction to a fictionalized episode set during an actual historical war, the nar-rative makes a number of allusions to national politics: Andrew Jack-son and his campaign biographer Amos Kendall; Jackson’s honorary degree from Harvard; Jackson’s political
Table of Contents
, 1995
"... Approved for public release; distribution unlimited Acknowledgments I would like to thank to my advisor, Captain Joseph Sacchini, for putting up with my numerous questions and always having time to help me out in this research effort. I would also like to thank Dr. Byron Welsh for the assistance he ..."
Abstract
- Add to MetaCart
Approved for public release; distribution unlimited Acknowledgments I would like to thank to my advisor, Captain Joseph Sacchini, for putting up with my numerous questions and always having time to help me out in this research effort. I would also like to thank Dr. Byron Welsh for the assistance he
COMMITTEE: NAME/DEPARTMENT SIGNATURE Advisor
, 1998
"... First, I would like to thank God for all the blessings he has provided me. Although some teachers may disagree, He has graced me with a great intellectual capacity, and I hope I have put it to good use. I know He overlooked every keystroke I made at my computer, and I trust in Him always. Next, I wi ..."
Abstract
- Add to MetaCart
wish to express my appreciation to my advisor, Lieutenant Colonel Jack Jackson. Without his compassion, this document would never have been completed. He allowed me to pursue a topic which interested me, and he continuously sacrificed himself and his time to ensure that I would graduate. Also, he
