An atomistic model for the thermal resistance of a liquid–solid interface

The thermal resistance associated with the interface between a solid and a liquid is analysed from an atomistic point of view. Partial evaluation of the associated Green–Kubo integral elucidates the various factors governing heat transport across the interface and leads to a quantitative model for the thermal resistance in terms of atomistic-level system parameters. The model is validated using molecular dynamics simulations.

Autoantibodies to heat shock protein 60, 70, and 90 are not altered in the anti-SARS-CoV-2 IgG-seropositive humans without or with mild symptoms

Highly conserved heat shock proteins (Hsps) are localized in the cytoplasm and cellular organelles, and act as molecular chaperones or proteases. Members of Hsp families are released into the extracellular milieu under both normal and stress conditions. It is hypothesized that the severe acute respiratory syndrome corona virus 2 (SARS-CoV-2) has the potential to elicit autoimmunity due to molecular mimicry between human extracellular Hsps and immunogenic proteins of the virus. To confirm the above hypothesis, levels of circulating autoantibodies directed to the key human chaperones i.e., Hsp60, Hsp70, and Hsp90 in the anti-SARS-CoV-2 IgG-seropositive participants have been evaluated. Twenty-six healthy volunteers who got two doses of the mRNA vaccine encoding the viral spike protein, anti-SARS-CoV-2 IgG-positive participants (n = 15), and healthy naïve (anti-SARS-CoV-2 IgG-negative) volunteers (n = 51) have been included in this study. We found that the serum levels of anti-Hsp60, anti-Hsp70, and anti-Hsp90 autoantibodies of the IgG, IgM, or IgA isotype remained unchanged in either the anti-COVID-19-immunized humans or the anti-SARS-CoV-2 IgG-positive participants when compared to healthy naïve volunteers, as measured by enzyme-linked immunosorbent assay. Our results showing that the humoral immune response to SARS-CoV-2 did not include the production of anti-SARS-CoV-2 antibodies that also recognized extracellular heat shock protein 60, 70, and 90 represent a partial evaluation of the autoimmunity hypothesis stated above. Further testing for cell-based immunity will be necessary to fully evaluate this hypothesis.

An efficient reasoning method on logic programming using partial evaluation in vector spaces

In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices. The least model of a definite program is computed by multiplying an interpretation vector and a program matrix. To optimize computation in vector spaces, we provide a method of partial evaluation of programs using linear algebra. Partial evaluation is done by unfolding rules in a program, and it is realized in a vector space by multiplying program matrices. We perform experiments using artificial data and real data, and show that partial evaluation has the potential for realizing efficient computation of huge scale of programs in vector spaces.