The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal verification. Eliminating such dependency from the system compacts the state space and may significantly reduce the verification cost. Despite the importance, how to detect functional dependency without or before knowing the r...

OBJECTIVES To evaluate functional outcomes, care needs and cost-efficiency of hyperacute (HA) rehabilitation for a cohort of in-patients with complex neurological disability and unstable medical/surgical conditions. DESIGN A multicentre cohort analysis of prospectively collected clinical data from the UK Rehabilitation Outcomes Collaborative (UKROC) national clinical database, 2012-2015. SE...

We have reported the linear relation of myocardial oxygen consumption per beat (VO(2)) and systolic pressure-volume area (PVA) in the left ventricle of the cross-circulated rat heart. The VO(2) intercept (PVA-independent VO(2)) is primarily composed of VO(2) for Ca(2+) handling in excitation-contraction coupling and basal metabolism. Recently, we proposed a new index for oxygen cost of contract...

BACKGROUND Cerebrovascular diseases are the second leading cause of death worldwide and one of the health conditions which demand the highest level of social services. The aim of this study was to estimate the social cost of non-professional (informal) care provided to survivors of cerebrovascular accidents (CVA) with some type of disability in Spain. METHODS We obtained data from the 2008 Su...

the increasing dependency of many businesses with information technology (it)and the high percentage of the it investment in all invested capital in businessenvironment ask for more attention to this important driver of business. thelimitation of capital budget forces the managers to look for more wise investment init. there are many cost-cutting techniques in the literature and each of them ha...

Measurement results show that updating rules on switches poses major latency overhead during the course of the policy update. However, current SDN policy compilers do not handle policy updates well and generate large amount of redundant rule updates, most of which modify only the priority field. Our analysis shows that the lack of knowledge on the rule dependency and the consecutively distribut...

OBJECTIVE To estimate direct medical costs of diarrheal hospitalization of children <5 years admitted in pediatric intensive care unit (PICU) or high dependency unit (HDU). METHODS Analysis of medical records and hospital bills of 84 children during two time frames, 2005-08 and 2012-14. RESULTS Direct medical costs in PICU increased from INR 17,941 to INR 50,663 per child for rotavirus diar...

In the research, it is aimed to measure the impact of outsourcing, which appears as a case of extremely critical within today's rapidly changing environmental conditions and brutal competitive conditions on the transaction costs of organizations and resources dependencies, on the businesses operating in Konya Organized Industrial Zone, in Turkey and to detect the relationship between these conc...