Tag backtracking [20 articles] Export

Recent papers classified by the tag backtracking.

	A machine program for theorem-proving [My Copy] Commun. ACM, Vol. 5, No. 7. (July 1962), pp. 394-397. by Martin Davis, George Logemann, Donald Loveland posted to satisfiability dpll backtracking by gagliol on 2009-11-07 16:34:55 as along with 6 people chsticksel bsilverthorn bulwahn brothers bfraser voronov
	How to replace failure by a list of successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages [My Copy] Functional Programming Languages and Computer Architecture (1985), pp. 113-128. by Philip Wadler posted to backtracking exceptions functional-programming lazy-evaluation lists parsers pattern-matching by spl on 2009-06-22 16:42:31 as along with 2 people bulwahn michaelbanks
	Nonsystematic Backtracking Search [My Copy] (1995) by William D. Harvey posted to backtracking bounded by frlucas on 2009-03-27 09:48:46 as
	DNA Sequences in gal Operon Override Transcription Elongation Blocks [My Copy] Journal of Molecular Biology, Vol. 382, No. 4. (17 October 2008), pp. 843-858. by D. Lewis, N. Komissarova, P. Le, M. Kashlev, S. Adhya posted to backtracking experiment pauses rnap by margaritis on 2008-10-31 09:04:16 as along with 1 person coela
	Thermal Probing of E. coli RNA Polymerase Off-Pathway Mechanisms [My Copy] Journal of Molecular Biology, Vol. 382, No. 3. (10 October 2008), pp. 628-637. by Y. Mejia, H. Mao, N. Forde, C. Bustamante posted to backtracking experiments rnap by margaritis on 2008-10-30 10:15:20 as along with 1 person stk
	Inhibition of a Transcriptional Pause by RNA Anchoring to RNA Polymerase [My Copy] Molecular Cell, Vol. 31, No. 5. (05 September 2008), pp. 683-694. by N. Komissarova, T. Velikodvorskaya, R. Sen, R. King, S. Banikmaiti, R. Weisberg posted to backtracking elongation pausing polymerase by margaritis on 2008-10-16 11:55:44 as
	Nonsystematic backtracking search [My Copy] (1995) by William D. Harvey posted to backtracking ginsberg scheduling search student by pwais on 2008-08-19 19:25:49 as
	Depth-First Search and Linear Graph Algorithms [My Copy] SIAM Journal on Computing, Vol. 1, No. 2. (1972), pp. 146-160. by Robert Tarjan posted to algorithm backtracking biconnectivity connectivity depth_first_search graph_theory spanning_tree strong_connectivity_component by muraken on 2008-07-20 19:17:05 as along with 7 people dejan tanderson phreeza naegele djlin antonkratz timotay
	Deriving backtracking monad transformers [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197. by Ralf Hinze posted to backtracking haskell monads monad-transformers by zednenem on 2008-05-31 01:42:18 as
	Analysis of Promoter Targets for Escherichia coli Transcription Elongation Factor GreA In Vivo and In Vitro [My Copy] J. Bacteriol., Vol. 189, No. 24. (15 December 2007), pp. 8772-8785. by Ekaterina Stepanova, Jookyung Lee, Maria Ozerova, et al.Ekaterina Semenova, Kirill Datsenko, Barry L. Wanner, Konstantin Severinov, Sergei Borukhov posted to backtracking grea pauses transcription by margaritis on 2008-01-25 18:40:14 as along with 1 person operon
	Fluctuations, pauses and backtracking in DNA transcription [My Copy] Biophys. J. (24 August 2007), biophysj.107.105767. by Margaritis Voliotis, Netta Cohen, Carmen Molina-Paris, Tanniemola Liverpool posted to backtracking fluctuations noise stochasticity transcription by margaritis on 2008-01-09 11:22:22 as
	RNA polymerase marching backward. [My Copy] Science, Vol. 259, No. 5097. (12 February 1993), pp. 944-945. by G. A. Kassavetis, E. P. Geiduschek posted to backtracking proofreading transcription by margaritis on 2007-10-09 18:04:06 as
	Transcriptional fidelity and proofreading in Archaea and implications for the mechanism of TFS-induced RNA cleavage [My Copy] Molecular Microbiology, Vol. 52, No. 4. (2004), pp. 1133-1143. by Udo Lange, Winfried Hausner posted to archaea_pol backtracking cleavage proofreading tfs by margaritis on 2007-10-09 17:36:16 as
	Backtracking by single RNA polymerase molecules observed at near-base-pair resolution [My Copy] Nature, Vol. 426, No. 6967. (11 December 2003), pp. 684-687. by Joshua W. Shaevitz, Elio A. Abbondanzieri, Robert Landick, Steven M. Block posted to backtracking rnap single-molecule by margaritis on 2007-10-09 17:07:06 as along with 1 person mojopin85
	Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition [My Copy] Artif. Intell., Vol. 41, No. 3. (January 1990), pp. 273-312. by Rina Dechter posted to backtracking constraints by lcigler on 2007-08-17 12:22:09 as along with 1 person yipjustin
	Relating Models of Backtracking [My Copy] by Mitchell W. Dale posted to backtracking monad search by kapayama on 2007-03-19 02:18:12 as
	Typed logical variables in Haskell [My Copy] (2000) by K. Claessen, P. Ljungl posted to logic-programming haskell backtracking by AndreasSchropp on 2007-01-19 17:21:26 as along with 3 people zednenem msakai jsala
	Backtracking, interleaving, and terminating monad transformers: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203. by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted to backtracking continuations control-delimiters logic-programming monad-transformers monads streams by AndreasSchropp on 2007-01-03 14:08:15 as along with 4 people and 2 groups greenrd voigt mahler msakai Rightscom SRG_at_UCD
	Deriving backtracking monad transformers [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197. by Ralf Hinze posted to backtracking haskell logic-programming monad-transformers monads by AndreasSchropp on 2006-12-22 21:50:31 as along with 3 people and 1 group dherman msakai mcclurmc NU-PRL
	AMORD explicit control of reasoning [My Copy] SIGPLAN Not., Vol. 12, No. 8. (August 1977), pp. 116-125. by Johan de Kleer, Jon Doyle, Guy L. Steele, Gerald J. Sussman posted to amord backtracking by deactivated on 2006-05-14 17:22:39 as

Note: You may cite this page as: http://www.citeulike.org/tag/backtracking

monad-transformers	5
monads	5
haskell	3
logic-programming	3
rnap	3
transcription	3
functional-programming	2
pattern-matching	2
pauses	2
proofreading	2
search	2
1985	1
algorithm	1
amord	1
archaea_pol	1
biconnectivity	1
bounded	1
cleavage	1
combinator	1
connectivity	1
constraints	1
continuations	1
control-delimiters	1
depth_first_search	1
dpll	1
elongation	1
exception-handling	1
exceptions	1
experiment	1
experiments	1
fluctuations	1
ginsberg	1
graph_theory	1
grea	1
lazy	1
lazy-evaluation	1
lists	1
monad	1
noise	1
parser	1
parsers	1
pausing	1
polymerase	1
programming	1
satisfiability	1
scheduling	1
single-molecule	1
spanning_tree	1
stochasticity	1
streams	1
strong_connectivity_component	1
student	1
tfs	1

Tag backtracking [20 articles] Export

Related Tags