Results 111 to 120 of about 7,429,852 (332)
Advanced Functional Materials, EarlyView.A gradient M/MOx (M = Sn, Cu, Cd) synergistic interphase was constructed on Al via a one‐step displacement reaction. This interphase leverages high aluminophilicity and ion‐buffering capability to accelerate desolvation, enhance Al3+ transport, and suppress side reactions, enabling ultrastable symmetric cell operation at 0.05 mA cm−2 for 1800 h with an
Shuang Cheng +7 more
wiley +1 more source
Ideas for a high-level proof strategy language
, 2010 Finding ways to prove theorems mechanically was one of the earliest challenges tackled by the AI community. Notable progress has been made but there is still always a limit to any set of heuristic search techniques.
Gudmund Grov +5 more
core
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
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
Advanced Functional Materials, EarlyView.Metasurfaces and other structured photonic environments can dramatically modify the absorption and/or light emission of semiconductors. However, the consequences of these changes on the temperature of the system are not well understood. The authors address this problem for colloidal nanocrystals and leverage their findings to convert light into ...
Hugo Kowalczyk +7 more
wiley +1 more source
Proof Theory and Ordered Groups
, 2017 Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (ℓ-groups).
Metcalfe, George +3 more
core +1 more source
MXene Wrapped Magnetic Mesocrystals for Durable Redox Catalytic Cancer Therapy and Responsive MRI
Advanced Functional Materials, EarlyView.Conformal wrapping of ultrathin Ti3C2Tx MXene nanosheets on Fe3O4 mesocrystals creates topology‐stabilized Schottky junctions that direct photoinduced electron transfer under NIR irradiation. The unique architecture sustains Fenton catalysis, promotes continuous hydroxyl radical production, and provides photo‐responsive MRI contrast.
Min Jun Ko +10 more
wiley +1 more source
Coalition-proof supply function equilibria in oligopoly [PDF]
, 2004 In an industry where firms compete via supply functions, the set of equilibrium outcomes is large. If decreasing supply functions are ruled out, this set is reduced significantly, but remains large.
Delgado, Juan, Moreno, Diego
core +1 more source
Bacterial‐Electrochemical Platform Utilizing a MXene‐Peptide Hydrogel
Advanced Functional Materials, EarlyView.A peptide‐based fibrillar hydrogel incorporating MXene facilitates efficient electron delivery to intracellular recombinant [FeFe]‐hydrogenase enzyme in E. coli, enabling sustained bioelectrochemical H2 production without engineered exoelectrogenicity pathways.
Oren Ben‐Zvi +6 more
wiley +1 more source
Bribe-proof Rules in the Division Problem [PDF]
The division problem consists of allocating an amount of a perfectly divisible good among a group of n agents with single-peaked preferences. A rule maps preference profiles into n shares of the amount to be allocated.
Jordi MassóAuthor-Email: jordi.masso@uab.es +1 more
core