KM Portal

Structural Properties of place-Labeled Petri Net Controlled Grammars
Research Output | Dar Al-hikmah Library | IIUM Only

A place-labeled Petri net controlled grammar is a context-free grammar equipped with a Petri net and a function which maps places of the net to productions of the grammar. The language consists of all terminal strings that can be obtained by parallelly applying of the rules of multisets which are the images of the sets of the input places of transi

Indecent Assault and Criminal Justice System: a Comparative Apparaisal
Research Output | Dar Al-hikmah Library | IIUM Only

Is it legally correct to say that indecent assault means an assault, which has in it an element of indecency? According to Ralph Gibson in the celebrated case of R. v. Court (1987) 84 Cr. App. R. 210, (CA), indecent assault means an assault accompanied by circumstances of indecency on the part of the defendant towards the complainant, and „indece

Development of Vibrotactile Sensory Feedback for Prosthetic Hand User
Research Output | Dar Al-hikmah Library | IIUM Only

Executing daily chores with missing limbs is undoubtedly very challenging. For a person who has lost his lower arm, it is highly desirable to replace this loss with a device that not only identical in appearance, but closely mimics its capabilities. While there are many prosthetic products of multiple functionalities in the current market, the capa

Civil Procedure
Research Output | Dar Al-hikmah Library | IIUM Only

INTRODUCTION Civil procedure prescribes methods of enforcing rights or obtaining redress for their invasion. It is important because it allows parties in dispute to claim and enforce their rights under the laws. Civil procedure also regulates procedural rules and proceedings as well as ensuring the parties involved follow the correct court rules an

Languages of watson-Crick Petri Net
Research Output | Dar Al-hikmah Library | IIUM Only

Watson-Crick automata are one of the automata types that are used for transitions with two reading heads. This automata work on double stranded sequences related by a complementarity relation similar with the Watson-Crick complementarity of DNA molecules. Watson-Crick automata can be related to a Petri net, which is a graphical and mathematical for

Investigation of Recast Layer of non-Conductive Ceramic Due to micro-Edm
Research Output | Dar Al-hikmah Library | IIUM Only

This paper presents the investigation of minimum recast layer of zirconium oxide (ZrO2) due to micro-EDM using EDM-3 synthetic oil as dielectric fluid and tungsten as the tool electrode with control parameters of rotational speed and gap voltage. The investigation was performed using multi-process micro machine tools DT 110. The recast layer thickn

watson-Crick Petri Net Languages with Finite Sets of Final Markings
Research Output | Dar Al-hikmah Library | IIUM Only

A Watson-Crick Petri net is a new formal model that enhances a Petri net with the Watson-Crick complementary feature adapted from DNA molecules. The transitions of a Watson-Crick Petri net are labeled with pairs of symbols, and a firing sequence of transitions of the Watson-Crick Petri net is considered as successful if and only if it produces comp

Reverse watson-Crick Petri Nets
Research Output | Dar Al-hikmah Library | IIUM Only

A Watson-Crick Petri net is a model that relates between Watson-Crick automaton and a Petri net where the control unit of the Watson-Crick automaton is replaced by the Petri net. The language generated by a Watson-Crick Petri net can be determined either by using the class of labeling functions or the set of final markings. In this paper, another t

Discovery of Information from the Internet Service Providers (Isps): the Position Under the Law in Malaysia and the United Kingdom
Research Output | Dar Al-hikmah Library | IIUM Only

Discovery of information is one of the methods used by the lawyers to gather information from the opposite parties before the case go for a full trial. The information to be discovered is subjected to either privileged or non-privileged information. This method is also used by the parties to find out Internet Protocol (IP) address of the subscriber

Sales Through Blogs in Malaysia: Should We Regulate Them?
Research Output | Dar Al-hikmah Library | IIUM Only

Selling goods through blogs is becoming a trend in Malaysia particularly for consumer goods. Goods like homemade chocolate, cup cakes, designed and personal accessories are among the many types of businesses which are commonly carried up via blogs. The popularity of blog sales give rise to legal concerns such as should these the blogs’ businesses

Category

KCDIOM

Type

KCDIOM

KM Portal