{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":2,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":2,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"47780ecab0da","filters":{"venue":"IMT Institutional Repository (IMT School for Advanced Studies Lucca)"}},"results":[{"id":"W3105067267","doi":"","title":"Combining behavioural types with security analysis","year":2015,"lang":"en","type":"article","venue":"IMT Institutional Repository (IMT School for Advanced Studies Lucca)","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Google (Canada)","funders":"European Cooperation in Science and Technology","keywords":"Correctness; Computer science; Trustworthiness; Enforcement; Computer security; Data science; Risk analysis (engineering); Business; Programming language; Political science","authors":[{"name":"Massimo Bartoletti","is_ca":false},{"name":"Ilaria Castellani","is_ca":false},{"name":"Pierre-Malo Deniélou","is_ca":true},{"name":"Mariangiola Dezani-Ciancaglini","is_ca":false},{"name":"Silvia Ghilezan","is_ca":false},{"name":"Jovanka Pantović","is_ca":false},{"name":"Jorge A. Pérez","is_ca":false},{"name":"Peter Thiemann","is_ca":false},{"name":"Bernardo Toninho","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06145869868842382,"gpt":0.3238499101042825,"spread":0.2623912114158586,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.0003634701,0.0002616686,0.00041724,0.000218754,0.001319158,0.000184478,0.0006551991,0.00007432148,0.000001240064],"category_scores_gemma":[0.0004111741,0.0002315774,0.0001772759,0.0009666145,0.0002859292,0.001076377,0.0002455175,0.0002452319,0.0000117486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000457051,"about_ca_system_score_gemma":0.0004650996,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003280928,"about_ca_topic_score_gemma":0.00002991201,"domain_scores_codex":[0.9978156,0.00007364668,0.000460263,0.0006649977,0.000612449,0.0003730313],"domain_scores_gemma":[0.9975373,0.0002220628,0.0002747462,0.0005650622,0.00113269,0.000268176],"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.0008044532,0.0009140834,0.1098286,0.0002241163,0.005873027,0.0002910412,0.01092978,0.2575598,0.001471304,0.6045939,0.003048058,0.004461743],"study_design_scores_gemma":[0.02936877,0.006349404,0.134812,0.001506714,0.00531548,0.002268699,0.01976879,0.5037426,0.04039788,0.1208333,0.1263184,0.009317974],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4157391,0.004034157,0.5713828,0.0006809865,0.002835878,0.0006556885,0.00002120425,0.0005538646,0.004096314],"genre_scores_gemma":[0.9487177,0.00001991984,0.05052872,0.0001581596,0.0001859633,0.0001576057,0.00002084068,0.000009741662,0.0002013341],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5329787,"threshold_uncertainty_score":0.999981,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W7011577615","doi":"","title":"Monitoring of human movements for fall detection and activities recognition in elderly care using wWireless sensor network: a survey","year":2010,"lang":"en","type":"other","venue":"IMT Institutional Repository (IMT School for Advanced Studies Lucca)","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of New Brunswick","funders":"","keywords":"Elderly care; Elderly people; Data collection; Remote patient monitoring; Activity recognition","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.06303533535963252,"gpt":0.3496739023126175,"spread":0.286638566952985,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.0004662857,0.0007852662,0.00119466,0.0006699355,0.001340848,0.00007572427,0.0002146388,0.0005857641,0.000002518191],"category_scores_gemma":[0.0007486264,0.0008819402,0.0002439236,0.0003451393,0.0005678826,0.0005428048,0.000148225,0.0006313293,0.000002398202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001489776,"about_ca_system_score_gemma":0.0003200226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009932594,"about_ca_topic_score_gemma":0.0119465,"domain_scores_codex":[0.9964291,0.0001959019,0.0009812271,0.00105094,0.0006050792,0.000737732],"domain_scores_gemma":[0.9967588,0.0003819538,0.001251935,0.000408079,0.001045207,0.0001540566],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.005348113,0.0006287696,0.1346493,0.007768015,0.004083481,0.00006209683,0.001329677,0.01466953,0.8013062,0.0001281568,0.00101738,0.02900919],"study_design_scores_gemma":[0.06968252,0.009527149,0.2220464,0.07196998,0.004211644,0.0005245552,0.05068003,0.00217398,0.4360719,0.0053989,0.1096689,0.01804395],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.974302,0.00881752,0.001619747,0.000002116549,0.005424856,0.004583424,0.002026747,0.0002677067,0.002955909],"genre_scores_gemma":[0.9646291,0.0006779675,0.01556863,0.000008318966,0.003227139,0.002859939,0.0005413025,0.0009065526,0.01158102],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3652343,"threshold_uncertainty_score":0.9999593,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}