Results 81 to 90 of about 276,535 (289)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Courland during the Reign of Peter von Biron (1769-1795)
Littera Scripta, 2015 This article deals with the period of Peter von Biron´s rule in the Duchy of Courland. It analyses the Duke´s relationship with Courland nobility, his foreign policy and the reasons for the ending of the independence of the Duchy.
Lenka Vašková Šínová
doaj
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
Spiritual heritage of national culture in the scientific tradition of the Psychological Institute [PDF]
Психологическая наука и образование (2007. Online), 2014 The article is dedicated to the fiftieth anniversary of the publication of the book by a famous Russian scientist M.V. Sokolov, "Essays on the history of psychological thoughts in Russia in XI – XVIII centuries." This is the only scientific and ...
O.E. Serova
doaj
Ep134 Maritime History Archive
, 2018 Heather Wareham began working as an archivist at the Maritime History Archive in 1977, and has served as the director for many years. Her research interest is Newfoundland Maritime History, especially marine disasters, women in the fishery, and resettled
Barrett, Terra
core
Regenerating the Live: The Archive as the Genesis of a Performance Practice [PDF]
, 2015 Live performance lacks the durability of art practices such as photography, film and painting, and so definitions of ‘live’ acts have traditionally been formulated in terms of ‘transience’ and ‘disappearance’.
Dunne, Joseph, Joseph Dunne
core +1 more source
Advanced Science, EarlyView.Soybean employs its circadian clock, governed by GmCCA1, to rhythmically defend against soybean cyst nematodes. The pathogen retaliates by secreting the effector Hg4E02, which hijacks the clock to suppress defense and co‐opt the host's translation machinery for nutrient acquisition.
Xingwei Wang +21 more
wiley +1 more source
Archiving Play, Archiving Histories
This chapter considers the importance of preserving games in both physical and metaphysical contexts by examining current archival efforts to catalog and share games and play experiences with future generations and consider their position within game studies.
openaire +1 more source
Advanced Science, EarlyView.In fibrotic distal lung regions, CD66c+ basal cells emerge as a pathological state. Using human distal lung organoids, this study identifies CD66c+ basal cells as a pro‐fibrotic state arising through transdifferentiation from secretory, AT2, and basal cells.
Kaijun Lin +13 more
wiley +1 more source