We introduce the concept of multi-directional width-bounded geometric separators and obtain an improved separator for grid graphs. This yields an improved exact algorithm for the protein folding problem in the HP-model. For a grid graph G with n grid points P , there exists a separator A ⊆ P such that A has at most 1.02074 √ n points, and G−A has two disconnected subgraphs each with at most 2 3...

grammar ThreeFieldGrammar; structure { start: field1 & separator & field2 & separator & field3 & "\n"; separator: "-"; abstract field1; abstract field2; abstract field3; } An abstract grammar captures an incomplete specification. A non-terminal node must be declared abstract if it does not have a corresponding RHS. A grammar that has at least one abstract node must be declared abstract. A deriv...

Szcrnmavy.-The available theoretical and experimental information on condensation of water vapour in the supersonic flow of air is reviewed and the influence of condensation on operation of supersonic tunnels is considered. The mechanism of condensation in supersonic flow is of molecular nature and does not depend on the presence of solid condensation nuclei in the air. As estimated by Oswatits...

This paper highlights some caveats in using composite analyses to form physical hypotheses on the associations between environmental variables. This is illustrated using a specific example, namely the apparent links between heat waves (HWs) and sea surface temperatures (SSTs). In this case study, a composite analysis is performed to show the large-scale and regional SST conditions observed duri...

A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable (resp. a locally threshold testable) separator. In both cases, we design a decision procedure based on the occurrence of special patterns in automata accepting...

Continuum mechanics predicts that the propagation speed of non-equilibrium information in solids is limited by the longitudinal wave speed, so is crack propagation. However, solids are essentially discrete systems. In this paper, via theoretical analysis and numerical simulations, it is demonstrated in a straightforward way that nonequilibrium disturbance (e.g. force, displacement, energy, and ...

BACKGROUND This study aims to evaluate and compare the effect of pre-procedural administration of acetaminophen, ibuprofen, and meloxicam in reducing pain after separator placement. METHODS Three hundred twenty-one patients who needed orthodontic treatment and aged above 15 were randomly assigned to one of the three study groups: group A: 650 mg acetaminophen, group B: 400 mg ibuprofen, and g...

The Vertex Separator Problem for a graph is to find the smallest collection of vertices whose removal breaks the graph into two disconnected subsets that satisfy specified size constraints. The Vertex Separator Problem was formulated in the paper 10.1016/j.ejor.2014.05.042 as a continuous (non-concave/non-convex) bilinear quadratic program. In this paper, we develop a more general continuous bi...

The public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, includ...

Studies have shown that the whale shark (Rhincodon typus), a vulnerable large filter feeder, seasonally aggregates at highly productive coastal sites and that individuals can perform large, trans-boundary migrations to reach these locations. Yet, the whereabouts of the whale shark when absent from these sites and the potential oceanographic and biological drivers involved in shaping their prese...