Tag theorem [81 articles] Export

Recent papers classified by the tag theorem.

	Causation, decision theory, and Bell's theorem: a quantum analogue of the Newcomb problem [My Copy] (12 Nov 2009) by Eric G. Cavalcanti posted to theory theorem the quantum problem of newcomb decision causation bells and analogue a by A_Olympia to the group logics of knowledge on 2009-11-16 17:08:13 as
	Material derivative and control volume approaches to shape sensitivity analysis of nonlinear transient thermal problems [My Copy] Structural and Multidisciplinary Optimization, Vol. 11, No. 1. (1 April 1996), pp. 56-63. by M. Kleiber, A. Slużalec posted to transport theorem shape-sensitivity reynolds material derivative by guillaume on 2009-11-09 15:04:59 as
	Using probabilistic reasoning [My Copy] BMJ, Vol. 339, No. nov03_2. (3 November 2009), b3823. by Jenny Doust posted to theorem probabilistic_reasoning bayes by craigthornley on 2009-11-05 04:14:52 as along with 3 people Gorzomagnificent iskanbasal eplingj
	On the Lagrangian optimization of wall-injected flows: from the HartâMcClure potential to the TaylorâCulick rotational motion [My Copy] Proceedings of the Royal Society A: Mathematical, Physical and Engineering Science (21 October 2009) by Tony Saad, Joseph Majdalani posted to wall theorem porous pipe optimization of minimum kelvins injected in fluid flows flow energy constrained by remineur on 2009-10-24 01:58:02 as
	Isomorphism between the Peres and Penrose proofs of the BKS theorem in three dimensions [My Copy] (24 Sep 2009) by Elizabeth Gould, P. K. Aravind posted to theorem proof kochen-specker by egcavalcanti on 2009-10-08 08:01:58 as along with 1 person linchen
	Reynolds transport theorem for a two-phase flow [My Copy] Applied Physics Letters, Vol. 90, No. 2. (2007), 024101. by Francisco J. Collado posted to transport theorem rule reynolds leibniz integral by guillaume on 2009-09-24 16:33:43 as
	Time in quantum physics: From an external parameter to an intrinsic observable [My Copy] (10 Sep 2009) by Romeo Brunetti, Klaus Fredenhagen, Marc Hoge posted to time theorem quantum gns general_relativity by sigoldberg1 on 2009-09-14 23:08:31 as along with 5 people burstenj egcavalcanti Scis0000002 proportional ansobol
	Abraham-Lorentz equation in quantum mechanics [My Copy] Physical Review A (Atomic, Molecular, and Optical Physics), Vol. 80, No. 2. (17 August 2009), 024102. by Masao Ozaki, Shigeru Sasabe posted to theorem quantum mechanics lorentz equation ehrenfest dirac dipole by michaelbussmann on 2009-09-01 17:40:52 as
	The Bell Theorem as a Special Case of a Theorem of Bass [My Copy] (3 Mar 2005) by Karl Hess, Walter Philipp posted to theorem special of case bell bass as a by A_Olympia to the group logics of knowledge on 2009-08-17 16:46:16 as
	Central limit theorem for finitely-dependent random variables [My Copy] Journal of Mathematical Sciences, Vol. 67, No. 4. (1 December 1993), pp. 3244-3248. by V. V. Shergin posted to central dependent limit theorem by kuaaaaa on 2009-07-01 06:03:29 as
	On the asymptotic distribution of the Moran I test statistic with applications [My Copy] Journal of Econometrics, Vol. 104, No. 2. (September 2001), pp. 219-257. by Kelejian posted to asymptotic autocorrelation central clt distribution econometrics i limit moran spatial test theorem by plm on 2009-05-26 13:30:02 as
	Path-ensemble averages in systems driven far from equilibrium [My Copy] Physical Review E, Vol. 61, No. 3. (March 2000), 2361. by Gavin E. Crooks posted to fluctuation jarzynski nonequilibrium theorem work by rpetrenko on 2009-05-19 00:06:48 as
	The Value/Fact Distinction: Coase's Theorem Unifies Normative and Positive Economics [My Copy] Social Science Research Network Working Paper Series (29 January 2007) by Frank J. Tipler posted to and coases economics normative positive theorem unifies by A_Olympia to the group logics of knowledge on 2009-04-25 12:39:52 as
	Sphere Theorems in Geometry [My Copy] (16 Apr 2009) by S. Brendle, R. M. Schoen posted to sphere theorem by philom on 2009-04-21 05:26:48 as along with 1 person zizard
	A formally verified compiler back-end [My Copy] (12 Feb 2009) by Xavier Leroy posted to compiler coq formal methods optimizations preservation program proof prover semantic theorem transformations verification by ddemange on 2009-04-10 13:28:08 as along with 2 people jrw jleny
	Proof-carrying code from certified abstract interpretation and fixpoint compression [My Copy] Theor. Comput. Sci., Vol. 364, No. 3. (November 2006), pp. 273-291. by Frédéric Besson, Thomas Jensen, David Pichardie posted to abstract analysis bytecode computer data flow interpretation java logic program proving security theorem by ddemange on 2009-04-10 13:25:46 as along with 1 person dhein1030
	Approximation of Sums of Primes [My Copy] (27 Mar 2009) by Nikos Bagis posted to function number prime riemann theorem totient zeta by oliverfabiopiattella on 2009-03-30 10:24:43 as
	On the derivation of the fluctuation-dissipation theorem [My Copy] Journal of Physics A: Mathematical and General, Vol. 11, No. 5. (1978), pp. 921-927. by B. U. Felderhof posted to fluctuation-dissipation nyquist theorem by toerst on 2009-03-09 17:16:06 as along with 1 person gi0rgi0ne
	The Equivariant cohomology theory of twisted generalized complex manifolds [My Copy] (13 Nov 2007) by Yi Lin posted to dh gcg theorem by maximegabella on 2009-03-02 15:05:40 as
	The No Cloning Theorem versus the Second Law of Thermodynamics [My Copy] (21 Jan 2004) by Gavriel Segre posted to cloning law no of second the theorem thermodynamics versus by A_Olympia to the group logics of knowledge on 2009-02-20 14:10:42 as
	Monotone data flow analysis frameworks [My Copy] Acta Informatica, Vol. 7, No. 3. (1977), pp. 305-317. by John B. Kam, Jeffrey D. Ullman posted to dataflow-analysis history intraprocedural-coincidence static-analysis theorem by bunge on 2009-02-17 23:17:43 as along with 1 person mattmight
	Identification of translational displacements between N-dimensional data sets using the high-order SVD and phase correlation [My Copy] IEEE Transactions on Image Processing In Image Processing, IEEE Transactions on, Vol. 14, No. 7. (July 2005), pp. 884-889. by Scott W. Hoge, Carl-Fredrik Westin posted to algorithms alignment analysis and artificial automated brain cluster computer-assisted correlation data decomposition displacement enhancement fourier high-order humans identification image imaging information intelligence interpretation magnetic method model motion n-dimensional of pattern phase recognition registration representation reproducibility resolution resonance results retrieval sensitivity set shift singular specificity storage subtraction svd technique theorem three-dimensional translational value by fujiyoshi-masaaki on 2009-01-21 06:28:02 as
	Unifying theories in ProofPower-Z [My Copy] Formal Aspects of Computing by Marcel Oliveira, Ana Cavalcanti, Jim Woodcock posted to 2007 circus csp proof refinement theorem utp z by michaelbanks on 2008-11-17 17:15:03 as along with 1 person leonardo
	Unwinding Possibilistic Security Properties [My Copy] Computer Security - ESORICS 2000 In Computer Security -- ESORICS 2000, Vol. 1895 (2000), pp. 238-254. by Heiko Mantel posted to 2000 nondeterministic noninterference possibilistic property refinement security theorem unwinding generalised by michaelbanks on 2008-11-01 18:46:39 as
	An L^2-Index Theorem for Dirac Operators on S^1 * R^3 [My Copy] (14 Sep 2000) by Tom M. W. Nye, Michael A. Singer posted to index theorem by Golkar on 2008-09-09 18:58:28 as
	Axial anomalies and index theorems on open spaces [My Copy] Communications in Mathematical Physics, Vol. 62, No. 3. (1 October 1978), pp. 213-234. by Constantine Callias posted to anomaly axial index theorem by Golkar on 2008-09-09 18:57:05 as
	A Machine-Independent Theory of the Complexity of Recursive Functions [My Copy] J. ACM, Vol. 14, No. 2. (April 1967), pp. 322-336. by Manuel Blum posted to complexity gap theorem theory by eporreca on 2008-07-29 15:46:02 as
	On Information Embedding When Watermarks and Covertexts are Correlated [My Copy] IEEE Transactions on Information Theory In Information Theory, IEEE Transactions on, 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 fujiyoshi-masaaki on 2008-07-15 16:11:26 as
	Bayes' Postulate Repostulated [My Copy] by F. P. A. Coolen posted to bayes conditional postulate probability statistics theorem by cherrie on 2008-07-13 05:48:17 as
	On the role of Rouch's theorem in queueing analysis [My Copy] by J. W. Cohen, D. G. Down posted to argument of principle rouchs theorem by amalique on 2008-04-23 13:40:23 as
	Quantum catalysis of information [My Copy] (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 along with 1 person hexi2005
	On the input-output stability of time-varying nonlinear feedback systems Part one: Conditions derived using concepts of loop gain, conicity, and positivity [My Copy] Automatic Control, IEEE Transactions on In 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
	On the input-output stability of time-varying nonlinear feedback systems--Part II: Conditions involving circles in the frequency plane and sector nonlinearities [My Copy] Automatic Control, IEEE Transactions on In 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
	HOLCF = HOL + LCF [My Copy] 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
	Isabelle: The Next Seven Hundred Theorem Provers [My Copy] In Proceedings of the 9th International Conference on Automated Deduction (1988), pp. 772-773. by Lawrence C. Paulson posted to lcf logic prover theorem by varming on 2008-03-06 14:36:08 as
	High frequency edges (but not contrast) predict where we fixate: A Bayesian system identification analysis. [My Copy] 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
	Structured Theory Development for a Mechanized Logic [My Copy] 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
	A General Method for Detecting All-Zero Blocks Prior to DCT and Quantization [My Copy] IEEE Transactions on Circuits and Systems for Video Technology In Circuits and Systems for Video Technology, IEEE Transactions on, 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 fujiyoshi-masaaki on 2008-02-20 05:28:22 as
	Functional instantiation in first-order logic [My Copy] (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
	Sampling and Sampling Rate Conversion of Band Limited Signals in the Fractional Fourier Transform Domain [My Copy] IEEE Transactions on Signal Processing In Signal Processing, IEEE Transactions on [see also Acoustics, Speech, and Signal Processing, IEEE Transactions on], 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 fujiyoshi-masaaki on 2008-02-14 12:25:54 as
	Representing and Reasoning with Operational Semantics [My Copy] Automated Reasoning (2006), pp. 4-20. by Dale Miller posted to proving theorem by gabgas on 2008-01-18 21:08:19 as along with 1 group Theorem Proving
	Matrix-based Constructive Theorem Proving [My Copy] In Intellectics and Computational Logic (2000), pp. 189-205. by Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka posted to matrix theorem by bobsilk on 2008-01-04 10:58:18 as along with 1 group complogic
	Verification of the Crooks fluctuation theorem and recovery of RNA folding free energies [My Copy] Nature, Vol. 437, No. 7056., pp. 231-234. by D. Collin, F. Ritort, C. Jarzynski, S. B. 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 2 people samjlord ruudvanleeuwen
	A Science of Reasoning [My Copy] Lecture Notes in Computer Science, Vol. 1397 (1998), pp. 10-??. by Alan Bundy posted to planning proof proving theorem by gabgas on 2007-12-17 13:45:14 as
	A Computational Induction Principle [My Copy] by Scott Smith posted to proving theorem by gabgas on 2007-11-08 19:52:13 as
	Godel's theorem as a corollary of impossibility of complete axiomatization of geometry [My Copy] (6 Sep 2007) by Yuri posted to godels theorem by A_Olympia on 2007-09-08 10:48:37 as along with 2 groups Philosophy_of_Information Blog_and_Wiki_Research
	A Constructive and Unifying Framework for Zero-Bit Watermarking [My Copy] 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 fujiyoshi-masaaki on 2007-07-26 07:55:07 as
	The central limit theorem for maximum likelihood estimators of vector parameters: Locally uniform convergence [My Copy] manuscripta mathematica, Vol. 23, No. 3. (1978), pp. 247-268. by R. Michel posted to central clt distribution estimator likelihood limit maximum method methods mle parameters statistical statistics testing theorem by cherrie on 2007-07-20 00:01:43 as
	$My PDF chang_07_fractal.pdf$ Fractal Relativity, Generalized Noether Theorem and New Research of Space-Time [My Copy] (2 Jul 2007) by Yi-Fang Chang posted to noether theorem by A_Olympia on 2007-07-04 10:03:08 as along with 2 groups Philosophy_of_Information Blog_and_Wiki_Research
	Index theorems for holomorphic self-maps [My Copy] 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

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

Result page: 1 2 Next

proving	12
of	9
quantum	9
central	7
limit	7
bayes	5
bells	5
fluctuation	5
godel	5
incompletness	5
law	5
logics	5
mathematics	5
proof	5
10071261	4
acl2	4
bell	4
extinction	4
logic	4
optimal	4
prover	4
theory	4
adiabatic	3
analysis	3
automated	3
beyond	3
cantor	3
continued	3
copying	3
data	3
decision	3
distribution	3
expectations	3
fractions	3
gauss-kusmin	3
godels	3
index	3
information	3
integral	3
interpretation	3
large	3
no-cloning	3
noether	3
nonlinear	3
numbers	3
pythagoras	3
security	3
statistics	3
well-ordering	3
zermelo	3
artin-wedderburn	2
as	2
bicommutant	2
case	2
causation	2
closure	2
coases	2
conjuntos	2
corolarios	2
definition	2
detection	2
discovery	2
division	2
domains	2
economics	2
energy	2
fermat	2
flow	2
gain	2
group	2
humans	2
identity	2
image	2
jacobson	2
lcf	2
likelihood	2
matematicas	2
mechanics	2
method	2
model	2
newcomb	2
no	2
normative	2
optimization	2
reynolds	2
sensitivity	2
space	2
special	2
stability	2
theoremkaplansky	2
theorems	2
theoremvon	2
thermodynamics	2
transform	2
transport	2
uncertainty	2
unifies	2
unstructured	2
versus	2
work	2

Tag theorem [81 articles] Export

Related Tags