In this paper, we propose methods for testing the usability of graphical user interface (GUI) applications based on log files of user interactions. Log analysis by existing methods is not efficient because evaluators analyze a single log file or log files of the same user and then manually compare results. The methods proposed here solve this problem; the methods enable evaluators to analyze th...

hyrcanian (caspian) forest in northern iran with many endemic and endangered species is a rich area for biodiversity. the use of ground-based skidding is well accepted practice for the extraction of timber from the forest, but this has tended to cause the greatest environmental problems. the aim of the study was to evaluate and comparison of environmental impacts, residual stand damage, regener...

We prove that the log Hodge de Rham spectral sequences of certain proper smooth schemes Cartier type in characteristic $$p>0$$ degenerate at $$E_1$$ . also Kodaira vanishings for them hold when they are projective. formulate weak Lefschetz conjecture crystalline cohomologies and it is true cases.