Results 141 to 150 of about 16,403 (243)

Modular Verification of Object-Oriented Programs with Subtypes

, 1990
Gary T. Leavens
openalex   +1 more source

Atomically Revealing Bulk Point Defect Dynamics in Hydrogen‐Driven γ‐Fe2O3 → Fe3O4 → FeO Transformation

Advanced Functional Materials, EarlyView.
In situ TEM uncovers the atomic‐scale mechanisms underlying hydrogen‐driven γ‐Fe2O3→Fe3O4→FeO reduction. In γ‐Fe2O3, oxygen vacancies cluster around intrinsic Fe vacancies, leading to nanopore formation, whereas in Fe3O4, vacancy aggregation is suppressed, preserving a dense structure.
Yupeng Wu, Dongxiang Wu, Wenhui Zhu, Xiaobo Chen, Zhikang Zhou, Zhilu Liang, Shuonan Ye, Meng Li, Xiao Tong, Kim Kisslinger, Sooyeon Hwang, Dmitri Zakharov, Renu Sharma, Judith C. Yang, Guangwen Zhou   +14 more
wiley   +1 more source

The future of robotic disassembly: a systematic review of techniques and applications in the age of AI. [PDF]

Front Robot AI
Ameur S, Tabaa M, Hidila Z, Hamlich M, Karboub K, Bearee R.   +5 more
europepmc   +1 more source

Effective Sliding Motions of Vibration‐Induced Emission Stoppers in Mechanically Interlocked Molecules as Artificial Muscle Tougheners and In Situ Molecular Shuttling Sensors for Self‐Healable Mechano‐Fluorescent Polyurethane Organogels

Advanced Functional Materials, EarlyView.
The self‐healable ratiometric mechano‐fluorescent polyurethane (PU) organogel is constructed by incorporating a minor amount (ca. 1.5 wt.%) of the unconventional daisy chain rotaxane (as an artificial molecular muscle toughener) with specific sliding motions and ratiometric emission behaviors into the PU skeleton, which reveals the progressed intrinsic
Tu Thi Kim Cuc, Yu‐Chen Lai, Trang Manh Khang, Wei‐Tsung Chuang, Tung‐Kung Wu, Ricardas Rotomskis, Simona Steponkiene, Hong‐Cheu Lin   +7 more
wiley   +1 more source

Vira Workspace: A Novel Online Object-Oriented Framework as a SaaS for the Modeling and Simulation of Petrochemical Plant Networks. [PDF]

ACS Omega
Fakhroleslam M.
europepmc   +1 more source

Memory Usage Inference for Object-Oriented Programs

, 2005
Huu Hai Nguyen, Wei Ngan Chin, Shengchao Qin, Martin Rinard   +3 more
openalex   +1 more source

A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming

, 2014
Moez A. AbdelGawad
openalex   +1 more source

The Effect of Amino Acids on the Formation of Amorphous Calcium Carbonate Nanoparticles

Advanced Functional Materials, EarlyView.
Biomineral formation often proceeds via the assembly of amorphous calcium carbonate (ACC) nanoparticles with narrow size distributions. Using in situ SAXS coupled to a stopped‐flow device, we follow synthetic ACC formation with a 10 ms time resolution and show that amino acids narrow the size distribution at low supersaturation, highlighting their key ...
Lucas Kuhrts, Hadar Shaked, Johanna Sklar, Almog Sulam, Iryna Polishchuk, Elena Prudnikov, Gouranga Manna, Michael Sztucki, Sylvain Prevost, Alexander Katsman, Boaz Pokroy   +10 more
wiley   +1 more source

Efficient, Hierarchical, and Object-Oriented Electronic Structure Interfaces for Direct Nonadiabatic Dynamics Simulations. [PDF]

J Chem Theory Comput
Mausenberger S, Polonius S, Mai S, González L.   +3 more
europepmc   +1 more source

Economic Simulations in Swarm: Agent-Based Modelling and Object Oriented Programming Edited by Francesco Luna and Benedikt Stefansson .

, 2001
Paul Johnson
openalex   +1 more source