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.     

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     

The reaction of polypropylene with maleic anhydride

An addition reaction of maleic anhydride with polypropylene takes place in the presence of radical reagents or sunlight. The initial rate of the reaction was proportional to the concentration of polypropylene and maleic anhydride, and one-half power of the concentration of the radical reagents. The increase in the temperature from 80 to 120°C increased the rate of the reaction and di-cumyl peroxide was effective as a radical reagent for this reaction. Ionic crosslinked rubber-like polymers were obtained from the reaction of maleic polypropylene with some alkali metal compounds. They showed the characteristic absorption band due to ? COO^? in their infrared spectra.     

Lysozyme requires fluctuation of the active site for the manifestation of activity

Mutations around His15 which lie far away from the active site,stimulated glycol chitin activity of lysozyme at physiologicaltemperature. Del-Argl4Hisl5 lysozyme, a mutant lysozyme whoseArgl4 and Hisl5 were deleted together, and has the highest activityamong these mutant lysozymes, had a similar binding abilityto a trimer of N-acetyl-glucosamine, a substrate analogue, relativeto native lysozyme. This suggests that the increased activitywas due to an increased k_cat in the catalysis reaction. TheH-D exchange rate of the N-1 proton in the Trp63 which is locatedin the active site cleft, was enhanced in the Del-Argl4Hisl5lysozyme, while 2-D proton NMR analysis revealed no conformationalchange around Trp63. We conclude that some sort of fluctuationat the active site might be required for the manifestation ofactivity. This theory is supported by the finding that the Del-Argl4Hisl5lysozyme showed a shift in temperature dependency of activityto lower temperatures compared with that of native lysozyme.     

Selective conversion of propane to propene by the catalytic oxidative dehydrogenation over cobalt and magnesium molybdates

Catalytic performances of various metal molybdates were tested in the oxidative dehydrogenation of propane to propene with molecular oxygen under an atmospheric pressure. Most of the molybdates tested promoted the selective oxidative conversion of propane to propene and among them cobalt and magnesium molybdates were found highest in the activity and selectivity. It was also found that their catalytic activities were highly sensitive to the catalyst composition, and it turned out that Co_0.95MoO _x and Mg_0.95MoO _x catalysts which have slightly excess molybdenum showed the highest activity in the oxidative dehydrogenation of propane. Under the optimized reaction conditions, higher reaction temperatures and lower partial pressures of oxygen, these catalysts gave 60% selectivity to propene at 20% conversion of propane. Since the molybdates having the surface enriched with molybdenum oxide tended to show high activity for the propane oxidation, surface molybdenum oxide clusters supported on metal molybdate matrix seem to be the active sites for the selective oxidative dehydrogenation of propane.     

Effective renaturation of reduced lysozyme by gentle removal of urea

To increase the folding yield of concentrated reduced lysozyme,we developed a renaturation method by means of dialysis fromconcentrated urea with redox agents. After lysozyme was incubatedin the reducing buffer (8 M urea solution) with oxidized glutathione,renaturation of reduced lysozyme was started by dialysis againstthe dialyzing buffer containing 8 M urea with redox agents.The urea concentration of the dialyzing bottle was graduallydiluted with dialyzing buffer without urea at a flow rate of0.1 ml/min by high pressure pump. Using this systematic dialysis,a concentration as high as 5 mg/ml of reduced lysozyme couldbe renaturated in 80% yield, while the folding yield was <5%even at a concentration of 1 mg/ml using a conventional rapiddilution method [Goldberg et al. (1991) Biochemistry, 30, 2790–2797].Therefore, it was concluded that gentle removal of urea fromdenatured proteins, dissolved in concentrated urea solution,by means of dialysis should be useful to renature denaturedproteins effectively.     

Evaluating card-based protocols in terms of execution time

International Journal of Information Security - Card-based cryptography is an attractive and unconventional computation model; it provides secure computing methods using a deck of physical cards....