An essential aspect of distributed systems is resource management, concerning how resources can be accessed and allocated. This aspect should also be taken into account when modeling and verifying such systems. A class of formalisms with the desired features are nominal calculi: they represent resources as atomic objects called names and have linguistic constructs to express creation of new res...

Regulated proteolysis is known to control a variety of vital processes in apicomplexan parasites including invasion and egress of host cells. Serine proteases have been proposed as targets for drug development based upon inhibitor studies that show parasite attenuation and transmission blockage. Genetic studies suggest that serine proteases, such as subtilisin and rhomboid proteases, are essent...

A peer-to-peer (p2p) system provides the networking substrate for the execution of distributed applications. It is made of peers that interact over an overlay network. Overlay networks are highly dynamic, as peers can join and leave at any time. Traditional process calculi, such as π-calculus, CCS and others, seem inadequate to capture these kinds of networks, their routing mechanisms, and to v...

The work reported herein was supported in part by the Educational Research and Development Center program, agreement number R309A60001, CFDA 84.309A, as administered by the Office of Educational Research and Improvement (OERI), U.S. Department of Education. The findings and opinions expressed in the report do not reflect the position or policies of OERI or the U.S. Department of Education. Publ...

A formal echocardiographic approach in a general intensive care unit requires a 24 hour availability of an expert in echocardiography, who could not be easily found. Therefore, a goal-directed echocardiogram strategy specifically tailored to the intensivist should be created. The concept of goal-directed echocardiography (GDE) has been incompletely evaluated and it is necessary to find a curric...

BACKGROUND The 2001 Declaration of Commitment (DoC) adopted by the General Assembly Special Session on HIV/AIDS (UNGASS) included a call to monitor national responses to the HIV epidemic. Since the DoC, efforts and investments have been made globally to strengthen countries' HIV monitoring and evaluation (M&E) capacity. This analysis aims to quantify HIV M&E investments, commitments, capacity, ...

Organisational Performance Measurement (OPM) is a recognised management tool for business success, however it under-reported and potentially under-utilised by non-acute health charities. This the first study to recommend set of methodological implementation factors OPM in charities that provide services. These consider sector’s unique governance, stakeholder service delivery requirements. A cut...

During accelerated urbanization, the lack of attention to environmental protection and governance led formation black-odor water. The existence urban water not only affects cityscape, but also threatens human health damages ecosystems. bodies are small hidden, so they require large-scale high-resolution monitoring which offers a temporal spatial variation quality frequently, unmanned aerial veh...