ライフサイエンスコーパス: theorem

1 computing the 'normalization term' in Bayes' theorem).

2 e (derived using the fluctuation dissipation theorem).

3 ons and experimentally demonstrate the shift theorem.

4 o the problem, inspired by the Fourier shift theorem.

5 minimal dilation guaranteed by the Sz.-Nagy theorem.

6 ctions being appropriate according to Bayes' theorem.

7 rium it is forbidden by the Bohr-van Leeuwen theorem.

8 aces, a quantum analogue of the Gauss-Bonnet theorem.

9 uence of a corollary of the Perron-Frobenius theorem.

10 expected to be Gaussian by the central limit theorem.

11 oncepts based on the fluctuation dissipation theorem.

12 chanical unfolding using Crooks' fluctuation theorem.

13 pology that is employed in the proof of this theorem.

14 is analyzed using the potential distribution theorem.

15 accordance with the fluctuation-dissipation theorem.

16 confidence intervals according to Fieller's theorem.

17 e II error' cases were ascertained by Bayes' theorem.

18 then determined using the Crooks fluctuation theorem.

19 model based on the general kinetic momentum theorem.

20 ical simulations, in accord with our general theorem.

21 oses an alternative approach based on Bayes' theorem.

22 blem exists in the form of the Ramo-Shockley theorem.

23 Weyl branching rule and the Gel'fand-Tsetlin theorem.

24 is studied via the martingale central limit theorem.

25 iables beyond the prediction of Buckingham's theorem.

26 ussian fluctuations or use the central limit theorem.

27 ing sequence in L2 for the pointwise ergodic theorem.

28 thermodynamics, the fluctuation-dissipation theorem.

29 persymmetric extension of the standard basis theorem.

30 n the error limit and Shannon's noisy coding theorem.

31 ankov's result are both special cases of one theorem.

32 sterior class probabilities by use of Bayes' theorem.

33 ratios derived for predictors by using Bayes theorem.

34 r binocular fixations using Euler's rotation theorem.

35 ar machines conforming to Shannon's capacity theorem.

36 than the limits predicted by the Sagawa-Ueda theorem.

37 lly be impeded from LRO by the Mermin-Wagner theorem.

38 tability is guaranteed by Lyapunov stability theorem.

39 endent tests using generalized central limit theorem.

40 was observed in accordance with the Warburg theorem.

41 tween Shelankov's prediction and Zeilinger's theorem.

42 th heuristics derived from the Central Limit Theorem.

43 ity, power, and scan geometry by using Gauss theorem.

44 distribution predicted by the central limit theorem.

45 ear violation of the fluctuation dissipation theorem.

46 be enhanced by harnessing the central limit theorem.

47 probabilities were estimated using the Bayes theorem.

48 at finite temperatures by the Mermin-Wagner theorem.

49 er (P < .001) in accordance with the Warburg theorem.

50 any related variables and are based on Bayes theorem.

51 wing the prescription of the Nyquist-Shannon theorem.

52 -ergodic hypothesis, and then to the ergodic theorems.

53 This method is based on the BH theorems.

54 of the Gauss-Bonnet and Poincare-Hopf index theorems.

55 neracy originates from a version of Kramers' theorem(16,17) in which fermionic time-reversal invarian

56 d in the distance between the pairs given by Theorem 2, and the alignments to the incorrect strand.

57 jugation, parity reversal and time reversal) theorem, a cornerstone of the Standard Model, requires t

58 Bell's theorem, a landmark result in the foundations of physics

59 dance with the Kolmogorov-Arnold-Moser (KAM) theorem--a cornerstone of nonlinear dynamics that explai

60 ly expressed genes is established based on a theorem about the distribution of ranks of genes sorted

61 We prove theorems about how to choose appropriate parameters to g

62 xes generated based on the Chinese remainder theorem achieves best overall results.

63 But fluctuation theorems allow us to relate the work along nonequilibriu

64 The general theorem also allows us to prove a conjecture of Chen, Ji

65 The theorem also follows from earlier work.

66 techniques, particularly those based on work theorems, also do not address spatial variations in the

67 this analytical framework, a Kerr-comb area theorem and a pump-detuning relation are developed, prov

68 ge Fermi surface consistent with Luttinger's theorem and a strongly enhanced quasiparticle effective

69 The need for a good lower-bound theorem and algorithm cannot be overstated, since an upp

70 ributions are then analysed according to the theorem and allow us to determine the difference in fold

71 We prove this result in a general theorem and demonstrate it numerically for two case stud

72 In addition, we propose a sampling theorem and discuss its implication on the choice of pro

73 Of these, Goldstone's theorem and Landau-Fermi liquid theory are the most rele

74 distribution from sequence data using Bayes' theorem and Markov chain Monte Carlo (MCMC) sampling, wh

75 e provides verification of the equipartition theorem and Maxwell-Boltzmann statistics for flexural mo

76 We introduce field synthesis, a theorem and method that can be used to synthesize any sc

77 neralization of MacMahon's celebrated Master Theorem and relate it to a quantum generalization of the

78 ased on the Zipf analysis, we employ Bayes's theorem and relate the conditional probability that a ba

79 theoretical analysis shows that Zeilinger's theorem and Shelankov's result are both special cases of

80 shing a robustness result for the isothermal theorem and using large deviation estimates to understan

81 The Pythagorean Theorem and variants of it are studied.

82 ased on the application of the Newton-Girard theorem and Viete's formulae to the polynomial coding of

83 Proofs of the theorems and additional experimental results are availab

84 s in mathematics and physics, with a body of theorems and algorithms that have been applied successfu

85 (the unattainability principle and the heat theorem), and place ultimate bounds on the speed at whic

86 be satisfied, namely the famous Gauss-Bonnet theorem, and an inequality stemming from the definition

87 is an approximation to the central limiting theorem, and it explicitly depends on the cumulative pro

88 optimal and equivalent to the marginal value theorem, and perform simulations to analyze deviations f

89 xcitations as a consequence of the Goldstone theorem, and readily results in the emergence of energy

90 n technology-multi-attribute utility, Bayes' theorem, and subjective expected utility maximization.

91 These are summarized in the form of theorems, and illustrated with numerical examples involv

92 It is shown that these theorems apply to several subcircuits of the full NCR ci

93 ters estimated from a naive Shannon sampling theorem approach.

94 s a way to circumvent the quantum no-cloning theorem, approximate quantum cloning protocols have rece

95 multipliers in the proof of the Gauss-Markov theorem are tree-additive.

96 ational methods and the application of Bayes theorem are used to form hypotheses about how informatio

97 A variety of mathematical "structure" theorems are described that allow one to determine the a

98 is given and the Summation and Connectivity Theorems are generalized.

99 The dead-end elimination (DEE) theorems are powerful tools for the combinatorial optimi

100 Two theorems are provided to efficiently calculate the Bayes

101 ns on von Neumann algebras that displays the theorem as the basic result of noncommutative, metric, E

102 figurations that is based on a mountain pass theorem asserting that, if two solutions of the problem

103 e most general result so far, the isothermal theorem, assumes the propensity for change in each posit

104 The theorems at the core of density functional theory (DFT)

105 d those calculated using the simple Koopmans theorem-based "neutral in-cation geometry" calculations

106 he more that outputs deviate from the coding theorem bound, the lower the complexity of their inputs.

107 Hurwitz class number generating series and a theorem by Serre, which allows us to rule out certain co

108 eory overcomes the lack of implicit function theorems, by formally establishing an often implicitly u

109 We show that the constraints of the scallop theorem can be escaped in frictional media if two asymme

110 Here we show that the Crooks fluctuation theorem can be used to determine folding free energies f

111 Bayes' theorem can combine prior information (prior probability

112 Von Neumann's celebrated double commutant theorem characterizes von Neumann algebras R as those fo

113 An existing theorem concerning the relationship between squared long

114 nd Law of Thermodynamics and its fluctuation theorem corollaries, irreversibility in nonequilibrium p

115 First, it has been suggested that the theorem could, in principle, be inapplicable under certa

116 We defined, using Bayes theorem, credible sets of SNPs that were 95% likely, bas

117 throughout in which all inline references to Theorems, Definitions and Lemmas given in the main Artic

118 Zeilinger's theorem describes this absence of classical force in qua

119 Although the current mathematical structure theorems do not apply to the full NCR circuit, extensive

120 calculation or simulation, the Ramo-Shockley theorem eliminates a class of interpretations of experim

121 y John von Neumann and the pointwise ergodic theorem established by George Birkhoff, proofs of which

122 This perspective highlights the mean ergodic theorem established by John von Neumann and the pointwis

123 rk estimator and the fluctuation-dissipation theorem estimator.

124 ace indicate the robustness of the Luttinger theorem even for materials with strong interactions.

125 Our theorem explains how GKS band gaps from metageneralized

126 nalysis based on the fluctuation-dissipation theorem (FDT) to characterize origins of activity fluctu

127 orithms based on the Fluctuation Dissipation Theorem (FDT).

128 ents from a small aircraft by a novel Gauss' Theorem flux integral approach.

129 ect verification of the energy equipartition theorem for a Brownian particle.

130 probabilities were calculated by using Bayes theorem for all elderly patients and for patients who un

131 was in good agreement with Wald's likelihood theorem for both metrics and all models that were tested

132 tructure formation-one employing the Kramers theorem for calculating radii of gyration, and the other

133 ntically distributed samples, and Girsanov's theorem for change of measures to examine rare behaviors

134 d from the same logical model as the Shannon theorem for channel capacity, arise from exactly the opp

135 e sensitivity and specificity values, Bayes' Theorem for conditional probability was applied to the h

136 ts shed light on the significance of a no-go theorem for exact ground-state cooling, as well as on th

137 out to be similar to the Reidemeister-Singer theorem for Heegaard splittings of 3-manifolds.

138 it is derived as a special case of an index theorem for hypoelliptic operators on contact manifolds.

139 This method, based on a central limit theorem for incomplete multivariate data, obtains point

140 and followed the predictions of the binomial theorem for independent, randomly gating channels.

141 o the ratio predicted by the Euler-Bernoulli theorem for linear cantilevers.

142 ll counts, approximated by the Central Limit Theorem for multitype branching processes.

143 this article, we present a double commutant theorem for Murray-von Neumann algebras.

144 tions which no longer satisfy the uniqueness theorem for ordinary differential equations.

145 We start with an explicit index theorem for second-order differential operators on 3-man

146 ping pulses is achieved with the correlation theorem for signal processing.

147 A dominant theorem for the identification of the GMEC is Dead-End E

148 im of this paper is to announce a uniqueness theorem for these objects (within a fixed homotopy class

149 eory (QIT) allowed to formulate mathematical theorems for conditions that data-transmitting or data-p

150 ns with quite simple forms, we present limit theorems for partial sums, empirical processes, and kern

151 elop several criteria motivated by classical theorems for symmetric random walks, which lead to algor

152 We then use standard threshold theorems for the model in order to estimate the minimum

153 According to Noether's theorem, for every symmetry in nature there is a corresp

154 t-output maps, arguments based on the coding theorem from algorithmic information theory (AIT) predic

155 to be frustration-free by lifting Shearer's theorem from classical probability theory to the quantum

156 The minimax theorem from game theory is adopted to define the bounda

157 heoretical model based on the marginal value theorem from the optimal foraging theory.

158 The flux-summation theorem (FST) is a central principle of metabolic contro

159 A corollary of this theorem gives a simple dimensional test for a channel's

160 Many of the most significant theorems giving an algebraic insight into R have asserte

161 The Gottesmann-Knill theorem guarantees a class of such error models.

162 mperature coming from the extensions of that theorem has been recently introduced to study glasses an

163 nsity fluctuations violate the central limit theorem, highlighting the role of nonequilibrium driving

164 fluctuations, according to the Mermin-Wagner theorem; however, these thermal fluctuations can be coun

165 l account of animal behavior (marginal value theorem), human participants of either sex decided when

166 ing sequence in L2 for the pointwise ergodic theorem if in any dynamical system (Omega, Sigma, m, T)

167 lization; (ii) sampling based on The Nyquist Theorem; (iii) internal correlation optimized shifting,

168 Using Bayes' theorem in a logistic model, we used 8 baseline predicto

169 nt anti-cancer hypothesis to a thermodynamic theorem in medicine.

170 m provided by QIT to formulate the quantum H-theorem in terms of physical observables.

171 tested the predictions of the marginal value theorem in the context of hunter-gatherer residential mo

172 First, we review Bayes theorem in the context of medical decision making.

173 critical for refining neurocognitive memory theorem in the context of other endogenic processes and

174 ts such as the inverse and implicit function theorems in scale calculus-a generalization of multivari

175 We obtain analogues of various theorems in the more standard theory of geometric quanti

176 tion-dissipation theorem, one of the central theorems in thermal dynamics, breaks down in out-of-equi

177 e defies expectations from the Mermin-Wagner theorem, in contrast to the much-reduced transition temp

178 Here, we give a simple proof of a theorem: In generalized KS theory (GKS), the band gap of

179 point estimate as calculated by the binomial theorem, indicating mutual independence.

180 l with the predictions of the marginal value theorem, indicating that communal perceptions of resourc

181 These ergodic theorems initiated a new field of mathematical-research

182 The Theorem involves an assessment of statistical symmetries

183 Noether's theorem is a fundamental result in physics stating that

184 A general metric fixed-point theorem is also proved.

185 The central limit theorem is applied to group foraging to show an automati

186 e so that the second fluctuation-dissipation theorem is exactly satisfied.

187 A related theorem is proven for deletion of two sites from a hydro

188 A direct operational consequence of Bell's theorem is the existence of statistical tests which can

189 coming the constraints of the Hobart-Derrick theorem, like in two-dimensional ferromagnetic solitons,

190 The theorem may also be used at each time step of simulation

191 s to find new geometries for which structure theorems may exist.

192 this inconsistency we employ the formulated theorem, modeling simulations and optimization along wit

193 In order to reach their full potential, the theorems must be extended to handle very hard problems.

194 at the canonical principle of Marginal Value Theorem (MVT) also applies to social resources.

195 d of analysis for testing the marginal value theorem (MVT) in natural settings that does not require

196 ic-connection fluctuation-dissipation (ACFD) theorem (namely the Rutgers-Chalmers vdW-DF, Vydrov-Van

197 The implications of the theorem naturally compel one to ask whether similar symm

198 The resulting combination index (CI) theorem of Chou-Talalay offers quantitative definition f

199 Markov chain formalism, Conley's Fundamental Theorem of Dynamical Systems, and the core ingredients o

200 We discuss the no-go theorem of Frauchiger and Renner based on an "extended W

201 all quantum unipotent groups, extending the theorem of Geiss et al. for the case of symmetric Kac-Mo

202 Based on the theorem of invariance of information capacity, resolutio

203 ymmetric extension of the second fundamental theorem of invariant theory is obtained as a corollary.

204 These results are analogues of a classical theorem of Iwasawa.

205 genetic effects, extending the central-limit theorem of Lange to allow for both inbreeding and domina

206 tionary dynamics follow Fisher's Fundamental Theorem of Natural Selection and a corollary, permitting

207 Here, we used Fisher's Fundamental Theorem of Natural Selection to evaluate the adaptive po

208 adaptive evolution, known as the Fundamental Theorem of Natural Selection, is well appreciated by evo

209 The Price Equation and Fisher's fundamental theorem of natural selection, two of the most powerful c

210 g joins and meets alone, which expresses the theorem of Pappus.

211 the equation of genetic change, (2) Fisher's theorem of partial change, (3) a new uncertainty princip

212 or parameter evaluation, similar to Fisher's theorem of population selection, is derived.

213 its performance is limited by the adiabatic theorem of quantum mechanics.

214 First, the z-factor violates the Pythagorean Theorem of Statistics.

215 Actually, a famous theorem of Tate implies that two such curves over k have

216 This can be thought of as a theorem of Torelli type for birational equivalence.

217 Here, a recently introduced theorem on network bistability is applied to prove that

218 tion imposed by the Nyquist-Shannon sampling theorem on the repetition rate.

219 er novel feature of our approach is that our theorems on exponential stability of steady states for h

220 the relevant concept of stability, we report theorems on some basic properties of strategies that are

221 onary Yang-Mills connections and compactness theorems on Yang-Mills connections with bounded L(2) nor

222 The fluctuation-dissipation theorem, one of the central theorems in thermal dynamics

223 nature, gives alternative proofs of density theorems originally due to E. Szemeredi, H. Furstenberg,

224 , and majority-voting and the Condorcet Jury Theorem pervade thinking about collective decision-makin

225 Yet, according to the Hobart-Derrick theorem, physical systems cannot host them, except for n

226 be predicted by the prescient marginal value theorem (pMVT), which assumes they have perfect knowledg

227 The marginal value theorem predicts when a group should depart a camp and i

228 cation, to our knowledge, of using automated theorem proving for automatically generating highly-accu

229 conical hexagonal lattices, which by Euler's theorem requires quantization of their cone angles.

230 strategies, contrary to a widely cited "folk theorem" result that suggests that punishment can allow

231 This new area theorem reveals significant deviation from the conventio

232 expressed by Marshall et al., with the no-go theorem shown by Armata et al., which provides boundarie

233 By Fourier's theorem, signals can be decomposed into a sum of sinusoi

234 prove that it satisfies an 'almost unbiased' theorem similar to that of random-sampling cross-validat

235 n fitness and hence, by Fisher's fundamental theorem, slows the rate of increase in mean fitness.

236 The switch point theorem (SPT) is the quantitative statement of the hypot

237 The Scallop theorem states that reciprocal methods of locomotion, su

238 Aumann's seminal Agreement Theorem states that two observers (of classical systems)

239 mploy monotone systems theory to formulate a theorem stating necessary conditions for non-monotonic t

240 und to be deeply related with the four color theorem, stating that four colors are sufficient to iden

241 our new parameter in conjunction with Bayes' theorem, stereostructure assignments can be made with qu

242 m optimization devices, although a threshold theorem such as has been established in the circuit mode

243 e lamellar data to be obtained by a sampling theorem "swelling" analysis.

244 According to Noether's theorem, symmetries in a physical system are intertwined

245 The generalized Pi-theorem tells when and how large a reduction is attainab

246 An extension of the mean ergodic theorem testifies to this.

247 hich follows a modified energy equipartition theorem that accounts for the kinetic energy of the flui

248 ution to obtain a version of the fluctuation theorem that articulates the relation between the entrop

249 We present a theorem that distinguishes between those mass action net

250 onservation principle is developed here in a Theorem that precisely accounts for the statistical ener

251 n the other, leads to the proof of a general theorem that relates the two.

252 e relies on an established Fourier transform theorem that relates time-domain sections to frequency-d

253 entury, Thomas Bayes developed his eponymous theorem that teaches us that pretest probabilities can b

254 We prove a general theorem that the integral operator associated to every w

255 Based on this result, we prove a second main theorem that the integral operators in the computation o

256 ation argument is used to prove a third main theorem that the integral operators in the computation o

257 Previously, we proved a theorem that yielded explicit algorithms to produce dive

258 Among the applications are central limit theorems that give convergence to a Gaussian distributio

259 As a direct consequence of the no-cloning theorem, the deterministic amplification as in classical

260 e from chemical reactions: the central-limit theorem then explains the central lognormal, and a numbe

261 Gleason's theorem then yields the conceptual necessity of quantum

262 We apply this theorem to analyze the non-monotonic dynamics of the sig

263 fferent amounts of atomic detail, we use the theorem to calculate the gating charge produced by movem

264 which uses the naive Bayes classifier (NBC) theorem to combine eight state of the art contact method

265 sed force-field and the Dead-End Elimination theorem to compute sequences that are optimal for a give

266 (2012) use a case-control argument and Bayes theorem to derive the likelihood.

267 d on non-singular transformation, we prove a theorem to determine rigorously the control efficacy of

268 ical computational method, which uses Bayes' theorem to generate a posterior distribution for a coupl

269 conditions are not necessary for the welfare theorem to hold but that in general, the market yields i

270 o previous applications of the central limit theorem to protein energetics.

271 tional approach and the Dead-End Elimination theorem to search for the optimal sequence, we designed

272 Application of the Luttinger theorem to the Kondo lattice YbRh(2)Si(2) suggests that

273 ion of classical non-equilibrium fluctuation theorems to the quantum regime and a new thermodynamic r

274 CIN combinatories (an approximation of Bayes theorem) to determine obstruction.

275 mensional analysis and its corollary, the Pi-theorem, to the class of problems in which some of the q

276 give a short unified proof of the following theorem, valid in the context of both classical probabil

277 cer at 3 logical steps in the workup; Bayes' theorem was applied in a stepwise fashion to generate a

278 A probability based on Bayes' theorem was assigned to each of the predictions.

279 or algebra of a Peano space yielding Pappus' theorem was originally given by Doubilet, Rota, and Stei

280 The Vapnik-Chervonenkis theorem was reformulated and applied to derive the space

281 Bayes' Theorem was used to calculate the conditional probabilit

282 Bayes theorem was used to evaluate the predictive ability of h

283 ment of joints was assumed, and the binomial theorem was used to give the frequency distribution of i

284 A probabilistic method based on Bayes' theorem was used to predict the patterns of muscular act

285 conjunction with the Maxwell-Calladine index theorem we derive a relation between the number of linea

286 By applying the optical reciprocity theorem, we describe the signal collected by the probe a

287 oise; exploiting the fluctuation-dissipation theorem, we determine the associated micromechanics.

288 Using the Crooks fluctuation theorem, we measured the mechanical work produced during

289 As applications of the Theorem, we present three examples: i) land overvaluatio

290 Based on the Crooks fluctuation theorem, we then measured the equilibrium free energy ch

291 Combining Hi-C data and novel mathematical theorems, we show that contact domains are also not cons

292 These theorems were of great significance both in mathematics

293 Theorems were proven to illustrate the properties and bo

294 rarely observed manifestations of Onsager's theorem when time reversal symmetry is broken at zero ap

295 ee text] These results follow from a general theorem which models such polynomials by Hermite polynom

296 is subject to the constraints of the scallop theorem, which dictate that body kinematics identical un

297 deviation from the conventional soliton area theorem, which is crucial to understanding cavity solito

298 ely general nonlocal fluctuation-dissipation theorem with nonlocal response of surface plasmons in th

299 ys the additive method and the Central Limit Theorem within each individual experiment and also acros

300 The theorem yields an infinite set of nontrivial geometric i