The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Magnetic Resonance Imaging (MRI) has several unique advantages for guiding thermal ablation therapies. It not only provides excellent soft-tissue contrast and multiplanar capabilities, but also is sensitive to thermal effects. To make full use of these advantages for thermal ablation procedures, we present an integrated solution for a thermal therapy workflow that combines dedicated MRI pulse sequences...
Two semantics, a strong semantics and a weak one, are usually adopted by time Petri nets in different application context. However, both of them are not suitable for the schedulability analysis of real-time systems. The scheduling ability of the strong semantics model is limited because of the constraints of the strong timing, whereas the weak one can not guarantee the timeliness of schedules due...
Two time semantics are usually adopted for time Petri nets (TPNs) in different application context: a strong semantics and a weak one. State class approaches are a fundamental and most widely applied technique for reachability analysis in TPNs. But the existing state class methods focus on the strong semantics. In this paper, we define the formal semantics of TPNs with weak semantics in terms of Labeled...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.