{"id":"W2124556825","doi":"10.1109/time.2000.856579","title":"A formalization of structured temporal objects and repetition","year":2002,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Formalism (music); Parameterized complexity; Temporal logic; Regular polygon; Repetition (rhetorical device); Theoretical computer science; Algorithm; Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00003651845,0.00003416312,0.00004294562,0.00005811908,0.00003028142,0.00002634915,0.00004286816,0.00002233889,0.0001928483],"category_scores_gemma":[0.00001335965,0.00003083855,0.00001033088,0.0001373569,0.00001616403,0.000359645,0.00001964506,0.00001698731,0.000001984398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005542432,"about_ca_system_score_gemma":0.000004279121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000939196,"about_ca_topic_score_gemma":0.0000283311,"domain_scores_codex":[0.9996777,0.00001203252,0.0001000498,0.00009076106,0.00007390686,0.00004554526],"domain_scores_gemma":[0.9997854,0.00000808997,0.00004870623,0.00009667117,0.00003950242,0.00002166383],"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.000006861245,0.00005474531,0.04155431,0.0000640134,0.00001903305,0.000003352245,0.004008686,0.001528518,0.003494395,0.5274693,0.001401966,0.4203947],"study_design_scores_gemma":[0.0004777298,0.00006644379,0.03320134,0.00001202308,0.000003321822,0.00003958906,0.00006757087,0.9580072,0.004800509,0.002825544,0.0003808587,0.0001178673],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01593397,0.00002058906,0.9742607,0.0002259375,0.00007413139,0.00006956448,6.048214e-7,0.00007236131,0.009342134],"genre_scores_gemma":[0.9493706,0.00002083875,0.05036686,0.00007020246,0.000005637189,9.631243e-7,0.000002100158,0.000001265664,0.0001615851],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9564787,"threshold_uncertainty_score":0.2111554,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01004175604387611,"score_gpt":0.1913538628684981,"score_spread":0.181312106824622,"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."}}