Results 121 to 130 of about 828,043 (333)
Model Theory and Computational Complexity
, 1997 Model theory has lately become a domain of interest to computer scientists. The reason is that model theory, and in particular its restriction to finite models, has led to some new results in computational complexity (e.g. NLOGSPACE=co-NLOGSPACE). In this report, firstly we present a survey of this theory and we focus on the descriptive complexity ...
Lafitte, Grégory, Mazoyer, Jacques
openaire +1 more source
Synchrotron Radiation for Quantum Technology
Advanced Functional Materials, EarlyView.Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader +10 more
wiley +1 more source
Enhancing Low‐Temperature Performance of Sodium‐Ion Batteries via Anion‐Solvent Interactions
Advanced Functional Materials, EarlyView.DOL is introduced into electrolytes as a co‐solvent, increasing slat solubility, ion conductivity, and the de‐solvent process, and forming an anion‐rich solvent shell due to its high interaction with anion. With the above virtues, the batteries using this electrolyte exhibit excellent cycling stability at low temperatures. Abstract Sodium‐ion batteries
Cheng Zheng +7 more
wiley +1 more source
Complexity vs energy: theory of computation and theoretical physics [PDF]
, 2014 Yuri I. Manin
openalex +1 more source
Advanced Functional Materials, EarlyView.HKUST‐1/TiO2 composite materials show a very high photocatalytic hydrogen evolution rate which increases as a function of the irradiation time until reaching a plateau and even surpasses the performance of the 1%Pt/TiO2 material after three photocatalytic cycles.
Alisha Khan +9 more
wiley +1 more source
Informatika, 2018 A problem to describe the complexity class BPP in terms of a logical language is considered. BPP (abbreviation for bounded-error probablistic polynomial time) represents the class of computational decision problems that are efficiently solvable in ...
V. G. Naidenko
doaj
Atomic Size Misfit for Electrocatalytic Small Molecule Activation
Advanced Functional Materials, EarlyView.This review explores the application and mechanisms of atomic size misfit in catalysis for small molecule activation, focusing on how structural defects and electronic properties can effectively lower the energy barriers of chemical bonds in molecules like H2O, CO2, and N2.
Ping Hong +3 more
wiley +1 more source
Computational Complexity Theory for Advanced Function Spaces in Analysis [PDF]
, 2017 Florian Steinberg
openalex +1 more source
Advanced Functional Materials, EarlyView.Cu‐based catalysts as a cornerstone in advancing sustainable energy technologies are fully reviewed in this manuscript, highlighting their potential in photo‐ and electrocatalysis. It includes metallic copper, copper oxides, copper sulfides, copper halide perovskites, copper‐based metal–organic frameworks (MOFs), and covalent organic frameworks (COFs),
Jéssica C. de Almeida +16 more
wiley +1 more source
Advanced Functional Materials, EarlyView.By a simple anti‐Galvanic reaction, up to six copper atoms could be preferably doped into the Ag2(SR)5 staple motifs and Ag20 dodecahedral shell of an atomically precise Ag44(SR)30 nanocluster. When anatase TiO2 is used as substrate, the (AgCu)44/TiO2 photocatalyst exhibited much improved activity in photocatalytic CO2 reduction compared to Ag44/TiO2 ...
Ye Liu +5 more
wiley +1 more source