Results 141 to 150 of about 866,501 (307)
A Perspective on Interactive Theorem Provers in Physics
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
Trust Building to Coordinate Collective Action in Reforestation Program
The study explores the way trust among agencies is established to coordinate collective action in rehabilitating protected areas, which have been utilized, commodified, and settled.
Anna Indria Witasari
doaj
TRF enriches Ruminococcus, a bacterial genus producing SCFAs, and activates the epithelial HIF‐1α signaling pathway. This mechanism protects the colonic mucosa from inflammatory insults in colitis models. Mechanistically, gut lactate production during starvation and refeeding mediates H4K12la, which increases SLC9A3 expression and creates an acidic gut
Linwen Huang +17 more
wiley +1 more source
ANALYZING NEGOTIATION APPROACHES IN NATURAL RESOURCE MANAGEMENT - A CASE STUDY OF CROP-LIVESTOCK CONFLICTS IN SRI LANKA [PDF]
Participatory approaches in natural resource management are increasingly being criticized for their tendency to neglect power relations and conflicts of interests.
Birner, Regina
core +1 more source
This system adopts a biomimetic phospholipid structure, covalently binding iNOS inhibitors, neuroprotective agent PCA and vitamin E derivatives through pH/ROS dual‐responsive bonds, and assembles them with Prussian blue nanozyme to form PBB@AHA. It can efficiently penetrate the blood‐brain barrier and simultaneously release multiple active components ...
Mengcheng Guo +9 more
wiley +1 more source
Specifics of Chinese Business Negotiation Practices [PDF]
The new century is a turning point to the People’s Republic of China (further just China), home to one fifth of the world population. This “golden age” is uniquely characterized by a fast growing, internationalized market for products and services.
Jitka Odehnalová
core
Enzymatic DNA Reaction Networks for Orchestrating Stimuli‐Dependent Temporal Molecular Pulse
We present an enzymatic DNA reaction network (EDRN) that encodes nucleic‐acid targets in time, converting inputs into a universal strand and then into programmable transient fluorescence pulses. With time‐color multiplexing, EDRN enables single‐tube high‐plex nucleic acid detection and shows strong agreement with clinical sequencing across 32 specimens.
Jiayu Yang +7 more
wiley +1 more source
Plant Genetic Engineering: Technological Pathways, Application Scenarios, and Future Directions
This review maps the fast‐evolving landscape of plant genetic engineering, linking enabling platforms with trait‐focused applications in architecture optimization, stress resilience, yield improvement, and quality enhancement. It highlights how genome editing, transgenic strategies, and emerging multi‐gene approaches reshape breeding pipelines, while ...
Peilin Wang +4 more
wiley +1 more source
Never retreat, never surrender: The bargaining power of commitment in the Hawk-Dove game [PDF]
This paper studies experimentally the conditions that improve bargaining power using threats in a negotiation process. Following Schelling’s (1960) ideas we choose the hawk-dove game because is the simplest negotiation environment with inequity ...
Alexandra Cortés Aguilar +1 more
core
Ammonia Detoxification Inhibits Liver Metastasis by Reshaping Hepatic Microenvironment
Liver metastasis diverts aspartate into hyperactive pyrimidine synthesis, disrupting urea cycling and causing pathogenic ammonia accumulation. Ammonia dually reprograms the microenvironment by: (1) activating hepatic stellate cells (HSCs) into pro‐fibrotic metastasis‐associated fibroblasts (MAFs), and (2) suppressing anti‐tumor monocytes/macrophages ...
Sumin Sun +5 more
wiley +1 more source

