{"id":"W7023942031","doi":"","title":"Population Protocols: Expressiveness, Succinctness and Automatic Verification.","year":2020,"lang":"en","type":"dissertation","venue":"mediaTUM  (Technical University of Munich)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"International Graduate School of Science and Engineering; Fonds de recherche du Québec – Nature et technologies; Natural Sciences and Engineering Research Council of Canada","keywords":"Succinctness; Population; CLARITY; Focus (optics); Computation; Space (punctuation); Correctness","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002124033,0.0002249616,0.0005611532,0.0001090767,0.0001654074,0.00005565215,0.001371904,0.0003881027,0.00002369885],"category_scores_gemma":[0.0001122061,0.0002542633,0.0001077577,0.0003894883,0.00006396158,0.0003676742,0.000201993,0.0003473536,0.00001673161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006904872,"about_ca_system_score_gemma":0.0001119328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002066528,"about_ca_topic_score_gemma":0.000142056,"domain_scores_codex":[0.99837,0.0001305416,0.0003547187,0.0005273379,0.0004320002,0.0001853971],"domain_scores_gemma":[0.9983166,0.00008607916,0.0005679698,0.0007142305,0.000168095,0.0001469878],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.001660002,0.003561295,0.01312242,0.02902056,0.0009853496,0.001044082,0.030691,0.0004127464,0.03843103,0.3578768,0.05731476,0.4658799],"study_design_scores_gemma":[0.006123469,0.0008022738,0.716929,0.006982621,0.0004016563,0.00004402308,0.003368421,0.1059823,0.002384747,0.004627661,0.1490345,0.003319309],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4492778,0.004437199,0.4263979,0.005998059,0.004649124,0.06518494,0.0008430223,0.005819363,0.0373926],"genre_scores_gemma":[0.9861459,0.0001181803,0.01126196,0.00002559404,0.00005769893,0.00007748638,0.001319458,0.00002638155,0.0009673226],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7038065,"threshold_uncertainty_score":0.9999909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01029039756414629,"score_gpt":0.2314658669454741,"score_spread":0.2211754693813278,"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."}}