Results 111 to 120 of about 13,404,605 (326)
Standards of proof for future crimes and decision theory
Quaestio FactiWhat is the proof standard for applying preventive criminal sanctions? This is an open question in various legal systems. Some authors suggest that we can answer it by using decision theory.
Hylke Jellema
doaj +1 more source
X‐Functionality–Driven Photocatalytic Hydrogen Evolution in 2D 4‐X‐PEA2SnI4 Perovskites
Advanced Functional Materials, EarlyView.We report a water‐based synthesis of 2D 4‐X‐PEA2SnI4 perovskite microcrystals with prominent photocatalytic (PC) activity for H2 production. The synergy between organic functionalization and HI‐derived iodide scavenges holes suppress octahedral distortion, and favor electron accumulation, enabling a PC H2 evolution ∼20 µmol·g−1 and long‐term stability ...
Taeyeon Kim +21 more
wiley +1 more source
A Communication Proof Equilibrium Concept [PDF]
, 1990 This paper proposes an equilibrium concept for the classes of environments in which players can cornmunicate with each other but cannot rnake binding agreernents. This Cornmunication-proof equilibrium is intended to be regarded as an extension of both
Ferreira, José Luis
core +1 more source
Informatics in Education, 2005 Students of proof theory, a branch of formal logic, can benefit from computerized tools. We describe the principles behind one such tool called ProEd. This tool is targeted especially at novice students, and therefore it is designed to support effortless
Matti NYKÄNEN
doaj +1 more source
Electrospun Wood‐Derived Biopolymers as Electrodes in Electrochemical Energy Storage Technologies
Advanced Functional Materials, EarlyView.Electrospinning transforms wood‐derived cellulose and lignin into architecturally defined, binder‐free carbon electrodes with tuneable porosity and functionality. This review shows how fibre design enables decoupled charge and mass transport, enhancing performance across battery systems, while identifying key challenges in spinnability, scalability ...
Michael W. Thielke +3 more
wiley +1 more source
A proof of the four-colour theorem
, 2013 The four-colour problem remained unsolved for more than a hundred years has played a role of the utmost importance in the development of graph theory. The four-colour theorem was confirmed in 1976, which is not completely satisfied due to: i) part of the
Xing, Jing Tang
core +1 more source
Revisiting Variable Output Length XOR Pseudorandom Function
IACR Transactions on Symmetric Cryptology, 2018 Let σ be some positive integer and C ⊆ {(i, j) : 1 ≤ i < j ≤ σ}. The theory behind finding a lower bound on the number of distinct blocks P1, . . . , Pσ ∈ {0, 1}n satisfying a set of linear equations {Pi ⊕Pj = ci,j : (i, j) ∈ C} for some ci,j ∈ {0, 1}n ...
Srimanta Bhattacharya, Mridul Nandi
doaj +1 more source
Fusogenic RNA Nanomodules for Fusion‐Mediated and Multiplexed siRNA Delivery
Advanced Functional Materials, EarlyView.A fusogenic lipid‐layered RNA nanomodules (L‐CRAMs) enable high‐capacity and long‐lasting siRNA delivery through membrane fusion. These nanomodules carry exceptionally large siRNA payloads, avoid conventional endosomal uptake, and release multiple functional siRNAs through Dicer‐mediated processing.
Sunghyun Moon +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This Perspective highlights atom probe tomography as a powerful tool for understanding the atomic‐scale defect chemistry in HfO2‐based ferroelectrics. 3D mapping of dopants, point defects, and interface chemistry can provide new insight into defect‐driven mechanisms underpinning the ferroelectricity in the system and guide the design of more reliable ...
Kasper Hunnestad +3 more
wiley +1 more source
Influences between logic programming and proof theory [PDF]
, 2018 International audienceThe earliest and most popular use of logic in computer science views computation as something that happens independent of logic: e.g., registers change, tokens move in a Petri net, messages are buffered and retrieved, and a tape ...
Miller, Dale
core +2 more sources