Results 71 to 80 of about 175,688,364 (273)
Advanced Science, EarlyView.A systematic study on the performance of N,P‐doped NiFe2O4@CNH bi‐functional hybrid electrocatalysts for rechargeable zinc‐air batteries is presented. The importance of P, N‐doping and the intimate tethering of nickel‐ferrite nanocubes on the carbon nano‐horn (CNH) surface which are well dispersed on the surface of N,P doped CNHs.
Sudheer Kumar Yadav +4 more
wiley +1 more source
Dual logic and rule-based mechanism for assessing the governance of state-owned natural resource assets [PDF]
Ziyuan Kexue[Objective] Under the entrusted agency mechanism for the ownership of state-owned natural resource assets, local governments assume dual responsibilities as owner agents and public regulators.
DILISHATI Yakufu, CAO Na, WAN Jie
doaj +1 more source
Logic program specialisation through partial deduction: Control Issues
, 2002 Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core
Automating natural deduction for temporal logic [PDF]
, 2007 We present our recent work on the construction of natural deduction calculi for temporal logic. We analyse propositional linear-time temporal logic (PLTL) and Computation Tree Logic (CTL) and corresponding proof searching algorithms.
Bolotov, A., Grigoriev, O., Shangin, V.
core
Vision 2030 : Towards a responsible and competent ownership society
, 2022 Ownership means taking responsibility and carrying risk. Ownership has a strong impact on economic growth, investment and productivity. Good ownership has a positive impact on the success of a company at the different stages of its life cycle.
Hasu, Jenny +6 more
core
Natural deduction calculus for computation tree logic [PDF]
, 2006 We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural deduction construction of the linear-time temporal logic.
Bolotov, A. +5 more
core +1 more source
Advanced Science, EarlyView.Graphical illustration of 68Ga‐GZB PET/CT imaging reveals immune dynamics post‐EGFR‐TKI resistance in NSCLC; Lgmn+ macrophages‐derived Lgmn‐containing extracellular vesicles inhibit glycolysis, induce CD8+ T cell exhaustion, and targeting Lgmn restores immunotherapy sensitivity.
Dongliang Wang +9 more
wiley +1 more source
Advanced Science, EarlyView.A rational, solvent‐free synthesis utilizing 2,6‐diaminonaphthalene produces ultrabright green‐emissive carbon dots. Regulated by a self‐limiting oxidative capping mechanism, excitons undergo ultrafast intra‐particle funneling from the nitrogen‐doped carbon core to emissive surface traps.
Hyeonjin Park +8 more
wiley +1 more source
Cut-elimination, substitution and normalisation [PDF]
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Shear‐Mode Direct Piezoelectric Response of Ferroelectric Nematic Liquid Crystals
Advanced Science, EarlyView.Periodic shear‐induced electric current measurements are reported on two archetypic ferroelectric nematic liquid crystal compounds. From the temperature, frequency and shear angle dependent results of the first and second harmonic current signals together with temperature and oscillatory rheology measurements, the effective piezoelectric coupling ...
Péter Salamon +4 more
wiley +1 more source