This paper considers the problem of enforcing linear constraints containing marking terms, firing vector terms, and Parikh vector terms. Such constraints increase the expressivity power of the linear marking constraints. We show how this new type of constraints can be enforced in Petri nets. In the case of fully controllable and observable Petri nets, we give the construction of a supervisor en...

background: ischemia reperfusion (ir) is the main pathology of torsion of testis and it is a common urologic emergency. there is some evidence that shows oxytocin (ot) plays role in ischemia reperfusion. objective: to evaluate this hypothesis that ot can decrease germ cell apoptotic index in testis under acute ischemia reperfusion in a rat model. materials and methods: 20 adult rats were random...

Assume A owns two secret k{bit strings. She is willing to disclose one of them to B, at his choosing, provided he does not learn anything about the other string. Conversely, B does not want A to learn which secret he chose to learn. A protocol for the above task is said to implement One-out-of-two String Oblivious Transfer, denoted (2 1){OT k. This primitive is particularly useful in a variety ...

This paper considers the problem of enforcing linear constraints containing marking terms, firing vector terms, and Parikh vector terms. Such constraints increase the expressivity power of the linear marking constraints. We show how this new type of constraints can be enforced in Petri nets. In the case of fully controllable and observable Petri nets, we give the construction of a supervisor en...

Assume A owns two secret k{bit strings. She is willing to disclose one of them to B, at his choosing, provided he does not learn anything about the other string. Conversely, B does not want A to learn which secret he chose to learn. A protocol for the above task is said to implement One-out-of-two String Oblivious Transfer, denoted (2 1){OT k 2. This primitive is particularly useful in a variet...

Article history: Received 11 February 2010 Received in revised form 8 July 2010 Accepted 1 October 2010 This purposes of this paper are to: 1) demonstrate an objective overshooting top (OT) detection methodusingMeteosat SecondGeneration (MSG) Spinning EnhancedVisible and Infrared Imager (SEVIRI) infrared data, 2) produce an OT database for all operational SEVIRI data over Europe and north Afric...

It is a common feature of many case marking languages that some but not all objects are case marked. However, it is usually not entirely random which objects are marked and which aren’t. Rather, case marking only applies to a morphologically or semantically well-defined class of NPs. Take Hebrew as an example. In this language, definite objects carry an accusative morpheme while indefinite obje...

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive...