Construct by Contract: Construct by Contract: An Approach for Developing Reliable Software
, 2013 This research introduces “Construct by Contract” as a proposal for a general methodology to develop dependable software systems. It describes an ideal process to construct systems by propagating requirements as contracts from the client’s desires to the correctness proof in verification stage, especially in everyday-used software like web applications,
openaire +1 more source
Organic Materials of Tomorrow: Horizons of Artificial Intelligence
Advanced Materials, EarlyView.This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena +3 more
wiley +1 more source
Design, comparison and selection of two competition incentive mechanisms. [PDF]
PLoS OneLi D, Wang H, Ye J.
europepmc +1 more source
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
Evaluating the coupling coordination between industrial chains and innovation chains in the construction industry of Western China from a production-manufacturing perspective. [PDF]
Sci RepXu J, Zhang Y, Chen Z.
europepmc +1 more source
Resonant Domain Wall Dynamics in a Three‐Dimensional Magnetic Nano Double Helix
Advanced Materials, EarlyView.3D magnetic nanostructures promise exciting possibilities for magnetization dynamics. However, experimental realizations remain scarce. In nanoprinted cobalt double helices, time‐resolved X‐ray microscopy reveals harmonic domain wall dynamics. Simulations identify the mode and additional higher‐frequency resonances, revealing a rich dynamic landscape ...
Pamela Morales‐Fernández +15 more
wiley +1 more source
A privacy-preserving cloud storage framework with hybrid encryption, homomorphic keyword search, and blockchain-based integrity verification. [PDF]
Sci RepAhmed HMA, Zubair S, Tawfik M.
europepmc +1 more source
Programming of Complex Magnetic Profiles Enforced by 4D Printed Magnetic LCE Actuators
Advanced Materials, EarlyView.A 4D printing‐enabled magnetic programming strategy is introduced in which thermally actuated liquid crystal elastomers are magnetized in their target shape to encode complex three‐dimensional magnetic profiles. The resulting actuators achieve multistate shape morphing and programmable locomotion under low magnetic fields, without requiring specialized
Erick R. Espíndola‐Pérez +5 more
wiley +1 more source
A detailed dataset of motor insurance policies with coverage-specific financial information. [PDF]
Data BriefEspinosa P, Lledó J, Atance D.
europepmc +1 more source
Advanced Materials, EarlyView.A giant insulator to metal transition and emergent superparamagnetism are revealed by nanoparticle exsolution in non‐stoichiometric titanate perovskite thin films. By combining transport, synchrotron spectroscopy, and first‐principles calculations, this work reveals how defect reconfiguration and lattice reconstruction fundamentally reshape electronic ...
Sungil Kim +11 more
wiley +1 more source