Results 101 to 110 of about 289,378 (279)
Advanced Science, EarlyView.High‐bromide wide‐bandgap perovskites suffer from defects and phase segregation, limiting tandem performance. We report a bulk–surface coupling effect to heal lattice/surface defects and suppress halide migration. As a result, the wide‐bandgap device achieves 23.71% efficiency, while monolithic Si‐based tandems reach 32.26%, exhibiting exceptional long‐
Yu Tong +8 more
wiley +1 more source
Advanced Electronic Materials, EarlyView.A lead‐free perovskite memristive solar cell structure that call emulate both synaptic and neuronal functions controlled by light and electric fields depending on top electrode type. ABSTRACT Memristive devices based on halide perovskites hold strong promise to provide energy‐efficient systems for the Internet of Things (IoT); however, lead (Pb ...
Michalis Loizos +4 more
wiley +1 more source
DNN adaptation by automatic quality estimation of ASR hypotheses
, 2016 In this paper we propose to exploit the automatic Quality Estimation (QE) of ASR hypotheses to perform the unsupervised adaptation of a deep neural network modeling acoustic probabilities.
Falavigna, Daniele +4 more
core +1 more source
Advanced Energy Materials, EarlyView.In this work, the challenging green ammonia evolution is addressed by developing a photothermal system that utilizes nitrogen and natural seawater under simulated solar irradiation, employing ruthenium‐doped barium tantalum oxynitride semiconductors.
Yiyang Li +4 more
wiley +1 more source
MoleculesQue Zui tea (QT) is an important herbal tea in the diet of the ‘Yi’ people, an ethnic group in China, and it has shown significant antioxidant, anti-inflammatory, and hepatoprotective effects in vitro. This study aims to explore the protective effects of
Yongchao Wang +8 more
doaj +1 more source
Determining Finite Connected Graphs Along the Quadratic Embedding Constants of Paths
, 2019 The QE constant of a finite connected graph $G$, denoted by $\mathrm{QEC}(G)$, is by definition the maximum of the quadratic function associated to the distance matrix on a certain sphere of codimension two.
Baskoro, Edy Tri, Obata, Nobuaki
core
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation [PDF]
, 2013 We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials.
Kapur, Deepak +2 more
core
Theory Morphisms in Church's Type Theory with Quotation and Evaluation
, 2017 ${\rm CTT}_{\rm qe}$ is a version of Church's type theory with global quotation and evaluation operators that is engineered to reason about the interplay of syntax and semantics and to formalize syntax-based mathematical algorithms. ${\rm CTT}_{\rm uqe}$
J Carette +9 more
core +1 more source
Advanced Intelligent Systems, EarlyView.This study presents a multitask strategy for plastic cleanup with autonomous surface vehicles, combining exploration and cleaning phases. A two‐headed Deep Q‐Network shared by all agents is traineded via multiobjective reinforcement learning, producing a Pareto front of trade‐offs.
Dame Seck +4 more
wiley +1 more source
Quantifier elimination in C*-algebras [PDF]
, 2016 The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$.
Eagle, Christopher J. +3 more
core