Making exhaustive search programs deterministic

This paper presents a technique for compiling a Horn-clause program intended for exhaustive search into a GHC (Guarded Horn Clauses) program. The technique can be viewed also as a transformation technique for Prolog programs which compiles away the ‘bagof’ primitive and non-determinate bindings. The class of programs to which our technique is applicable is shown with a static checking algorithm; it is nontrivial and could be extended. An experiment on a compiler-based Prolog system showed that our technique improved the efficiency of exhaustive search by 6 times for a permutation generator program. This compilation technique is important also in that it exploits the AND-parallelism of GHC for parallel search.     

An Engineered Biliverdin-Compatible Cyanobacteriochrome Enables a Unique Ultrafast Reversible Photoswitching Pathway

Cyanobacteriochromes (CBCRs) are promising optogenetic tools for their diverse absorption properties with a single compact cofactor-binding domain. We previously uncovered the ultrafast reversible photoswitching dynamics of a red/green photoreceptor AnPixJg2, which binds phycocyanobilin (PCB) that is unavailable in mammalian cells. Biliverdin (BV) is a mammalian cofactor with a similar structure to PCB but exhibits redder absorption. To improve the AnPixJg2 feasibility in mammalian applications, AnPixJg2_BV4 with only four mutations has been engineered to incorporate BV. Herein, we implemented femtosecond transient absorption (fs-TA) and ground state femtosecond stimulated Raman spectroscopy (GS-FSRS) to uncover transient electronic dynamics on molecular time scales and key structural motions responsible for the photoconversion of AnPixJg2_BV4 with PCB (Bpcb) and BV (Bbv) cofactors in comparison with the parent AnPixJg2 (Apcb). Bpcb adopts the same photoconversion scheme as Apcb, while BV4 mutations create a less bulky environment around the cofactor D ring that promotes a faster twist. The engineered Bbv employs a reversible clockwise/counterclockwise photoswitching that requires a two-step twist on ~5 and 35 picosecond (ps) time scales. The primary forward P_fr → P_o transition displays equal amplitude weights between the two processes before reaching a conical intersection. In contrast, the primary reverse P_o → P_fr transition shows a 2:1 weight ratio of the ~35 ps over 5 ps component, implying notable changes to the D-ring-twisting pathway. Moreover, we performed pre-resonance GS-FSRS and quantum calculations to identify the Bbv vibrational marker bands at ~659,797, and 1225 cm⁻¹. These modes reveal a stronger H-bonding network around the BV cofactor A ring with BV4 mutations, corroborating the D-ring-dominant reversible photoswitching pathway in the excited state. Implementation of BV4 mutations in other PCB-binding GAF domains like AnPixJg4, AM1_1870g3, and NpF2164g5 could promote similar efficient reversible photoswitching for more directional bioimaging and optogenetic applications, and inspire other bioengineering advances.     

Chemical Modification of Phage-Displayed Helix-Loop-Helix Peptides to Construct Kinase-Focused Libraries

Conformationally constrained peptides hold promise as molecular tools in chemical biology and as a new modality in drug discovery. The construction and screening of a target-focused library could be a promising approach for the generation of de novo ligands or inhibitors against target proteins. Here, we have prepared a protein kinase-focused library by chemically modifying helix-loop-helix (HLH) peptides displayed on phage and subsequently tethered to adenosine. The library was screened against aurora kinase A (AurA). The selected HLH peptide Bip - 3 retained the α-helical structure and bound to AurA with a K_D value of 13.7 μM. Bip - 3 and the adenosine-tethered peptide Bip - 3 - Adc provided IC₅₀ values of 103 μM and 7.7 μM, respectively, suggesting that Bip - 3 - Adc bivalently inhibited AurA. In addition, the selectivity of Bip - 3 - Adc to several protein kinases was tested, and was highest against AurA. These results demonstrate that chemical modification can enable the construction of a kinase-focused library of phage-displayed HLH peptides.     

New polylactide/layered silicate nanocomposites. 5. Designing of materials with desired properties

Understanding the structure/property relationship in polymer/layered silicate nanocomposites is of great importance in designing materials with desired properties. In order to understand these relations, a series of polylactide (PLA)/organically modified layered silicate (OMLS) nanocomposites have been prepared using a simple melt extrusion technique. Four different types of OMLS have been used for the preparation of nanocomposites, three were modified with functionalized ammonium salts while fourth one was a phosphonium salt modified OMLS. The structure of the nanocomposites in the nanometer scale was characterized by using wide-angle X-ray diffraction and transmission electron microscopic observations. Using four different types of layered silicates modified with four different types of surfactants, the effect of OMLS in nanocomposites was investigated by focusing on four major aspects: structural analysis, thermal properties and spherulite morphology, materials properties, and biodegradability. Finally, we draw conclusions about the structure/property relationship in the case of PLA/OMLS nanocomposites.     

Synthesis of ordered polymers by direct polycondensation

A series of ordered polymers can be prepared by direct polycondensation of nonsymmetric monomers using diphenyl(2,3-dihydro-2-oxo-3-benzothiazolyl)phosphonate (1) as a condensing agent. The methodology and requirements for the preparation of ordered polymer are first presented. Then, the following ordered polymer syntheses are described: (1) ordered polyamides (head-to-head or tail-to-tail) from a symmetric monomer and a nonsymmetric monomer. (2) the ordered polyamide (head-to-tail) from a symmetric monomer and a nonsymmetric monomer. (3) the ordered (-abcd-) polymer from a pair of two symmetric monomers and a nonsymmetric monomer. (4) the ordered (-abcdef-) polymer from nonsymmetric monomers, XabX, YcdY, and ZefZ.     

Strength and Fracture Toughness of Isostatically Hot-Pressed Composites of Al2O3 and Y2O3-Partially-Stabilized ZrO2

Composites of Al₂O₃ and Y₂O₃ partially-stabilized ZrO₂ were isostatically hot-pressed using submicrometer powders as the starting material. The addition of Al₂O₃ resulted in a large increase in bending strength. The average bending strength for a composite containing 20 wt% Al₂O₃ was 2400 MPa, and its fracture toughness was 17 MN·w^−3/2     

Adsorption of trypsin onto poly(2-hydroxyethyl methacrylate)/polystyrene composite microspheres and its enzymatic activity

Poly(2-hydroxyethyl methacrylate)/polystyrene (PHEMA/PS) composite microspheres were produced by emulsifier-free seeded emulsion polymerization for styrene in the presence of PHEMA seed particles. Effects of the surface characteristics of the PHEMA/PS composite microspheres on the adsorption immobilization of trypsin and on its enzymatic activity were discussed. Above 5 mol% of HEMA content, trypsin molecules adsorbed had high activity, 65–100% of the activity of free trypsin. The excellence of the composite microspheres as a carrier for trypsin seems to be closely related with the surface heterogeneity consisting of both hydrophilic and hydrophobic parts.     

Effects of pressure and temperature on dyeing acrylic fibres with basic dyes in supercritical carbon dioxide

The dyeing of acrylic fibre with CI Basic Blue 47 has been investigated using an ammonium carboxylate perfluoropolyether as an auxiliary in order to perform the reverse micellar system in supercritical carbon dioxide media. The basic dye was satisfactorily solubilised in the interior of the reverse micelle in the system, and dyeability in the supercritical carbon dioxide media was excellent, even in the absence of a retardant and/or an acid. The optimum proton-rich condition for dyeing of acrylic fabric is performed in reverse micelle aggregates and the proton-rich water pool is suitable for dye uptake by the fibre even without the presence of additives. Changes in glass transition temperature of acrylic fibre in the carbon dioxide media also influence the dyeing behaviour of acrylic fabric.     

Studies on catalysis by molten metals. 14. Catalytic cracking of asphalts at low temperature

The catalytic effects of liquid metals for low-temperature (336 °C) asphalt-cracking have been examined using a semi-batch reactor. All the liquid metals examined (Bi, Cd, Ga, In, Pb and Sn) effectively catalysed the reduction of molecular weight with minimal gasification (<1 wt%). Gasification had a positive correlation with the reduction in molecular weight in the processed asphalts. The catalytic activities of liquid metals tor these two reactions were proportional to a parameter which represents the interaction between the atoms of the catalyst metal and the radicals formed in the course of the reaction. Mass flow among four fractions (saturates, aromatics, resins and asphaltenes) had two independent paths: conversion of resins to saturates and of aromatics to asphaltenes. The former path dominated when catalytic dehydrogenation activity was relatively low, whereas the latter dominated when the catalytic activity was high.     

An apparent ensemble effect in the oxidative coupling of methane on hydroxyapatites with incorporated lead

The introduction of small quantities of lead into calcium hydroxyapatite catalysts produces marked increases in the selectivity to C₂₊ hydrocarbons, while the conversion of methane remains relatively constant. Small surface concentrations of lead are sufficient to achieve C₂₊ selectivities of 80 and 90%, with oxygen and nitrous oxide, respectively, in contrast with 18 and 46%, respectively, obtained in the absence of lead. Since surface concentration of lead species sufficient to stabilize pairs of methyl radicals in close proximity to each other would be expected to facilitate the formation of C₂ hydrocarbons, an ensemble effect appears to be extant.