Search results

    Filter results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 20
Number of items: 20
  • Open Access
    Herter, W. E., Khuc, J., Cinà, G., Knottnerus, B. J., Numans, M. E., Wiewel, M. A., Bonten, T. N., de Bruin, D. P., van Esch, T., Chavannes, N. H., & Verheij, R. A. (2022). Impact of a Machine Learning-Based Decision Support System for Urinary Tract Infections: Prospective Observational Study in 36 Primary Care Practices. JMIR Medical Informatics, 10(5), Article e27795. https://doi.org/10.2196/27795
  • Open Access
    Ulmer, D., & Cinà, G. (2021). Know Your Limits: Uncertainty Estimation with ReLU Classifiers Fails at Reliable OOD Detection. Proceedings of Machine Learning Research, 161, 1766-1776. https://doi.org/10.48550/arXiv.2012.05329
  • Open Access
    Fleuren, L. M., Fornasa, M., Cinà, G., Hoogendoorn, M., Elbers, P. W. G., & Dutch ICU Data Sharing Against COVID-19 Collaborators (2021). Predictors for extubation failure in COVID-19 patients using a machine learning approach. Critical Care, 25, Article 448. https://doi.org/10.1186/s13054-021-03864-3
  • Open Access
    Izdebski, A., Thoral, P. J., Lalisang, R. C. A., McHugh, D. M., Elbers, P. W. G., Cinà, G., & Dutch ICU Data Sharing Against COVID-19 Collaborators (2021). A pragmatic approach to estimating average treatment effects from EHR data: The effect of prone positioning on mechanically ventilated COVID-19 patients. (v1 ed.) https://doi.org/10.48550/arXiv.2109.06707
  • Open Access
    Baltag, A., & Cinà, G. (2018). Bisimulation for conditional modalities. Studia Logica, 106(1), 1–33. https://doi.org/10.1007/s11225-017-9723-2
  • Open Access
    Cinà, G. (2017). Categories for the working modal logician. [Thesis, fully internal, Universiteit van Amsterdam].
  • Cinà, G. (2016). Mixing Categories and Modal Logics in the Quantum Setting. In D. Aerts, C. de Ronde, H. Freytes, & R. Giuntini (Eds.), Probing the Meaning of Quantum Mechanics: superpositions, dynamics, semantics and identity ; Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Approaches, Cagliari, Italy, 23-25 July 2014 (pp. 60-75). World Scientific. https://doi.org/10.1142/9789813146280_0003
  • Open Access
    Ciná, G., & Endriss, U. (2016). Proving Classical Theorems of Social Choice Theory in Modal Logic. Autonomous Agents and Multi-Agent Systems, 30(5), 963-989. https://doi.org/10.1007/s10458-016-9328-6
  • Open Access
    Cinà, G., & Endriss, U. (2015). A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions. In AAMAS '15: proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems : May, 4-8, 2015, Istanbul, Turkey (Vol. 2, pp. 1009-1017). International Foundation for Autonomous Agents and Multiagent Systems. http://www.aamas-conference.org/Proceedings/aamas2015/aamas/p1009.pdf
  • Open Access
    Cinà, G. (2014). A Formal Analysis of the Best System Account of Lawhood. Rivista Italiana di Filosofia Analitica Junior, 5(1), 59-73.
Page 2 of 2