Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 19
Number of items: 19
  • 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
    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
    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
    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