{"id":"W2132389230","doi":"10.1109/time.2009.22","title":"Timed Contact Algebras","year":2009,"lang":"en","type":"article","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brock University","funders":"Engineering and Physical Sciences Research Council","keywords":"Axiom; Context (archaeology); Extension (predicate logic); Computer science; Set (abstract data type); Spacetime; Relation (database); Set theory; Algebra over a field; Mathematics; Theoretical computer science; Pure mathematics; Geometry","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.001360644,0.0005111154,0.0004633729,0.001238095,0.001442136,0.003079429,0.001522337,0.001004006,0.01026196],"category_scores_gemma":[0.002012253,0.000348174,0.001487028,0.0013701,0.002768211,0.006986383,0.001888929,0.001734467,0.001197764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00201616,"about_ca_system_score_gemma":0.001402378,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002345893,"about_ca_topic_score_gemma":0.001769547,"domain_scores_codex":[0.9983273,0.0003395272,0.0001633153,0.0003498729,0.0006001087,0.0002197913],"domain_scores_gemma":[0.9986817,0.0003275378,0.000216657,0.0002601107,0.0003379024,0.0001760379],"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.000004795083,0.000003829345,0.00003875107,0.00001297555,0.000003465759,0.00003262943,0.00007515294,0.0006959229,0.0003018384,0.9971656,0.0001819906,0.001483094],"study_design_scores_gemma":[0.00001280329,0.00002302492,0.00007321416,0.00002017786,0.00001533624,0.0001385716,0.0001164817,0.01346466,0.001112111,0.9639511,0.02105929,0.00001332747],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02638416,0.0009252226,0.9035206,0.0005987448,0.0002960691,0.0001364421,0.0005314084,0.0007766762,0.06683059],"genre_scores_gemma":[0.7482965,0.001405412,0.2082956,0.0006153748,0.0005453731,0.0003463461,0.0009687521,0.0002404223,0.03928631],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01026196,"threshold_uncertainty_score":0.03432965,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01038487306876994,"score_gpt":0.2384152824887621,"score_spread":0.2280304094199921,"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."}}