If you made any changes in Pure these will be visible here soon.

Research Output

  • 14 Article
  • 4 Conference article in proceeding
  • 2 Chapter
  • 1 Doctoral Thesis

Computable analysis with applications to dynamic systems

Collins, P., Feb 2020, In : Mathematical Structures in Computer Science. 30, 2, p. 173-233 61 p., 096012952000002.

Research output: Contribution to journalArticleAcademicpeer-review

Heterogeneous Domain Adaptation for IHC Classification of Breast Cancer Subtypes

Ismailoglu, F., Cavill, R., Smirnov, E., Zhou, S., Collins, P. & Peeters, R., Feb 2020, In : IEEE/ACM Transactions on Computational Biology and Bioinformatics. 17, 1, p. 347-353 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

Graph duality in surface dynamics

Collins, P. & Mitchell, K., Oct 2019, In : Journal of Nonlinear Science. 29, 5, p. 2103-2135 33 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Rigorous Continuous Evolution of Uncertain Systems

Geretti, L., Zivanovic Gonzalez, S., Collins, P., Bresolin, D. & Villa, T., 2019, Numerical Software Verification. NSV 2019: International Workshop on Numerical Software Verification. Zamani, M. & Zufferey, D. (eds.). Springer, Vol. 11652. p. 60-75 (Lecture Notes in Computer Science, Vol. 11652).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Heterogeneous Domain Adaptation Based on Class Decomposition Schemes

Ismailoglu, F., Smirnov, E., Peeters, R., Zhou, S. & Collins, P., 19 Jun 2018, Advances in Knowledge Discovery and Data Mining: PAKDD 2018. Phung, D., Tseng, V., Webb, G., Ho, B., Ganji, M. & Rashidi, L. (eds.). Cham: Springer, p. 169-182 (Lecture Notes in Computer Science, Vol. 10937).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Activities

  • 4 Talk or presentation
  • 2 Organizing or contributing to an event
  • 1 Editorial activity; journal

Types, Homotopy Type Theory, and Verification

Pieter Collins (Participant / Attendee)

5 Jun 20188 Jun 2018

Activity: Organizing, contributing or attending an eventOrganizing or contributing to an eventAcademic

Rigorous Numerical Computing with ARIADNE

Pieter Collins (Speaker)

17 Aug 2018

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

File

Rigorous Function Calculi-II

Pieter Collins (Speaker)

25 Sep 2018

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

Amazeing ARIADNE

Pieter Collins (Speaker)

22 Nov 2018

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

Types, Sets and Constructions

Pieter Collins (Participant / Attendee)

4 Jun 201813 Jun 2018

Activity: Organizing, contributing or attending an eventOrganizing or contributing to an eventAcademic