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

Fingerprint Dive into the research topics where Pierre Le Bras is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Debugging Mathematics
Graphical user interfaces Engineering & Materials Science
Artificial intelligence Engineering & Materials Science
Learning systems Engineering & Materials Science
Inspection Engineering & Materials Science
Catalysts Engineering & Materials Science
Maintenance Mathematics
Chemical analysis Engineering & Materials Science

Research Output 2016 2018

  • 3 Conference contribution
  • 1 Conference article

Improving User Confidence in Concept Maps: Exploring Data Driven Explanations

Le Bras, P., Robb, D., Methven, T., Padilla, S. & Chantler, M. J., 21 Apr 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. ACM, 404

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

Open Access
File
Strategic planning
Decision making

Issues affecting user confidence in explanation systems

Robb, D. A., Padilla, S., Methven, T. S., Liang, Y., Le Bras, P., Howden, T., Gharavi, A., Chantler, M. J. & Chalkiadakis, I., 30 Jul 2018, In : CEUR Workshop Proceedings. 2151

Research output: Contribution to journalConference article

Open Access
File
Artificial intelligence
Learning systems
Catalysts
Deep learning

The Tinker GUI for graphical proof strategies (tool demo)

Grov, G., Lin, Y. & Le Bras, P., 27 Jan 2017, Proceedings of the Third Workshop on Formal Integrated Development Environment. Open Publishing Association, p. 98-101 4 p. (Electronic Proceedings in Theoretical Computer Science; vol. 240).

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

Open Access
Graphical user interfaces
Visualization

Developing and Debugging Proof Strategies by Tinkering

Lin, Y., Le Bras, P. & Grov, G., 2016, Tools and Algorithms for the Construction and Analysis of Systems. Chechik, M. & Raskin, J-F. (eds.). Springer, p. 573-579 7 p. (Lecture Notes in Computer Science; vol. 9636).

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

Debugging
Inspection
Maintenance
Chemical analysis
User Experience