{"id":"W2075893856","doi":"10.3166/jesa.42.459-478","title":"Application des méthodes formelles à la robotique modulaire. Méthodes formelles pour l'analyse des robots autonomes et modulaires","year":2008,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Modular Robots and Swarm Intelligence","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Humanities; Philosophy; Sociology","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":["metaepi_narrow"],"category_scores_codex":[0.003137117,0.001507264,0.001702423,0.000895003,0.002271348,0.001031548,0.001363306,0.0007100594,0.0004178367],"category_scores_gemma":[0.0008580379,0.001431017,0.001015485,0.001137091,0.001715434,0.002814883,0.000341464,0.001498172,0.000456197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001707108,"about_ca_system_score_gemma":0.0007870721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001048681,"about_ca_topic_score_gemma":0.0007107483,"domain_scores_codex":[0.9912019,0.002252211,0.002507603,0.001026501,0.001037254,0.001974546],"domain_scores_gemma":[0.9949583,0.001218513,0.0009875537,0.001050001,0.0008252641,0.0009603753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003069725,0.0003247315,0.007877395,0.001331764,0.0006804428,0.0004807548,0.006516212,0.5722756,0.004078502,0.01386325,0.001294256,0.3912464],"study_design_scores_gemma":[0.0007039172,0.000259064,0.2544325,0.002398364,0.0003739261,0.01222731,0.00133276,0.644421,0.006628781,0.07444944,0.001251656,0.00152126],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2672139,0.03876285,0.6896516,0.0005094112,0.0005671139,0.0005590374,0.00004700083,0.0006669837,0.002022149],"genre_scores_gemma":[0.5941689,0.0323945,0.368493,0.00007135488,0.0005074368,0.00007819179,0.0000220217,0.000317517,0.003947085],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.3897251,"threshold_uncertainty_score":0.9997677,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04236531602036497,"score_gpt":0.2901125733001773,"score_spread":0.2477472572798123,"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."}}