In this paper we study the home marking problem for Petri nets, and some related concepts to it like confluence, noetherianity, and state space inclusion. We show that the home marking problem for inhibitor Petri nets is undecidable. We relate then the existence of home markings to confluence and noetherianity and prove that confluent and noetherian Petri nets have an unique home marking. Final...

Two strategies of case marking in natural languages are discussed. These are defined as two violable constraints whose effects are shown to converge in the case of differential object marking but diverge in the case of differential subject marking. The strength of the case bearing arguments will be shown to be of utmost importance for case marking as well as voice alternations. The strength of ...

Probabilistic Packet Marking (PPM) is one of the methods on IP traceback. In this method, intermediate router embeds (i.e., marks) the address of itself into the header of the sampled packet. However, because the PPM does not have a mechanism to avoid overrides of marking information, there is a problem that it requires a lot of packets to reconstruct attack route. We previously proposed two ma...

Marking menus have many benefits, including fast selection time, low error rate and fast transition to expert mode, but these are mitigated by a practical limit of 8 items per menu. Adding hierarchical levels increases capacity, but at the expense of longer selection times and higher error rates. In this paper we introduce Extended Marking Menus, a variant of marking menus that increases their ...

InfiniBand System Area Networks using link-level flow control can experience congestion spreading, where one bottleneck link causes traffic to block throughout the network. End-to-end congestion control using Explicit Congestion Notification (ECN) packet marking has the potential to solve this problem. In this paper, we develop and evaluate ECN mechanisms for switches with input-buffered config...

landfill is the major method of solid waste disposal in developing countries. to protect soil andgroundwater from contamination, anti-seepage systems have to be installed in landfills. however, during theconstruction of anti-seepage system, many factors can result in holes in geomembrane liners. for the purpose of improving construction quality, the construction company needs to find the leaks ...

BACKGROUND Surgical site marking is one important cornerstone for the principles of safe surgery suggested by the WHO. Generally it is recommended that the attending surgeon performs the surgical site marking. Particularly in the case of same day surgery, this recommendation is almost not feasible. Therefore we systematically monitored, whether surgical site marking can be performed by trained ...

This paper calls for a reexamination of the Marking Theory of HPSG, which in its standard form involves a considerable amount of dedicated formal machinery, but which proves to be inapplicable for most types of grammatical marking. As an alternative, it is demonstrated that head-marker phrases can be reanalyzed as head-complement structures, with the marking element treated as the syntactic hea...

Adolescence is a period during which many social behaviors emerge. One such behavior, flank marking, is a testosterone-modulated scent marking behavior that communicates dominance status between adult male Syrian hamsters. Testosterone modulates flank-marking behavior by altering neural transmission of vasopressin within a forebrain circuit. This study tested whether testicular hormones secrete...

We present Wave menus, a variant of multi-stroke marking menus designed for improving the novice mode of marking while preserving their efficiency in the expert mode of marking. Focusing on the novice mode, a criteria-based analysis of existing marking menus motivates the design of Wave menus. Moreover a user experiment is presented that compares four hierarchical marking menus in novice mode. ...