Results 131 to 140 of about 202,857 (337)
Phase Engineering of Atomically Precise Nanoclusters (APNCs) of Gold and Beyond
Advanced Materials, EarlyView.Engineering the structural phase of materials is of paramount importance for both fundamental research and practical applications. In this Review, we summarize the recent progress in controlling the phases of atomically precise nanoclusters (APNCs) of gold, silver and copper, as well as bimetallic systems. The phase‐enabled material properties of APNCs
Yitong Wang +4 more
wiley +1 more source
Building and Using Models as Examples [PDF]
Sometimes, theoreticians explicitly state that they consider their models as examples. When this is not the case, it is fairly common for theoreticians to attribute to their models the characteristics and objectives of illustrative examples.
García-Bermejo, Juan Carlos
core
Deductive system approach to modelling and verifying communication protocols
, 1994 X. Z. Li
openalex +1 more source
Advanced Materials, EarlyView.ABSTRACT Accurately knowing the frontier orbital energies of the structurally disordered small‐molecule organic semiconductors that are used in optoelectronic devices such as organic light‐emitting diodes is required to rationally improve their performance. Here, we show that these energies can be deduced with a large accuracy from the peak energies of
Christian B. McDonald +7 more
wiley +1 more source
Exploiting Pointer Analysis in Memory Models for Deductive Verification
, 2019 Bouillaguet Quentin +3 more
openalex +2 more sources
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification [PDF]
, 2023 Neta Elad, Oded Padon, Sharon Shoham
openalex +1 more source
Plasmonic Nanomachines: Creating Local Potential Gradients and Motions
Advanced Materials, EarlyView.Plasmonic nanomachines can generate optical, thermal, and chemical potential gradients to drive directional rectilinear, rotational, and twisting motions at the nanometer scale. The integration of multimodal plasmonic forces with functional materials and programmed structural distortions enables precise spatiotemporal actuation, thereby providing a ...
Yoonhee Kim +3 more
wiley +1 more source
On Leveraging Machine Learning in Sport Science in the Hypothetico-deductive Framework
Sports Medicine - OpenSupervised machine learning (ML) offers an exciting suite of algorithms that could benefit research in sport science. In principle, supervised ML approaches were designed for pure prediction, as opposed to explanation, leading to a rise in powerful, but ...
Jordan Rodu +3 more
doaj +1 more source
Standard model - a deductive strategy from multiple deflection mapping in sinus rhythm for field localization of ventricular tachycardia supporting channels in ischemic cardiomyopathy [PDF]
, 2013 Sachin Nayyar +5 more
openalex +1 more source