Search Results - "Compositional design"

Exploring Compositional Neural Networks for Real-Time Systems

Chatterjee, Sobhan, Allen, Nathan, Patel, Nitish, Roop, Partha

2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)

Achieving excellent mechanical properties in CoNiCrMo multi-principal element alloys: A comprehensive approach integrating mean square atomic displacement and machine learning method

Yang Long, Wei Fang, Haoyang Yu, Tiexu Peng, Cong Li, Weiguang Liu, Chang Liu, Qinghe Jia, Yushui Chen, Jia Li, Fuxing Yin

electronic resource

View item; View item

Compositional design of compounds with elements not in training data using supervised learning

Jingjin He, Ruowei Yin, Changxin Wang, Chuanbao Liu, Dezhen Xue, Yanjing Su, Lijie Qiao, Turab Lookman, Yang Bai

electronic resource

View item; View item

Design of Non-Heat Treatable High Pressure Die Casting Al Alloys: A Review

Zhu, Hongyi^{Aff1, Aff2}, Xia, Cunjuan^{Aff1, Aff3, Aff4}, Zhang, Huawei^{Aff1, Aff3, IDs11665024094775_cor3}, Zhao, Dechao^{Aff2, IDs11665024094775_cor4}, Wang, Mingliang^{Aff1, Aff3, Aff4, IDs11665024094775_cor5}, Wang, Haowei^{Aff2, Aff3, Aff4}

Composition and microstructure engineering of Fe–Si–Co soft magnetic alloys with enhanced performance

Chen, Qiming ^{a, b}, Wang, Kebing ^{a, b}, Wang, Lingfeng ^{a, b}, Jin, Jiaying ^a, Yan, Mi ^a, Wu, Chen ^{a, b, ⁎}

Influences of the composition design on the microstructure and properties of laser additive manufacturing TiAl alloy coatings

Guofu Lian, Ying Zheng, Changrong Chen, Meiyan Feng, Xu Huang

electronic resource

View item; View item

Recent Advances in Analysis and Design of Cyber-physical Systems using Passivity Indices

Zakeri, Hasan, Antsaklis, Panos J.

2019 27th Mediterranean Conference on Control and Automation (MED)

Composition–Structure–Solubility Relationships in Borosilicate Glasses: Toward a Rational Design of Bioactive Glasses with Controlled Dissolution Behavior

Stone-Weiss, Nicholas^aff1, Bradtmüller, Henrik^{aff2, aff3}, Eckert, Hellmut^{aff2, aff4}, Goel, Ashutosh^aff1

An Agent Based Inter-organizational Collaboration Framework: OperA+

Jiang, Jie, Dignum, Virginia, Tan, Yao-Hua

2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)

Observer-based Testing of Distributed Protocols Designed for Harsh Environments

Ravindran, Kaliappa, Ding, Gwangyu

2011 Sixth International Conference on Availability, Reliability and Security (ARES)

Recent development in Titanium alloys with high strength and high elasticity

XIAO Wenlong, FU Yu, WANG Junshuai, ZHAO Xinqing, MA Chaoli

electronic resource

View item

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.

Processing of a new high entropy alloy: AlCrFeMoNiTi

Prieto, Estela, Calderon, Raquel De Oro, Konegger, Thomas, Gordo, Elena, Gierl-Mayer, Christian, Sheikh, Saad Ahmed, 1987, Guo, Sheng, 1981, Danninger, Herbert, Milenkovic, Srdjan, Alvaredo, Paula

Synchronous Interfaces and Assume/Guarantee Contracts

Benveniste, Albert^Aff19, Caillaud, Benoît^Aff19

Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Aceto, Luca, editor^Aff13, Bacci, Giorgio, editor^Aff14, Bacci, Giovanni, editor^Aff15, Ingólfsdóttir, Anna, editor^Aff16, Legay, Axel, editor^Aff17, Mardare, Radu, editor^Aff18

This result is not displayed to guests.
Login for full access.

Automated translation of C/C++ models into a synchronous formalism

Kalla, H., Talpin, J.-P., Berner, D., Besnard, L.

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems

An Agent-Based Inter-organizational Collaboration Framework: OperA+

Jiang, Jie^Aff23, Dignum, Virginia^Aff23, Tan, Yao-Hua^Aff23

Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Goebel, Randy, editor^Aff16, Siekmann, Jörg, editor^Aff17, Wahlster, Wolfgang, editor^Aff18, Cranefield, Stephen, editor^Aff19, van Riemsdijk, M. Birna, editor^Aff20, Vázquez-Salceda, Javier, editor^Aff21, Noriega, Pablo, editor^Aff22

Towards Compositional Design and Evaluation of Preference Elicitation Interfaces

Pommeranz, Alina^Aff17, Wiggers, Pascal^Aff17, Jonker, Catholijn M.^Aff17

Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Kurosu, Masaaki, editor^Aff16