Source author record

Keith Butler

Keith Butler appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2021arXiv

Interpretable and Explainable Machine Learning for Materials Science and Chemistry

While the uptake of data-driven approaches for materials science and chemistry is at an exciting, early stage, to realise the true potential of machine learning models for successful scientific discovery, they must have qualities beyond purely predictive power. The predictions and inner workings of models should provide a certain degree of explainability by human experts, permitting the identification of potential model issues or limitations, building trust on model predictions and unveiling unexpected correlations that may lead to scientific insights. In this work, we summarize applications of interpretability and explainability techniques for materials science and chemistry and discuss how these techniques can improve the outcome of scientific studies. We discuss various challenges for interpretable machine learning in materials science and, more broadly, in scientific settings. In particular, we emphasize the risks of inferring causation or reaching generalization by purely interpreting machine learning models and the need of uncertainty estimates for model explanations. Finally, we showcase a number of exciting developments in other fields that could benefit interpretability in material science and chemistry problems.

preprint2020arXiv

Semantic based model of Conceptual Work Products for formal verification of complex interactive systems

Many clinical workflows depend on interactive computer systems for highly technical, conceptual work products, such as diagnoses, treatment plans, care coordination, and case management. We describe an automatic logic reasoner to verify objective specifications for these highly technical, but abstract, work products that are essential to care. The conceptual work products specifications serve as a fundamental output requirement, which must be clearly stated, correct and solvable. There is strategic importance for such specifications because, in turn, they enable system model checking to verify that machine functions taken with user procedures are actually able to achieve these abstract products. We chose case management of Multiple Sclerosis (MS) outpatients as our use case for its challenging complexity. As a first step, we illustrate how graphical class and state diagrams from UML can be developed and critiqued with subject matter experts to serve as specifications of the conceptual work product of case management. A key feature is that the specification must be declarative and thus independent of any process or technology. Our Work Domain Ontology with tools from Semantic Web is needed to translate UML class and state diagrams for verification of solvability with automatic reasoning. The solvable model will then be ready for subsequent use with model checking on the system of human procedures and machine functions. We used the expressive rule language SPARQL Inferencing Notation (SPIN) to develop formal representations of the UML class diagram, the state machine, and their interactions. Using SPIN, we proved the consistency of the interactions of static and dynamic concepts. We discussed how the new SPIN rule engine could be incorporated in the Object Management Group (OMG) Ontology Definition Metamodel (ODM)

preprint2011arXiv

Testing common classical LTE and NLTE model atmosphere and line-formation codes for quantitative spectroscopy of early-type stars

It is generally accepted that the atmospheres of cool/lukewarm stars of spectral types A and later are described well by LTE model atmospheres, while the O-type stars require a detailed treatment of NLTE effects. Here model atmosphere structures, spectral energy distributions and synthetic spectra computed with ATLAS9/SYNTHE and TLUSTY/SYNSPEC, and results from a hybrid method combining LTE atmospheres and NLTE line-formation with DETAIL/SURFACE are compared. Their ability to reproduce observations for effective temperatures between 15000 and 35000 K are verified. Strengths and weaknesses of the different approaches are identified. Recommendations are made as to how to improve the models in order to derive unbiased stellar parameters and chemical abundances in future applications, with special emphasis on Gaia science.

preprint2008arXiv

HD 271791: An Extreme Supernova Runaway B Star Escaping from the Galaxy

Hyper-velocity stars (HVSs) were first predicted by theory to be the result of the tidal disruption of a binary system by a super-massive black hole (SMBH) that accelerates one component to beyond the Galactic escape velocity (the Hills mechanism). Because the Galactic centre hosts such a SMBH it is the suggested place of origin for HVSs. However, the SMBH paradigm has been challenged recently by the young HVS HD271791 because its kinematics point to a birthplace in the metal-poor rim of the Galactic disc. Here we report the atmosphere of HD271791 to indeed show a sub-solar iron abundance along with an enhancement of the alpha-elements, indicating capture of nucleosynthesis products from a supernova or a more energetic hypernova. This implies that HD271791 is the surviving secondary of a massive binary system disrupted in a supernova explosion. No such run-away star has ever been found to exceed the Galactic escape velocity, hence HD271791 is the first hyper-runaway star. Such a run-away scenario is an alternative to the Hills mechanism for the acceleration of some HVSs with moderate velocities. The observed chemical composition of HD271791 puts invaluable observational constraints on nucleosynthesis in a supernova from the core-collapse of a very massive star (M_ZAMS >= 55 M_Sun), which may be observed as a gamma-ray burst of the long-duration/soft-spectrum type.