Manufactured single crystal components using Ni-base super alloys are routinely used in the hot sections of aero engines and industrial gas turbines due to their outstanding high temperature strength, toughness and resistance to degradation in corrosive and oxidative environments. To control the quality of the single crystal turbine blades, particular attention has been paid to grain selection,...

Manufactured single crystal components using Ni-base super alloys are routinely used in the hot sections of aero engines and industrial gas turbines due to their outstanding high temperature strength, toughness and resistance to degradation in corrosive and oxidative environments. To control the quality of the single crystal turbine blades, particular attention has been paid to grain selection,...

Assume a group G acts on a set. Given a subgroup H of G , by an //-selector we mean a selector of the set of all orbits of H . We investigate measurability properties of //-selectors with respect to G-invariant measures. Let us fix a set A and a group G acting on it. By p we denote a G-invariant countably additive measure on A . The most common example of such a situation is an invariant measur...

Abstract A new synthesis strategy for the preparation of cellulose derivative-based chiral selectors and subsequent mild immobilization onto pre-functionalized silica gel are introduced, utilizing Cu(I)-catalyzed alkyne-azide Huisgen cycloaddition (“ click ”) chemistry. 3,5-dimethylphenyl carbamate derivative carrying propynyl groups was prepared by a combination carbonate aminolysis isocyanate...

The nondeterministic advice complexity of the P-selective sets is known to be exactly linear. Regarding the deterministic advice complexity of the P-selective sets—i.e., the amount of Karp– Lipton advice needed for polynomial-time machines to recognize them in general—the best current upper bound is quadratic [Ko83] and the best current lower bound is linear [HT96]. We prove that every associat...

ink Math Expressions Pattern Matching Math Expression Candidates Selector Math expressions patterns DB MathML(C+P) ink + reco

Magnetic silica nanoparticles modified by a chiral selector were demonstrated to be useful in magnetic field induced separation of enantiomers.

Commitments to developmental pathways are often made and maintained in groups of cells. Such commitments are conferred by the products of selector genes, many of which are homeobox genes. Homeobox genes can maintain their expression by directly autoregulating their own transcription. Here, we report a case where positive autoregulation of Ultrabithorax, a homeotic Drosophila gene, is at least p...

This paper describes the design of a guitar-inspired, pocketsized controller system SoloTouch. SoloTouch consists of a capacitive touch trigger, and an automated note selector program. Requiring only one finger, the touch trigger allows intuitive execution of both velocity sensitive notes and aftertouch messages. The automated note selector program selects consecutive consonant notes from prepr...

Sledgehammer integrates automatic theorem provers in the proof assistant Isabelle/HOL. A key component, the fact selector, heuristically ranks the thousands of facts (lemmas, definitions, or axioms) available and selects a subset, based on syntactic similarity to the current proof goal. We introduce MaSh, an alternative that learns from successful proofs. New challenges arose from our “zero cli...