This paper describes Hy-CIRCA, an architecture for verified, correct-by-construction planning and execution for hybrid systems, including nonlinear continuous dynamics. Hy-CIRCA addresses the high computational complexity of such systems by first planning at an abstract level, and then progressively refining the original plan. Hy-CIRCA integrates the dReal nonlinear SMT solver with enhanced ver...

The title compound, C(25)H(33)ClN(2)O(5), was synthesized from 9α-hy-droxy-parthenolide (9α-hy-droxy-4,8-dimethyl-12-methyl-ene-3,14-dioxatricyclo-[9.3.0.0(2,4)]tetra-dec-7-en-13-one), which was isolated from the chloro-form extract of the aerial parts of Anvillea radiata. The mol-ecule is built up from fused five- and ten-membered rings with two additional ep-oxy ring systems and a chloro-phen...

The asymmetric unit of the title compound, {[Na(C(9)H(6)O(3))(H(2)O)(3)](C(9)H(5)O(3))·H(2)O}(n), contains two crystallographically independent Na atoms, two 7-hy-droxy-coumarin ligands, six coordinated water mol-ecules, two 7-hy-droxy-coumarin anions and two uncoordinated water mol-ecules. Both Na atoms exhibit a distorted octa-hedral coordination geometry and are coordinated by five water O a...

Promoter sequences from the Aspergillus niger glucoamylase-encoding gene (glaA) were linked to the bacterial hygromycin (Hy) phosphotransferase-encoding gene (hph) and this chimeric marker was used to select Hy-resistant (HyR) Ustilago maydis transformants. This is an example of an Ascomycete promoter functioning in a Basidiomycete. HyR transformants varied with respect to copy number of integr...

Ranwa Halasa and Burcu Yildirim have been so successful with their Halasa-Yildirim Consulting Company, that their company has gone public, and is now listed on the New York Stock Exchange under the HY symbol. Suppose that a share of HY stock initially costs $80 per share. Suppose that the HY stock share price over time (measured in years) is modelled as the stochastic process {X(t) : t ≥ 0}, wh...

The heterocyclic ring in the title compound, C(10)H(7)F(3)O(3), has a half-boat conformation with the hy-droxy-bearing C atom lying 0.595 (3) Å out of the plane of the five remaining atoms (r.m.s. deviation = 0.022 Å) in the direction of the hy-droxy O atom. Linear supra-molecular chains along the a axis, sustained by O-H⋯O hydrogen bonds between the hy-droxy H and ketone O atoms, feature in th...

The title compound, C10H8N2O2·H2O, consists of an N-hy-droxy-quinoline-2-carboxamide mol-ecule in the keto tautomeric form and a water mol-ecule connected through an O-H⋯O hydrogen bond. The N-hy-droxy-quinoline-2-carboxamide mol-ecule has a nearly planar structure [maximum deviation = 0.062 (1) Å] and only the hy-droxy H atom deviates significantly from the mol-ecule plane. In the crystal, π-π...

The title coordination polymer, [Zn(C6H4NO3)2] n , was prepared under hydro-thermal conditions by the reaction of zinc nitrate with 5-hy-droxy-nicotinic acid in the presence of malonic acid. In the structure, the Zn(II) ion is coordinated by two carboxyl-ate O atoms and two pyridine N atoms of four 5-hy-droxy-nicotinate ligands in a distorted tetra-hedral coordin-ation environment. The μ2-bridg...

Background and Aims: Crimean-Congo hemorrhagic fever (CCHF) is a zoonosis caused by a Nairovirus of the family Bunyaviridae. Infection is transmitted to humans mostly by Hyalomma ticks. This study was conducted to determine the rate of CCHFV infection in ticks in Qom province of Iran. Materials and Methods: In this study, Reverse transcription – polymerase chain reaction (RT-PCR) was used...

The literature compound 3β-hy-droxy-bis-nor-5-cholenic aldehyde is an important inter-mediate for the synthesis of new modulators of the nuclear oxysterol receptor Liver X. As part of our ongoing search for new LXR antagonists, the title compound, C24H39NO3, has proven to be an important inter-mediate in our new synthetic pathway, giving the corresponding aldehyde in high yield and in only thre...