The general review of cross section formulas for the photoelectric effect, Compton scattering, pair and triplet production is presented in the intermediate and high photon energy spectrum for carbon (Z=6). Using the classical Gaussian regressionmethod, the empirical correction functions for the theoretical cross section formulas are calculated based on the existing experimental data. The simp...

Risk evaluation formulas convert program spectrum data from test executions into suspiciousness score, according to which statements are ranked to aid debugging activities. Designing such formulas remained largely a manual task until Genetic Programming has been recently applied: resulting formulas showed promising performance in empirical evaluation. We investigate the GP-evolved formulas theo...

The runtime performance of modern SAT solvers on random k-CNF formulas is deeply connected with the ‘phase-transition’ phenomenon seen empirically in the satisfiability of random k-CNF formulas. Recent universal hashing-based approaches to sampling and counting crucially depend on the runtime performance of SAT solvers on formulas expressed as the conjunction of both k-CNF and XOR constraints (...

Logic of discovery was developed in 1970’s as an answer to questions ”Can computers formulate and justify scientific hypotheses?” and ”Can they comprehend empirical data and process it rationally, using the apparatus of modern mathematical logic and statistics to try to produce a rational image of the observed empirical world?”. Logic of discovery is based on observational and theoretical langu...

allocation and removing of excess water from the irrigation and drainage network is one of the most important activities in the management of these networks. side weir is one of the most common structures for this purpose. study on the flow hydraulic characteristics of this structure included two parts, defining the water surface profiles and estimating the discharge coefficient. to estimate th...