Call-by-push-value (CBPV) is a new programming language paradigm, based on the slogan “a value is, a computation does”. We claim that CBPV provides the semantic primitives from which the call-by-value and call-by-name paradigms are built. The primary goal of the thesis is to present the evidence for this claim, which is found in a remarkably wide range of semantics: from operational semantics, ...

Despite high coverage of indoor interventions like Background insecticide-treated nets, mosquito-borne infections persist, partly because of outdoor-biting, early-biting and insecticide-resistant vectors. Push-pull systems, where mosquitoes are repelled from humans and attracted to nearby lethal targets, may constitute effective complementary interventions. : A partially randomized cross-over d...

Lower extremity amputation not only limits mobility, but also increases the risk of knee osteoarthritis of the intact limb. Dynamic walking models of non-amputees suggest that pushing-off from the trailing limb can reduce collision forces on the leading limb. These collision forces may determine the peak knee external adduction moment (EAM), which has been linked to the development of knee OA i...

In HTTP/1.1, it is necessary for the client to request an object (e.g. an image in a page) in order for the server to send it, even if the server knows in advance what the client will need. Server Push is a feature introduced in HTTP/2 that promises to improve page load times (PLT) by having the server push content to the browser in advance. In this paper, we investigate the benefits and challe...

Despite high coverage of indoor interventions like Background insecticide-treated nets, mosquito-borne infections persist, partly because of outdoor-biting, early-biting and insecticide-resistant vectors. Push-pull systems, where mosquitoes are repelled from humans and attracted to nearby lethal targets, may constitute effective complementary interventions. : A partially randomized cross-over d...

The human ankle produces a large burst of 'push-off' mechanical power late in the stance phase of walking, reduction of which leads to considerably poorer energy economy. It is, however, uncertain whether the energetic penalty results from poorer efficiency when the other leg joints substitute for the ankle's push-off work, or from a higher overall demand for work due to some fundamental featur...

There have been two broad theories of inflation, namely the demand-pull theory of inflation (that is nowadays mainly the monetary theory of inflation) and the cost-push theory of inflation. The mainstream macroeconomics views inflation as a monetary phenomenon in the long run. Iran has experienced double-digit rates of inflation for about four decades. Our main aim is an explanation for the lon...

introduction patellar dislocation is an emergency. vertical patellar dislocation is rare, often seen in adolescents and mostly due to sports injuries or high-velocity trauma. few cases have been reported in the literature. closed or open reduction under general anesthesia is often needed. we report a case of vertical locked patellar dislocation in a 26-year-old male, which was reduced by a simp...