background: opioid abuse is common in iran. in recent years, methadone maintenance therapy (mmt) has gained popularity in this country. this study aimed at evaluation concurrent abuse of alcohol in patients under mmt. methods: a predesigned questionnaire was developed and completed after obtaining verbal consent among 49 subjects under mmt in kian rehabilitation centre during january 2014. resu...

Checking the Data Sharing Strategies of Concurrent Systems Level Code

Bargaining with reading habit is no need. Reading is not kind of something sold that you can take or not. It is a thing that will change your life to life better. It is the thing that will give you many things around the world and this universe, in the real world and here after. As what will be given by this concurrent programming in java design principles and patterns, how can you bargain with...

We develop a certified decision procedure for reasoning about systems of equations over the “tree share” fractional permission model of Dockins et al. Fractional permissions are used to track and reason about shared ownership of resources between multiple parties, e.g. in a concurrent program. We show how to extend the theory over systems of equations of tree shares to handle both positive and ...

It is well known that games with the parity winning condition admit positional determinacy : the winner has always a positional (memoryless) strategy. This property continues to hold if edges rather than vertices are labeled. We show that in this latter case the converse is also true. That is, a winning condition over arbitrary set of colors admits positional determinacy in all games if and onl...

We model both concurrent programs and the possible executions from one state to another in a concurrent program using simplices. The latter are calculated using necklaces of simplices in the former.