/dports/math/vampire/vampire-4.5.1/VUtils/ |
H A D | Z3InterpolantExtractor.hpp | 62 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 D | Z3InterpolantExtractor.cpp | 57 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 D | manova.py | 74 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 D | multivariate_ols.py | 246 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 D | bapl_mi_matcher.cxx | 55 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 D | test_multivariate_ols.py | 83 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 D | rtest_stats.mac | 16 [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 D | chrf_score.py | 157 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 D | gleu_score.py | 87 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 D | nist_score.py | 75 def corpus_nist(list_of_references, hypotheses, n=5): argument 89 hypotheses 129 for references, hypothesis in zip(list_of_references, hypotheses):
|
H A D | ribes_score.py | 71 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 D | speech_recognition_engine_unittest.cc | 142 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 D | speech_recognition_engine_unittest.cc | 141 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 D | Relocation.md | 8 ## 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 D | Relocation.md | 8 ## 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 D | speech_recognition_result.mojom | 20 // 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 D | speech_recognition_result.mojom | 20 // 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 D | NCV.cpp | 738 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 D | type_tester.py | 87 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 D | hypothesize.Rd | 5 \title{Construct hypotheses.} 15 Construct hypotheses.
|
/dports/math/maxima/maxima-5.43.2/doc/info/ |
H A D | stats.texi | 319 @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 D | test_nist.py | 30 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 D | mfront-python.md | 20 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 D | mfront-python.md | 20 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 D | kullnagar.Rd | 12 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
|