In this research, considering the importance of the topic and the gap in previous researches, a model for predicting tax evasion of guilds based on data mining technique is presented. The analyzed data includes the review of 5600 tax files of all trades with tax codes in Qazvin province during the years 2013-2018. The tax file related to guilds is in five tax groups, including the guild group o...

Numerical methods such as boundary element and finite element methods are widely used for the stress analysis in solid mechanics. This study presents boundary element method based on the displacement discontinuity formulation to solve general problems of interaction between hydraulic fracturing and discontinuities. The crack tip element and a higher order boundary displacement collocation techn...

Digital watermarking studies have always been driven by the improvement of robustness. Most of articles of this field deal with this criterion, presenting more and more impressive experimental assessments. Some key events in this quest are the use of spread spectrum, the invention of resynchronization schemes, the discovery of side information channel, and the formulation of the opponent action...

Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Bases that are commonly used include the source code, control ow graphs, design representations, and speci cations/requirements. Formal speci cations represent a signi cant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form...

This paper presents improvements to the plane-based technique for calibrating freehand3D ultrasound systems. The improvements are designed to make it easier for inexperiencedusers to perform plane-based calibration and to know that they have got a reliable result.In particular, we enable the calibration to be performed using water at room temperaturewhile producing a result ...

In this communication we illustrate the employment of a tomographic technique to face the problem of synthetic aperture radar (SAR) imaging in a two-dimensional and scalar geometry and under a multi-frequency/multi-monostatic measurement configuration. In this context the different points of illumination and observation arise from different passes of the SAR sensor. We perform the analysis and ...

This paper examines a new evaluation of urban road traffic safety based on a matter element analysis, avoiding the difficulties found in other traffic safety evaluations. The issue of urban road traffic safety has been investigated through the matter element analysis theory. The chief aim of the present work is to investigate the features of urban road traffic safety. Emphasis was placed on the...

Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Tests are commonly generated from the source code, control ow graphs, design representations, and speciications/requirements. Formal speciications represent a signiicant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form th...

This paper presents improvements to the plane-based technique for calibrating freehand 3D ultrasound systems. The improvements are designed to make it easier for inexperienced users to perform plane-based calibration and to know that they have got a reliable result. In particular, we enable the calibration to be performed using water at room temperature while producing a result that is valid fo...

Designs for 0tting a generalized linear model depend on the unknown parameters of the model. The use of any design optimality criterion would therefore require some prior knowledge of the parameters. In this article, a graphical technique is proposed for comparing and evaluating designs for a logistic regression model. Quantiles of the scaled mean-squared error of prediction are obtained on con...