|
|
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 | Lingfeng Fan, Hailin Huang, Bing Li 0015, Yinghao Ning |
Design of a Locking-Release Device Using Shape Memory Alloy. |
CBS |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Raymond Abrial |
The ABZ-2018 Case Study with Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Jure Kukovec, Thanh-Hai Tran 0002, Igor Konnov 0001 |
Extracting Symbolic Transitions from TLA+ Specifications. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Wen Su, Jinxin Chen, Shehroz Khan 0002 |
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Dana Dghaym, Michael Poppleton, Colin F. Snook |
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa |
Proposition of an Action Layer for Electrum. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh 0001, Laurent Voisin |
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002 |
Capturing Membrane Computing by ASMs. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Christoph Beierle, Klaus-Dieter Schewe |
Abstract State Machines with Exact Real Arithmetic. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres |
Systematic Refinement of Abstract State Machines with Higher-Order Logic. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier |
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid |
Systematic Generation of Non-equivalent Expressions for Relational Algebra. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | John W. Baugh Jr., Tristan Dyer |
State-Based Formal Methods in Scientific Computation. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun |
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Markus Leitz, Alexander Raschke |
Formal Specification of the Semantics of Control State Diagrams. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi |
Verifiable Code Generation from Scheduled Event-B Models. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson |
ABZ Languages and Tools in Industrial-Scale Application. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Farah Al-Shareefi, Alexei Lisitsa 0001, Clare Dixon |
Clarification of Ambiguity for the Simple Authentication and Security Layer. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Arcaini, Pavel Jezek, Jan Kofron |
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Dominik Hansen, Michael Leuschel, David Schneider 0001, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron |
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Inna Vistbakka, Mikhail Barash, Elena Troubitsyna |
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer |
Modelling Dynamic Data Structures with the B Method. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Alcino Cunha, Nuno Macedo |
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Thai Son Hoang, Michael J. Butler, Klaus Reichl |
The Hybrid ERTMS/ETCS Level 3 Case Study. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
AsmetaA: Animator for Abstract State Machines. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang 0002 |
Distributed Adaptive Systems - Theory, Specification, Reasoning. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Richard Banach |
Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Refinement of Timing Constraints for Concurrent Tasks with Scheduling. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau |
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard |
An Automation-Friendly Set Theory for the B Method. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar |
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Lilian Burdy, David Déharbe |
Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Raymond Abrial |
On B and Event-B: Principles, Success and Challenges. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Guocai Lv, Yanjing Su |
Molecular dynamics simulation and first principles calculations of radiation-induced Cu clusters in Fe-3 at.% Cu alloy. |
Comput. Phys. Commun. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ermanno Cardelli, Antonio Faba, Antonino Laudani, Simone Quondam Antonio, Francesco Riganti Fulginei, Alessandro Salvini |
Computer Modeling of Nickel-Iron Alloy in Power Electronics Applications. |
IEEE Trans. Ind. Electron. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Pushparenu Bhattacharjee, Abhiman Debnath, Sujoy Chakraborty, Uttam Kumar Mandal |
Selection of optimal aluminum alloy using TOPSIS method under fuzzy environment. |
J. Intell. Fuzzy Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ruoxu Ren, Terence Hung, Kay Chen Tan |
Automatic Microstructure Defect Detection of Ti-6Al-4V Titanium Alloy by Regions-Based Graph. |
IEEE Trans. Emerg. Top. Comput. Intell. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | James Hope, Andrew McDaid |
Development of Wearable Wrist and Forearm Exoskeleton with Shape Memory Alloy Actuators. |
J. Intell. Robotic Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Hosein Tavakoli Hoseini, Mohammadreza Farahani, Majid Sohrabian |
Process analysis of resistance spot welding on the Inconel alloy 625 using artificial neural networks. |
Int. J. Manuf. Res. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Chun Jiang, Fubiao Zhang, Zhenmin Wang |
Image Processing of Aluminum Alloy Weld Pool for Robotic VPPAW Based on Visual Sensing. |
IEEE Access |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Bo Jin 0004, Weifang Zhang, Feifei Ren, Meng Zhang 0008, Wei Dai 0005, Yanrong Wang |
Mechanism of Subordinate Peak Skewing of FBG Sensor during Cracks Propagation Monitoring on Aluminum Alloy Structure. |
J. Sensors |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Svetlana Yarosh, Kenya Mejia, Baris Unver, Xizi Wang, Yuan Yao, Akin Campbell, Brad T. Holschuh |
SqueezeBands: Mediated Social Touch Using Shape Memory Alloy Actuation. |
Proc. ACM Hum. Comput. Interact. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Shigeru Sawada, Song-Zhu Kure-Chu, Rie Nakagawa, Toru Ogasawara, Hitoshi Yashiro, Yasushi Saitoh |
Effect of Hardness on Wear and Abrasion Resistance of Silver Plating on Copper Alloy. |
IEICE Trans. Electron. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Robert Montgomery, Carlos Tomé, Wenfeng Liu, Alankar Alankar, Gopinath Subramanian, Christopher Stanek |
Use of multiscale zirconium alloy deformation models in nuclear fuel behavior analysis. |
J. Comput. Phys. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Abdalla Salama, Amin Malekmohammadi, Shahram Mohanna, Rajprasad Rajkumar |
A Multitasking Electrical Impedance Tomography System Using Titanium Alloy Electrode. |
Int. J. Biomed. Imaging |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Christian Bölling, Milla Kuhne, Eberhard Abele |
Modeling of process forces with consideration of tool wear for machining of sintered steel alloy for application to valve seat in a combustion engine. |
Prod. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Tugrul Özel, Alaa Olleak, Thanongsak Thepsonthi |
Micro milling of titanium alloy Ti-6Al-4V: 3-D finite element modeling for prediction of chip flow and burr formation. |
Prod. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Naveed Akhtar, Razzaq Ahmed, Muhammad Arfan, Muhammad Noshad Ali |
Mechanical Performance and Fracture Behavior of Recycled AA6061-T6 Alloy Melted from Aluminium Chips. |
Int. J. Manuf. Mater. Mech. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Arvind Gautam, Anuradha Balouria, Divya Andem, Kare Mounika, A. Bhargavi Rani, Amit Acharyya, Swati Ghosh Acharyya |
Thermo-Magnetic Control System for Nano-Ferromagnetic Particle Doped Shape Memory Alloy for Orthopedic Devices and Rehabilitation Techniques. |
J. Low Power Electron. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | A. E. Hammad, A. A. Ibrahiem |
Enhancing the microstructure and tensile creep resistance of Sn-3.0Ag-0.5Cu solder alloy by reinforcing nano-sized ZnO particles. |
Microelectron. Reliab. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Kalathi Madhivanan, M. Senthil Kumar, Rajagopal Ramesh |
Vibration signal responses classification in AA 6063 aluminium alloy friction stir welded joint using optimal neural network. |
Int. J. Bus. Intell. Data Min. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Yaliang Liu, Li Zou, Yibo Sun, Xinhua Yang |
Evaluation Model of Aluminum Alloy Welded Joint Low-Cycle Fatigue Data Based on Information Entropy. |
Entropy |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Tiziana Segreto, Alessandra Caggiano, Sara Karam, Roberto Teti |
Vibration Sensor Monitoring of Nickel-Titanium Alloy Turning for Machinability Evaluation. |
Sensors |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Seunghyun Eom, Muhammad Usman Memon, Sungjoon Lim |
Frequency-Switchable Microfluidic CSRR-Loaded QMSIW Band-Pass Filter Using a Liquid Metal Alloy. |
Sensors |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro 0001 |
An idiom to represent data types in Alloy. |
Inf. Softw. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Zhongtang Wang, Ling-Yi Wang, Shengdong Gao |
Simulation of microstructure evolution of AZ31 magnesium alloy during indenten-flatten compound deformation technology based on cellular automata. |
Int. J. Simul. Process. Model. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Daniela Maffiodo, Terenziano Raparelli |
Three-Fingered Gripper with Flexure Hinges Actuated by Shape Memory Alloy Wires. |
Int. J. Autom. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Shoichi Kikuchi, Yuki Nakamura, Koichiro Nambu, Toshikazu Akahori |
Formation of Hydroxyapatite Layer on Ti-6Al-4V ELI Alloy by Fine Particle Peening. |
Int. J. Autom. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Togo Shinonaga, Yuta Iida, Ryota Toshimitsu, Akira Okada |
Fundamental Study on Addition of Osteoconductivity to Titanium Alloy Surface by EDM. |
Int. J. Autom. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau |
Verification of SGAC Access Control Policies Using Alloy and ProB. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Junfeng Li, Guoliang Zhong, Haibin Yin, Mingchang He, Yuegang Tan, Zhang Li |
Position control of a robot finger with variable stiffness actuated by shape memory alloy. |
ICRA |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Amit Srivastava, Christopher Ward, Rajni V. Patel |
Adaptive neural Preisach model and model predictive control of Shape Memory Alloy actuators. |
AIM |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Philip C. Roth, Hongzhang Shan, David Riegner, Nikolas Antolin, Sarat Sreepathi, Leonid Oliker, Samuel Williams 0001, Shirley Moore, Wolfgang Windl |
Performance analysis and optimization of the RAMPAGE metal alloy potential generation software. |
SEPS@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Kengo Igawa, Tso-Fu Mark Chang, Chun-Yi Chen, Akira Umise, Takashi Nagoshi, Masaki Tahara, Tomonari Inamura, Hideki Hosoda, Volodymyr A. Chernenko, Masato Sone |
Micro-compression study of Ni-Fe(Co)-Ga magnetic shape memory alloy for MEMS sensors. |
IEEE SENSORS |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jose Marques Basilio Sobrinho, Maxsuel Ferreira Cunha, Cicero da Rocha Souto, Simplicio Arnaud da Silva, Alexsandro Jose Virginio dos Santos, Sebastian Yuri Cavalcanti Catunda |
Electronic instrumentation for the characterization of a rotary thermoelectric motor driven by shape memory alloy springs. |
I2MTC |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Diego Scaccabarozzi, Arash Valiesfahani, Bortolino Saggin, Marianna Magni, Marco Tarabini, Carlo Alberto Biffi, Ausonio Tuissi |
Characterization of the pseudoelastic damping capacity of shape memory alloy wire. |
I2MTC |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Hideyuki Sawada |
Micro-vibration actuators driven by shape-memory alloy wires and its application to tactile displays. |
MHS |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Chong Tune Hau, Darwin Gouwanda, Alpha Agape Gopalai, Cheng Yee Low, Fazah Akhtar binti Hanapiah |
Design and development of platform ankle rehabilitation robot with Shape Memory Alloy based actuator. |
EMBC |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
Automated Test Generation and Mutation Testing for Alloy. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jun Zhang 0025, Michael C. Yip |
Three-Dimensional Hysteresis Modeling of Robotic Artificial Muscles with Application to Shape Memory Alloy Actuators. |
Robotics: Science and Systems |
2017 |
DBLP BibTeX RDF |
|
14 | Wenjun Xu, Jian Zhang, Yifeng Chen, Wei Xue, Yu Cao |
Deicing of aluminum alloy rod by laser induced bubble explosion reaction. |
ICSAI |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Oliveira 0001, Orlando Belo |
Validating ETL Patterns Feasability using Alloy. |
DATA |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Mariana Carvalho, Orlando Belo |
Using Alloy for Verifying the Integration of OLAP Preferences in a Hybrid What-If Scenario Application. |
KES-IDT (1) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Yogesh Singh, Santhakumar Mohan |
Development of a Planar 3PRP Parallel Manipulator using Shape Memory Alloy Spring based Actuators. |
AIR |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias |
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. |
ESEC/SIGSOFT FSE |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Shibing Ye, Peng Yang, Meiling Feng, Junqing Sun |
Analyzing environmental factors of on-line monitoring of smelting alloy steel using rough set. |
ICNC-FSKD |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Linfei Zhang, Min Xu, Hao Yang |
Research on soft manipulator actuated by shape memory alloy (SMA) springs. |
RCAR |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Nurulhuda A. Manaf, Andreas Antoniades, Sotiris Moschoyiannis |
SBVR2Alloy: An SBVR to Alloy Compiler. |
SOCA |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Yufei Hao, Tianmiao Wang, Li Wen |
A Programmable Mechanical Freedom and Variable Stiffness Soft Actuator with Low Melting Point Alloy. |
ICIRA (1) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Yunhao Ge, Jihao Liu, Bin Li, Huihua Miao, Weixin Yan, Yanzheng Zhao |
Dynamic Drive Performances of the Bionic Suction Cup Actuator Based on Shape Memory Alloy. |
ICIRA (1) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Doug Reitz, Estela Blaisten-Barojas |
Monte Carlo Study of the Crystalline and Amorphous NaK Alloy. |
ICCS |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jarbas Joaci de Mesquita Sá Junior, André Ricardo Backes, Odemir Martinez Bruno |
Randomized Neural Network Based Signature for Classification of Titanium Alloy Microstructures. |
CIARP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | André Ricardo Backes, Jarbas Joaci de Mesquita Sá Junior |
Texture Classification of Phases of Ti-6Al-4V Titanium Alloy Using Fractal Descriptors. |
CIARP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Long-Phuoc Tôn, Hoang-Anh Pham, Bo Dao |
Software Abstraction for Casual Games Using Temporal Model: An Alloy-Based Approach. |
ACOMP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Bin He, Hu Shi, Haitao Wang, Xuesong Mei |
Design and performance analysis of high response actuator using magnetic shape memory alloy. |
M2VIP |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov |
Evaluating State Modeling Techniques in Alloy. |
SQAMIA |
2017 |
DBLP BibTeX RDF |
|
14 | Siddhartha Banerjee, Subhas Bhunia, Pravash Chandra Chakraborti, Sanjoy Kumar Saha 0001 |
An Automated Approach for Volume Fraction Measurement of Titanium Alloy using Digital Image Processing. |
ICCCT |
2017 |
DBLP DOI BibTeX RDF |
|
14 | P. S. Vishweshwara, N. Gnanasekaran, M. Arun |
Estimation of Interfacial Heat Transfer Coefficient for Horizontal Directional Solidification of Sn-5 wt%Pb Alloy Using Genetic Algorithm as Inverse Method. |
SocProS (1) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Shun Guo, Qi Zhou, Peng Xu, Qiong Gao, Tianyuan Luo, Yong Peng, Jian Kong, Kehong Wang, Jun Zhu |
Study on Lightweight Design and Connection of Dissimilar Metals of Titanium Alloy TC4/T2 Copper/304 Stainless Steel. |
LSMS/ICSEE (3) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Loïc Gammaitoni |
On the Use of Alloy in Engineering Domain Specific Modeling Languages. |
|
2017 |
RDF |
|
14 | Linxian Zhi, Yuyang Zhu, Hai Wang 0004, Zhengming Xu, Zhihong Man |
A recurrent neural network for modeling crack growth of aluminium alloy. |
Neural Comput. Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Thibaut Heckmann, Thomas R. Souvignet, S. Lepeer, David Naccache |
Low-temperature low-cost 58 Bismuth - 42 Tin alloy forensic chip re-balling and re-soldering. |
Digit. Investig. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Rossella Berni, Marcantonio Catelani, Caterina Fiesoli, Valeria L. Scarano |
A Comparison of Alloy-Surface Finish Combinations Considering Different Component Package Types and Their Impact on Soldering Reliability. |
IEEE Trans. Reliab. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Dianwu Zhou, Ningning Li, Shaohua Xu, Jinshui Liu |
Research on laser weld bonding of duel phase steel to aluminium alloy. |
Int. J. Manuf. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | M. Venkata Ramana, G. K. Mohan Rao, D. Hanumantha Rao |
Experimental investigations on tool wear in turning of Ti-6Al-4V alloy under different machining environmental conditions. |
Int. J. Manuf. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Manisha Priyadarshini, Kamal Pal |
Multi-objective optimisation of EDM process using hybrid Taguchi-based methodologies for Ti-6Al-4V alloy. |
Int. J. Manuf. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Fergus Taylor, Chikit Au |
Forced Air Cooling of Shape-Memory Alloy Actuators for a Prosthetic Hand. |
J. Comput. Inf. Sci. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Sharad Ghodke, R. S. Jangid |
Equivalent linear elastic-viscous model of shape memory alloy for isolated structures. |
Adv. Eng. Softw. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Wei Liang, Hidekazu Murakawa, Dean Deng |
Estimating inherent deformation in thin-plate Al-alloy joint by means of inverse analysis with the help of cutting technique. |
Adv. Eng. Softw. |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #701 - #800 of 1575 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|