Formal Methods Boost Experimental Performance for Explainable AI

IT Professional ◽

10.1109/mitp.2021.3123495 ◽

2021 ◽

Vol 23 (6) ◽

pp. 8-12

Author(s):

Frederik Gossen ◽

Tiziana Margaria ◽

Bernhard Steffen

Keyword(s):

Formal Methods ◽

Experimental Performance ◽

Download Full-text

Application of formal methods to the VIPER microprocessor

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1987.0023 ◽

1987 ◽

Vol 134 (3) ◽

pp. 133 ◽

Author(s):

W.J. Cullyer ◽

C.H. Pygott

Keyword(s):

Download Full-text

Constraint Analysis of System Requirement in SysML with Formal Methods

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.137.809 ◽

2017 ◽

Vol 137 (6) ◽

pp. 809-814

Author(s):

Yosuke Kakiuchi

Keyword(s):

Formal Methods ◽

Constraint Analysis ◽

System Requirement

Download Full-text

Study and Experimental Performance Evaluation of Flux Intensifying PM Motor with Variable Leakage Magnetic Flux

IEEJ Transactions on Industry Applications ◽

10.1541/ieejias.138.499 ◽

2018 ◽

Vol 138 (6) ◽

pp. 499-512 ◽

Author(s):

Masahiro Aoyama ◽

Toshihiko Noguchi

Keyword(s):

Performance Evaluation ◽

Magnetic Flux ◽

Experimental Performance

Download Full-text

Automatic Modeling of Logic Device Performance Based on Machine Learning and Explainable AI

2020 International Conference on Simulation of Semiconductor Processes and Devices (SISPAD) ◽

10.23919/sispad49475.2020.9241681 ◽

2020 ◽

Author(s):

Seungju Kim ◽

Kwangseok Lee ◽

Hyeon-Kyun Noh ◽

Youngkyu Shin ◽

Kyu-Baik Chang ◽

...

Keyword(s):

Machine Learning ◽

Device Performance ◽

Logic Device ◽

Automatic Modeling ◽

Download Full-text

Free Fall: the STATE of Interdisciplinary and Experimental Performance: (a netless net)

Theatre Research in Canada ◽

10.3138/tric.29.2.179 ◽

2008 ◽

Vol 29 (2) ◽

pp. 179-193

Author(s):

Sam Stedman

Keyword(s):

Free Fall ◽

The State ◽

Experimental Performance

Download Full-text

Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development,

10.21236/ada310438 ◽

1995 ◽

Author(s):

Luqi

Keyword(s):

Software Development ◽

Formal Methods ◽

Computer Aided ◽

Practical Impact

Download Full-text

A Prototype Formal Methods Environment

10.21236/ada389751 ◽

2001 ◽

Author(s):

Ray Teitelbaum

Keyword(s):

Download Full-text

Applying Practical Formal Methods to the Specifications and Analysis of Security Properties

10.21236/ada464842 ◽

2001 ◽

Author(s):

Constance Heitmeyer

Keyword(s):

Formal Methods ◽

Security Properties

Download Full-text

Formal Methods for Reverse Engineering Gate-Level Netlists

10.21236/ada623698 ◽

2013 ◽

Author(s):

Wenchao Li

Keyword(s):

Reverse Engineering ◽

Download Full-text

Understanding Machine Learning for Diversified Portfolio Construction by Explainable AI

SSRN Electronic Journal ◽

10.2139/ssrn.3528616 ◽

2020 ◽

Author(s):

Markus Jaeger ◽

Stephan Krügel ◽

Dimitri Marinelli ◽

Jochen Papenbrock ◽

Peter Schwendner

Keyword(s):

Machine Learning ◽

Portfolio Construction ◽

Explainable Ai ◽

Diversified Portfolio

Download Full-text