Results 231 to 240 of about 10,692,858 (300)

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

Local and traditional knowledge systems, resistance, and socioenvironmental justice. [PDF]

J Ethnobiol Ethnomed
Hanazaki N.
europepmc   +1 more source

Displacive In‐Plane Ferroelectricity with Domain‐Specific Curie Temperature in Van der Waals Semiconductors

Advanced Science, EarlyView.
Temperature‐dependent electron diffraction on tin monochalcogenides demonstrates a gradual displacive transformation between ferroelectric and paraelectric phases with significant variability in lattice constants and Curie temperature (TC). Periodic variations exist even between domains in individual crystals, implying a domain‐specific Curie ...
Peter Sutter, Eli Sutter
wiley   +1 more source

Tracing gender variation in traditional knowledge: participatory tools to promote conservation in a Quilombola community in Brazil. [PDF]

J Ethnobiol Ethnomed
Cantelli D, Gonçalves MC, da Silva VO, da Silva DN, Hanazaki N.   +4 more
europepmc   +1 more source

Mitochondria and Neuromast Tagging With Fluorescent Gallium‐Triapine Analogues: In Cellulo MP FLIM and Zebrafish Live Imaging

Advanced Science, EarlyView.
Fluorescent BODIPY‐conjugated thiosemicarbazone ligands and their Ga(III), In(III), and Fe(III) complexes, inspired by Triapine, are developed as theranostic agents. Multiphoton FLIM and confocal microscopy in cancer cells and zebrafish reveal real‐time uptake, mitochondrial localisation, and whilst spectroscopic assays indicated preserved complex ...
Megan J. Green, Michael W. Jones, Merissa Saleem, Haobo Ge, Melita Tvardauskaite, Julia Dudzic, Fernando Cortezon‐Tamarit, Rory L. Arrowsmith, Charareh Pourzand, Gabriele Kociock‐Kohn, Nicholas H. Rees, Jonathan R. Dilworth, Stephen Faulkner, Stanley W. Botchway, David Gurevich, Sofia I. Pascu   +15 more
wiley   +1 more source

Farmers' traditional knowledge on seasonal frost management and their tree preferences in frost affected highlands of Amhara region, Ethiopia. [PDF]

Heliyon
Mengesha YA, Wolle HS, Ayana DA, Belayneh AH, Yewogu SW, Gebremedhin SE, Worku AE, Desta AY, Yesufe AT.   +8 more
europepmc   +1 more source

NeuroSuite for Long‐Term Functional and Structural Studies of Air‐Liquid Interface Cerebral Organoids

Advanced Science, EarlyView.
NeuroSuite provides a modular hardware‐software platform integrating Neuroweb and NeuroMaps to enable long‐term, in situ electrophysiological interrogation of air–liquid interface organoid slices while preserving tissue architecture. Its components can be used together or independently to capture real‐time activity, spatial network dynamics, and ...
Belquis Haider, Sagnik Middya, Daniel J. Lloyd‐Davies‐Sánchez, Nino F. Läubli, Sulay Vora, Jakob Träuble, Rohan N. Krajeski, Yuqing Feng, Daniel Duncko, Josiah S. Riley, Rubén Ruiz‐Mateos Serrano, Ole Paulsen, Madeline A. Lancaster, George G. Malliaras, Gabriele S. Kaminski Schierle   +14 more
wiley   +1 more source

Traditional knowledge of wild plants on traditional tools, materials, products and economic practices in southern Yemen. [PDF]

J Ethnobiol Ethnomed
Al-Fatimi M.
europepmc   +1 more source

Integrating Ecology and Economics in Agent‐Based Models to Support Agricultural Policy

Advanced Science, EarlyView.
Agent‐based models are valuable tools for studying social‐ecological systems in agriculture. This review maps how existing agent‐based models represent the human and natural domains of agriculture, and discusses developments in economic and ecological agent‐based modeling.
Daniel Vedder, Judith Josephin Rakowski, Lea‐Deborah Kolb, Greta Sophie Theilen‐Loges, Sebastian Lakner, Guy Pe'er   +5 more
wiley   +1 more source

Traditional knowledge of animal-derived medicines used by Gelao community in Northern Guizhou, China. [PDF]

J Ethnobiol Ethnomed
Liu X, Li S, Feng Y, Chen X, Ma Y, Xiao H, Zhao Y, Liu S, Zheng G, Yang X, Wu F, Xie J.   +11 more
europepmc   +1 more source