| 2009 |
|---|
| 8 | EE | Nikita A. Sakhanenko,
George F. Luger,
Hanna E. Makaruk,
David B. Holtkamp:
Predictions and Diagnostics in Experimental Data Using Support Vector Regression.
International Journal on Artificial Intelligence Tools 18(1): 163-171 (2009) |
| 2008 |
|---|
| 7 | | Nikita A. Sakhanenko,
Roshan Rammohan,
George F. Luger,
Carl R. Stern:
A New Approach to Model-Based Diagnosis Using Probabilistic Logic.
FLAIRS Conference 2008: 678-683 |
| 2007 |
|---|
| 6 | | Nikita A. Sakhanenko,
George F. Luger,
Carl R. Stern:
Managing Dynamic Contexts Using Failure-Driven Stochastic Models.
FLAIRS Conference 2007: 466-471 |
| 5 | | Nikita A. Sakhanenko,
Roshan Rammohan,
George F. Luger,
Carl R. Stern:
A Context-Partitioned Stochastic Modeling System with Causally Informed Context Management and Model Induction.
IICAI 2007: 2172-2191 |
| 2006 |
|---|
| 4 | EE | Nikita A. Sakhanenko,
George F. Luger,
Hanna E. Makaruk,
David B. Holtkamp:
Application of Support Vector Regression to Interpolation of Sparse Shock Physics Data Sets
CoRR abs/cs/0603081: (2006) |
| 2005 |
|---|
| 3 | EE | Hanna E. Makaruk,
Robert Owczarek,
Nikita A. Sakhanenko:
Systematic Method for Path-Complete White Box Testing
CoRR abs/cs/0503050: (2005) |
| 2 | EE | Nikita A. Sakhanenko,
Hanna E. Makaruk:
Understanding physics from interconnected data
CoRR abs/cs/0512084: (2005) |
| 2003 |
|---|
| 1 | EE | Deepak Kapur,
Nikita A. Sakhanenko:
Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions.
TPHOLs 2003: 136-154 |
