Results 101 to 110 of about 200,649 (250)
Combining ACSL Specifications and Machine Code
Труды Института системного программирования РАН, 2018 When developing programs in high-level languages, developers have to make assumptions about the correctness of the compiler. However, this may be unacceptable for critical systems.
P. A. Putro
doaj +1 more source
De Rerum Natura: How Do Halide Perovskites Self‐Heal From Damage?
Advanced Materials, EarlyView.How can lead‐halide‐perovskites self‐heal after damage from light, heat, mechanical strain, or radiation? We show that reversible chemical defects underly performance losses and recovery, highlighting the roles of halide and proton migration, redox‐driven reactions, and acid‐base equilibria.
Davide Raffaele Ceratti +2 more
wiley +1 more source
Diverse Cation Exchange in Layered Titanate Nanostructures for Tailored Catalysis
Advanced Materials, EarlyView.H+(H3O+)‐intercalated layered titanate enables stable intercalation of 42 single‐metal and multication combinations. Alkali‐metal intercalation tunes Rh charge density, yielding an efficient propylene hydroformylation catalyst. These results establish a generalizable intercalation platform for rational catalyst design and provide a library supporting ...
Hyoseok Kim +15 more
wiley +1 more source
Advanced Materials, EarlyView.Ferroelectric Hf0.5Zr0.5O2 epitaxial thin films exhibit a non‐volatile, electrically controlled thermal conductivity enabled by the coupling between oxygen vacancy migration, acting as phonon scatterers, and ferroelectric polarization, acting as ion migration valve.
Dídac Barneo +13 more
wiley +1 more source
An Overview of Data Models of Object-Oriented DBMSs
Труды Института системного программирования РАН, 2018 Object-oriented DBMS theory is one of the most prospective areas of modern database theory, along with deductive and temporal DBMS. Nevertheless, a high variety of different approaches and absence of a uniform standard, both in theoretical OODBMS area ...
A. M. Eldarkhanov
doaj
Advanced Materials, EarlyView.Metasurface‐engineered NC‐TENG arrays integrate tactile pressure mapping, non‐contact gesture sensing, and acoustic signal readouts in one ultrathin module, and outperforms pristine PDMS in terms of electrical output and real‐time spatial mapping for next‐gen wearables.
Injamamul Arief +12 more
wiley +1 more source
Discover EducationAn ongoing debate in education has centered on the concept of domain-general reasoning practices and whether such a position can explain how student learning in one discipline can influence their practices in another.
Kyong Mi Choi, Brian Hand, Jihyun Hwang
doaj +1 more source
What is Moral Application? Towards a Philosophical Theory of Applied Ethics [PDF]
, 2017 The aim of this paper is to offer some philosophical remarks concerning the concept of moral application in applied ethics. In doing so, I argue in favour of a philosophical approach towards applied ethics as a unitary form of moral experience.
Fossa, Fabio
core
Advanced Materials, EarlyView.Solvent‐mediated reactivity control of Lewis‐paired dopants enables highly efficient, finely tunable, and stable doping of organic semiconductors. The optimally doped semiconductor films exhibit superior thermoelectric performance and doping stability, feature delocalized polarons along structurally ordered polymer backbones, and outperform ...
Sang Beom Kim +5 more
wiley +1 more source
A conceptual treadmill: the need for ‘middle ground’ in clinical decision making theory in nursing [PDF]
, 1999 This paper explores the two predominant theoretical approaches to the process of nurse decision making prevalent within the nursing research literature: systematic-positivistic approaches as exemplifed by information processing theory, and the intuitive ...
Thompson, C.
core