From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

Source URL: www.cs.man.ac.uk

• Temporal logic
• Formal languages
• Logic
• Metalogic
• Mathematical logic
• Linear temporal logic
• Mathematics
• Model theory
• Symbol
• Computation tree logic
• Interpretation
• Well-formed formula

White Paper Parametric Analysis: The Key to Rapid, Robust Design Parametric studies can drive significant time and costs out of the development process — while still ensuring design robustness and ultimate product int

Source URL: resource.ansys.com

ORDINARY LEAST SQUARES REGRESSION MATH 196, SECTION 57 (VIPUL NAIK) Corresponding material in the book: For the computational process, Section 5.3 of the book is relevant. For comparing notation: •

Source URL: files.vipulnaik.com

• Regression analysis
• Estimation theory
• Parametric statistics
• Econometrics
• Least squares
• Linear regression
• Ordinary least squares
• Linear algebra
• Matrix
• Vector space
• Line
• Linear least squares

2376 IEEE PHOTONICS TECHNOLOGY LETTERS, VOL. 17, NO. 11, NOVEMBERGb/s Optical Switching and Wavelength Multicasting in A Two-Pump Parametric Device

Source URL: psilab.ucsd.edu

• Laser science
• Nonlinear optics
• Quantum optics
• Optics
• Optical parametric amplifier
• Optical amplifier
• Laser
• Parametric process
• Packet switching
• Optical fiber
• Optical parametric oscillator

MODELING AND OPTIMIZATION OF A ROBUST GAS SENSOR Margarita A. Rebolledo C., Sebastian Krey, Thomas Bartz-Beielstein, Oliver Flasch, Andreas Fischbach, J¨org Stork SPOTSeven Lab, TH K¨ oln, Gummersbach, Germany

Source URL: bioma.ijs.si

• Regression analysis
• Econometrics
• Statistical methods
• Estimation theory
• Parametric statistics
• Linear regression
• Kriging
• Gaussian process
• Least squares
• Feature selection
• Lasso
• Ordinary least squares

Robustifying Bayesian nonparametric mixtures for count data Antonio Canale Department of Economics and Statistics and Collegio Carlo Alberto, University of Torino, Torino, Italy

Source URL: www.carloalberto.org

• Stochastic processes
• Statistical models
• Probability distributions
• Machine learning
• Statistical theory
• Mixture model
• PitmanYor process
• Dirichlet process
• Parametric model
• Poisson distribution
• Nonparametric statistics

A Noise Scaled Semi Parametric Gaussian Process Model for Real Time Water Network Leak Detection in the Presence of Heteroscedasticity Obaid Malik, Siddhartha Ghosh, Alex Rogers University of Southampton UK, SO17 1BJ (om

Source URL: www.orchid.ac.uk

Non-parametric Bayesian Dictionary Learning with Landmark-Dependent Hierarchical Beta Process 1 Mingyuan Zhou, 2 Hongxia Yang, 3 Guillermo Sapiro, 2 David Dunson and 1 Lawrence Carin 1

Source URL: snowbird.djvuzone.org

Rolling Process Modeling Report: Finite-Element Model Validation and Parametric Study on Various Rolling Process Parameters

Source URL: www.pnnl.gov

HYDROLOGICAL PROCESSES Hydrol. Process. 25, 2211– Published online 9 February 2011 in Wiley Online Library (wileyonlinelibrary.com) DOI: hypCauses of systematic over- or underestimation of lo

Source URL: profile.usgs.gov

• Econometrics
• Parametric statistics
• Statistical dependence
• Correlation and dependence
• Pearson product-moment correlation coefficient
• Linear regression
• Stream gauge
• Coefficient of determination
• Multicollinearity
• Statistics
• Regression analysis
• Covariance and correlation