نتایج جستجو برای: alternating cycle free matching
تعداد نتایج: 894312 فیلتر نتایج به سال:
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of terms with binding. Two kinds of such automaton are defined, nondeterministic and alternating. We show that the nondeterministic automata have a decidable nonemptiness problem and leave as an open question whether this is true for the alternating version. The families o...
Eleven patients with tachycardia-dependent, bradycardia-dependent, or "pseudobradycardia-dependent" bundle branch block (BBB) alternans were studied. This classification is based on the following criteria: 1) When alternans is initiated by a sudden acceleration in ventricular rate, or it appears with aberration of the second beat after a pause, the alternans is tachycardia-dependent and results...
Finding a sequence of transpositions that transforms a given permutation into the identity permutation and is of the shortest possible length is an important problem in bioinformatics. Here, a transposition consists in exchanging two contiguous intervals of the permutation. Bafna and Pevzner introduced the cycle graph as a tool for working on this problem. In particular, they took advantage of ...
BACKGROUND We hypothesised that alternating inhibitors of the vascular endothelial growth factor receptor (VEGFR) and mammalian target of rapamycin pathways would delay the development of resistance in advanced renal cell carcinoma (aRCC). PATIENTS AND METHODS A single-arm, two-stage, multicentre, phase 2 trial to determine the activity, feasibility, and safety of 12-week cycles of sunitinib ...
For industrial components such as pressure vessels and piping systems, it is important to determine the shakedown domains of structures under complex variable thermo-mechanical loads avoid low cycle fatigue due alternating plasticity or incremental plastic collapse caused by ratcheting. In this paper, interaction among three common types stresses are considered based on a plane model, namely, m...
The recent blossom in 2D atomic crystals (2DACs) has ignited intense interest a new type of bond-free van der Waals heterostructures (vdWHs), which distinct material components are physically brought together within vdW distance and held by weak interactions. Without direct chemical bonding between the constituent materials, vdWHs negate lattice matching requirements typical epi...
While the complexity of translating future linear temporal logic (LTL) into automata on infinite words is well-understood, size increase involved in turning back to LTL not. In particular, there no known elementary bound deterministic $\omega$-regular LTL. Our first contribution consists tight bounds for over a unary alphabet: alternating, nondeterministic and can be exactly exponentially, quad...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید