{"id":"W2605626037","doi":"10.71781/9905","title":"Formal checking of web based applications","year":2006,"lang":"en","type":"dissertation","venue":"Papyrus : Institutional Repository (Université de Montréal)","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Université de Montréal","keywords":"Computer science; Web application; World Wide Web; Programming language; Software engineering; Information retrieval","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007495784,0.001004362,0.0009707526,0.002598776,0.001222727,0.005676358,0.003514783,0.002081227,0.004508611],"category_scores_gemma":[0.04954149,0.001674409,0.002401215,0.001652687,0.004058958,0.006326577,0.003043514,0.002608641,0.0006455963],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003278299,"about_ca_system_score_gemma":0.003790638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01158356,"about_ca_topic_score_gemma":0.01177522,"domain_scores_codex":[0.9862846,0.004630812,0.0008573733,0.00143589,0.005440636,0.001350761],"domain_scores_gemma":[0.9455097,0.03835031,0.00253646,0.00825849,0.004778863,0.0005662163],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001104518,0.0006427293,0.01284198,0.001077297,0.0003741187,0.001393155,0.001795301,0.2615582,0.02945131,0.5643529,0.008350953,0.1170575],"study_design_scores_gemma":[0.000164255,0.0001128345,0.001556813,0.0001872505,0.0001599203,0.0002116257,0.0001992034,0.7026719,0.03751329,0.2495403,0.007612209,0.00007044122],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2139903,0.000609891,0.7546503,0.001505347,0.0002918391,0.0003571268,0.0006226666,0.01464068,0.01333188],"genre_scores_gemma":[0.9035668,0.000215906,0.08878682,0.0002127124,0.0001036927,0.0001465957,0.000768476,0.0008884692,0.005310381],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01158356,"threshold_uncertainty_score":0.03964198,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.003338764859483589,"score_gpt":0.1673718545805467,"score_spread":0.1640330897210631,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}