James M. Hull College of Business

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Web services Engineering & Materials Science
Research Ethics Medicine & Life Sciences
Cut-elimination Mathematics
Linear Logic Mathematics
Electronic Health Records Medicine & Life Sciences
Intuitionistic Logic Mathematics
Tensors Engineering & Materials Science
Health Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2005 2017

  • 5 Conference contribution
  • 3 Article
4 Citations
2 Citations

Multiple conclusion linear logic: Cut elimination and more

Eades, H. D. & de Paiva, V., Jan 1 2016, Logical Foundations of Computer Science - International Symposium, LFCS 2016, Proceedings. Artemov, S. & Nerode, A. (eds.). Springer Verlag, p. 90-105 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9537).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cut-elimination
Linear Logic
Intuitionistic Logic
Tensors
Regain
3 Citations

Big Data Clinical Research: Validity, Ethics, and Regulation

Balas, E. A., Vernon, M., Magrabi, F., Gordon, L. T. & Sexton, J., Jan 1 2015, MEDINFO 2015: eHealth-Enabled Health - Proceedings of the 15th World Congress on Health and Biomedical Informatics. Georgiou, A., Sarkar, I. N. & de Azevedo Marques, P. M. (eds.). IOS Press, p. 448-452 5 p. (Studies in Health Technology and Informatics; vol. 216).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Research Ethics
Electronic Health Records
Health
Research
Patient Care