Modular decomposition is fundamental for many important problems in algorithmic graph theory including transitive orientation, the recognition of several classes of graphs, and certain combinatorial optimization problems. Accordingly, there has been a drive towards a practical, linear-time algorithm for the problem. Despite considerable effort, such an algorithm has remained elusive. The linear...

This paper presents a novel backward constraint solving technique for analyzing text processing programs. String constraints are represented using a variation of word equation called Simple Linear String Equation (SLSE). SLSE supports precise modeling of various regular string substitution semantics in Java regex, which allows it to capture user input validation operations widely used in web ap...

Many people who do data analysis take only a few classes in statistics and hence, in general, get introduced only to classical methods of statistics; i.e., least squares, normal theory, and possibly maximum likelihood methods. The motivation for most of these techniques is the maximizing of a function of the data with respect to some parameter—mean, variance, slope, e.g. Calculus is used by tak...

We start with the simple case of studying the relationship between a response variable Y and a predictor variable X I . Since we have only one predictor variable, we shall drop the subscript in X I and use X for simplicity. We discuss covariance and correlation coefficient as measures of the direction and strength of the linear relationship between the two variables. Simple linear regression mo...

A comprehensive computational model of wear has been developed. It simulates the wearing a surface due to both scratching with rigid indenter or normal/oblique impact projectile. group spheres models surface, characterised by hardness. When pressure overcomes threshold, are displaced account for change in profile. In case impact, volume grows velocity and reaches maximum between 0 90 ∘ . scratc...

Modern web applications often suffer from command injection attacks such as Cross-Site Scripting and SQL Injection. Even equipped with sanitation code, many systems can still be penetrated due to the existence of software bugs (see e.g., the Samy Worm). It is desirable to automatically discover such vulnerabilities, given the bytecode of a web application. One solution would be symbolically exe...

In the literature, two series of models have been proposed to address prediction problems including classification and regression. Simple models, such as generalized linear models, have ordinary performance but strong interpretability on a set of simple features. The other series, including tree-based models, organize numerical, categorical and high dimensional features into a comprehensive str...

This paper is introducing a new method for the approximation of real rational functions via mixed-integer linear programming. The formulation of the linear approximation problem is based on the minimization of a suitable minimax criterion, in combination with a branch and bound linear integer technique. The proposed algorithm can be used in many rational approximation problems, where some coec...