Example based Alloy languages 4 Atomic transition 4 Autopilot systems 4 Cerium alloys 4 Computer software 4 Dynamic logic 4 Linguistics 4 Operational languages 4 Requirements specifications 4 SAT-solving 4 Software engineering 4 Specifications 4 Tabular expressions 4 Tabular notation 4 Tabular specifications 4 Test harness 4 Asymptotic analysis 2 Asymptotic distributions 2 Bandwidth parameters 2 Consistent estimators 2 Cross-validation methods 2 Data sets 2 Distribution functions 2 Estimation 2 Geometry 2 Kernel Density Estimation 2 Kernel density estimators 2 Linear regression 2 Linear regression models 2