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

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

2 e (derived using the fluctuation dissipation theorem).

3 e (derived using the fluctuation dissipation theorem).

4 distribution predicted by the central limit theorem.

5 expected to be Gaussian by the central limit theorem.

6 oncepts based on the fluctuation dissipation theorem.

7 chanical unfolding using Crooks' fluctuation theorem.

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

9 is analyzed using the potential distribution theorem.

10 accordance with the fluctuation-dissipation theorem.

11 confidence intervals according to Fieller's theorem.

12 then determined using the Crooks fluctuation theorem.

13 ical simulations, in accord with our general theorem.

14 oses an alternative approach based on Bayes' theorem.

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

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

17 is studied via the martingale central limit theorem.

18 iables beyond the prediction of Buckingham's theorem.

19 be enhanced by harnessing the central limit theorem.

20 ing sequence in L2 for the pointwise ergodic theorem.

21 thermodynamics, the fluctuation-dissipation theorem.

22 persymmetric extension of the standard basis theorem.

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

24 sterior class probabilities by use of Bayes' theorem.

25 ratios derived for predictors by using Bayes theorem.

26 probabilities were estimated using the Bayes theorem.

27 at finite temperatures by the Mermin-Wagner theorem.

28 any related variables and are based on Bayes theorem.

29 wing the prescription of the Nyquist-Shannon theorem.

30 ons and experimentally demonstrate the shift theorem.

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

32 ear violation of the fluctuation dissipation theorem.

33 ctions being appropriate according to Bayes' theorem.

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

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

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

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

38 This method is based on the BH theorems.

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

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

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

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

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

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

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

46 The theorem also follows from earlier work.

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

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

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

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

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

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

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

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

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

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

57 The Pythagorean Theorem and variants of it are studied.

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

59 Proofs of the theorems and additional experimental results are availab

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

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

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

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

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

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

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

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

68 ters estimated from a naive Shannon sampling theorem approach.

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

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

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

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

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

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

75 Two theorems are provided to efficiently calculate the Bayes

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

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

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

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

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

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

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

83 Bayes' theorem can combine prior information (prior probability

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

85 An existing theorem concerning the relationship between squared long

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

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

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

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

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

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

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

93 rk estimator and the fluctuation-dissipation theorem estimator.

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

95 Our theorem explains how GKS band gaps from metageneralized

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

144 The Theorem involves an assessment of statistical symmetries

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

184 This new area theorem reveals significant deviation from the conventio

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

225 Bayes' Theorem was used to calculate the conditional probabilit

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

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

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

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

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

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

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

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

234 These theorems were of great significance both in mathematics

235 Theorems were proven to illustrate the properties and bo

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

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

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

239 The theorem yields an infinite set of nontrivial geometric i