Results 21 to 30 of about 29,740 (183)
An intelligent component database for behavioral synthesis [PDF]
, 1989 This paper describes an intelligent component database system that delivers components to synthesis tools when given a set of attributes and constraints. Requirements of a component server are defined and an implementation is described.
Chen, Gwo-Dong, Gajski, Daniel D.
core
Advanced Healthcare Materials, EarlyView.Polymer‐based drug delivery systems can effectively overcome the limitations of free drugs in terms of solubility, stability, and plasma half‐life, yet their development has traditionally relied on time‐consuming trial‐and‐error approaches. This review highlights recent advances in applying molecular simulation to the design of polymer‐based drug ...
Ping Gao +4 more
wiley +1 more source
Computational Simulations of Metal–Organic Frameworks to Enhance Adsorption Applications
Advanced Materials, EarlyView.This review highlights the significance of molecular simulations in expanding the understanding of metal–organic frameworks (MOFs) and improving their gas adsorption applications. The historical development and implementation of molecular simulations in the MOF field are given, high‐throughput computational screening studies used to unlock the ...
Hilal Daglar +3 more
wiley +1 more source
Regulation-Structured Dynamic Metabolic Model Provides a Potential Mechanism for Delayed Enzyme Response in Denitrification Process [PDF]
, 2017 In a recent study of denitrification dynamics in hyporheic zone sediments, we observed a significant time lag (up to several days) in enzymatic response to the changes in substrate concentration.
Chen, Xingyuan +9 more
core +1 more source
Advanced Materials, EarlyView.Developing robust catalysts for ammonia electrochemical oxidation (AOR) is essential for advancing NH3 utilization technologies. This review summarizes recent progress in catalyst design and mechanistic understanding of AOR. In addition, it systematically investigates strategies to improve AOR performance for various types of catalysts.
Yike Ye +4 more
wiley +1 more source
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core
AutoBayes: A System for Generating Data Analysis Programs from Statistical Models
, 2003 Data analysis is an important scientific task which is required whenever information needs to be extracted from raw data. Statistical approaches to data analysis, which use methods from probability theory and numerical analysis, are well-founded but ...
Fischer, Bernd, Schumann, Johann
core +1 more source
Advanced Materials, EarlyView.Herein, a systematic digital twin workflow tailored for generating high‐fidelity virtual representations of anisotropic composite microstructures and giga‐voxel meso‐structural models is presented, leveraging a harmonious integration of top–down image‐based modeling and bottom–up data‐driven voxel generation.
Siwon Yu +7 more
wiley +1 more source
Sustainable Liquid Metal Composites for Soft Electronics and E‐Waste Reduction
Advanced Materials, EarlyView.Liquid metal (LM) composites embody recyclability, repairability, renewability, and resilience (4R), offering a sustainable route for soft electronics. With exceptional conductivity, stretchability, and eco‐friendly recovery, these systems enable closed‐loop lifecycles and reduce e‐waste.
Abdollah Hajalilou +2 more
wiley +1 more source
Hiding variables when decomposing specifications into GR(1) contracts [PDF]
, 2017 We propose a method for eliminating variables from component specifications during the decomposition of GR(1) properties into contracts. The variables that can be eliminated are identified by parameterizing the communication architecture to investigate ...
Filippidis, Ioannis, Murray, Richard M.
core