4 resultados para Automated proof

em WestminsterResearch - UK


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The gametocytes of the malaria parasite Plasmodium falciparum are highly resistant to antimalarial drugs. Its presence in the blood can be detected even after a successful malaria treatment. This paper explains a modified Annular Ring Ratio method which successfully locates and differentiates gametocytes of P. falciparum species in thin blood film images. The method can be used as an efficient tool for gametocyte detection for post-treatment malaria diagnosis. It also identifies the presence of any White Blood Cells (WBCs) in the image, and discards other artifacts and non infected cells. It utilizes the information based on structure, color and geometry of the cells and does not require any segmentation or non-illumination correction techniques that are commonly used for cell detection.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article discusses the use of digital evidence as a means of proof before the International Court of Justice (ICJ). The absence of specific Court rules and procedures for digital evidence (with the exception of Practice Direction IX bis) is not necessarily an obstacle to its production and evaluation before the ICJ, as the general evidentiary rules can also be applied to digital evidence. The article first looks at the rules on the production of documentary evidence and then examines the specific issues related to audiovisual evidence. Finally, it examines the admissibility of digital evidence unlawfully obtained by a litigant through unilateral transborder access to data. The article concludes that, even if specific regulation may be needed as to the specific way in which authenticity and accuracy of digital evidence are to be established, the particular facts of the case and the grounds of challenge can vary widely, and it is doubtful that any regulation could be sufficiently flexible to deal with this in advance.