Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are relatively well understood, languages and techniques for metaprogramming with them are much less so. This paper presents work in progress on a programming language called Rogue-Sigma-Pi (RSP), in which general programs...

The codesign of embedded real-time signal processing systems is complex. The use of commercial-off-the-shelf (COTS) multiprocessor (MP) hardware and software can reduce codesign complexity. Further complexity reduction can be obtained with emerging rapid system prototyping (RSP) frameworks, which can generate deployable code by leveraging vendor communication and computation libraries. However,...

We investigate graphs and hypergraphs that have (relaxed) product structures. In the class of graphs, we discuss in detail RSP-relations, a relaxation of relations fulfilling the square property and therefore of the product relation σ, that identifies the copies of the prime factors of a graph w.r.t. the Cartesian product. For K2,3-free graphs finest RSP-relations can be computed in polynomial-...

Segregation Distorter (SD) is an autosomal meiotic drive gene complex found worldwide in natural populations of Drosophila melanogaster. During spermatogenesis, SD induces dysfunction of SD(+) spermatids so that SD/SD(+) males sire almost exclusively SD-bearing progeny rather than the expected 1:1 Mendelian ratio. SD is thus evolutionarily "selfish," enhancing its own transmission at the expens...

Ideally, both ecosystem service and human development policies should improve human well-being through the conservation of ecosystems that provide valuable services. However, program costs and benefits to multiple stakeholders, and how they change through time, are rarely carefully analyzed. We examine one of China's new ecosystem service protection and human development policies: the Relocatio...

The Regulatory Studies Program (RSP) of the Mercatus Center at George Mason University is dedicated to advancing knowledge of the impact of regulation on society. As part of its mission, RSP conducts careful and independent analyses employing contemporary economic scholarship to assess rulemaking proposals from the perspective of the public interest. Thus, this comment on the Food and Drug Admi...

Over the past several decades, subspace clustering has been receiving increasing interest and continuous progress. However, due to the lack of scalability and/or robustness, existing methods still have difficulty in dealing with the data that possesses simultaneously three characteristics: high-dimensional, massive and grossly corrupted. To tackle the scalability and robustness issues simultane...

The spatial layout of images plays a critical role in natural scene analysis. Despite previous work, e.g., spatial pyramid matching, how to design optimal spatial layout for scene classification remains an open problem due to the large variations of scene categories. This paper presents a novel image representation method, with the objective to characterize the image layout by various patterns,...

This work develops a method to compare the radiometric calibration between a radiometer and imagers hosted on aircraft and satellites. The radiometer is the airborne Research Scanning Polarimeter (RSP), which takes multi-angle, photo-polarimetric measurements in several spectral channels. The RSP measurements used in this work were coincident with measurements made by the Airborne Visible/Infra...