Results 101 to 110 of about 3,458,629 (351)

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced 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

Substance and chemical reaction as core concepts in chemistry. A conceptual, historical and pedagogical discussion

open access: yesRevista Eureka sobre Enseñanza y Divulgación de las Ciencias, 2011
En este articulo se lleva a cabo una discusion conceptual, historica y didactica de dos conceptos centrales de la quimica: sustancia y reaccion quimica, en sus aspectos macroscopico y nanoscopico.
Raviolo, Andrés   +2 more
doaj  

Comparison of Historical Memory Narratives in Japan and the FRG after the Second World War

open access: yesRussian Japanology Review
The article is devoted to identification of similarities and differences in the historical memory of Japan and the Federal Republic of Germany after World War II.
I. P. Fokin
doaj   +1 more source

To Link Life Histories to Historical Narratives

open access: yesConserveries Mémorielles, 2022
Au Portugal la mémoire officielle de l’empire a jusqu’à très récemment occulté les passés violents plus récents de la dictature et de la décolonisation (guerre coloniale, rapatriement) moins fédérateurs pour l’identité collective.
Irène Dos Santos
doaj  

Diabetes Mellitus Facilitates Gallstone Formation Through CXCR2‐NETs–Mediated Liver‐Bile Barrier Damage

open access: yesAdvanced Science, EarlyView.
Diabetes is an independent risk factor for gallstones. It upregulates CXCR2 expression in hepatic neutrophils, stimulating the formation of NETs that disrupt hepatocellular tight junctions and the liver‐bile barrier. NETs enter bile to accelerate gallstone development, while sarcosine inhibits CXCR2 and NETs production, effectively reducing diabetes ...
Chao Shi   +10 more
wiley   +1 more source

Inventing the past: Discussion at the Round table “The Queen of All "Suembika"”

open access: yesИсторическая этнология
On April 24, 2025, the Round table “The Queen of All "Suembika": Image and its transformation in the historical memory of the Russian and Tatar peoples” was held at the Marjani Institute of History of the Tatarstan Academy of Sciences.
Liliya R. Gabdrafikova   +9 more
doaj   +1 more source

Identity, History, Tolerance

open access: yesSHS Web of Conferences, 2016
The article discusses the role of historical narratives in the formation of identity. Rüsen’s thesis on the contradiction of traditional historical identities that suggest an ethnocentric position with the processes of intercultural communication is ...
Surovtsev V.A., Syrov V.N.
doaj   +1 more source

O języku, dawnych czasach i obrzędach w okolicach Mejkszt na Litwie

open access: yesActa Baltico-Slavica, 2015
The language, history and ceremonies in the area of Meikštai in Lithuania This publication is a report of the field studies carried out in July 2000 in the Smalvos area in Lithuania.
Krystyna Rutkowska
doaj   +1 more source

Home - About - Disclaimer - Privacy