新規登録 | ログイン | FAQ      [?] 

タグ: atp [183 articles]

Recent papers classified by the tag atp.
  • Adenosine and Adenosine Receptors in the Pathomechanism and Treatment of Respiratory Diseases.
    Current medicinal chemistry, Vol. 15, No. 9. (2008), pp. 917-922.
    by G Vass
    posted to asthma atp by YamaPing on 2008-05-15 05:45:33 as **
  • ATP plays a role in neurite stimulation with activated mast cells.
    J Neuroimmunol, Vol. 192, No. 1-2. (December 2007), pp. 49-56.
    by R Suzuki, T Furuno, K Okamoto, R Teshima, M Nakanishi
    posted to atp endnote mast ngf by YamaPing on 2008-03-31 03:32:22 as **
  • ATP hydrolysis by ORC catalyzes reiterative Mcm2-7 assembly at a defined origin of replication.
    Mol Cell, Vol. 16, No. 6. (22 December 2004), pp. 967-978.
    by JL Bowers, JC Randell, S Chen, SP Bell
    posted to atp dna hydrolysis mcm mcm2-7 orc origin replication by xico on 2005-12-26 22:36:14 as *** along with 1 group WetBiology
  • Clostridium pasteurianum F1Fo ATP Synthase: Operon, Composition, and Some Properties
    J. Bacteriol., Vol. 185, No. 18. (15 September 2003), pp. 5527-5535.
    by Amaresh Das, Lars G Ljungdahl
    posted to atp clostridia in operon by wxg119 on 2006-06-28 14:56:10 as **
  • Relationship between Growth Rate and ATP Concentration in Escherichia coli: A BIOASSAY FOR AVAILABLE CELLULAR ATP
    J. Biol. Chem., Vol. 279, No. 9. (27 February 2004), pp. 8262-8268.
    by David A Schneider, Richard L Gourse
    posted to atp ecoli growth sampling by westoll on 2008-03-03 14:15:23 as **
  • Transcription Regulation by Initiating NTP Concentration: rRNA Synthesis in Bacteria
    Science, Vol. 278, No. 5346. (19 December 1997), pp. 2092-2097.
    by Tamas Gaal, Michael S Bartlett, Wilma Ross, Charles L Turnbough, Richard L Gourse
    posted to atp ecoli growth by westoll on 2008-02-15 10:35:23 as **
  • Invariance of the Nucleoside Triphosphate Pools of Escherichia coli with Growth Rate
    J. Biol. Chem., Vol. 275, No. 6. (11 February 2000), pp. 3931-3935.
    by Carsten Petersen, Lisbeth B Moller
    posted to atp ecoli growth by westoll on 2008-03-03 14:13:35 as **
  • Simulation of action potentials from metabolically impaired cardiac myocytes. Role of ATP-sensitive K+ current.
    Circ Res, Vol. 79, No. 2. (August 1996), pp. 208-221.
    by JM Ferrero, J Sáiz, JM Ferrero, NV Thakor
    posted to adp atp katp by vgurev on 2006-06-19 19:22:44 as ** along with 1 person and 1 group brocktice TulaneCEP
  • Endothelial nitric oxide synthase and calcium production in arterial geometries: an integrated fluid mechanics/cell model.
    Journal of biomechanical engineering, Vol. 130, No. 1. (February 2008)
    by A Comerford, MJ Plank, T David
    posted to atp carotid flow masstransfer numerical secondaryflow unsteady wallmodel by vandoormaal on 2008-06-25 13:25:11 as **
  • Endothelial Ca2+ waves preferentially originate at specific loci in caveolin-rich cell edges
    Proceedings of the National Academy of Sciences, Vol. 95, No. 9. (28 April 1998), pp. 5009-5014.
    by Masashi Isshiki, Joji Ando, Risa Korenaga, Hiroshi Kogo, Toyoshi Fujimoto, Toshiro Fujita, Akira Kamiya
    posted to atp ca endothelial no wss by vandoormaal on 2008-02-14 14:06:24 as *
  • The ATP-waiting conformation of rotating F1-ATPase revealed by single-pair fluorescence resonance energy transfer.
    Proceedings of the National Academy of Sciences of the United States of America, Vol. 100, No. 16. (5 August 2003), pp. 9314-9318.
    by R Yasuda, T Masaike, K Adachi, H Noji, H Itoh, K Kinosita
    posted to smfret atp by toerst on 2008-10-08 15:21:23 as ** along with 1 person yusdi
  • New sample preparation method for the capillary electrophoretic determination of adenylate energy charge in human erythrocytes
    Journal of Biochemical and Biophysical Methods, Vol. 45, No. 2. (11 September 2000), pp. 141-146.
    by Nazmi Özer, Yasemin Aksoy, Hamdi I Ögüs
    posted to atp stability by TOchi on 2008-05-20 09:02:22 as **
  • Isolated epsilon subunit of Bacillus subtilis F1-ATPase binds ATP.
    FEBS Lett, Vol. 579, No. 30. (19 December 2005), pp. 6875-6878.
    by Y Kato-Yamada
    posted to atp bf1 epsilon by tji on 2007-12-06 06:12:42 as **
  • Inhibitory properties of endogenous subunit [epsilon] in the Escherichia coli F1 ATPase
    Archives of Biochemistry and Biophysics, Vol. 197, No. 1. (1 October 1979), pp. 83-89.
    by Patrice P Laget, Jeffrey B Smith
    posted to atp epsilon inhibitor by tji on 2007-12-11 07:19:58 as **
  • Energy-dependent changes in the conformation of the epsilon subunit of the chloroplast ATP synthase.
    J Biol Chem, Vol. 262, No. 31. (5 November 1987), pp. 15037-15040.
    by ML Richter, RE McCarty
    posted to atp cf1 epsilon by tji on 2007-12-10 06:12:14 as **
  • Highly coupled ATP synthesis by F1-ATPase single molecules
    Nature, Vol. 433, No. 7027. (17 February 2005), pp. 773-777.
    by Yannick Rondelez, Guillaume Tresset, Takako Nakashima, Yasuyuki Kato-Yamada, Hiroyuki Fujita, Shoji Takeuchi, Hiroyuki Noji
    posted to atp epsilon by tji on 2007-12-10 06:03:38 as **
  • Photo-induced proton gradients and ATP biosynthesis produced by vesicles encapsulated in a silica matrix.
    Nat Mater, Vol. 4, No. 3. (March 2005), pp. 220-224.
    by TJ Luo, R Soong, E Lan, B Dunn, C Montemagno
    posted to atp bacteriorhodopsin biosynthesis matrix silica synthase by tempestblue on 2005-11-03 07:48:30 as **
  • Kinesin takes one 8-nm step for each ATP that it hydrolyzes.
    J Biol Chem, Vol. 274, No. 6. (5 February 1999), pp. 3667-3671.
    by DL Coy, M Wagenbach, J Howard
    posted to atp kinesin step by tempestblue on 2005-11-09 12:39:55 as ** along with 1 person skoch3
  • Control of a biomolecular motor-powered nanodevice with an engineered chemical switch.
    Nat Mater, Vol. 1, No. 3. (November 2002), pp. 173-177.
    by H Liu, JJ Schmidt, GD Bachand, SS Rizk, LL Looger, HW Hellinga, CD Montemagno
    posted to atp biomolecular motor synthase by tempestblue on 2005-11-03 03:56:19 as **
  • Effect of the ATP level on the overall protein biosynthesis rate in a wheat germ cell-free system.
    Biochim Biophys Acta, Vol. 1293, No. 2. (16 April 1996), pp. 207-212.
    by SV Matveev, LM Vinokurov, LA Shaloiko, C Davies, EA Matveeva, Alakhov YuB
    posted to artificial atp cell by tempestblue on 2005-11-07 13:32:55 as **
  • Powering an inorganic nanodevice with a biomolecular motor.
    Science, Vol. 290, No. 5496. (24 November 2000), pp. 1555-1558.
    by RK Soong, GD Bachand, HP Neves, AG Olkhovets, HG Craighead, CD Montemagno
    posted to atp biomolecular motor synthase by tempestblue on 2005-11-03 03:56:43 as **
  • Physiology and Pathophysiology of Purinergic Neurotransmission
    Physiol. Rev., Vol. 87, No. 2. (1 April 2007), pp. 659-797.
    by Geoffrey Burnstock
    posted to atp purinergic review by stschulz on 2008-05-15 19:06:42 as **
  • P2X receptors as cell-surface ATP sensors in health and disease
    Nature, Vol. 442, No. 7102., pp. 527-532.
    by Baljit S Khakh, Alan R North
    posted to atp p2x review by stschulz on 2008-05-15 19:45:09 as ** along with 3 people aspecht Guerlet chialinho
  • Molecular physiology of p2x receptors and atp signalling at synapses
    Nat Rev Neurosci, Vol. 2, No. 3. (March 2001), pp. 165-174.
    by Baljit S Khakh
    posted to atp p2x review by stschulz on 2008-05-15 19:43:58 as ****
  • Vesicular release of ATP at central synapses
    Pflügers Archiv, Vol. 452, No. 5. (August 2006), pp. 589-597.
    by Pankratov, Yuri, Lalo, Ulyana, Verkhratsky, Alexei, North,
    posted to atp release review by stschulz on 2008-05-15 19:01:09 as ****
  • On the Role of Extracellular ATP in the Induction of Long-Term Potentiation in the Hippocampus
    Journal of Neurochemistry, Vol. 63, No. 5. (1994), pp. 1731-1738.
    by A Wieraszko, YH Ehrlich
    posted to atp ltp by stschulz on 2008-05-15 19:10:57 as ***
  • ATP hydrolysis is required to reset the ATP-binding cassette dimer into the resting-state conformation
    PNAS, Vol. 102, No. 50. (13 December 2005), pp. 17969-17974.
    by Gang Lu, James M Westbrooks, Amy L Davidson, Jue Chen
    posted to atp bound-unbound mechianism by shuns on 2005-12-20 03:11:11 as **
  • KED: A Deontic Theorem Prover
    (1994), pp. 60-76.
    by Alberto Artosi, Paola Cattabriga, Guido Governatori
    edited by Carlo Biagioli, Giovanni Sartor, Daniela Tiscornia
    posted to atp deontic-logic effects by Scis0000002 on 2007-06-10 18:03:17 as **
  • A Generic Approach to Building User Interfaces for Theorem Provers
    Journal of Symbolic Computation, Vol. 25, No. 2. (1998), pp. 161-194.
    by Yves Bertot, Laurent Thery
    posted to atp gui sketches theorem-provers ui by Scis0000002 on 2007-08-07 22:35:46 as **
  • The Nuprl Open Logical Environment
    (2000), pp. 170-176.
    by Stuart F Allen, Robert L Constable, Rich Eaton, Christoph Kreitz, Lori Lorigo
    posted to atp nuprl by scis0000001 on 2007-05-22 20:24:27 as **
  • Agent-Based Theorem Proving
    by Christoph B Uller
    posted to atp itp mas rmas by scis0000001 on 2006-12-10 15:47:54 as **
  • Can a Higher-Order and a First-Order Theorem
    by Prover C Christoph
    posted to atp fol hol by scis0000001 on 2006-12-10 15:45:11 as **
  • Isabelle/Isar --- a versatile environment for human-readable formal proof documents
    (2002)
    by Markus M Wenzel
    posted to atp isabelle by scis0000001 on 2006-09-24 16:02:22 as **
  • 2OBJ: a metalogical framework theorem prover based on equational logic
    (1992), pp. 69-86.
    by Joseph Goguen, Andrew Stevens, Hendrik Hilberdink, Keith Hobley
    posted to atp equational-logic metalogics by scis0000001 on 2007-03-16 09:49:44 as **
  • A comparison of the mathematical proof languages Mizar and Isar
    (2002)
    by M Wenzel, F Wiedijk
    posted to atp mizar by scis0000001 on 2006-09-24 16:06:38 as **
  • Argumentation-theoretic proof procedures for default reasoning
    (1997)
    by P Dung, R Kowalski, F Toni
    posted to argumentation argumentation-theory atp category-theory computability-logic curry-howard-isomorphism dialogue game-theory games implementation incompleteness lp metalogic-programming metalogics model-theory nonmonotonicity oops proof proof-procedure proof-search proof-theory proof-tree protocol search-space searching semantics specification stone-duality tree by scis0000001 on 2007-02-14 14:09:28 as **
  • Combinations of Model Checking and Theorem Proving
    (2000), pp. 151-170.
    by Tomas E Uribe
    posted to atp model-checking theorem by scis0000001 on 2007-04-07 13:51:50 as **
  • Isabelle/Isar --- a versatile environment for human-readable formal proof documents
    (2002)
    by Markus M Wenzel
    posted to atp by scis0000001 on 2006-10-08 13:56:50 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • Integrating HR and tptp2X into MathWeb to Compare Automated Theorem Provers
    (2002)
    by Jürgen Zimmer, Andreas Franke, Simon Colton, Geoff Sutcliffe
    posted to atp semweb by scis0000001 on 2006-11-24 14:03:08 as **
  • Automated Theorem Discovery: A Future Direction for Theorem Provers
    by Simon Colton
    posted to atp discovery theorem by scis0000001 on 2007-02-16 13:50:58 as **
  • Interactive Theorem Proving with Tasks
    by M Hübner, S Autexier, C Benzmüller, A Meier
    posted to atp interactive by scis0000001 on 2006-09-30 13:22:41 as **
  • IMPS: An Interactive Mathematical Proof System
    (1990), pp. 653-654.
    by William M Farmer, Joshua D Guttman, Javier F Thayer
    posted to atp imps by scis0000001 on 2006-09-24 16:02:03 as **
  • Automatic Generation of Concurrent Provers
    by Raul HC Lopes
    posted to atp concurrent by scis0000001 on 2006-12-12 10:16:06 as **
  • Proof representation in theorem provers
    (1998)
    by G Rey
    posted to atp proof representation by scis0000001 on 2006-09-13 15:19:22 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation
    No. CS-92-147. (1992)
    by Edmund Clarke, Xudong Zhao
    posted to atp computation symbolic by scis0000001 on 2006-09-24 16:13:23 as **
  • Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
    (27 Dec 2004)
    by Juergen Schmidhuber
    posted to adaptability aixi all-logical-theories atp autonomic-computing bias biops chu-space computability-logic computational-epistemology computational-learning computational-mathematics computational-science domain-theory dynamics efficiency formal-development formal-system generalized-kolmogorov-complexity goedel-machine gtm iff inference inference-dynamics interactivity lattice-of-theories least-time machine-learning metaevolution metalogic-programming metalogics metascience model-selection oops optimality paraconsistency problem-solving proof-search reinforcement-learning resource-allocation robotics searching self-adaptation self-managing self-reference semweb speed-prior survivability temporal-logic universal-search universality utility by scis0000001 on 2006-09-15 14:13:48 as ** along with 1 person Scis0000002
  • Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems
    (2002)
    by S Colton, G Sutcliffe
    posted to atp benchmark by scis0000001 on 2006-11-24 14:01:20 as **
  • A Comparison of PVS and Isabelle/HOL
    Vol. 1479 (1998), pp. 123-142.
    by David Griffioen, Marieke Huisman
    edited by Jim Grundy, Malcolm Newey
    posted to atp by scis0000001 on 2006-12-11 14:18:54 as **
  • Structured formal development in Isabelle
    Nordic J. of Computing, Vol. 13, No. 1. (June 2006), pp. 2-21.
    by Maksym Bortin, Einar B Johnsen, Christoph L&\#252;th
    posted to atp formal-development by scis0000001 on 2006-12-26 14:32:08 as ** along with 1 person glaubersp
  • Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
    Multiple-Valued Logic, Vol. 6, No. 3--4. (2001), pp. 289-344.
    by Viorica S Stokkermans
    posted to atp lattice by scis0000001 on 2006-09-26 10:59:06 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/atp

    Result page: 1 2 3 4 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.