Experimental Investigation of Composite Steel-Concrete Arches

This research is concerned with behavior of composite steel-concrete arches under static load.For this purpose, eight models of composite steel-concrete arches are fabricated as test specimens.According to their supporting systems, the eight fabricated specimens are equally divided into Hinge-Roller and Hinge-Hinge supported arches in which varied

read more

Enhancement of Health Care Services Based on Cloud Computing in IOT Environment Using Hybrid Swarm Intelligence

Healthcare services (HCS) based on cloud computing and the Denim Internet of Things are a great opportunity for the development of medical information technology.Task scheduling in cloud computing is one of the most critical problems facing health care services, as it affects the time required to fulfill user requests and the cost and quality of se

read more


Precise subtyping for synchronous multiparty sessions

The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages.The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: operational and denotational.The former

read more