We characterize the impact of a linear β-reduction on the result of a control-flow analysis. (By ‘a linear β-reduction’ we mean the β-reduction of a linear λ-abstraction, i.e., of a λabstraction whose parameter occurs exactly once in its body.) As a corollary, we consider the administrative reductions of a Plotkin-style transformation into Continuation-Passing Style (CPS), and how they affect t...

Watching videos from multiple content providers (CP) has become prevalent. For individual CPs, understanding user video consumption patterns among CPs is critical for improving on-site user experience and CP’s opportunity of success. In this paper, based on a two-month dataset recording 9 million users’ 269 million video viewing requests over 6 most popular video CPs in China, we provide a firs...

Teaching Cyber-Physical System (CPS) design requires covering significant breadth while ensuring students experience how all the pieces fit together. This paper describes a distributed elevator control system design project that addresses many of the areas required in a CPS project experience. Mapping project aspects to ABET accreditation areas frames a discussion of the course’s treatment of C...

Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions through actuators. These controllers are discrete digital systems whose inputs are continuous physical quantities and whose outputs control physical (analog) devices. Thus, CPS involve both digital and analog data. In ...

K. pneumoniae is the predominant pathogen isolated from liver abscesses of diabetic patients in Asian countries. Although elevated blood glucose levels cause various immune problems, its effects on K. pneumoniae virulence are unknown. This study investigated the regulation of capsular polysaccharide (CPS) biosynthesis, a major determinant for K. pneumoniae virulence, in response to exogenous gl...

BACKGROUND We sought to determine if postoperative serial lactate determinations follow predictable patterns that could be useful in directing management, especially the initiation of postoperative mechanical cardiopulmonary support (CPS). METHODS Eight patients undergoing CPS in a 2-year period and 147 patients not requiring postoperative CPS in 6 months of that period were stratified into 6...

BACKGROUND Although cancer patients (CPs) are increasingly likely to visit emergency department (ED), no population-based study has compared the characteristics of CPs and non-cancer patients (NCPs) who visit the ED and examined factors associated with hospitalization via the ED. In this study, we (1) compared characteristics and diagnoses between CPs and NCPs who visited the ED in a cancer cen...

When it comes to compiler design, there has been a dispute as to whether it is useful to transform the source code using the continuation passing style (CPS) transform first. Some have observed that it is easier to optimize CPS transformed code, while others maintain that direct style compilation is better. Sabry and Felleisen resolve the dispute by showing how get the benefits of CPS without t...

BACKGROUND In a previous analysis of 12 cancers in the Cancer Prevention Study II (CPS-II) cohort including follow-up from 1982-2000, having both hay fever and asthma was associated with lower colorectal cancer mortality. The combination of these allergic conditions may be a marker for allergy-related immune responses that could inhibit colorectal carcinogenesis. METHODS We examined the assoc...

Cyber–Physical Systems (CPSs) are characterized by the strong interactions among cyber components and dynamic physical components. CPS is expected to play a major role in the development of next-generation smart energy systems, especially for the large scale power systems. Due to the deeply complex intertwining among different components, CPS poses fundamental challenges in multiple aspects, su...