Digital evidence is increasingly important in legal proceedings as a result of advances in the information and communications technology sector. Because of the transnational nature of computer crimes and computer-facilitated crimes, the digital forensic process and digital evidence handling must be standardized to ensure that the digital evidence produced is admissible in legal proceedings. The...

This paper contains a detailed account of the notion of admissibility in the setting of consequence relations. It is proved that the two notions of admissibility used in the literature coincide, and it provides an extension to multi-conclusion consequence relations that is more general than the one usually encountered in the literature on admissibility. The notion of a rule scheme is introduced...

Continuous wavelet transforms arising from the quasiregular representation of a semidirect product group G = R ⋊ H have been studied by various authors. Recently the attention has shifted from the irreducible case to include more general dilation groups H , for instance cyclic (more generally: discrete) or one-parameter groups. These groups do not give rise to irreducible square-integrable repr...

In this paper, we study the notion of admissibility in timed games. First, we show that admissible strategies may not exist in timed games with a continuous semantics of time, even for safety objectives. Second, we show that the discrete time semantics of timed games is better behaved w.r.t. admissibility: the existence of admissible strategies is guaranteed in that semantics. Third, we provide...

The concept of admissibility with respect to clustering algorithms was introduced by Fisher and Van Ness (1971). They defined types of admissibility of an algorithm and indicated the relationships between these admissibilities and popular clustering algorithms. In recent years, admissibility with respect to space distortion (See, Lance and Williams, 1967) has been proposed by Chen and Van Ness ...

Attackers tend to use complex techniques such as combining multi-step, multi-stage attack with anti-forensic tools to make it difficult to find incriminating evidence and reconstruct attack scenarios that can stand up to the expected level of evidence admissibility in a court of law. As a solution, we propose to integrate the legal aspects of evidence correlation into a Prolog based reasoner to...

We develop an approach to providing epistemic conditions for admissible behavior in games. Instead of using lexicographic beliefs to capture infinitely less likely conjectures, we postulate that players use tie-breaking sets to help decide among strategies that are outcome-equivalent given their conjectures. A player is event-rational if she best responds to a conjecture and uses a list of subs...

In this article, we derive uniform admissibility and observability properties for the finite element space semi-discretizations of iż = A0z, where A0 is an unbounded self-adjoint positive definite operator with compact resolvent. In order to address this problem, we present several spectral criteria for admissibility and observability of such systems, which will be used to derive several result...

In the current paper, we re-examine the concept of strong admissibility, as was originally introduced by Baroni and Giacomin. We examine the formal properties of strong admissibility, both in its extension-based and in its labelling-based form. Moreover, we show that strong admissibility plays a vital role in discussionbased proof procedures for grounded semantics. In particular it allows one t...

We give a sufficient condition for the admissibility of generalized Bayes estimators of the location vector of spherically symmetric distribution under squared error loss. Compared to the known results for the multivariate normal case, our sufficient condition is very tight and is close to being necessary. In particular we establish the admissibility of generalized Bayes estimators with respect...