Results 61 to 70 of about 6,185 (261)
Advanced Engineering Materials, EarlyView.We develop a data‐driven method to derive the mathematical expressions of the Flory–Huggins interaction parameter χ for the swelling behavior of temperature–responsive hydrogels. Starting from initial assumptions of χ, our workflow combines Bayesian optimization, Flory–Rehner theory, and symbolic regression to generate candidate χ expressions.
Yawen Wang +2 more
wiley +1 more source
A Symbolic Execution Framework for JavaScript [PDF]
2010 IEEE Symposium on Security and Privacy, 2010 As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In this paper, we describe the first system for exploring the execution space of JavaScript code using symbolic execution.
Prateek Saxena +5 more
openaire +1 more source
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
A symbolic execution semantics for TopHat [PDF]
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019 Task-Oriented Programming (TOP) is a programming paradigm that allows declarative specification of workflows. TOP is typically used in domains where functional correctness is essential, and where failure can have financial or strategical consequences. In this paper we aim to make formal verification of software written in TOP easier.
Nico Naus +2 more
openaire +1 more source
Advanced Engineering Materials, EarlyView.The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ +19 more
wiley +1 more source
Program state optimal method based on variable symbolic relation analysis
Tongxin xuebao, 2018 Program analysis is the prime method to program property analysis,which is widely used in the domain of parameter dependent relation,path coverage and test case generation,and a lot of progress has been made.Current program analysis is based on the ...
Xi GUO, Pan WANG
doaj +2 more sources
Advanced Materials, EarlyView.In this work, low bandgap (≈1.55 eV) semitransparent perovskite solar cells (ST‐PSCs) having thin (thickness < ≈100 nm) perovskite layers and transparent conductive oxide‐based rear electrodes are fabricated using vacuum‐deposition methods. Two different ST‐PSCs demonstrated a high light utilization efficiency value of 4.2 (PCE: 9.26% and AVT: 45.3 ...
Abhyuday Paliwal +9 more
wiley +1 more source
n‐Type Polymer Radio Frequency Rectifiers Operating at 18.5 GHz
Advanced Materials, EarlyView.Combining an n‐doped polymer semiconductor with wafer‐scale asymmetric planar electrodes featuring work function‐engineered contacts yields radio‐frequency diodes and rectifying circuits operating at up to 18.5 GHz. The devices combine scalable manufacturing with an operating frequency previously unattainable by large‐area organic electronics ...
Lazaros Panagiotidis +19 more
wiley +1 more source
Advanced Materials, EarlyView.A photoactive tweezers system based on photoactive colloids is developed and systematically investigated in this study. Through experimental and theoretical methods, we demonstrate that the photoredox reaction catalyzed by a dye‐sensitized TiO2 particle generates a strong positive phototaxis, enabling self‐entrapment in the beam center.
Jingyuan Chen +9 more
wiley +1 more source
Smart Antibacterial Coatings: Harnessing Bacterial Redox Activity for Infection Control
Advanced Materials Interfaces, EarlyView.In this study, we have shown that ceftazidime‐loaded poly(3,4‐ethylenedioxythiophene) (PEDOT@CAZ) functions as a smart, redox‐responsive antibacterial coating that couples bacterial electrical activity with localized antibiotic delivery. Shewanella oneidensis and Pseudomonas aeruginosa induced distinct redox responses in PEDOT, reflecting their ...
Abdullah +8 more
wiley +1 more source