{"id":"W2345999607","doi":"10.1007/978-3-642-02614-0_39","title":"A Knowledge Repository for Indefinite Integration Based on Transformation Rules","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Mathematics, Computing, and Information Processing","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Transformation (genetics); Table (database); Domain (mathematical analysis); Set (abstract data type); Theoretical computer science; Programming language; Data mining; Mathematics","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.001112279,0.0004415786,0.000415423,0.001139494,0.0004614124,0.0009180191,0.001615949,0.0002904204,0.000003612013],"category_scores_gemma":[0.0001218904,0.000390667,0.0001599498,0.0003681763,0.0001901873,0.001181133,0.0001122153,0.0004835281,0.00002453778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002922692,"about_ca_system_score_gemma":0.0006159292,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001691351,"about_ca_topic_score_gemma":0.000005377984,"domain_scores_codex":[0.9973305,0.00002705223,0.0008504894,0.0007201038,0.0006588221,0.0004130217],"domain_scores_gemma":[0.9975886,0.0005439502,0.000535557,0.0007690783,0.0004573205,0.0001054382],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006814853,0.00003807044,5.222295e-7,0.0001411557,0.00000264494,0.000001557556,0.003379674,0.01874849,0.00001926356,0.07936122,0.00002681887,0.8982738],"study_design_scores_gemma":[0.0002929604,0.0002218624,0.0000113624,0.0009065994,0.000005252399,0.00001291021,3.983435e-7,0.8527893,0.001629269,0.1421727,0.00158252,0.0003748868],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001761098,0.00008948785,0.9546462,0.0003467537,0.0009667132,0.0005511681,0.000003359759,0.0002150953,0.04316356],"genre_scores_gemma":[0.1174925,0.000009258309,0.8792764,0.002218739,0.0004593692,0.00002829966,0.00003199509,0.00003141928,0.0004520057],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8978989,"threshold_uncertainty_score":0.9998545,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02194205656868599,"score_gpt":0.2562963796581252,"score_spread":0.2343543230894393,"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."}}