|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 269 occurrences of 152 keywords
|
|
|
Results
Found 1577 publication records. Showing 1575 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Naveenbalaji Gowthaman, Viranjay M. Srivastava |
Arbitrary Alloy Semiconductor Material Based DG MOSFET for High-Frequency Industrial and Hybrid Consumer Applications. |
AFRICON |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Wenxi Wang, Pu Yi 0001, Sarfraz Khurshid, Darko Marinov |
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. |
ICTSS |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Sean Thomas, Gabriel Maquignaz, Adrien Thabuis, Yves Perriard |
A Self-Biasing Shape Memory Alloy Gripper for Lightweight Applications. |
IROS |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Haibing Xiao, Encheng Zhang, Songling Zhang, Huarui Jiang, Lijun Wang |
Research on Experimental Optimization of Nanosecond Laser Cleaning Technology for Thin Oxide Layer on Aluminum Alloy Surface. |
AIAM (ACM) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Chun Qin, Wei Li 0005, Ning Li, Chenyang Wang, Yanzhe Li |
Effect of Heat Treatment on Microstructure and Plastic Property of Alloy as Casted Condition. |
AIAM (ACM) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Chenxu Yang, Lixia Huang, Dexiu Dong, Jiahui Shen, Haitao Wang, Qiufeng Li |
PSM Imaging Method for Water Immersion Ultrasonic Phased Array Inspection of Diffusion Welding of Titanium Alloy. |
AIAM (ACM) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Ling Chen, David Renshaw, Michael Kellam, Ritaban Dutta, Daniel Liang |
Characterization of Reversibly-Actuating Shape Memory Alloy Foils Produced By Planar Flow Casting. |
IEEE SENSORS |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Tamjid Hossain, Nancy A. Day |
Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems. |
RE Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Yasuyuki Shiraishi, Akihiro Yamada, Genta Sahara, Tomoyuki Yambe, Kengo Kato, Jun Ohta, Yukio Katori, Dai Homma |
Design of an Artificial Tongue Driven by Shape Memory Alloy Fibers. |
EMBC |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Yuki Miyahara, Ryu Kato |
Development of Thin Vibration Sheets Using a Shape Memory Alloy Actuator for the Tactile Feedback of Myoelectric Prosthetic hands. |
EMBC |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Qi Wang, Lutao Yan, Mingzhe Li, Haiyuan Li, Bin Zhang |
Reliability Analysis of Continuum Robot Actuated by Shape Memory Alloy (SMA). |
CACRE |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Michele A. Mandolino, Yannik Goergen, Paul Motzki, Gianluca Rizzello |
Design and Characterization of a Fully Integrated Continuum Robot Actuated by Shape Memory Alloy Wires. |
AMC |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Trevor L. Buckner, Rebecca Kramer-Bottiglio |
Design Parameters for Stacked-Ribbon Shape-Memory Alloy Bending Actuators*. |
RoboSoft |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Baofu Sun, Wei Ning, Jiaqi Chen |
Preparation of TC4 titanium alloy by electron beam selective melting. |
ICIIP |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang |
AlloyFL: a fault localization framework for Alloy. |
ESEC/SIGSOFT FSE |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Laura Millán, Gabriel Kronberger, José Ignacio Hidalgo, Ricardo Fernández, Oscar Garnica, Gaspar González-Doncel |
Estimation of Grain-Level Residual Stresses in a Quenched Cylindrical Sample of Aluminum Alloy AA5083 Using Genetic Programming. |
EvoApplications |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Yabin Xu, Shengjie Sun, Zhuang Wu |
Gibbs Free-energy Prediction Method for Iron-base Alloy Materials Based on Deep Learning*. |
CCCI |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Faheem Ullah Khan, Shahid Mehmood, Xiaojin Zhao, Yatao Yang, Xiaofang Pan |
Ultra-Sensitive Bimetallic Alloy Loaded with Porous Architecture MOF for Ammonia Detection at Room Temperature. |
ISCAS |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Ahmad Alminnawi, Yo Kobayashi, Tomohiro Otani, Masao Tanaka |
Shape Memory Alloy Actuated Ankle Foot Orthosis for Reduction of Locomotion Force. |
WAC |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Md. Minarul Islam, Kashem M. Muttaqi, Danny Sutanto |
Parameter Design and Performance Analysis of a Saturated Amorphous Alloy Core Based Fault Current Limiter for Power Grid Applications. |
IAS |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
BeAFix: An Automated Repair Tool for Faulty Alloy Models. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
FLACK: Localizing Faults in Alloy Models. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
Bounded Exhaustive Search of Alloy Specification Repairs. |
ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. |
ICSE (Companion Volume) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. |
ICSE (Companion Volume) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
FLACK: Counterexample-Guided Fault Localization for Alloy Models. |
ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Shota Otomo, Masakazu Koike, Feifei Zhang, Masanori Ito |
Construction of models for Hydrogen Storage Alloy Canister. |
SICE |
2021 |
DBLP BibTeX RDF |
|
14 | Tiago Fernandes Tavares, Thales Roel P. Pessanha, Gustavo Nishihara, Guilherme Zanchetta L. Avila |
Alloy Sounds: Non-Repeating Sound Textures with Probabilistic Cellular Automata. |
DAFx |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Sung-Tsun Shih, Pei-Yu Chen |
Effects of Ti addition on the microstructure and mechanical properties of CoCrFeMnNi high-entropy alloy. |
ISPACS |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Chih-Hsueh Lin, Chia-Wei Ho, Guo-Hsin Hu, Po-Chun Kuo, Chia-Yen Hu |
Alloy Cast Product Defect Detection Based on Object Detection. |
ISPACS |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Wislayne Dayanne P. da Silva, Tony Carlos Moura Cavalcanti, Jaidilson Jó da Silva, Angelo Perkusich |
Experimental Platform for Obtaining Electrical Resistance of a Shape Memory Alloy Actuator. |
CSEDU (1) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Vladimir Tarasov, He Tan, Anders E. W. Jarfors, Salem Seifeddine |
Fuzzy logic-based modelling of yield strength of as-cast A356 alloy. |
Neural Comput. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Flur Rashitovich Ismagilov, Luca Papini, Viacheslav Evgenievich Vavilov, Denis Valerievich Gusakov |
Design and Performance of a High-Speed Permanent Magnet Generator with Amorphous Alloy Magnetic Core for Aerospace Applications. |
IEEE Trans. Ind. Electron. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Filomena Simone, Gianluca Rizzello, Stefan Seelecke, Paul Motzki |
A Soft Five-Fingered Hand Actuated by Shape Memory Alloy Wires: Design, Manufacturing, and Evaluation. |
Frontiers Robotics AI |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi |
Transitive-closure-based model checking (TCMC) in Alloy. |
Softw. Syst. Model. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Saurabh Dewangan, Suraj Kumar Mohapatra, Abhishek Sharma |
An assessment into mechanical properties and microstructural behavior of TIG welded Ti-6Al-4V titanium alloy. |
Grey Syst. Theory Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Hiroki Matsumori, Mingcong Deng, Yuichi Noge |
An Operator-based Nonlinear Vibration Control System Using a Flexible Arm with Shape Memory Alloy. |
Int. J. Autom. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Syed Imran Hussain Shah, Anirban Sarkar 0004, Sungjoon Lim |
Electromechanically Deployable High-Gain Pop-Up Antenna Using Shape Memory Alloy and Kirigami Technology. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Tao Li 0029, Youtong Zhang, Yuxiu Liang, Qiang Ai, Haishi Dou |
Multiphysics Analysis of an Axial-Flux In-Wheel Motor With an Amorphous Alloy Stator. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Taher A. Shehabeldeen, Mohamed Abd El-Aziz 0001, Ammar H. Elsheikh, Osama Farouk Hassan, Yajun Yin, Xiaoyuan Ji, Xu Shen, Jianxin Zhou |
A Novel Method for Predicting Tensile Strength of Friction Stir Welded AA6061 Aluminium Alloy Joints Based on Hybrid Random Vector Functional Link and Henry Gas Solubility Optimization. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Wenchao Li, Junjie Chang, Wentao Li, Xiaoyun Long |
Variable Aperture Method of Ultrasonic Annular Array for the Detection of Addictive Manufacturing Titanium Alloy. |
J. Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Dongdong Kong, Yongjie Chen, Ning Li 0019, Chaoqun Duan, Lixin Lu, Dongxing Chen |
Tool Wear Estimation in End Milling of Titanium Alloy Using NPE and a Novel WOA-SVM Model. |
IEEE Trans. Instrum. Meas. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Dali Chen, Dinghao Guo, Shixin Liu, Fang Liu |
Microstructure Instance Segmentation from Aluminum Alloy Metallographic Image Using Different Loss Functions. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Fang Yu, Yu Liu |
First-Principles Calculations of High-Pressure Physical Properties of Ti0.5Ta0.5 Alloy. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Dali Chen, Yang Liu, Shixin Liu, Fang Liu, Yangquan Chen |
Framework of Specific Description Generation for Aluminum Alloy Metallographic Image Based on Visual and Language Information Fusion. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Haibin Yin, Lei Tian 0004, Guilin Yang |
Design of fibre array muscle for soft finger with variable stiffness based on nylon and shape memory alloy. |
Adv. Robotics |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yongxiong Wang, Chuanfei Hu, Kai Chen, Zhong Yin |
Self-attention guided model for defect detection of aluminium alloy casting on X-ray image. |
Comput. Electr. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Sunil Kumar, Ravindra Nath Yadav, Raghuvir Kumar |
Empirical modeling and multi-response optimization of duplex turning for Ni-718 alloy. |
Int. J. Syst. Assur. Eng. Manag. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | James R. G. Parkinson, Daniel F. Martin, Andrew J. Wells, Richard F. Katz |
Modelling binary alloy solidification with adaptive mesh refinement. |
J. Comput. Phys. X |
2020 |
DBLP DOI BibTeX RDF |
|
14 | George S. Baggs, Paul Guerrier, Andrew Loeb, Jason C. Jones |
Automated Copper Alloy Grain Size Evaluation Using a Deep-learning CNN. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Gregory H. Teichert, Anirudh Natarajan, Anton Van der Ven, Krishna C. Garikipati |
Active learning workflows and integrable deep neural networks for representing the free energy functions of alloy. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Saeid Shakiba, Aghil Yousefi-Koma, Mehdi Jokar, Mohammad Reza Zakerzadeh, Hamid Basaeri |
Modeling and characterization of the shape memory alloy-based morphing wing behavior using proposed rate-dependent Prandtl-Ishlinskii models. |
J. Syst. Control. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Kuntal Maji, Gautam Kumar |
Inverse analysis and multi-objective optimization of single-point incremental forming of AA5083 aluminum alloy sheet. |
Soft Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Vishal John Mathai, Harshit K. Dave, Keyur P. Desai |
Characterisation and modelling of tool electrode wear during planetary EDM of titanium grade 5 alloy. |
Int. J. Manuf. Technol. Manag. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Smrutirekha Sen, Sudheer Reddy, P. G. Mukunda |
Mechanical characterisation of Al and Al-4%Cu alloy prepared by horizontal centrifugal casting process. |
Int. J. Manuf. Technol. Manag. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chen Zhang, Yewei Yu, Yifan Wang, Miaolei Zhou |
Takagi-Sugeno Fuzzy Neural Network Hysteresis Modeling for Magnetic Shape Memory Alloy Actuator Based on Modified Bacteria Foraging Algorithm. |
Int. J. Fuzzy Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Ivan A. Ditenberg, Ivan V. Smirnov, Michail A. Korchagin, Konstantin V. Grinyaev, Vladlen V. Melnikov, Yuriy P. Pinzhin, Alexander I. Gavrilov, Maksim A. Esikov, Vyacheslav I. Mali, Dina V. Dudina |
Structure and Phase Composition of a W-Ta-Mo-Nb-V-Cr-Zr-Ti Alloy Obtained by Ball Milling and Spark Plasma Sintering. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Anjun Shi, Ruixuan Li 0006, Yong Zhang 0003, Zhe Wang, Zhancheng Guo |
Effect of Enhanced Gravity on the Microstructure and Mechanical Properties of Al0.9CoCrFeNi High-Entropy Alloy. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chunxia Jiang, Rongbin Li, Xin Wang, Hailong Shang, Yong Zhang 0003, Peter K. Liaw |
Diffusion Barrier Performance of AlCrTaTiZr/AlCrTaTiZr-N High-Entropy Alloy Films for Cu/Si Connect System. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yiku Xu, Congling Li, Zhaohao Huang, Yongnan Chen, Lixia Zhu |
Microstructure Evolution and Mechanical Properties of FeCoCrNiCuTi0.8 High-Entropy Alloy Prepared by Directional Solidification. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Congyan Zhang, Uttam Bhandari, Congyuan Zeng, Huan Ding, Shengmin Guo, Jinyuan Yan, Shizhong Yang |
Carbide Formation in Refractory Mo15Nb20Re15Ta30W20 Alloy under a Combined High-Pressure and High-Temperature Condition. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Ya-Chu Hsu, Chia-Lin Li, Chun-Hway Hsueh |
Effects of Al Addition on Microstructures and Mechanical Properties of CoCrFeMnNiAlx High Entropy Alloy Films. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Bharat Gwalani, Tianhao Wang 0012, Abhinav Jagetia, Sindhura Gangireddy, Saideep Muskeri, Sundeep Mukherjee, Jeffrey T. Lloyd, Rajarshi Banerjee, Rajiv S. Mishra |
Dynamic Shear Deformation of a Precipitation Hardened Al0.7CoCrFeNi Eutectic High-Entropy Alloy Using Hat-Shaped Specimen Geometry. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Ningning Liang, Xiang Wang, Yang Cao, Yusheng Li 0006, Yuntian Zhu, Yonghao Zhao |
Effective Surface Nano-Crystallization of Ni2FeCoMo0.5V0.2 Medium Entropy Alloy by Rotationally Accelerated Shot Peening (RASP). |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yongkun Mu, Liangbo Zhang, Long Xu, Kondagokuldoss Prashanth, Nizhen Zhang, Xindi Ma, Yuefei Jia, Yulai Xu, Yandong Jia, Gang Wang |
Frictional Wear and Corrosion Behavior of AlCoCrFeNi High-Entropy Alloy Coatings Synthesized by Atmospheric Plasma Spraying. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Feng Wang, Xiuhua Men, Yanjie Liu, Xiuli Fu |
Experiment and simulation study on influence of ultrasonic rolling parameters on residual stress of Ti-6Al-4V alloy. |
Simul. Model. Pract. Theory |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Morteza Sadeghifar, Mahshad Javidikia, Victor Songmene, Mohammad Jahazi |
Finite element simulation-based predictive regression modeling and optimum solution for grain size in machining of Ti6Al4V alloy: Influence of tool geometry and cutting conditions. |
Simul. Model. Pract. Theory |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mehmet Aydin 0003, Ugur Köklü |
Analysis of flat-end milling forces considering chip formation process in high-speed cutting of Ti6Al4V titanium alloy. |
Simul. Model. Pract. Theory |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Huifang Liu, Chen Cong, Chongdong Cao, Qiang Zhao |
Analysis of the Key Factors Affecting the Capability and Optimization for Magnetostrictive Iron-Gallium Alloy Ambient Vibration Harvesters. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Marcus Vinicius Lopes 0002, Edycleyson Carlos de Souza, João Gustavo Santos, João Medeiros de Araujo, Lessandro Lima, Alexandre Barbosa de Oliveira, Felipe Bohn, Marcio Assolin Correa |
Modulating the Spin Seebeck Effect in Co2FeAl Heusler Alloy for Sensor Applications. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Weifang Zhang, Meng Zhang 0008, Yudong Lan, Yan Zhao 0024, Wei Dai 0005 |
Detection of Crack Locations in Aluminum Alloy Structures Using FBG Sensors. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Arfan Majeed, Yingfeng Zhang, Jingxiang Lv, Tao Peng 0012, Zahid Atta, Altaf Ahmed |
Investigation of T4 and T6 heat treatment influences on relative density and porosity of AlSi10Mg alloy components manufactured by SLM. |
Comput. Ind. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chenghao Yang, Shineng Geng, Ian D. Walker, David T. Branson, Jinguo Liu, Jian S. Dai, Rongjie Kang |
Geometric constraint-based modeling and analysis of a novel continuum robot with Shape Memory Alloy initiated variable stiffness. |
Int. J. Robotics Res. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Michael J. Butler, Alexander Raschke |
Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). |
Sci. Comput. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider 0001, Marc Frappier |
Translating Alloy and extensions to classical B. |
Sci. Comput. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yasser Mahmoud Alsayed, Ahmed Ali Abouelsoud, Ahmed M. R. Fath El-Bab |
Intelligent position control of Shape Memory Alloy helical Spring actuator. |
Mechatron. Syst. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Manisekaran Varadharajan, Prakash Duraisamy, Anitha Karthikeyan |
Route to Chaos and Bistability Analysis of Quasi-Periodically Excited Three-Leg Supporter with Shape Memory Alloy. |
Complex. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jinbin Wang, Lifeng Ma |
Bogdanov-Takens Bifurcation in a Shape Memory Alloy Oscillator with Delayed Feedback. |
Complex. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Atsushi Ezura, Kazutoshi Katahira, Jun Komotori |
Generation of Biocompatible Titanium Alloy Surfaces Including Calcium and Phosphorus Elements by Laser-Induced Mist Spraying Wet Treatment. |
Int. J. Autom. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Makoto Nikawa, Yu Iba, Minoru Yamashita |
Solid Fraction Examination at Flow Cessation and Flow Cessation Mechanism of Al-Si-Mg Alloy. |
Int. J. Autom. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Qingrui Gong, Pei Qiu, Shaolin Xu |
Evolution of Chip-Deformation Mechanisms with Increasing Temperature in Laser-Assisted Microcutting of Amorphous Alloy. |
Int. J. Autom. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chenyao Cao, Jiang Zhu, Tomohisa Tanaka, Dinh Ngoc Pham |
Investigation of Corrosion Resistance Enhancement for Biodegradable Magnesium Alloy by Ball Burnishing Process. |
Int. J. Autom. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Nader A. Mansour, Hangyeol Baek, Taesoo Jang, Bu Hyun Shin, Youngshik Kim |
ANFIS-Based System Identification and Control of a Compliant Shape Memory Alloy (SMA) Rotating Actuator. |
AIM |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Sean Thomas, Adrien Thabuis, Thomas C. Martinez, Yves Perriard |
Multi-Output Compliant Shape Memory Alloy Bias-Spring Actuators. |
AIM |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Takuro Nakao, Kai Kunze, Megumi Isogai, Shinya Shimizu, Yun Suen Pai |
FingerFlex: Shape Memory Alloy-based Actuation on Fingers for Kinesthetic Haptic Feedback. |
MUM |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yicheng (Frederick) Jiang |
Local Mechanical Property Simulation and Analysis of Aluminum Alloy Welded Joint with Different Welding Processes. |
AIAM |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Aman Dureja, Aditya Keerthi, Andrew Liang, Paul Zhang, Nancy Day |
ALDB: Debugging Alloy Models of Behavioural Requirements. |
MoDRE@RE |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Meriem Kherbouche, Bálint Molnár |
Formal Model Checking and Transformations of Models Represented in UML with Alloy. |
M2P |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chaojun Cheng, Felix P. Aplin, Gene Y. Fridman |
A microfluidic system integrated with shape memory alloy valves for a safe direct current delivery system. |
EMBC |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoyong Wei, Feng Ju, Bai Chen, Hao Guo 0017, Fei Qi, Dongming Bai, Yadong Ding |
Development of a variable-stiffness and shape-detection manipulator based on low-melting-point-alloy for minimally invasive surgery. |
EMBC |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Maged Elhefnawey, L. Li, G. L. Shuai, Z. Li, M. Nemat-Alla, D. T. Zhang |
On Improvement of Microhardness for Al-Zn-Mg-Cu Alloy via Cold ECAP. |
CRC |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
Fault Localization for Declarative Models in Alloy. |
ISSRE |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid |
AlloyMC: Alloy meets model counting. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Sachith Muthukumarana, Don Samitha Elvitigala, Juan Pablo Forero Cortés, Denys J. C. Matthies, Suranga Nanayakkara |
Touch me Gently: Recreating the Perception of Touch using a Shape-Memory Alloy Matrix. |
CHI |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Jahanian, Jiachen Chen, K. K. Ramakrishnan |
Formal Verification of Interoperability Between Future Network Architectures Using Alloy. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Nuno Macedo, Alcino Cunha, José Pereira 0001, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva |
Experiences on Teaching Alloy with an Automated Assessment Platform. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Diego de Azevedo Oliveira, Marc Frappier |
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yewei Yu, Chen Zhang, Jingwen Xu, Zhiwu Han, Miaolei Zhou |
Hysteresis Modeling of Magnetic Shape Memory Alloy using a NARMAX Structure Model. |
NEMS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chen Zhang, Yewei Yu, Jingwen Xu, Zhiwu Han, Miaolei Zhou |
Duhem Hysteresis Modeling of Magnetic Shape Memory Alloy Actuator via Takagi-Sugeno Fuzzy Neural Network. |
NEMS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yanjie Liu, Feng Wang, Hongxia Li, Xiuhua Men, Teng Jin, Xiuli Fu |
Study on Ultrasonic Rolling Parameters to Grain Size of Aluminum Alloy 7075 Surface. |
RCAR |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 1575 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|