When large arguments are produced graph visualizations are often hard to read. Argument visualization software should therefore offer features that allow users to display their graphs in a readable way. More specialized software for crime analysts should also offer the ability to elaborate on graphs and to hide redundant nodes. While doing so, it should be easy to unfold all hidden information ...

This paper attempts to examine the linkages among inflation, unemployment and crime rates in Malaysia. The sample period covered annual data from 1970 to 2006. The Bartlett corrected trace test proposed by Johansen (2002) was employed as being appropriate for small sample study. The corrected trace test affirmed the existence of long run equilibrium relationship between crime rate and its deter...

We review economics research regarding the effect of police, punishments, and work on crime, with a particular focus on papers from the last 20 years. Evidence in favor of deterrence effects is mixed. While there is considerable evidence that crime is responsive to police and to the existence of attractive legitimate labor market opportunities, there is far less evidence that crime responds to ...

A careful exposition of Zilber’s quasiminimal excellent classes and their categoricity is given, leading to two new results: the Lω1,ω(Q)definability assumption may be dropped, and each class is determined by its model of dimension א0. Boris Zilber developed quasiminimal excellent classes in [Zil05], in order to prove that his conjectural description of complex exponentiation was categorical. T...

We show the properties of the blowup limits of Kähler Ricci flow solutions on Fano surfaces if Riemannian curvature is unbounded. As an application, on every toric Fano surface, we prove that Kähler Ricci flow converges to a Kähler Ricci soliton metric if the initial metric has toric symmetry. Therefore we give a new Ricci flow proof of existence of Kähler Ricci soliton metrics on toric surfaces.

Varieties with log terminal and log canonical singularities are considered in the Minimal Model Program, see [KMM] for introduction. In [SH2] it was conjectured that many of the interesting sets, associated with these varieties have something in common: they satisfy the ascending chain condition, which means that every increasing chain of elements terminates (in [SH2] it was called the upper se...

We establish the dichotomy property of [7] for multi-conclusion stable canonical rules of [1]. This yields an alternative proof of existence of bases of admissible rules for such well-known systems as IPC, S4, and K4.