{"id":"W2402008367","doi":"","title":"A formalization of structured temporal objects and repetition","year":2000,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Parameterized complexity; Formalism (music); Temporal logic; Temporal database; Regular polygon; Theoretical computer science; Algorithm; Mathematics; Data mining","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004733816,0.0008190774,0.0004900274,0.001624245,0.001545883,0.003270998,0.002333108,0.001253957,0.00540286],"category_scores_gemma":[0.00647629,0.0009271892,0.001608876,0.002072667,0.006588386,0.009622045,0.003255517,0.003347953,0.0007289328],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002222718,"about_ca_system_score_gemma":0.001954239,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004333115,"about_ca_topic_score_gemma":0.003438685,"domain_scores_codex":[0.9960609,0.001318234,0.0004220403,0.0007350444,0.00115972,0.0003040545],"domain_scores_gemma":[0.9948714,0.002628476,0.0007250163,0.0007963605,0.0007400581,0.0002387387],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009634957,0.00000573897,0.0000815769,0.00003430187,0.000005963886,0.0001007667,0.0004573552,0.002724315,0.0005694961,0.9913751,0.0003828835,0.004252667],"study_design_scores_gemma":[0.00002845079,0.0000548042,0.0001574861,0.0001405839,0.00003711471,0.0003717456,0.0002972855,0.05026931,0.00306955,0.8737599,0.07176799,0.00004575251],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007676234,0.0004750606,0.9790122,0.0005221462,0.0001139808,0.0000906889,0.0001822867,0.0005292867,0.01139808],"genre_scores_gemma":[0.2848665,0.0007974491,0.7036684,0.0004245022,0.0002965573,0.0004996688,0.0007407,0.0003699954,0.008336293],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00540286,"threshold_uncertainty_score":0.02503508,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00409146584646694,"score_gpt":0.1950054538879156,"score_spread":0.1909139880414487,"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."}}