{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00766881,0.001107558,0.000825348,0.001247106,0.001221433,0.0047903,0.00260436,0.001953939,0.004976109],"category_scores_gemma":[0.02720026,0.001206139,0.00194857,0.001873753,0.006388339,0.01666029,0.005488947,0.007229207,0.000981711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002589203,"about_ca_system_score_gemma":0.00238548,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001393514,"about_ca_topic_score_gemma":0.001247147,"domain_scores_codex":[0.9918103,0.003100403,0.0006909983,0.001043979,0.003013063,0.0003413746],"domain_scores_gemma":[0.9808542,0.01355285,0.001023837,0.003072603,0.00121834,0.0002782322],"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.00007078623,0.00005547217,0.0003284438,0.0002470684,0.00002866436,0.0001138598,0.0006399587,0.008246476,0.001695984,0.9548076,0.00289116,0.0308746],"study_design_scores_gemma":[0.00004728283,0.00003853949,0.0001125734,0.000109016,0.00003398462,0.0002029364,0.0001135945,0.03807868,0.00256842,0.9459893,0.01268304,0.00002267697],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0111241,0.002167508,0.9641392,0.004217368,0.0001976708,0.0003143873,0.0005863583,0.0008239568,0.01642935],"genre_scores_gemma":[0.412395,0.004505426,0.5635542,0.001715813,0.0005855658,0.001632666,0.002095046,0.0004715182,0.01304488],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00766881,"threshold_uncertainty_score":0.04055703,"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."}}