Pushing the EL Envelope Further

Pushing the EL Envelope

Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL0, which allows for conjunction and value restrictions. Whereas the subsumption problem in FL0 becomes already intractable in the presence of acyclic TBoxes, it remains tractable in EL even with general concept ...

Pushing the Envelope: Antitrust Implications of the Envelope Theorem

When to Push the Envelope: Legal Ethics, the Rule of Law, and National Security Strategy

This Article argues for pushing the envelope when three conditions are met: (1) the executive engages in dialogue with other players, either before the fact or through timely ex post ratification; (2) pushing the envelope will generate a net positive aggregate of institutional consequences, viewed from an intermediate and long-term perspective; and (3) pushing the envelope harmonizes executive ...

Dynamic Envelope and Control Shading Pattern to Visual Comfort of Office Building in Tehran

This work reviews the effect of parametric programming on visual performance, daylighting and shading in office buildings in Tehran-Iran and studies their influences that help not only to reduce the glare but also to promote useful daylight illuminance through promoting visual comfort. It starts by establishing a review of the effective parameters on visual comfort indices, glare indices, and d...

Identification of Aptamer-Binding Sites in Hepatitis C Virus Envelope Glycoprotein E2

Hepatitis C Virus (HCV) encodes two envelope glycoproteins, E1 and E2. Our previous work selected a specific aptamer ZE2, which could bind to E2 with high affinity, with a great potential for developing new molecular probes as an early diagnostic reagents or therapeutic drugs targeting HCV. In this study, the binding sites between E2 and aptamer ZE2 were further explored. E2 was truncated to 15...