Results 111 to 120 of about 456,109 (300)
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
, 2009 Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined in this paper is aimed at applying Event-B and Rodin to a flash-based filestore ...
Kriangsak Damchoom +3 more
core +1 more source
Metastable Polymers for Circular 3D Printing
Advanced Materials, EarlyView.3D‐printed polymers are usually permanent and hard to recycle. Here, metastable polymers are designed to fall apart on demand. A chemical trigger unzips the printed material back into its original building blocks within minutes at room temperature.
Johannes Markhart +2 more
wiley +1 more source
Advanced Materials, EarlyView.Mg─Te chalcogenides address the leakage scaling trade‐off in ultrathin selector‐only memory. Structural partitioning in multiphase Mg─Te, combined with highly ionic Mg─Te bonding and Hf interfacial engineering, supports reliable 5 nm thickness operation at low write voltage with suppressed leakage current, narrow threshold voltage distributions, 10 ns ...
Yoori Seo +5 more
wiley +1 more source
Module-based Multimedia Document Model: Basic Principles and Software Architecture
Моделирование и анализ информационных систем, 2011 This paper describes an approach to multimedia documents modeling. The approach allows a non-programming user to compose pages from objects of different types (blocks) and to install new types of objects (modules) made by third-party programmers.
V. I. Janvarev
doaj
Fred D. White, Writing Flash: How to Craft and Publish Flash Fiction for a Booming Market [review] [PDF]
Review of Fred D. White's Writing Flash: How to Craft & Publish Flash Fiction for a Booming Market (Fresno: Quill Driver, 2018 ...
Chantler, Ashley
core
Advanced Materials, EarlyView.A cholesterol‐conjugated lipid library enabled the identification of a ligand‐free LNP platform for efficient mRNA delivery to brain endothelial cells via systemic administration. This platform achieves selective BBB targeting without disrupting barrier integrity, and enables modulation of neuroinflammation and vascular function without requiring trans‐
Zeru Tian +7 more
wiley +1 more source
Advanced Materials, EarlyView.Two‐dimensional Ag11 and Ag12 cluster‐assembled materials (CAMs) are synthesized, offering atomically precise platforms with tunable electronic properties. The resulting materials exhibit robust memristive switching and neuromorphic response, demonstrating their promise for advanced nanoelectronic and memory applications.
Noohul Alam +7 more
wiley +1 more source
, 2010 Proceedings of the 1st International Particle Accelerator Conference, IPAC2010, Kyoto ...
Honkavaara, K. +5 more
openaire +2 more sources
Fast Hydrogel Micro‐Actuators Driven by Electric Fields
Advanced Materials, EarlyView.We report the fabrication of chemically programmable electroactuating microstructures through the first integration of two‐photon polymerization with electrically actuated gelatin methacrylate‐based hydrogels. By tailoring the charge of the polymer network, we demonstrate programmable polarity‐dependent bending, enabling microstructures that ...
Annaël Sort‐Montenegro +6 more
wiley +1 more source
Flash! ‘A Flash in the Pan’: Flash, Performance, and Event [PDF]
Journal of Victorian Culture, 2018 openaire +1 more source