Suppose we are given a graph G = (V, E), with a metric cost function c over the edges. (that is, a cost function which satisfies the triangle inequality). Suppose we have a set of clients D ⊆ V. Consider that facilities can be opened at any client vertex. Each client i ∈ D has an associated demand di. There are no facility opening costs. The task is to connect each client to a facility. Let us ...

We present a modular method for schedulability analysis of real time distributed systems. We extend the actor model, as the asynchronous model for concurrent objects, with real time using timed automata, and show how actors can be analyzed individually to make sure that no task misses its deadline. We introduce drivers to specify how an actor can be safely used. Using these drivers we can verif...

Yazdan Abdolmohammadi, Fariba Ghorbani, Mojtaba Mokhber Dezfuli, Mehdi Haghshenas, Mahdieh Hazrati, Shagin Shahriari, Melika Ghasemi, Mohammad Amin Rahimi Jafari. Korean J Transplant 2022;36:127. https://doi.org/10.4285/ATW2022.F-2500

Mamunur Rashid, Amit Bari, Farnaz Nobi, Nura Afza Salma Begum, Mohammad Shakib Uz Zaman Arefin, Shoeb Nomani, Abu Sayed, Harun Ur Curie Ahn. Korean J Transplant 2022;36:257. https://doi.org/10.4285/ATW2022.F-4026

Relationship between Otologic Symptoms, Headache, Depression and Temporomandibular Disorders Rahena Akhter*, Nur Mohammad Monsur Hassan, Manabu Morita, and David Wilson 1*School of Dentistry and Health Sciences, Charles Sturt University, Australia 2School of Dentistry and Health Sciences, Charles Sturt University, Australia 3Graduate School of Medicine, Dentistry and Pharmaceutical Sciences, Ok...

This work was supported by Iran Telecommunication Research Center (ITRC) under Grant T-500-1826. i Maryam Zibaeifard is with Department of Computer Engineering and Information Technology, Amirkabir University of Technology, Tehran, Iran (email: [email protected]). ii Mohammad Rahmati is with Department of Computer Engineering and Information Technology, Amirkabir University of Technology,...