{"id":"W3135372714","doi":"","title":"VDesign A Formal Modeling and Optimization Software","year":2018,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Computer science; Interface (matter); Programming language; Software engineering; Constraint (computer-aided design); Formal methods; Formal specification; User interface; Constraint satisfaction problem; Software; Human–computer interaction; Artificial intelligence; Engineering; Operating system","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.002689355,0.001011435,0.0007817761,0.001016641,0.0005791393,0.002811363,0.001726542,0.0009358231,0.008720605],"category_scores_gemma":[0.006782469,0.0009587028,0.001869593,0.0009043442,0.001840466,0.002547321,0.002109169,0.002730693,0.002235515],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001409503,"about_ca_system_score_gemma":0.002043214,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002734737,"about_ca_topic_score_gemma":0.002634538,"domain_scores_codex":[0.9974744,0.0008966855,0.0001920735,0.0003240093,0.0009798409,0.0001330652],"domain_scores_gemma":[0.9978547,0.001093162,0.0001395232,0.0005438038,0.0003086945,0.00006015133],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008557206,0.00005964522,0.0004683713,0.0003740034,0.00005313189,0.0001072252,0.0002013178,0.1167386,0.003964591,0.7650746,0.006423174,0.1064497],"study_design_scores_gemma":[0.00005013323,0.00004115486,0.0001001268,0.0001301826,0.00003954949,0.0001160882,0.00003162925,0.4689029,0.006815799,0.4433507,0.08039394,0.00002764646],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.0012155,0.0001454273,0.9934397,0.0001879464,0.00004985519,0.00002877315,0.0001033411,0.002344848,0.00248456],"genre_scores_gemma":[0.09973883,0.0007014992,0.885251,0.0002414616,0.00009708883,0.0002706512,0.0006920997,0.002097935,0.01090947],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.008720605,"threshold_uncertainty_score":0.02917331,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01607903261629294,"score_gpt":0.2189099359925708,"score_spread":0.2028309033762778,"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."}}