Tag termination [87 articles] Export

Recent papers classified by the tag termination.

	A predicative analysis of structural recursion [My Copy] J. Funct. Program., Vol. 12, No. 1. (2002), pp. 1-41. by Andreas Abel, Thorsten Altenkirch posted to termination rg-2009 recursion program-analysis by robertjohnsimmons to the group ConcertRG on 2009-08-18 07:43:56 as
	Call-by-value Termination in the Untyped λ-calculus [My Copy] Logical Methods in Computer Science, Vol. 4, No. 1. (17 March 2008) by Neil Jones, Nina Bohr posted to termination lambda-calculus by robertjohnsimmons on 2009-08-14 23:25:59 as
	Proving that programs eventually do something good [My Copy] SIGPLAN Not., Vol. 42, No. 1. (2007), pp. 265-276. by Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi posted to program-analysis termination by robertjohnsimmons on 2009-07-22 23:42:04 as
	Shoot meristem maintenance is controlled by a GRAS-gene mediated signal from differentiating cells [My Copy] Genes & Development, Vol. 16, No. 17. (1 September 2002), pp. 2213-2218. by Jeroen Stuurman, Fabienne Jäggi, Cris Kuhlemeier posted to petunia stem_cell termination wuschel by mlog on 2009-07-19 13:25:53 as
	Termination proofs for systems code [My Copy] In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (2006), pp. 415-426. by Byron Cook, Andreas Podelski, Andrey Rybalchenko posted to static-analysis termination by mattmight on 2009-07-15 01:54:14 as along with 1 person zuleger
	Tyrolean Termination Tool 2 [My Copy] Rewriting Techniques and Applications (2009), pp. 295-304. by Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp posted to implementation termination by radico on 2009-07-07 10:56:44 as
	Transcription termination by nuclear RNA polymerases [My Copy] Genes & Development, Vol. 23, No. 11. (1 June 2009), pp. 1247-1269. by Patricia Richard, James L. Manley posted to polyadenylation review termination transcription by clearbluespring on 2009-06-22 13:57:40 as
	KBO Orientability [My Copy] Journal of Automated Reasoning by Harald Zankl, Nao Hirokawa, Aart Middeldorp posted to kbo sat termination by radico on 2009-06-04 03:58:07 as
	A comparative study of exception handling mechanisms for building dependable object-oriented software [My Copy] Journal of Systems and Software, Vol. 59, No. 2. (15 November 2001), pp. 197-222. by Alessandro F. Garcia, Cecilia M. Rubira, Alexander Romanovsky, Jie Xu posted to exception resumption termination by martinrytter on 2009-05-10 11:05:48 as along with 2 people toppi robertlischke
	Floral stem cell termination involves the direct regulation of AGAMOUS by PERIANTHIA [My Copy] Development, Vol. 136, No. 10. (15 May 2009), pp. 1605-1611. by Pradeep Das, Toshiro Ito, Frank Wellmer, et al.Teva Vernoux, Annick Dedieu, Jan Traas, Elliot M. Meyerowitz posted to ag arabidopsis development flower meyerowitz stem_cell termination by mlog on 2009-05-01 19:06:23 as
	Dual roles of the bZIP transcription factor PERIANTHIA in the control of floral architecture and homeotic gene expression [My Copy] Development, Vol. 136, No. 10. (15 May 2009), pp. 1613-1620. by Annette T. Maier, Sandra Stehling-Sun, Heike Wollmann, et al.Monika Demar, Ray L. Hong, Silke Haubeiss, Detlef Weigel, Jan U. Lohmann posted to ag arabidopsis development flower termination weigel by mlog on 2009-05-01 19:04:42 as
	Transcription termination at intrinsic terminators: the role of the RNA hairpin. [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 92, No. 19. (12 September 1995), pp. 8793-8797. by K. S. Wilson, P. H. von Hippel posted to hairpin termination transcription by nikkiwithers on 2009-04-20 11:30:44 as
	Mechanism of Intrinsic Transcription Termination and Antitermination [My Copy] Science, Vol. 284, No. 5414. (23 April 1999), pp. 611-615. by W. S. Yarnell, J. W. Roberts posted to intrinsic termination transcription by nikkiwithers on 2009-04-20 11:27:59 as
	Regulatory Sequences Involved in the Promotion and Termination of RNA Transcription [My Copy] Annual Review of Genetics, Vol. 13, No. 1. (1979), pp. 319-353. by M. Rosenberg, D. Court posted to promotion regulation sequence termination transcription by nikkiwithers on 2009-04-20 11:21:55 as
	Termination of transcription in E. coli. [My Copy] Cell, Vol. 32, No. 4. (April 1983), pp. 1029-1032. by W. M. Holmes, T. Platt, M. Rosenberg posted to operon regulation termination transcription by nikkiwithers on 2009-04-20 11:14:10 as
	Rho-dependent terminators and transcription termination. [My Copy] Microbiology (Reading, England), Vol. 152, No. Pt 9. (September 2006), pp. 2515-2528. by M. Sofia Ciampi posted to operons rho-dependent termination transcription by nikkiwithers on 2009-04-13 10:10:26 as
	Towards boundedness of minimal log discrepancies by Riemann--Roch theorem [My Copy] (3 Mar 2009) by Masayuki Kawakita posted to acc discrepancy termination by deepthought on 2009-03-04 21:43:28 as
	Luminal Ca2+ Controls Termination and Refractory Behavior of Ca2+-Induced Ca2+ Release in Cardiac Myocytes [My Copy] Circ Res, Vol. 91, No. 5. (6 September 2002), pp. 414-420. by Dmitry Terentyev, Serge Viatchenko-Karpinski, Hector H. Valdivia, Ariel L. Escobar, Sandor Gyorke posted to calcium cardiac cicr control induced luminal myocyte receptor refractory release reticulum ryanodine ryr sarcoplasmic sr termination by cherrie on 2009-02-28 07:42:11 as along with 1 person chantelle
	The Active Site of the Ribosome Is Composed of Two Layers of Conserved Nucleotides with Distinct Roles in Peptide Bond Formation and Peptide Release [My Copy] Cell, Vol. 117, No. 5. (May 2004), pp. 589-599. by E. Youngman posted to azithromycin becker ribosome termination by bratwurst on 2009-01-30 15:47:37 as
	The critical role of the universally conserved A2602 of 23S ribosomal RNA in the release of the nascent peptide during translation termination. [My Copy] Molecular cell, Vol. 11, No. 1. (January 2003), pp. 103-112. by N. Polacek, M. J. Gomez, K. Ito, L. Xiong, Y. Nakamura, A. Mankin posted to becker ribosome termination by bratwurst on 2009-01-30 15:41:57 as
	Termination checking with types [My Copy] (2002) by A. Abel posted to termination type-theory by msakai on 2009-01-12 10:19:35 as along with 4 people and 2 groups shimomura greenrd zednenem ardt SRG_at_UCD Lambda the Ultimate
	Frequent appearance of novel protein-coding sequences by frameshift translation. [My Copy] Genomics (3 August 2006) by Kohji Okamura, Lars Feuk, Tomàs Marquès-Bonet, Arcadi Navarro, Stephen W W. Scherer posted to codon evolution frameshift gene genome human kohji mouse protein-coding termination tpa by Glires on 2008-12-15 07:20:18 as along with 1 person aprasad
	Messenger RNA Surveillance Systems Monitoring Proper Translation Termination [My Copy] J Biochem, Vol. 143, No. 1. (1 January 2008), pp. 1-8. by Nobuyoshi Akimitsu posted to termination translation by migee on 2008-11-24 05:41:55 as
	Effect of premature termination of translation on mRNA stability depends on the site of ribosome release [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 84, No. 14. (July 1987), pp. 4890-4894. by G. Nilsson, J. G. Belasco, S. N. Cohen, A. von Gabain posted to in premature termination translation by migee on 2008-11-24 05:34:12 as
	Motor programmes for the termination of gait in humans: organisation and velocity-dependent adaptation [My Copy] J Physiol, Vol. 537, No. 3. (12 December 2001), pp. 1059-1072. by Paolo Crenna, Do M. Cuong, Yvon Breniere posted to gait termination by isami on 2008-11-21 09:09:29 as
	Termination Analysis of Model Transformations by Petri Nets [My Copy] Graph Transformations (2006), pp. 260-274. by Dániel Varró, Szilvia Varró–gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer posted to graph-transformation model-transformation termination by varrodan on 2008-11-03 16:57:26 as along with 1 person tropic
	Structure and surface termination of ZnO films grown on (0001)- and (112¯0)-oriented Al2O3 [My Copy] Thin Solid Films, Vol. 510, No. 1-2. (3 July 2006), pp. 346-350. by M. Ay, A. Nefedov, Gil, Ch Wöll, H. Zabel posted to oxygen surface_energy termination theory zinc zno by carygallen on 2008-09-10 01:53:05 as
	Solving Partial Order Constraints for LPO Termination [My Copy] Term Rewriting and Applications (2006), pp. 4-18. by Michael Codish, Vitaly Lagoon, Peter Stuckey posted to termination by radico on 2008-09-05 10:47:44 as
	Proving Conditional Termination [My Copy] Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings In CAV, Vol. 5123 (2008), pp. 328-340. by Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv posted to quantifier_elimination termination by zuleger on 2008-08-28 12:01:39 as
	Connections between mRNA 3' end processing and transcription termination. [My Copy] Current opinion in cell biology, Vol. 17, No. 3. (June 2005), pp. 257-261. by S. Buratowski posted to polyadenylation review termination transcription by rschulz on 2008-06-26 09:49:44 as
	Transcription termination and RNA degradation contribute to silencing of RNA polymerase II transcription within heterochromatin. [My Copy] Molecular cell, Vol. 29, No. 3. (15 February 2008), pp. 313-323. by L. Vasiljeva, M. Kim, N. Terzi, L. M. Soares, S. Buratowski posted to heterochromatin rna-degradation termination transcription by rschulz on 2008-06-26 09:33:10 as
	Termination factor Rho and its cofactors NusA and NusG silence foreign DNA in E. coli. [My Copy] Science (New York, N.Y.), Vol. 320, No. 5878. (16 May 2008), pp. 935-938. by Christopher J. Cardinale, Robert S. Washburn, Vasisht R. Tadigotla, Lewis M. Brown, Max E. Gottesman, Evgeny Nudler posted to bacteria sequence termination by carlk on 2008-06-10 16:40:07 as
	Specification and Verification of a Formal System for Structurally Recursive Functions [My Copy] In TYPES (1999), pp. 1-20. by Andreas Abel posted to programming-languages termination type-theory by mfrydr to the group complogic on 2008-06-09 18:51:52 as
	A Predicative Analysis of Structural Recursion [My Copy] (1999) by Andreas Abel, Thorsten Altenkrich posted to programming-languages termination by mfrydr to the group complogic on 2008-06-09 18:50:07 as
	Tyrolean termination tool: Techniques and features [My Copy] Inf. Comput., Vol. 205, No. 4. (April 2007), pp. 474-511. by Nao Hirokawa, Aart Middeldorp posted to dependency-pair implementation termination by radico on 2008-06-02 14:50:09 as
	On the decidability and axiomatization of query finiteness in deductive databases [My Copy] J. ACM, Vol. 45, No. 4. (July 1998), pp. 588-633. by Michael Kifer posted to finiteness termination by anonyox on 2008-05-27 18:31:58 as
	Call-by-value Termination in the Untyped Lambda-calculus [My Copy] (17 Mar 2008) by Neil D. Jones, Nina Bohr posted to call-by-value homepage termination by pedagand to the group Lambda the Ultimate on 2008-05-11 11:34:06 as
	Posttranscriptional Gene Regulation by Spatial Rearrangement of the 3′ Untranslated Region [My Copy] PLoS Biology, Vol. 6, No. 4. (1 April 2008), e92. by Andrea B. Eberle, Lukas Stalder, Hansruedi Mathys, Rodolfo Z. Orozco, Oliver Mühlemann posted to cell codon conserved decay degradation evolution folding function gene human mechanism mrna nmd nonsensemediated pabpc pathway polya polyabinding posttranscriptional protein ptc regulation termination translation untranslated by jonathanjacobs to the group PROTEIN TRANSLATION on 2008-04-30 15:49:48 as
	Homeomorphic embedding for online termination [My Copy] (1998) by M. Leuschel posted to termination by ardt on 2008-04-15 14:57:41 as
	Applied force reveals mechanistic and energetic details of transcription termination. [My Copy] Cell, Vol. 132, No. 6. (21 March 2008), pp. 971-982. by M. H. Larson, W. J. Greenleaf, R. Landick, S. M. Block posted to single-molecule termination transcription by margaritis on 2008-04-14 13:47:45 as along with 1 person and 1 group samjlord moernerlab
	Cohesin Complex Promotes Transcriptional Termination between Convergent Genes in S. pombe [My Copy] Cell, Vol. 132, No. 6. (21 March 2008), pp. 983-995. by M. Gullerova posted to cohesin interference termination transcription yeast by rschulz on 2008-03-26 08:41:25 as along with 1 person diaz0058
	Linking cohesin to gene regulation. [My Copy] Cell, Vol. 132, No. 6. (21 March 2008), pp. 925-928. by Daniel Peric-Hupkes, Bas van Steensel posted to cohesin ctcf interference mechanism review termination transcription by rschulz on 2008-03-24 13:38:03 as along with 4 people clearbluespring diaz0058 inesdesantiago maralena
	The Hydra Battle Revisited [My Copy] Rewriting, Computation and Proof (2007), pp. 1-27. by Nachum Dershowitz, Georg Moser posted to termination by radico on 2008-03-23 17:42:07 as
	Molecular dissection of mammalian RNA polymerase II transcriptional termination. [My Copy] Mol Cell, Vol. 29, No. 5. (14 March 2008), pp. 600-610. by S. West, N. J. Proudfoot, M. J. Dye posted to mechanism polyadenylation termination transcription by rschulz on 2008-03-22 14:06:29 as along with 1 person lesander
	EM visualization of Pol II genes in Drosophila: most genes terminate without prior 3' end cleavage of nascent transcripts. [My Copy] Chromosoma, Vol. 111, No. 1. (March 2002), pp. 1-12. by Y. N. Osheim, M. L. Sikes, A. L. Beyer posted to em ii pol polymerase termination transcription by skoch3 to the group Koch_Lab on 2008-03-20 05:40:05 as
	Non-polyadenylated RNA polymerase II termination is induced by transcript cleavage. [My Copy] J Biol Chem (5 March 2008) by Sadeq Nabavi, Ross N N. Nazar posted to cleavage polyadenylation termination by bertelsen on 2008-03-11 23:43:49 as
	Data exchange: computing cores in polynomial time [My Copy] In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2006), pp. 40-49. by Georg Gottlob, Alan Nash posted to core termination weak-acyclicity by anonyox on 2008-01-27 17:24:30 as along with 1 person masteraka
	How processes learn [My Copy] In PODC '85: Proceedings of the fourth annual ACM symposium on Principles of distributed computing (1985), pp. 204-214. by Mani K. Chandy, Jayadev Misra posted to distributed termination tesi by fdr on 2008-01-23 16:15:41 as
	Rewrite Systems [My Copy] In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) (1990), pp. 243-320. by Nachum Dershowitz, Jean-Pierre Jouannaud posted to completion rewriting survey termination by radico on 2007-11-21 09:17:45 as along with 5 people and 1 group rgrig jrw scis0000001 ronjferg dara SRG_at_UCD
	Proving Existential Termination of Normal Logic Programs [My Copy] In Algebraic Methodology and Software Technology (1996), pp. 375-390. by Massimo Marchiori posted to prolog proof termination by KarlKlose on 2007-11-13 10:32:17 as

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

Result page: 1 2 Next

transcription	16
calcium	9
cardiac	9
spark	6
dependency-pair	5
myocyte	5
regulation	5
reticulum	5
translation	5
becker	4
mechanism	4
polyadenylation	4
programming-languages	4
receptor	4
release	4
ribosome	4
ryanodine	4
ryr	4
sarcoplasmic	4
cicr	3
codon	3
completion	3
control	3
deadlock	3
diffusing-computation	3
evolution	3
gene	3
graph	3
human	3
program-analysis	3
review	3
sequence	3
sr	3
tesi	3
type-theory	3
types	3
ag	2
arabidopsis	2
bacteria	2
cell	2
cohesin	2
complex	2
conserved	2
ctd	2
cycle-detector	2
decay	2
defibrillation	2
degradation	2
delayed	2
development	2
distributed	2
electrophysiology	2
elongation	2
em	2
flower	2
folding	2
function	2
homepage	2
ii	2
implementation	2
interference	2
ito	2
kbo	2
local	2
mathematical	2
model	2
mrna	2
nmd	2
nonsensemediated	2
pabpc	2
partialevaluation	2
passivation	2
pathway	2
pol	2
polii	2
polya	2
polyabinding	2
polymerase	2
polynomial-ordering	2
posttranscriptional	2
program	2
protein	2
ptc	2
recursion	2
reentry	2
rewriting	2
sat	2
sparks	2
stem_cell	2
teflon	2
untranslated	2
cleavage	1
example	1
hairpin	1
helix	1
inactivation	1
incremental-termination	1
rho-dependent	1
strategy	1
tabling	1

Tag termination [87 articles] Export

Related Tags