Burden of proof for the illegal immissions as prerequisite of in rem removal claim [PDF]
The paper examines the question of the burden of proof for the facts that imply illegal immission as prerequisite of in rem removal claim. The approach is different to the standard doctrine and it is in according to the general rule of the burden of ...
Knežević Marko
doaj +1 more source
PEMBUKTIAN TERBALIK KASUS TINDAK PIDANA KORUPSI DALAM PERSPEKTIF HAK ASASI MANUSIA
Corruption is considered a great crime and requires special handling. In handling corruption, special handling is needed by using the proof reversed or reversal of the burden of proof but in a balanced manner. The purpose of this study is to explain the
Hasuri Hasuri, Mia Mukaromah
doaj +1 more source
Naturalized Epistemology and the Law of Evidence: Methodological Reflections
This paper discusses Ronald Allen’s article, Naturalized Epistemology and the Law of Evidence Revisited, and reflects on how epistemology can contribute to our understanding of the evidentiary proof process.
Michael S. Pardo
doaj +1 more source
New results of positive doubly periodic solutions to telegraph equations
The paper is devoted to obtain new results of positive doubly periodic solutions to telegraph equations. One of the interesting features in our proof is that we give a new attempt to solve telegraph equation by using the theory of Hilbert's metric.
Nan Deng , Meiqiang Feng
doaj +1 more source
Pseudorandom generators, measure theory, and natural proofs [PDF]
We prove that if strong pseudorandom number generators exist, then the class of languages that have polynomial-sized circuits (P/poly) is not measurable within exponential time, in terms of the resource-bounded measure theory of Lutz. We prove our result by showing that if P/poly has measure zero in exponential time, then there is a natural proof ...
K.W. Regan +2 more
openaire +1 more source
A General Theory of Evidence and Proof: Forming Beliefs in Truth
Kevin M. Clermont
openalex +2 more sources
Unified correspondence and proof theory for strict implication [PDF]
The unified correspondence theory for distributive lattice expansion logics (DLE-logics) is specialized to strict implication logics. As a consequence of a general semantic consevativity result, a wide range of strict implication logics can be ...
Minghui Ma, Zhiguang Zhao
semanticscholar +1 more source
A general proof of the conservation of the curvature perturbation [PDF]
Without invoking a perturbative expansion, we define the cosmological curvature perturbation, and consider its behaviour assuming that the universe is smooth over a sufficiently large comoving scale. The equations are simple, resembling closely the first-
D. Lyth, Karim A. Malik, M. Sasaki
semanticscholar +1 more source
Towards a group theoretical proof of the Frobenius theorem [PDF]
The Frobenius finite group was defined by Frobenius more than 100 years ago to be a group with a non-trivial proper subgroup $H$ whose intersection with all of its conjugates is the trivial group.
Mohammad Reza Darafsheh
doaj +1 more source
Relativistic Electromagnetic Mass Models: Charged Dust Distribution in Higher Dimensions [PDF]
Electromagnetic mass models are proved to exist in higher dimensional theory of general relativity corresponding to charged dust distribution. Along with the general proof a specific example is also sited as a supporting candidate.Comment: Latex, 7 pages.
A. Banerjee +22 more
core +2 more sources

