Results 141 to 150 of about 70,024 (314)
Deduction and theorem proving modulo
, 1999 Colloque sur invitation.Cours sur la Deduction ...
Kirchner, Claude
core +2 more sources
Forum: Qualitative Social Research, 2002 A review of the literature in the field of fresh fruit and vegetable preferences in Australia reveals very little systematic study, with most investigations having been conducted by various public and private industry groups. Given the embryonic stage of
Sue-Ellen Kjeldal
doaj
Advanced Science, EarlyView.Canagliflozin treatment reshapes the gut microbiota in DKD and elevates levels of melibiose, a metabolite derived from Roseburia intestinalis. Melibiose directly binds to and enhances the enzymatic activity of glyoxalase 1, leading to decreased methylglyoxal accumulation.
Wei Zhang +32 more
wiley +1 more source
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
Cross Kingdom Metabolic Engineering Paradigm Elevating Sustainable Protein Production
Advanced Science, EarlyView.ABSTRACT Confronting the dual crisis of escalating global protein demand and unsustainable agriculture necessitates transformative solutions. Here, we pioneer evolutionary insights from maize nitrogen optimization via asparagine synthetase (ASNS) to rewire metabolism in Pichia pastoris.
Yuanyuan Du +4 more
wiley +1 more source
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper)
, 1996 A new direction for research in automated deduction is the development of mathematical tools for the analysis and evaluation of theorem-proving strategies. We propose the name strategy analysis, by analogy with algorithm analysis.
BONACINA, Maria Paola
core
On Traces, Clues, and Fiction: Carlo Ginzburg and the Practice of Archaeology
Open ArchaeologyIn recent years, archaeological research has relied on large datasets, both temporally and geographically, with some archaeologists discussing that there should be a shift towards a more scientific form of conducting archaeological research called ...
Ribeiro Artur
doaj +1 more source
Advanced Science, EarlyView.This study constructed the first spatiotemporal multi‐omics map of peach fruit and discovered a key candidate gene that synergistically regulates trichome development and drought tolerance through the jasmonic acid signaling pathway, providing insights into the coupling mechanism between development and stress resistance.
Zhixin Liu +9 more
wiley +1 more source
Islamic Management; from Ideological Hybridization to Scientific Eclecticism [PDF]
اسلام و مدیریتQuran and tradition of Prophet Mohammad and his family (Ahlulbayt) have been considered as the major sources of understanding religion. In one sense, understanding management from the viewpoint of Islam is that of understanding Prophet's tradition ...
Ali asghar pourezzat
doaj