Results 81 to 90 of about 1,047,095 (303)

On abstraction refinement for program analyses in Datalog [PDF]

, 2014
A central task for a program analysis concerns how to efficiently find a program abstraction that keeps only information relevant for proving properties of interest.
Zhang, Xin, Naik, Mayur, Mangal, Ravi, Ravi Mangal, Yang, Hongseok, Xin Zhang, Hongseok Yang, Grigore, Radu, Radu Grigore, Mayur Naik   +9 more
core   +1 more source

Symbolic Regression and Multi‐Objective Optimization of the Flory–Huggins Interaction Parameter for Hydrogels

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, Adrian Ehrenhofer, Thomas Wallmersperger   +2 more
wiley   +1 more source

A Refinement of Perfect Equilibria Based On Substitute Sequences [PDF]

We propose an equilibrium refinement of strict perfect equilibrium for the finite normal form games, which is not known in the literature. Okada came up with the idea of strict perfect equilibrium by strengthening the main definition of a perfect ...
C. D. Aliprantis, I. Topolyan
core  

Current Status and Challenges in Data Collection for Aerospace Coatings Deposited by Plasma Spraying

Advanced Engineering Materials, EarlyView.
An innovative approach has been integrated into the GRENAT project to optimize plasma spraying and coating performance. Raw materials are accelerated and melted in the plasma generated by torches, creating coatings. Monitoring sensors collect process data which are combined with ex situ characterization data.
Lila Randriamananjara, Vincent Rat, Quentin Dubreuil, Patrice Valorge, Simon Goutier, Alain Denoirjean, Olivier Messe, Céline Ruelle, Jean‐Philippe Poli   +8 more
wiley   +1 more source

Effect of Mg Content on Microstructure and Properties of Near-rapidly Solidified Al-Zn-Mg-Cu-Zr Alloys

Cailiao gongcheng, 2018
The effect of Mg content on microstructure and properties of near-rapidly solidified Al-Zn-Mg-Cu alloys was studied by means of OM, DSC, XRD and SEM.
HUANG Gao-ren, SUN Yi-meng, ZHANG Li, LIU Yu-lin   +3 more
doaj   +1 more source

The Complexity of Equilibrium Refinements in Potential Games

CoRR
The abstract has been abridged due to arXiv length constraints. The previous version of this preprint contained results concerning normal-form proper equilibria; these results have now been extended and moved to a separate ...
Ioannis Anagnostides, Maria-Florina Balcan, Kiriaki Fragkia, Tuomas Sandholm, Emanuel Tewolde, Brian Hu Zhang   +5 more
openaire   +3 more sources

Workflow for Design of Experiments‐Based Modeling of Species Transport and Growth Kinetics in GaN Hydride Vapor Phase Epitaxy

Advanced Engineering Materials, EarlyView.
A novel workflow for investigating hydride vapor phase epitaxy for GaN bulk crystal growth is proposed. It combines Design of experiments (DoE) with physical simulations of mass transport and crystal growth kinetics, serving as an intermediate step between DoE and experiments.
J. Tomkovič, G. Lukin, H. Torkashvand, A. Kerschbaum, M. Müller, S. Besendörfer, J. Heitmann, J. Friedrich   +7 more
wiley   +1 more source

Study of rheological parameters due to coal particle size change in pipeline transported coal slurry

Scientific Reports
This article proposes using abrasion equilibrium equations for refining coarse-grained coal slurry hydrodynamic conveying, combining experimental data and theoretical analysis.
Li-an Zhao, Chunsen Jian, Ronghuan Cai, Peng He   +3 more
doaj   +1 more source

Effects of a Welding Wire Containing Er or Sc on the Microstructure, Mechanical Properties, and Corrosion Resistance of the 5xxx Aluminum Alloy MIG Joint

Metals
The development of MIG (metal inert gas) welding for five-series aluminum alloys primarily involves the improvement and optimization of welding processes.
Cunwei Zou, Ruizhi Wu, Xinhe Yang, Zhikun Ma, Legan Hou   +4 more
doaj   +1 more source

Effects of graphene addition on the microstructure of 7075Al

Materials Research Express, 2020
In this paper, the effect of the addition of graphene on the as-cast and homogenized annealing microstructure of 7075 aluminum alloy (AlZnMgCu) was studied.
YunFan Dong, BingHui Ren, Kang Wang, Jianrong Wang, JinFeng Leng   +4 more
doaj   +1 more source