{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003892716,0.0003882025,0.0003541371,0.0002776587,0.0003356874,0.0007377891,0.002009619,0.0003709354,0.00001746122],"category_scores_gemma":[0.0003180369,0.0004386337,0.0001265537,0.0003108615,0.00012452,0.0006147581,0.003707835,0.0005528493,0.000008121304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001294128,"about_ca_system_score_gemma":0.0002181796,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002211761,"about_ca_topic_score_gemma":0.000046659,"domain_scores_codex":[0.9962813,0.00139632,0.0004902724,0.0009727791,0.0004288929,0.0004304069],"domain_scores_gemma":[0.9947639,0.0003619003,0.0003040194,0.002489195,0.001888274,0.0001927031],"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.00001130123,0.000338966,0.0002763868,0.0004871714,0.0001203339,0.00001121038,0.01173021,0.4331397,0.0001614235,0.3133314,0.001154196,0.2392378],"study_design_scores_gemma":[0.0001706057,5.431202e-7,0.00002713189,0.0009914861,0.00001571624,0.00001388874,0.000002385979,0.9883847,0.002316029,0.006233165,0.001429178,0.0004151746],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001893078,0.0005626607,0.9930391,0.001193234,0.0001800515,0.0004455782,0.00001533915,0.001791186,0.0008797891],"genre_scores_gemma":[0.05962279,0.0004058324,0.9392368,0.00005594757,0.00002633491,0.0001009107,0.0001040724,0.00005061445,0.0003966652],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.555245,"threshold_uncertainty_score":0.9998065,"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."}}