The new heterogeneous catalyst based on MoO2(acac)2 immobilized on superparamagnetic nanoparticle functionalized with dendrimer was synthesized. The dendrimer with amine and sulfur functional groups offer proper positions for a strong connection between MoO2(acac)2 and support. The synthesized catalyst was characterized by FT-IR spectroscopy, ICP, TGA, SEM, TEM, and XRD. This catalyst showed hi...

Noninvasive markers of brain function could yield biomarkers in many neurological disorders. Disease models constrained by coordinate-based meta-analysis are likely to increase this yield. Here, we evaluate a thalamic model of temporal lobe epilepsy that we proposed in a coordinate-based meta-analysis and extended in a diffusion tractography study of an independent patient population. Specifica...

Recently, Dag Normann and the author have established a connection between higher-order computability theory and Nonstandard Analysis; new results in both fields are obtained by exploiting this connection ([28]). Now, on the side of computability theory, the technique known as Grilliot’s trick constitutes a template for explicitly defining the Turing jump functional (∃) in terms of a given effe...

Density functional theory (DFT) calculations were performed to investigate the effects of a carbon nanotube (CNT) on the properties of the fluorouracil (F-Uracil) anticancer drug. To achieve the purpose, a molecular model including both of F-Uracil and CNT molecules was created to represent the CNT@F-Uracil compound. The optimized parameters indicated that the new compound could show new proper...

We present a derivation of a control-flow analysis by abstract interpretation. Our starting point is a transition system semantics defined as an abstract machine for a small functional language in continuation-passing style. We obtain a Galois connection for abstracting the machine states by composing Galois connections, most notable an independent-attribute Galois connection on machine states ...

Modern density functional theory (DFT) calculations employ the Kohn-Sham system of noninteracting electrons as a reference, with all complications buried in the exchange-correlation energy (E(XC)). The adiabatic connection formula gives an exact expression for E(XC). We consider DFT calculations that instead employ a reference of strictly correlated electrons. We define a "decorrelation energy"...

The connection zeta function of a finite abstract simplicial complex G is defined as zeta_L(s)=sum_x 1/lambda_x^s, where lambda_x are the eigenvalues of the connection Laplacian L defined by L(x,y)=1 if x and y intersect and 0 else. (I) As a consequence of the spectral formula chi(G)=sum_x (-1)^dim(x) = p(G)-n(G), where p(G) is the number of positive eigenvalues and n(G) is the number of negati...

the present study sets out to integrate the performance-based seismic design approach with the connection topology optimization method. performance-based connection topology optimization concept aims to simultaneously optimize the size of members and the type of connections with respect to the framework of performance-based seismic design. this new optimization concept is carried out for unbrac...