We review our work on combinatorial search and investigation of morphotropic phase boundaries (MPBs) in chemically substituted BiFeO3 (BFO). Utilizing the thin-film composition spread technique, we discovered that rare-earth (RE 5 Sm, Gd, and Dy) substitution into the A-site of the BFO lattice results in a structural phase transition from the rhombohedral to the orthorhombic phase. At the struc...

Site-directed mutagenesis is used to identify amino acid residues that dictate reported differences in substrate specificity between rat hepatic neutral cytosolic cholesteryl ester hydrolase (hncCEH) and rat lung carboxylesterase (LCE), proteins differing by only 4 residues in their primary sequences. Beginning with LCE, the substitution Met(423) --> Ile(423) alone or in combination with other ...

Explicit substitution calculi propose solutions to the main drawback of the λ-calculus: substitutiondefined as a meta-operation in the system. By making explicit the process of substitution, thetheoretical system gets closer to an eventual implementation. Furthermore, for implementationpurposes, many explicit substitution systems are written with de Bruijn indices. The λ-calculus<lb...

We showed that sufficient overexpression of the wild-type recF gene interfered with three normal cell functions: (1) UV induction of transcription from the LexA-protein-repressed sulA promoter, (2) UV resistance and (3) cell viability at 42 degrees. To show this, we altered a low-level overexpressing recF+ plasmid with a set of structurally neutral mutations that increased the rate of expressio...

Chlorinated ethylenes are metabolized in mammals, as a first step, to epoxides. The fate of these electrophilic intermediates may be reaction with nucleophiles (alkylation), hydrolysis, or intramolecular rearrangement. The latter reaction has been studied in the whole series of chlorinated epoxiethanes. The rearrangement products found were: acyl chlorides (tetrachloro-, trichloro-, and 1,1-dic...

Both magnetic-field-induced reverse martensitic transformation (MFIRMT) and mechanical properties are crucial for application of Ni-Mn-Sn magnetic shape memory alloys. Here, we demonstrate that substitution of Fe for Ni can simultaneously enhance the MFIRMT and mechanical properties of Ni-Mn-Sn, which are advantageous for its applications. The austenite in Ni44Fe6Mn39Sn11 shows the typical ferr...

This paper examines recent work in the area of bent-function-based substitution boxes in order to refine the relationship between s-box construction and immunity to the differential cryptanalysis attack described by Biham and Shamir. It is concluded that m n × s-boxes, m n < , which are partially bent-function-based are the most appropriate choice for private-key cryptosystems constructed as su...

Metal replacement studies were used to investigate the metal requirement of a bacterially expressed polypeptide encoding the zinc finger DNA binding domain of the estrogen receptor. Apopolypeptide was generated by dialysis of native polypeptide against low-pH buffer under reducing conditions. Specific DNA binding can be restored by refolding the apopolypeptide in the presence of ionic zinc, cad...

Language operations on trajectories provide a generalization of many common operations such as concatenation, quotient, shuffle and others. A trajectory is a syntactical condition determining positions where an operation is applied. Besides their elegant language-theoretical properties, the operations on trajectories have been used to solve problems in coding theory, bio-informatics and concurr...

Strong normalization for linear logic requires elaborated rewriting techniques. In this paper we give a new presentation of MELL proof nets, without any commutative cut-elimination rule. We show how this feature induces a compact and simple proof of strong normalization, via reducibility candidates. It is the first proof of strong normalization for MELL which does not rely on any form of conflu...