Home
last modified time | relevance | path

Searched refs:hypotheses (Results 1 – 25 of 685) sorted by relevance

12345678910>>...28

/dports/math/vampire/vampire-4.5.1/VUtils/
H A DZ3InterpolantExtractor.hpp62 static vstring hypothesesToString(List<TermList>* hypotheses);
66 ProofObject(Unit* unit, List<TermList>* hypotheses) in ProofObject()
67 : unit(unit), hypotheses(hypotheses) {} in ProofObject()
70 { return ZIE::hypothesesToString(hypotheses); } in hypothesesToString()
73 List<TermList>* hypotheses; member
95 Formula* termToFormula(TermList trm, List<TermList>* hypotheses);
97 void resolveHypotheses(List<TermList>*& hypotheses, TermList lemma);
H A DZ3InterpolantExtractor.cpp57 List<TermList>::Iterator hit(hypotheses); in hypothesesToString()
276 if(hypotheses) { in termToFormula()
278 List<TermList>::Iterator hit(hypotheses); in termToFormula()
286 if(hypotheses->tail()) { in termToFormula()
304 if(hypotheses->member(hyp)) { in resolveHypotheses()
306 hypotheses = hypotheses->remove(hyp); in resolveHypotheses()
318 if(!hypotheses->member(hyp)) { in resolveHypotheses()
326 hypotheses = hypotheses->remove(hyp); in resolveHypotheses()
333 "hypotheses are "+hypothesesToString(hypotheses)+"\n" in resolveHypotheses()
425 List<TermList>::Iterator hit(po.hypotheses); in readProofObject()
[all …]
/dports/math/py-statsmodels/statsmodels-0.13.1/statsmodels/multivariate/
H A Dmanova.py74 def mv_test(self, hypotheses=None): argument
101 if hypotheses is None:
105 hypotheses = []
108 hypotheses.append([key, L_contrast, None])
110 hypotheses = []
115 hypotheses.append([name, L, None])
117 results = _multivariate_ols_test(hypotheses, self._fittedmod,
H A Dmultivariate_ols.py246 def _multivariate_ols_test(hypotheses, fit_results, exog_names, argument
263 return _multivariate_test(hypotheses, exog_names, endog_names, fn)
267 def _multivariate_test(hypotheses, exog_names, endog_names, fn): argument
306 for hypo in hypotheses:
426 def mv_test(self, hypotheses=None): argument
449 if hypotheses is None:
452 hypotheses = []
455 hypotheses.append([key, L_contrast, None])
457 hypotheses = []
462 hypotheses.append([name, L, None])
[all …]
/dports/misc/vxl/vxl-3.3.2/contrib/brl/bseg/bapl/
H A Dbapl_mi_matcher.cxx55 std::vector<bapl_match> hypotheses; in generate() local
64 hypotheses.push_back(matche); in generate()
69 hypotheses.emplace_back(mi,T); in generate()
73 std::sort(hypotheses.begin(), hypotheses.end()); in generate()
77 matches_.push_back(hypotheses[i]); in generate()
78 std::cout << "MI" << i << ": " << hypotheses[i].mut_info << " - T: " in generate()
79 << hypotheses[i].xform.t() << " - A: "<< hypotheses[i].xform.A() << std::endl; in generate()
/dports/math/py-statsmodels/statsmodels-0.13.1/statsmodels/multivariate/tests/
H A Dtest_multivariate_ols.py83 r1 = r.mv_test(hypotheses=[['Intercept', ['Intercept'], None]])
91 r1 = r.mv_test(hypotheses=[['a', L, M]])
127 r1 = r.mv_test(hypotheses=[['Intercept', L, None]])
132 r1 = r.mv_test(hypotheses=[['Intercept', L, None]])
138 r1 = r.mv_test(hypotheses=[['Drug', L, None]])
141 r1 = r.mv_test(hypotheses=[['Drug', L, None]])
146 r1 = r.mv_test(hypotheses=[['Drug', L, None]])
156 assert_raises(ValueError, r.mv_test, hypotheses=[['Drug', L, None]])
159 assert_raises(ValueError, r.mv_test, hypotheses=[['Drug', L, M]])
194 r0 = r.mv_test(hypotheses=[('test1', L, M, C)])
/dports/math/maxima/maxima-5.43.2/share/stats/
H A Drtest_stats.mac16 [hypotheses,
31 [hypotheses,"H0: mean1 = mean2 , H1: mean1 > mean2"],
46 [hypotheses,
62 [hypotheses,"H0: var1 = var2 , H1: var1 > var2"],
75 [hypotheses,
88 [hypotheses,
100 [hypotheses,"H0: med1 = med2 , H1: med1 < med2"],
125 [hypotheses,"H0: b = 0 ,H1: b # 0"],
/dports/textproc/py-nltk/nltk-3.4.1/nltk/translate/
H A Dchrf_score.py157 references, hypotheses, min_len=1, max_len=6, beta=3.0, ignore_whitespace=True argument
194 hypotheses
196 num_sents = len(hypotheses)
202 for reference, hypothesis in zip(references, hypotheses):
H A Dgleu_score.py87 def corpus_gleu(list_of_references, hypotheses, min_len=1, max_len=4): argument
148 hypotheses
155 for references, hypothesis in zip(list_of_references, hypotheses):
H A Dnist_score.py75 def corpus_nist(list_of_references, hypotheses, n=5): argument
89 hypotheses
129 for references, hypothesis in zip(list_of_references, hypotheses):
H A Dribes_score.py71 def corpus_ribes(list_of_references, hypotheses, alpha=0.25, beta=0.10): argument
118 for references, hypothesis in zip(list_of_references, hypotheses):
120 return corpus_best_ribes / len(hypotheses)
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/content/browser/speech/
H A Dspeech_recognition_engine_unittest.cc142 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
144 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
191 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
218 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
264 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
611 for (size_t i = 0; i < result->hypotheses.size(); ++i) { in ProvideMockResultDownstream()
615 result->hypotheses[i]; in ProvideMockResultDownstream()
675 (*it_a)->hypotheses.size() != (*it_b)->hypotheses.size()) { in ResultsAreEqual()
678 for (size_t i = 0; i < (*it_a)->hypotheses.size(); ++i) { in ResultsAreEqual()
680 (*it_a)->hypotheses[i]; in ResultsAreEqual()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/content/browser/speech/
H A Dspeech_recognition_engine_unittest.cc141 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
143 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
190 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
217 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
263 result->hypotheses.push_back(blink::mojom::SpeechRecognitionHypothesis::New( in TEST_F()
610 for (size_t i = 0; i < result->hypotheses.size(); ++i) { in ProvideMockResultDownstream()
614 result->hypotheses[i]; in ProvideMockResultDownstream()
674 (*it_a)->hypotheses.size() != (*it_b)->hypotheses.size()) { in ResultsAreEqual()
677 for (size_t i = 0; i < (*it_a)->hypotheses.size(); ++i) { in ResultsAreEqual()
679 (*it_a)->hypotheses[i]; in ResultsAreEqual()
[all …]
/dports/science/tfel/tfel-3.4.0/docs/mfront/
H A DRelocation.md8 ## Modelling hypotheses affected
19 modelling hypotheses.
39 The axial axis is the second direction in \(1D\) hypotheses and the
40 third direction in \(2D\) hypotheses.
/dports/science/tfel-edf/tfel-3.2.1/docs/mfront/
H A DRelocation.md8 ## Modelling hypotheses affected
19 modelling hypotheses.
39 The axial axis is the second direction in \(1D\) hypotheses and the
40 third direction in \(2D\) hypotheses.
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/blink/public/mojom/speech/
H A Dspeech_recognition_result.mojom20 // Group of recognition hypotheses for a particular speech segment.
22 // An N-best list of hypotheses.
23 array<blink.mojom.SpeechRecognitionHypothesis> hypotheses;
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/blink/public/mojom/speech/
H A Dspeech_recognition_result.mojom20 // Group of recognition hypotheses for a particular speech segment.
22 // An N-best list of hypotheses.
23 array<blink.mojom.SpeechRecognitionHypothesis> hypotheses;
/dports/graphics/opencv/opencv-4.5.3/contrib/modules/cudalegacy/src/
H A DNCV.cpp738 static void groupRectangles(std::vector<NcvRect32u> &hypotheses, int groupThreshold, double eps, st… in groupRectangles() argument
741 CV_UNUSED(hypotheses); in groupRectangles()
747 std::vector<cv::Rect> rects(hypotheses.size()); in groupRectangles()
748 std::transform(hypotheses.begin(), hypotheses.end(), rects.begin(), RectConvert()); in groupRectangles()
760 std::transform(rects.begin(), rects.end(), hypotheses.begin(), RectConvert()); in groupRectangles()
761 hypotheses.resize(rects.size()); in groupRectangles()
767 NCVStatus ncvGroupRectangles_host(NCVVector<NcvRect32u> &hypotheses, in ncvGroupRectangles_host() argument
773 ncvAssertReturn(hypotheses.memType() == NCVMemoryTypeHostPageable || in ncvGroupRectangles_host()
774 hypotheses.memType() == NCVMemoryTypeHostPinned, NCV_MEM_RESIDENCE_ERROR); in ncvGroupRectangles_host()
787 memcpy(&rects[0], hypotheses.ptr(), numHypotheses * sizeof(NcvRect32u)); in ncvGroupRectangles_host()
[all …]
/dports/textproc/py-agate/agate-1.6.3/agate/
H A Dtype_tester.py87 hypotheses = [set(self._possible_types) for i in range(num_columns)]
109 h = hypotheses[i]
125 h = hypotheses[i]
/dports/devel/R-cran-generics/generics/man/
H A Dhypothesize.Rd5 \title{Construct hypotheses.}
15 Construct hypotheses.
/dports/math/maxima/maxima-5.43.2/doc/info/
H A Dstats.texi319 @code{'hypotheses}: null and alternative hypotheses to be tested.
358 | hypotheses = H0: mean = 50 , H1: mean < 50
482 @code{'hypotheses}: null and alternative hypotheses to be tested.
628 @code{'hypotheses}: null and alternative hypotheses to be tested.
735 @code{'hypotheses}: null and alternative hypotheses to be tested.
849 @code{'hypotheses}: null and alternative hypotheses to be tested.
884 | hypotheses = H0: p = 0.5 , H1: p < 0.5
982 @code{'hypotheses}: null and alternative hypotheses to be tested.
1095 @code{'hypotheses}: null and alternative hypotheses to be tested.
1181 @code{'hypotheses}: null and alternative hypotheses to be tested.
[all …]
/dports/textproc/py-nltk/nltk-3.4.1/nltk/test/unit/translate/
H A Dtest_nist.py30 hypotheses = list(map(lambda x: x.split(), hyp_fin))
35 nltk_nist = corpus_nist(references, hypotheses, i)
/dports/science/tfel/tfel-3.4.0/docs/web/
H A Dmfront-python.md20 print("List of supported modelling hypotheses:\n")
299 the behaviour (supported modelling hypotheses, etc...).
321 ### Supported modelling hypotheses and specialized modelling hypotheses
327 hypotheses supported by the behaviour.
331 hypotheses, a specific `BehaviourData` object is created. The other
332 hypotheses share the same `BehaviourData` object. The
333 `getDistinctModellingHypotheses` returns a list of hypotheses which
339 `PLANESTRAIN` and `TRIDIMENSIONAL` hypotheses. The
341 hypotheses. Supposing that only the `PLANESTRESS` has a specialized
350 There are also other methods related to modelling hypotheses:
[all …]
/dports/science/tfel-edf/tfel-3.2.1/docs/web/
H A Dmfront-python.md20 print("List of supported modelling hypotheses:\n")
285 the behaviour (supported modelling hypotheses, etc...).
307 ### Supported modelling hypotheses and specialized modelling hypotheses
313 hypotheses supported by the behaviour.
317 hypotheses, a specific `BehaviourData` object is created. The other
318 hypotheses share the same `BehaviourData` object. The
319 `getDistinctModellingHypotheses` returns a list of hypotheses which
325 `PLANESTRAIN` and `TRIDIMENSIONAL` hypotheses. The
327 hypotheses. Supposing that only the `PLANESTRESS` has a specialized
336 There are also other methods related to modelling hypotheses:
[all …]
/dports/science/R-cran-DCluster/DCluster/man/
H A Dkullnagar.Rd12 of these balls, the likelihood ratio of the next test hypotheses is computed:
30 this set, \eqn{L_0}{L_0} is the likelihood under the null hypotheses and
31 \eqn{L(z)}{L(z)} is the likelihood under the alternative hypotheses. The

12345678910>>...28