{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003468094,0.0005984976,0.0005989153,0.001697083,0.001299111,0.004000704,0.001852185,0.001189627,0.003985053],"category_scores_gemma":[0.003480084,0.0004034277,0.001484477,0.002127494,0.002735262,0.006588789,0.001518199,0.002625711,0.0008263352],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001755675,"about_ca_system_score_gemma":0.002057557,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00447825,"about_ca_topic_score_gemma":0.002491647,"domain_scores_codex":[0.9978291,0.0005478758,0.000354131,0.0003049309,0.0007941882,0.000169683],"domain_scores_gemma":[0.9982499,0.0006706654,0.0003218342,0.0001858233,0.0004357461,0.0001360192],"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.00001035876,0.00001002236,0.00002951069,0.000028423,0.000003284608,0.00007041459,0.0002530205,0.001363116,0.0005125103,0.9916669,0.0007958123,0.005256599],"study_design_scores_gemma":[0.00004076706,0.00006379106,0.0001379911,0.0001155431,0.00002845462,0.0004217971,0.0004090586,0.03435912,0.002779685,0.864906,0.09668256,0.00005528444],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008197462,0.0006434252,0.9737588,0.001117619,0.0002665623,0.0001087239,0.0003767505,0.0007042598,0.01482635],"genre_scores_gemma":[0.247686,0.001392019,0.7408061,0.0006315353,0.0004040581,0.0005021051,0.0009053104,0.0002776419,0.007395164],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00447825,"threshold_uncertainty_score":0.01834124,"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."}}