banks play important roles in promoting national development. in order to provide efficient services and to perform their statutory roles effectively, banks are required to comply with established standards. in nigeria, the statement of accounting standards (sas), companies and allied matters act (cama) and the central bank of nigeria’s directives and regulations provide guidelines to banks in ...

in this paper‎, ‎we give a complete proof of theorem 4.1(ii) and a new‎ ‎elementary proof of theorem 4.1(i) in [li and shen‎, ‎on the‎ ‎intersection of the normalizers of the derived subgroups of all‎ ‎subgroups of a finite group‎, ‎ j‎. ‎algebra, ‎323  (2010) 1349--1357]‎. ‎in addition‎, ‎we also give a generalization of baer's theorem‎.

In this paper‎, ‎we give a complete proof of Theorem 4.1(ii) and a new‎ ‎elementary proof of Theorem 4.1(i) in [Li and Shen‎, ‎On the‎ ‎intersection of the normalizers of the derived subgroups of all‎ ‎subgroups of a finite group‎, ‎ J‎. ‎Algebra, ‎323  (2010) 1349--1357]‎. ‎In addition‎, ‎we also give a generalization of Baer's Theorem‎.

Standards of proof define the degree to which jurors must be satisfied that a fact is true, and plaintiffs in civil lawsuits assume the burden of proving their claims to the requisite standard of proof. Three standards-preponderance of evidence, clear and convincing evidence, and beyond a reasonable doubt-are used by different jurisdictions in trials involving liability for punitive damages. We...

ÐThis paper describes the use of formal development methods on an industrial safety-critical application. The Z notation was used for documenting the system specification and part of the design, and the SPARK subset of Ada was used for coding. However, perhaps the most distinctive nature of the project lies in the amount of proof that was carried out: proofs were carried out both at the Z level...

In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that t a certain format. This format is the abstract theory developed by Dung, Kowalski and others. A main feature of the proof theory is that it also applies to systems in which reasoning about the standards for comparing arguments is possible. The proof theory could serve as thèlogical core' ...

‎Our aim in this very short note is to show that the proof of the‎ ‎following well-known fundamental lemma of Zariski follows from an‎ ‎argument similar to the proof of the fact that the rational field‎ ‎$mathbb{Q}$ is not a finitely generated $mathbb{Z}$-algebra.