{"id":"W205518314","doi":"","title":"A formal temporal semantics for microsoft project based on Allen's interval algebra","year":2009,"lang":"en","type":"article","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Acadia University","funders":"","keywords":"Rotation formalisms in three dimensions; Computer science; Process calculus; Programming language; Interval temporal logic; Semantics (computer science); Formalism (music); Temporal logic; Theoretical computer science; 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.000234746,0.0001701231,0.0001943448,0.0000952413,0.0001334574,0.00007750626,0.0003530344,0.00004562534,0.000004569249],"category_scores_gemma":[0.00003698302,0.0001293297,0.0001089686,0.0001006173,0.00002415736,0.0008202039,0.00007887437,0.00007612933,0.00001290114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000243954,"about_ca_system_score_gemma":0.00009406087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002317975,"about_ca_topic_score_gemma":0.00002442379,"domain_scores_codex":[0.9988333,0.00002255627,0.0002491244,0.0003480726,0.0001765463,0.0003704116],"domain_scores_gemma":[0.9992114,0.00006891834,0.00008409795,0.0005062653,0.00007163135,0.0000576869],"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.0002187073,0.0003957685,0.0002010823,0.0001326787,0.00002187992,0.00003664818,0.000741597,0.0001578549,0.001793441,0.8956551,0.04210717,0.05853809],"study_design_scores_gemma":[0.002479037,0.003257256,0.000454464,0.0002025193,0.00000993658,0.00003829267,0.0001655656,0.4174707,0.01656706,0.002284778,0.5562353,0.0008351585],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001962417,0.00001459142,0.9942289,0.00156755,0.0002046644,0.0005138282,0.00002952819,0.000237477,0.001241022],"genre_scores_gemma":[0.3742073,0.000001359446,0.6221044,0.002671195,0.0001068162,0.00003590622,0.00003884041,0.00001002499,0.0008240762],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8933703,"threshold_uncertainty_score":0.5273914,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02092538911311612,"score_gpt":0.2833207391555215,"score_spread":0.2623953500424054,"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."}}