there is a general rule in criminal law, principal of innocence. according to this rule, who asserts must prove. if she succeeds, ,this principal is replaced by pricipal of criminality, (as this pricipal is valid as far as the contrary is not proven). so, it is clear that the validity of this pricipal is based on the circumstances and reasonable inferences from these circumstances. if the situa...

The article shows that despite the different legal systems of United States and Ukraine, in field forensic science there is a common problem associated with assessment scientific reliability expert research on this basis admissibility testimony. existing Fry standard, Dober’s trilogy, Rule 702 Federal Rules proof aimed at determining testimony are considered. It was stressed main criterion for ...

With the prevalence of Service-Oriented Architecture (SOA), end-users, who are not familiar with SOA standards and tools, want to customize services to fulfill their daily activities. However, it is challenging for end-users to get involved in the service composition, due to the in-depth knowledge needed for SOA standards and techniques. To help end-users compose services for their daily activi...

(NIST) promotes the U.S. economy and public welfare by providing technical leadership for the nation's measurement and standards infrastructure. ITL develops tests, test methods, reference data, proof of concept implementations, and technical analysis to advance the development and productive use of information technology. ITL's responsibilities include the development of technical, physical, a...

the proof of the local nilpotence theorem for 4-engel groups was completed by g. havas and m. vaughan-lee in 2005. the complete proof on the other hand is spread over several articles and the aim of this paper is to give a complete coherent linear version. in the process we are also able to make few simplifications and in particular we are able to merge two of the key steps into one.

Bandwidth labelling is a well known research area in graph theory. We provide a new proof that the bandwidth of Mobius ladder is 4, if it is not a $K_{4}$, and investigate the bandwidth of a wider class of Mobius graphs of even strips.

‎An  oriented perfect path double cover (OPPDC) of a‎ ‎graph $G$ is a collection of directed paths in the symmetric‎ ‎orientation $G_s$ of‎ ‎$G$ such that‎ ‎each arc‎ ‎of $G_s$ lies in exactly one of the paths and each‎ ‎vertex of $G$ appears just once as a beginning and just once as an‎ ‎end of a path‎. ‎Maxov{'a} and Ne{v{s}}et{v{r}}il (Discrete‎ ‎Math‎. ‎276 (2004) 287-294) conjectured that ...

In this paper, a new definition of numerical radius for adjointable operators in Hilbert -module space will be introduced. We also give a new proof of numerical radius inequalities for Hilbert space operators.

Several vulnerability databases and standards are currently available for assessing the degree of security of IT infrastructures in general. These standards focus on different aspects of the systems, while generally failing to provide support for holistic analyses a key aspect in ensuring a secure IT infrastructure. This work aims to address this gap by presenting a new methodology for evaluati...

The new paradigm of personal health demands open standards and middleware components that permit transparent integration and end-to-end interoperability from new personal health devices to healthcare information system. The use of standards seems to be the internationally accepted way to face this challenge. In this article, the implementation of an end-to-end standard-based personal health sol...