Results 161 to 170 of about 70,024 (314)

Generating inductive verification proofs for Isabelle using the partial evaluator Ecce

, 2002
Ecce is a partial deduction system which can be used to automatically generate abstractions for the model checking of many infinite state systems. We show that to verify the abstractions generated by Ecce we may employ the proof assistant Isabelle ...
Lehmann, Helko, Leuschel, Michael
core  

Psychological assessment in forensic settings: new methodological conceptions and ethical considerations. [PDF]

Front Psychol
Verde A, Gritti ES.
europepmc   +1 more source

Biolipid Film‐Fused Electrochemiluminescence for Multipurpose In Situ Bioassays

Advanced Science, EarlyView.
An ECL‐emissive, membrane‐interactive scaffold was fabricated, and facilely fused with natural and non‐native phospholipids into multifactorial mimicries of cytomembranes and vesicles for in vitro representative membrane‐process probing. Such a biointerface‐based, state‐sensitive ECL paradigm not only pinpointed proximal phenomena, including channeling
Jialiang Chen, Bin Li, Yingying Wang, Fulin Zhu, Wenxuan Yang, Xuanyu Fu, Tiantian Man, Qiuyue Wu, Kewei Ren, Shengyuan Deng   +9 more
wiley   +1 more source

Edge digital twin for coordinating flexible resources in distribution networks with communication constraints. [PDF]

Sci Rep
Guo J, Chen F, Liu D, Weng J, Ma S, Wang T.   +5 more
europepmc   +1 more source

Chiral‐Encoded Pt‐Ir Surfaces as Apparent Spin Filter for Enhanced Oxygen Reduction

Advanced Science, EarlyView.
The Chiral‐Induced Spin Selectivity (CISS) effect is employed in chiral‐encoded mesoporous Platinum‐Iridium (Pt‐Ir) electrocatalysts to enhance the oxygen reduction reaction (ORR). A break in spin symmetry leads to a substantial antagonistic difference in activity (>200%) when comparing two enantiomorphs of the same electrode.
Zikkawas Pasom, Krissanapat Yomthong, Sopon Butcha, Jonas Fransson, Chularat Wattanakit, Alexander Kuhn   +5 more
wiley   +1 more source

The Importance of Informing Older People About Tax Facilities and Increasing Their Voluntary Compliance

ACROSS
This article presents the strengths, weaknesses, opportunities and threats of measures taken by the STS through the Taxpayers Service Strategy for the years 2021-2026, for the tax compliance / non-compliance of individuals / legal entities.
Corina BULGAC, Ana HÎNCU-CHILIANU
doaj  

The emergence of trust under conditions of distrust. [PDF]

Sci Rep
Fehlhaber AL.
europepmc   +1 more source

Enhancing Li‐S Battery Performance Through Low‐Concentration Electrolytes with Organic Se/Te Co‐Additives to Address Solubility and Kinetic Challenges

Advanced Science, EarlyView.
This work presents a low‐concentration electrolyte enabled by hybrid organic Se/Te additives (DPDSe/DPDTe) that restructures solvation, boosts polysulfide dissolution, and provides dual‐site synergistic catalysis, delivering high capacity and stable cycling in Li–S coin and pouch cells, supporting high‐energy, high‐power operation.
Ruihua Li, Haiwei Wu, Hairu Wei, Wenhao Jia, Frederik Bettels, Leon Schenk, Zhihua Lin, Hanbin Liu, Guodong Liu, Zhijian Li, Lin Zhang   +10 more
wiley   +1 more source

Modeling Geneva charitable deductions: regular giving and future trends. [PDF]

Stat Methods Appt
Pittavino M, Lideikyte-Huber G.
europepmc   +1 more source

Precision Lignocellulosic Biorefinery: Process Regulation From Corn Stover to Products

Advanced Science, EarlyView.
This study presents a precision biorefinery framework that transforms corn stover into high‐value bioproducts through whole‐process regulation. Mechanical fractionation separates feedstock into parenchyma‐rich short fibers and vascular‐bundle‐dominant long fibers.
Xue‐Cheng Lin, Lan Wang, Tai‐Ran Pang, Ming‐Yuan Yin, Hong‐Zhang Chen   +4 more
wiley   +1 more source