The usual concept of the admissibility of an experimental design (e.g., see [6], pp. 800-812) is based solely on variance considerations and no allowance is made for the possible occurrence of bias errors resulting from the use of an incorrect model. This limitation is not entirely desirable in a response surface setting where a graduating function Y(:~;Q) such as a polynomial will always fail ...

The confession of a criminal defendant serves as a prosecutor's most compelling piece of evidence during trial. Courts must preserve a defendant's constitutional right to a fair trial while upholding the judicial interests of presenting competent and reliable evidence to the jury. When a defendant seeks to challenge the validity of that confession through expert testimony, the prosecution often...

We recast Milner's work on SCCS, a calculus for nite but unbounded delay based on SCCS, by giving a denotational semantics for admissibility of innnite computations on a biinite domain K. Using Abramsky's SFP domain D for bisimulation we obtain a fully abstract model in D K for an operational pre-order which generalizes Milner's fortiication. Our preorder includes divergence and its restriction...

It is well-known that while strict admissibility of heuristics in problem solving guarantees the optimality of the A* algorithm, many problems cannot be effectively faced because of the combinatorial explosion. In order to address this problem the notion of 2-admissible search has been introduced, which yields solutions with bounded costs [12]. In this paper, we introduce the related concept of...

In the paper the discrete version of the Morse’s singularity condition is established. This condition ensures that the discrete functional over the unbounded interval is positive semidefinite on the class of the admissible functions. Two types of admissibility are considered.

We present a basis for the admissible rules of intuitionistic proposi-tional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.