Results 71 to 80 of about 458,612 (282)
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
Living archives: A community-based language archive model
Language Documentation and Description, 2014 Building on the models of Community-Based Language Research (Czaykowska-Higgins 2009) and Participatory Archives (Huvila 2008), I propose a Community-Based Language Archive model (CBLA), and outline its implications for archiving, documentary linguistics
doaj +2 more sources
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
Mediating language documentation
Language Documentation and Description, 2014 As a discipline, archiving is often presented in terms of the competing goals of preservation and access. One could argue that this disconnect between access and usage need not concern an archive.
doaj +2 more sources
Modulation of miR‐23b Wnt/β‐catenin Axis Strengthens Endothelial Barrier Properties
Advanced Science, EarlyView.Early blood‐brain barrier (BBB) disruption contributes to stroke and CNS disease pathology. miR‐23b was identified as a regulator of BBB integrity in brain endothelial cells. Inhibition of miR‐23b enhanced barrier‐associated properties, promoted repair‐related signaling, and reduced BBB leakage in experimental stroke models, supporting further ...
Victor Anthony Martinez +16 more
wiley +1 more source
The KB e-Depot digital archiving policy [PDF]
, 2006 Purpose: Electronic journals dominate the field of academic literature, and it is of great importance to the international scientific community that this electronic intellectual output remains accessible in perpetuity. In this paper we discuss the policy
van Wijngaarden, Hilde, Oltmans, Erik
core +1 more source
Access and accessibility at ELAR, an archive for endangered languages documentation
Language Documentation and Description, 2014 Language documentation, also known as documentary linguistics, is a subfield of linguistics that emerged in the 1990s as a response to predictions that the majority of human languages will disappear within a century (Krauss 1992). The new discipline aims
doaj +2 more sources
Christian Boltanski. Petite mémoire de l’oubli
Images Re-Vues, 2015 From everyday objects collection, exhibited in showcases, to monumental setups, Christian Boltanski is obsessed with saving humanity from oblivion. Collection and archiving are this artist's main obsessions, as if collecting objects and photographies ...
Gaëlle Périot-Bled
doaj +1 more source
Charting Endocrine Progenitors Across Species and Organs
Advanced Science, EarlyView.Endocrine progenitors give rise to the hormone‐producing cells of the pancreas and intestine. Using single‐cell multiomics and proteomics, this study compares these progenitors across species, systems, and organs, mapping the conserved and species‐specific gene regulatory networks that guide their formation.
Changying Jing +21 more
wiley +1 more source
Potentials and Limits of Secondary Analysis in a Specific Applied Context: The Case of EDF—Verbatim
Forum: Qualitative Social Research, 2005 In this paper we present the results of secondary analyses conducted on documents recorded in VERBATIM, the qualitative data archiving system and database developed by the Sociological Surveys Department (GRETS) of Electricité de France (EDF).
Magdalini Dargentas, Dominique Le Roux
doaj