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

タグ: theorem [58 articles]

Recent papers classified by the tag theorem.
  • Godel, Escher, Bach: An Eternal Golden Braid (20th anniversary edition with a new preface by the author)
    (30 March 2000)
    by Douglas R Hofstadter
    posted to godel incompletness logics mathematics theorem by yish on 2005-11-29 10:25:15 as ** along with 4 people and 5 groups aufrank grzegorz leidner hectorp ur-cls mathgamespatterns dtl vds-arg eni
  • Security Analysis of Crypto-based Java Programs using Automated Theorem Provers
    (2006), pp. 167-176.
    by Jan Jurjens
    posted to theorem security prover by yijunyu on 2007-01-12 01:47:16 as **
  • Isabelle: The Next Seven Hundred Theorem Provers
    (1988), pp. 772-773.
    by Lawrence C Paulson
    posted to lcf logic prover theorem by varming on 2008-03-06 14:36:08 as **
  • HOLCF = HOL + LCF
    J. Funct. Program., Vol. 9, No. 2. (March 1999), pp. 191-223.
    by Olaf Müller, Tobias Nipkow, David Von Oheimb, Oscar Slotosch
    posted to hol holcf isabelle lcf logic prover theorem by varming on 2008-03-06 14:42:00 as **
  • On the Paradoxical Book of Bell
    (3 May 2006)
    by Marek Zukowski
    posted to bells theorem by trunov on 2006-05-25 07:50:45 as ** along with 2 people proportional kriskrogh
  • Expectation Value in Bell's Theorem
    (26 Apr 2006)
    by Zheng-Chuan Wang
    posted to bell theorem by trunov on 2006-05-25 07:53:08 as **
  • Does Quantum Nonlocality Exist? Bell's Theorem and the Many-Worlds Interpretation
    (30 Mar 2000)
    by Frank J Tipler
    posted to bells theorem by trunov on 2006-05-25 07:41:08 as **** along with 1 person terumiyake
  • Nonlocality, Bell's Ansatz and Probability
    (22 Mar 2006)
    by AF Kracklauer
    posted to bell theorem by trunov on 2006-05-25 07:57:40 as **
  • Verification of the Crooks fluctuation theorem and recovery of RNA folding free energies
    Nature, Vol. 437, No. 7056., pp. 231-234.
    by D Collin, F Ritort, C Jarzynski, SB Smith, I Tinoco, C Bustamante
    posted to crooks fluctuation jarzynski optical single-molecule theorem tweezers by skoch3 on 2008-01-02 20:09:42 as ** along with 1 person ruudvanleeuwen
  • The conjunction fallacy and interference effects
    (29 Aug 2007)
    by Riccardo Franco
    posted to theorem quantum probability formalism fallacy conjunction congnitive biases bayes by ShureG on 2008-09-16 13:18:48 as *****
  • Matrix-based Constructive Theorem Proving
    (2000), pp. 189-205.
    by Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
    posted to connection intuitionistic logic matrix proving theorem by sheila1 on 2007-05-29 01:27:03 as ** along with 1 person and 1 group bobsilk complogic
  • On the input-output stability of time-varying nonlinear feedback systems--Part II: Conditions involving circles in the frequency plane and sector nonlinearities
    Automatic Control, IEEE Transactions on, Vol. 11, No. 3. (1966), pp. 465-476.
    by G Zames
    posted to gain small stability theorem uncertainty unstructured by sengelken on 2008-03-08 16:38:43 as *
  • On the input-output stability of time-varying nonlinear feedback systems Part one: Conditions derived using concepts of loop gain, conicity, and positivity
    Automatic Control, IEEE Transactions on, Vol. 11, No. 2. (1966), pp. 228-238.
    by G Zames
    posted to gain small stability theorem uncertainty unstructured by sengelken on 2008-03-08 16:40:00 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 **
  • Automatic generation of classification theorems for finite algebras
    (2004)
    by S Colton, A Meier, V Sorge, R Mccasland
    posted to algebras classification discovery generation theorem by scis0000001 on 2007-02-16 14:18:03 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 **
  • The HR program for theorem generation
    (2002)
    by S Colton
    posted to automation concept formation theorem theory-development theory-formation by scis0000001 on 2006-11-24 13:20:54 as **
  • A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals
    (2000), pp. 96-111.
    by Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
    posted to constructive-proof proof theorem by scis0000001 on 2006-09-24 16:10:48 as **
  • Fluctuations and Irreversibility: An Experimental Demonstration of a Second-Law-Like Theorem Using a Colloidal Particle Held in an Optical Trap
    Physical Review Letters, Vol. 92, No. 14. (2004)
    by DM Carberry, JC Reid, GM Wang, EM Sevick, Debra J Searles, Denis J Evans
    posted to theorem fluctuation by rjoy on 2007-02-06 09:00:19 as ***
  • Reversibility in nonequilibrium trajectories of an optically trapped particle
    Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Vol. 70, No. 1. (2004)
    by JC Reid, DM Carberry, GM Wang, EM Sevick, Denis J Evans, Debra J Searles
    posted to theorem fluctuation by rjoy on 2007-02-06 09:08:39 as ***
  • notes Sizing router buffers
    Vol. 34, No. 4. (October 2004), pp. 281-292.
    by Guido Appenzeller, Isaac Keslassy, Nick Mckeown
    posted to buffers central limit theorem by riteshkumar on 2005-06-19 05:06:52 as read along with 4 people and 2 groups sammydre imcdnzl rewaskar hisamatsu WAND unc_cs_net
  • Index theorems for holomorphic self-maps
    Ann. of Math. (2), Vol. 159, No. 2. (2004), pp. 819-864.
    by Marco Abate, Filippo Bracci, Francesca Tovena
    posted to analysis complex index theorem by orkolorko on 2007-05-15 15:49:09 as *****
  • On Information Embedding When Watermarks and Covertexts are Correlated
    IEEE Transactions on Information Theory, Vol. 54, No. 7. (July 2008), pp. 3340-3345.
    by En-Hui Yang, Wei Sun
    posted to bin coding embedding information random separation sequences shannon slepian-wolf theorem typical by masaakif on 2008-07-15 16:11:26 as **
  • Sampling and Sampling Rate Conversion of Band Limited Signals in the Fractional Fourier Transform Domain
    IEEE Transactions on Signal Processing, Vol. 56, No. 1. (January 2008), pp. 158-171.
    by Ran Tao, Bing Deng, Wei-Qiang Zhang, Yue Wang
    posted to conversion fourier fractional frft rate sampling theorem transform by masaakif on 2008-02-14 12:25:54 as **
  • A General Method for Detecting All-Zero Blocks Prior to DCT and Quantization
    IEEE Transactions on Circuits and Systems for Video Technology, Vol. 17, No. 2. (February 2007), pp. 237-241.
    by Zhengguang Xie, Yong Liu, James Liu, Tiejun Yang
    posted to all all-zero block-based blocks coding coefficient compression conservation cosine data dct detection discrete distribution energy estimation h264 motion object paseval quantization standard theorem transform transforms video by masaakif on 2008-02-20 05:28:22 as **
  • A Constructive and Unifying Framework for Zero-Bit Watermarking
    IEEE Transactions on Information Forensics and Security, Vol. 2, No. 2. (June 2007), pp. 149-163.
    by T Furon
    posted to detection pitman-noether theorem theory watermarking zero-bit by masaakif on 2007-07-26 07:55:07 as **
  • Optimal Estimates of Free Energies from Multistate Nonequilibrium Work Data
    Physical Review Letters, Vol. 96, No. 10. (2006)
    by Paul Maragakis, Martin Spichty, Martin Karplus
    posted to acceptance bayesian dynamics exchange experiment fluctuation likelihood maximum molecular multistate nonequilibrium parallel ratio replica simulation tempering theorem work by maragakis on 2006-07-18 19:09:16 as read along with 2 people madhadron sotaro
  • The Problem of Social Cost
    by RH Coase
    posted to coase theorem by lml115 on 2006-02-03 01:15:54 as read along with 5 people ltzehua bhodgson derecognize howardjp williamdwalker
  • High frequency edges (but not contrast) predict where we fixate: A Bayesian system identification analysis.
    Vision Res, Vol. 46, No. 18. (Sep 2006), pp. 2824-2833.
    by Roland J Baddeley, Benjamin W Tatler
    posted to eye image movement statistics bayes biological bwfit contrast fixation form humans models movements ocular perception psychological sensitivity theorem by LewisChuang on 2008-03-06 10:43:09 as ** along with 1 person bayesian
  • Automated Theorem Proving: Theory and Practice
    (15 December 2000)
    by Monroe Newborn, Monty Newborn
    posted to automated calculus proving resolution theorem by kontakte on 2006-02-10 16:20:53 as *****
  • Rippling: A Heuristic for Guiding Inductive Proofs
    Artificial Intelligence, Vol. 62, No. 2. (1993), pp. 185-253.
    by Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
    posted to automated induction mathematical proving reasoning rippling theorem by kontakte on 2006-02-10 17:02:43 as *** along with 1 person radico
  • Quantum catalysis of information
    (15 Apr 2008)
    by Koji Azuma, Masato Koashi, Nobuyuki Imoto
    posted to no-go quantum theorem by jaeseung on 2008-04-16 18:17:44 as **
  • On Cantor's Theorem
    (30 May 2005)
    by W Mueckenheim
    posted to cantor theorem by A_Olympia to the group Blog_and_Wiki_Research on 2005-06-07 14:20:23 as ** along with 1 group Philosophy_of_Information
  • A Gauss-Kusmin Theorem for Optimal Continued Fractions
    by Karma D And
    posted to continued fractions gauss-kusmin optimal theorem by A_Olympia to the group Blog_and_Wiki_Research on 2005-11-25 10:46:06 as ** along with 1 group Philosophy_of_Information
  • Adiabatic Theorem without a Gap Condition
    (19 Apr 1999)
    by JE Avron, A Elgart
    posted to theorem adiabatic by A_Olympia to the group Blog_and_Wiki_Research on 2007-03-29 21:35:52 as ** along with 2 people and 1 group kevina eswar_physics Philosophy_of_Information
  • Quantum Copying: Beyond the No-Cloning Theorem
    (20 Jul 1996)
    by Vladimir Buzek, Mark Hillery
    posted to theorem the quantum no-cloning copying beyond by A_Olympia to the group Blog_and_Wiki_Research on 2007-05-15 11:38:43 as ** along with 1 group Philosophy_of_Information
  • The Mathematical Import of Zermelo's Well-Ordering Theorem
    The Bulletin of Symbolic Logic, Vol. 3, No. 3. (1997), pp. 281-311.
    by Akihiro Kanamori
    posted to theorem well-ordering zermelo by A_Olympia to the group Blog_and_Wiki_Research on 2004-12-30 14:13:31 along with 1 group Philosophy_of_Information
  • Nonextensive Pythagoras' Theorem
    (7 Nov 2006)
    by Ambedkar Dukkipati, Narasimha M Murty, Shalabh Bhatnagar
    posted to pythagoras theorem by A_Olympia to the group Blog_and_Wiki_Research on 2006-11-09 08:10:41 as ** along with 1 group Philosophy_of_Information
  • Law of Large Numbers and Central Limit Theorem under Nonlinear Expectations
    (13 Feb 2007)
    by Shige Peng
    posted to and central expectations large law limit nonlinear numbers theorem by A_Olympia to the group Blog_and_Wiki_Research on 2007-02-14 11:18:12 as ** along with 1 person and 1 group ansobol Philosophy_of_Information
  • Godel's theorem as a corollary of impossibility of complete axiomatization of geometry
    (6 Sep 2007)
    by Yuri
    posted to theorem godels by A_Olympia to the group Blog_and_Wiki_Research on 2007-09-08 10:48:37 as ** along with 1 group Philosophy_of_Information
  • Fractal Relativity, Generalized Noether Theorem and New Research of Space-Time
    (2 Jul 2007)
    by Yi-Fang Chang
    posted to theorem noether by A_Olympia to the group Blog_and_Wiki_Research on 2007-07-04 10:03:08 as ** along with 1 group Philosophy_of_Information
  • Functional instantiation in first-order logic
    (1991), pp. 7-26.
    by Robert S Boyer, David M Goldschlag, Matt Kaufmann, Strother J Moore
    posted to acl2 proving theorem by gabgas to the group Theorem Proving on 2008-02-19 20:28:29 as ***
  • Structured Theory Development for a Mechanized Logic
    Journal of Automated Reasoning, Vol. 26, No. 2. (2001), pp. 161-203.
    by Matt Kaufmann, Strother J Moore
    posted to acl2 proving theorem by gabgas to the group Theorem Proving on 2008-02-20 13:02:32 as *** along with 1 person scis0000001
  • The Jacobson radical of a CSL algebra
    Trans. Amer. Math. Soc., Vol. 344, No. 2. (1994), pp. 925-947.
    by Kenneth R Davidson, John L Orr
    posted to theoremvon theoremkaplansky theorem space ringvon regularirreducible neumann modulevector jacobson division density bicommutant artin-wedderburn 10071261 by cursonivel1 to the group cursonivel1 on 2007-05-11 22:29:36 as ***** along with 1 person TooMuchCoffeeMan
  • Slow Convergence in Bootstrap Percolation
    (9 May 2007)
    by Janko Gravner, Alexander E Holroyd
    posted to theorems theorem teoria matematicas isomorphism integral identity group fermat eulercorollary domains definition corolarios contradicciones conjuntos closure 10071261 by cursonivel1 to the group cursonivel1 on 2007-05-11 22:18:24 as *** along with 1 person TooMuchCoffeeMan
  • Extinction theorem for stratified medium
    Journal of Optics, Vol. 25, No. 2. (1994), pp. 75-80.
    by FS Mironov
    posted to theorem extinction by baptiste to the group photonicsExeter on 2007-01-29 09:32:41 as read
  • Microscopic approach to reflection, transmission, and the Ewald--Oseen extinction theorem
    American Journal of Physics, Vol. 64, No. 8. (1996), pp. 986-995.
    by Heidi Fearn, Daniel FV James, Peter W Milonni
    posted to theorem extinction by baptiste to the group photonicsExeter on 2007-01-29 09:37:59 as ****
  • The central limit theorem for maximum likelihood estimators of vector parameters: Locally uniform convergence
    manuscripta mathematica, Vol. 23, No. 3. (1978), pp. 247-268.
    by R Michel
    posted to theorem testing statistics statistical parameters mle methods method maximum limit likelihood estimator distribution clt central by cherrie to the group CAOS on 2007-07-20 00:01:43 as ****
  • An L^2-Index Theorem for Dirac Operators on S^1 * R^3
    (14 Sep 2000)
    by Tom MW Nye, Michael A Singer
    posted to theorem index by Golkar on 2008-09-09 18:58:28 as **
  • Axial anomalies and index theorems on open spaces
    Communications in Mathematical Physics, Vol. 62, No. 3. (1 October 1978), pp. 213-234.
    by Constantine Callias
    posted to theorem index axial anomaly by Golkar on 2008-09-09 18:57:05 as ***
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/theorem

    Result page: 1 2 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.