{"id":"W1666486534","doi":"10.1023/a:1021736013555","title":"Mexitl: Multimedia in Executable Interval Temporal Logic","year":2003,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Multimedia Communication and Technology","field":"Social Sciences","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Interval temporal logic; Notation; Computer science; Formalism (music); Temporal logic; Theoretical computer science; Programming language; Algorithm; Mathematics; Arithmetic","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.01351531,0.0001496166,0.0003881682,0.000378568,0.000168726,0.00003744646,0.0006411912,0.0003336759,0.0001768412],"category_scores_gemma":[0.002114304,0.0001423832,0.00006208396,0.0007971531,0.0002221406,0.0003215643,0.00008107757,0.0003745816,0.00007948852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003711861,"about_ca_system_score_gemma":0.000191682,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00180166,"about_ca_topic_score_gemma":0.0009226938,"domain_scores_codex":[0.9918616,0.006466759,0.0006060958,0.0002472629,0.000223473,0.0005947383],"domain_scores_gemma":[0.9981046,0.001139509,0.0001716416,0.0004242493,0.00005713512,0.0001028038],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000142543,0.0004445317,0.04373021,0.0001602743,0.00003668651,0.00007836077,0.04199219,0.0002540333,0.001382196,0.7640045,0.0005756135,0.1471989],"study_design_scores_gemma":[0.01241612,0.0009167908,0.008183549,0.001699465,0.00007560577,0.0001470083,0.2736292,0.1728577,0.02891748,0.06952152,0.4280375,0.003598057],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002751321,0.0006583762,0.8638697,0.0002951395,0.00109794,0.001297954,0.000001875184,0.0003547661,0.1296729],"genre_scores_gemma":[0.4431042,0.00002306735,0.5563883,0.00003578724,0.00001788828,0.0001267382,0.000001002847,0.000009409541,0.0002935826],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.694483,"threshold_uncertainty_score":0.5806217,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1502935729165406,"score_gpt":0.4425998256417204,"score_spread":0.2923062527251798,"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."}}