Search results for "Alloy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Jeremy L. Jacob	Trace Specifications in Alloy.	ASM	2010	DBLP DOI BibTeX RDF
28	M. Y. Serry, Walied A. Moussa, D. W. Raboud	Finite-Element Modeling of Shape Memory Alloy Components in Smart Structures, Part II: Application on Shape-Memory-Alloy - Embedded Smart Composite for Self-Damage Control.	ICMENS	2003	DBLP DOI BibTeX RDF
26	Klaus Marius Hansen, Mads Ingstrup	Modeling and analyzing architectural change with alloy.	SAC	2010	DBLP DOI BibTeX RDF
26	Jhe-Hong Wang, Chen-Hsien Fan, Chao-Chieh Lan	A compact rotational manipulator using shape memory alloy wire actuated flexures.	ICRA	2009	DBLP DOI BibTeX RDF
26	Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng	Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.	FASE	2009	DBLP DOI BibTeX RDF
26	Indira Escamilla, Luis Torres, Pedro Perez, Patricia Zambrano	A Comparison between Back Propagation and the Maximum Sensibility Neural Network to Surface Roughness Prediction in Machining of Titanium (Ti 6Al 4V) Alloy.	MICAI	2008	DBLP DOI BibTeX RDF	Machining parameters, Maximum Sensibility, Neural Network, Back Propagation, Surface Roughness
26	Eunsuk Kang, Daniel Jackson 0001	Formal Modeling and Analysis of a Flash Filesystem in Alloy.	ABZ	2008	DBLP DOI BibTeX RDF
26	Kostyantyn Malukhin, Kornel F. Ehmann	Development of A Monolithic Shape Memory Alloy Manipulator.	IPAS	2008	DBLP DOI BibTeX RDF
26	Yee Harn Teh, Roy Featherstone	Accurate Force Control and Motion Disturbance Rejection for Shape Memory Alloy Actuators.	ICRA	2007	DBLP DOI BibTeX RDF
26	Jagadeesan Jayender, Rajnikant V. Patel	Master-slave control of an active catheter instrumented with shape memory alloy actuators.	IROS	2007	DBLP DOI BibTeX RDF
26	Junichi Urata, Tomoaki Yoshikai, Ikuo Mizuuchi, Masayuki Inaba	Design of high D.O.F. mobile micro robot using electrical resistance control of shape memory alloy.	IROS	2007	DBLP DOI BibTeX RDF
26	Derek Mannering, Jon G. Hall, Lucia Rapanotti	Safety Process Improvement with POSE and Alloy.	SAFECOMP	2007	DBLP DOI BibTeX RDF
26	Qian Zhang 0002, Mahdi Mahfouf	A new Reduced Space Searching Algorithm (RSSA) and its application in optimal design of alloy steels.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
26	Min-You Chen, Quandi Wang, Yongming Yang	A Hybrid Knowledge-Based Neural-Fuzzy Network Model with Application to Alloy Property Prediction.	ISNN (1)	2007	DBLP DOI BibTeX RDF
26	Wanda Benesova, Alfred Rinnhofer, Gerhard Jakob	Determining the Average Grain Size of Super-Alloy Micrographs.	ICIP	2006	DBLP DOI BibTeX RDF
26	D. Roy Mahapatra, Roderick V. N. Melnik	Numerical Simulation of Phase Transformations in Shape Memory Alloy Thin Films.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
26	Eric Lanteigne, Amor Jnifene	Design of a Link-Less Hyper-Redundant Manipulator and Composite Shape Memory Alloy Actuator.	CCECE	2006	DBLP DOI BibTeX RDF
26	Manachai Toahchoodee, Indrakshi Ray	Validation of Policy Integration Using Alloy.	ICDCIT	2005	DBLP DOI BibTeX RDF
26	Anthony J. H. Simons, Carlos Alberto Fernández y Fernández	Using Alloy to model-check visual design notations.	ENC	2005	DBLP DOI BibTeX RDF
26	Brian Selden, Kyu-Jin Cho, H. Harry Asada	Segmented Binary Control of Shape Memory Alloy Actuator Systems using the Peltier Effect.	ICRA	2004	DBLP DOI BibTeX RDF
26	Young Pyo Lee, Byungkyu Kim, Moon Gu Lee, Jong-Oh Park	Locomotive Mechanism Design and Fabrication of Biomimetic Micro Robot using Shape Memory Alloy.	ICRA	2004	DBLP DOI BibTeX RDF
26	Han Zhang, Yves Bellouard, Etienne Burdet, Reymond Clavel, Aun Neow Poo, Dietmar Werner Hutmacher	Shape Memory Alloy Microgripper for Robotic Microassembly of Tissue Engineering Scaffolds.	ICRA	2004	DBLP DOI BibTeX RDF
26	Mahdi Mahfouf, Min-You Chen, Derek A. Linkens	Adaptive Weighted Particle Swarm Optimisation for Multi-objective Optimal Design of Alloy Steels.	PPSN	2004	DBLP DOI BibTeX RDF
26	M. Y. Serry, D. W. Raboud, Walied A. Moussa	Finite-Element Modeling of Shape Memory Alloy Components in Smart Structures, Part I: Non-Linear Coupled Field Finite Element Procedure.	ICMENS	2003	DBLP DOI BibTeX RDF
26	Daniel Jackson 0001	Alloy: a lightweight object modelling notation.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	first-order logic, Object models, Z specification language
26	D. Perreux, C. Lexcellent	Theoretical and Experimental Study of a Smart Hinge-Beam Based on Shape Memory Alloy Wire Actuators.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	shape memory alloys, recovery stress, smart hinge beam modelling, intelligent system, smart materials, shape control
26	Ingemar A. E. Hulthage, Mark S. Fox, Michael D. Rychener, Martha L. Farinacci	The Architecture of ALADIN: A Knowledge-Based Approach to Alloy Design.	IEEE Expert	1990	DBLP DOI BibTeX RDF
26	Thanasis Mitsolides, Malcolm Harrison	Generators and the Replicator Control Structures in the Parallel Environment of ALLOY.	PLDI	1990	DBLP DOI BibTeX RDF
24	Yu-Teng Liang, Yih-Chih Chiou	Taguchi Analysis of Milling Wear Automatic Monitoring System Based on Machine Vision Technique.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Rhombus Micro-end-mill, Different Coating, Machine Vision, Analysis of Variance, Taguchi Method
24	Jinfeng Zhang, Yue Hao, Jincheng Zhang, JinYu Ni	The mobility of two-dimensional electron gas in AlGaN/GaN heterostructures with varied Al content.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	GaN, heterostructures, 2DEG, mobility
24	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif	Automating Algebraic Specifications of Non-freely Generated Data Types.	ATVA	2008	DBLP DOI BibTeX RDF	SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models
24	Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin	A security domain model to assess software for exploitable covert channels.	PLAS	2008	DBLP DOI BibTeX RDF	automated program verification, security domain model, static analysis, specification language, covert channel, dynamic slicing
24	Manachai Toahchoodee, Indrakshi Ray	On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model. (PDF / PS)	DBSec	2008	DBLP DOI BibTeX RDF
24	José Nuno Oliveira	Extended Static Checking by Calculation Using the Pointfree Transform.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF	formal methods, Theoretical foundations, proof obligations, extended static checking
24	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif	Bounded Relational Analysis of Free Data Types.	TAP	2008	DBLP DOI BibTeX RDF	SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types
24	Emine Gokce Aydal, Mark Utting, Jim Woodcock 0001	A Comparison of State-Based Modelling Tools for Model Validation.	TOOLS (46)	2008	DBLP DOI BibTeX RDF
24	Leslie J. Flemming, Stephen A. Mascaro	Control of a Scalable Matrix Vasoconstrictor Device for Wet Actuator Arrays.	ICRA	2007	DBLP DOI BibTeX RDF
24	Geyan Fu, Jianjun Shi, Tuo Shi	Analyze and Research of Corrosion Resistance of Laser Cladding Layer on the Anti-Acid Stainless Steel Surface.	PROLAMAT	2006	DBLP DOI BibTeX RDF	laser cladding, plasma spray welding, corrosion resistance
24	Jin Song Dong, Ping Hao, Xian Zhang 0007, Shengchao Qin	HighSpec: a tool for building and checking OZTA models.	ICSE	2006	DBLP DOI BibTeX RDF	verification, timed automata, object-Z, structural design
24	David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan	Software Assurance by Bounded Exhaustive Testing.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Formal methods, program verification, testing and debugging
24	Behzad Bordbar, Kyriakos Anastasakis	MDA and Analysis of Web Applications.	TEAA	2005	DBLP DOI BibTeX RDF
24	Alexander O. Skomorokhov	A knowledge discovery method: APL implementation and application.	APL	2000	DBLP DOI BibTeX RDF	APL
24	Sarfraz Khurshid, Daniel Jackson 0001	Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer.	ASE	2000	DBLP DOI BibTeX RDF
19	Wuliang Sun, Robert B. France, Indrakshi Ray	Rigorous Analysis of UML Access Control Policy Models.	POLICY	2011	DBLP DOI BibTeX RDF	LRBAC, UML, Alloy
19	Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon	Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines.	ICST	2010	DBLP DOI BibTeX RDF	Model-based Engineering and Testing, T-wise and pairwise, Test Generation, Software Product Lines, Alloy
19	Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias	Analysis of invariants for efficient bounded verification.	ISSTA	2010	DBLP DOI BibTeX RDF	dynalloy, kodkod, sat-based code analysis, static analysis, alloy
19	Defen Zhang, Shixian Li, Xianming Liu	An Approach for Model Composition and Verification.	NCM	2009	DBLP DOI BibTeX RDF	verification, Alloy, model composition, model weaving
19	Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry	An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method.	FM	2009	DBLP DOI BibTeX RDF	Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method
19	Marcelo Coelho, Pattie Maes	Sprout I/O: a texturally rich interface.	TEI	2008	DBLP DOI BibTeX RDF	co-located I/O, kinetic interface, shape-memory alloy, haptics, smart materials
19	Mana Taghdiri, Daniel Jackson 0001	Inferring specifications to detect errors in code.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Modular abstraction, Counterexample-guided abstraction refinement, Bounded program verification, SAT, Alloy, Specification inference
19	Fernando Castor Filho, Alexander B. Romanovsky, Cecília M. F. Rubira	Verification of coordinated exception handling.	SAC	2006	DBLP DOI BibTeX RDF	coordinated exception handling, distributed systems, alloy
19	Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson 0001	Modular verification of code with SAT.	ISSTA	2006	DBLP DOI BibTeX RDF	formal methods, formal verification, first-order logic, SAT, software model checking, alloy
19	Jonathan Edwards, Daniel Jackson 0001, Emina Torlak	A type system for object models.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	ZOCL, relational logic, vacuity detection, type systems, specification languages, object models, alloy
19	Daniel Jackson 0001, Ilya Shlyakhter, Manu Sridharan	A micromodularity mechanism.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	Alloy language, schema calculus, formal specification, first-order logic, Z, modeling languages, relational calculus, Z specification language
19	Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Putting static analysis to work for verification: A case study.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
19	Daniel Jackson 0001, Mandana Vaziri	Finding bugs with a constraint solver.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
14	Xiaohong Lu, Banghua Yang, Xiangyue Meng, Shixuan Sun, Yihan Luan, Steven Y. Liang	Temperature prediction of FSW medium thickness 2219 aluminium alloy based on intelligent algorithm.	Int. J. Manuf. Res.	2024	DBLP DOI BibTeX RDF
14	Wenle Song, Yu Han, Fuyao Yang, Jing Pang, Lei Wang, Jianfei Cao, Siying Deng	Magnetostrictive Vibration Characteristics of Amorphous Alloy Transformer With Three-Dimensional Wound Core.	IEEE Access	2024	DBLP DOI BibTeX RDF
14	Kazuto Takashima, Hidetaka Suzuki, Toshiki Imazawa, Hiroki Cho	Motion Evaluation of Variable-Stiffness Link Based on Shape-Memory Alloy and Jamming Transition Phenomenon.	J. Robotics Mechatronics	2024	DBLP DOI BibTeX RDF
14	Przemyslaw Snopinski	Effects of KoBo-Processing and Subsequent Annealing Treatment on Grain Boundary Network and Texture Development in Laser Powder Bed Fusion (LPBF) AlSi10Mg Alloy.	Symmetry	2024	DBLP DOI BibTeX RDF
14	Chongyoung Chung, Kyujin Hyeon, Jaeyeon Jeong, Dae-Young Lee, Ki-Uk Kyung	Origami-Inspired Wearable Robot for Shoulder Abduction Assistance: A Double-Petal Mechanism Utilizing Shape Memory Alloy Actuators.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
14	Tales H. A. Boratto, Camila Martins Saporetti, Samuel da Costa Alves Basilio, Alexandre A. Cury, Leonardo Goliatt	Data-driven cymbal bronze alloy identification via evolutionary machine learning with automatic feature selection.	J. Intell. Manuf.	2024	DBLP DOI BibTeX RDF
14	Nimel Sworna Ross, Paul T. Sheeba, C. Sherin Shibi, Munish Kumar Gupta, Mehmet Erdi Korkmaz, Vishal S. Sharma	A novel approach of tool condition monitoring in sustainable machining of Ni alloy with transfer learning models.	J. Intell. Manuf.	2024	DBLP DOI BibTeX RDF
14	Ana Jovanovic, Allison Sullivan	Empirically Exploring How Novices Write Software Models in Alloy.	CoRR	2024	DBLP DOI BibTeX RDF
14	Akshat Chaudhari, Chakradhar Guntuboina, Hongshuo Huang, Amir Barati Farimani	AlloyBERT: Alloy Property Prediction with Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
14	Guanxuan Wu, Allison Sullivan	AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph.	CoRR	2024	DBLP DOI BibTeX RDF
14	Meredith L. Anderson, Ran Jing, Juan C. Pacheco Garcia, Ilyoung Yang, Sarah Alizadeh-Shabdiz, Charles DeLorey, Andrew P. Sabelhaus	Maximizing Consistent Force Output for Shape Memory Alloy Artificial Muscles in Soft Robots.	CoRR	2024	DBLP DOI BibTeX RDF
14	Chang Seok Lee, Sujith Mangalathu, Jong-Su Jeon	Machine learning-assisted drift capacity prediction models for reinforced concrete columns with shape memory alloy bars.	Comput. Aided Civ. Infrastructure Eng.	2024	DBLP DOI BibTeX RDF
14	Guanda Wang, Guangfeng Zhou, Qingze Zhang, Dong He, Chun Zhao, Hui Suo	Sensitive Electrochemical Detection of Ammonia Nitrogen via a Platinum-Zinc Alloy Nanoflower-Modified Carbon Cloth Electrode.	Sensors	2024	DBLP DOI BibTeX RDF
14	Mithilesh Kumar Koiri, Vineet Dubey, Anuj Kumar Sharma, Daniel Chuchala	Design of a Shape-Memory-Alloy-Based Carangiform Robotic Fishtail with Improved Forward Thrust.	Sensors	2024	DBLP DOI BibTeX RDF
14	Chunhui Liao, Ruize Wang, Cheng Lv, Tao Chen, Zhiyang Deng, Xiaochun Song	Research on Alternating Current Field Measurement Method for Buried Defects of Titanium Alloy Aircraft Skin.	Sensors	2024	DBLP DOI BibTeX RDF
14	Ryunosuke Sato, Yanhua Zou, Taiki Koma	Experimental Investigation of a Fixed-Abrasive Machining with Magnetic Brush for Ti-6Al-4V ELI Alloy.	Int. J. Autom. Technol.	2024	DBLP DOI BibTeX RDF
14	Tales H. A. Boratto, Alexandre A. Cury, Leonardo Goliatt	Machine learning-based classification of bronze alloy cymbals from microphone captured data enhanced with feature selection approaches.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
14	Yong-Chen Pei, Bao-Hua Wang, Ji-Tuo Wu, Chenyang Wang, Jing-Han Guan, Huiqi Y. Lu	A Machine Learning Empowered Shape Memory Alloy Gripper With Displacement-Force-Stiffness Self-Sensing.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
14	Kangkang Song, Guijian Xiao, Shulin Chen, Xuetao Liu, Yun Huang	A new force-depth model for robotic abrasive belt grinding and confirmation by grinding of the Inconel 718 alloy.	Robotics Comput. Integr. Manuf.	2023	DBLP DOI BibTeX RDF
14	Xiaozheng Li, Shutian Liu, Liyong Tong, Renjing Gao	A novel dual-stage shape memory alloy actuated gripper.	Ind. Robot	2023	DBLP DOI BibTeX RDF
14	Abhiman Debnath, Siddhartha Kar, Uttam Kumar Mandal, Vidyut Dey	Experimental investigation and multi-response optimisation of end milling in aluminium-5083 alloy using desirability analysis.	Int. J. Manuf. Res.	2023	DBLP DOI BibTeX RDF
14	S. Samsudeensadham, V. Krishnaraj, R. Keshav Thilak, V. Prasath	Investigations on the machining characteristics of Ti-6Al-4V alloy during high-speed end milling process.	Int. J. Manuf. Res.	2023	DBLP DOI BibTeX RDF
14	José Serna, Nancy A. Day, Shahram Esmaeilsabzali	Dash: declarative behavioural modelling in Alloy with control state hierarchy.	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
14	Mehran Rivadeh, Seyed-Hassan Mirian-Hosseinabadi	Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application.	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
14	Syed Imran Hussain Shah, Sayed Sabir Shah, Eiríkur Bernhardsson, Slawomir Koziel	Shape Memory Alloy-Based Fluidically Reconfigurable Metasurfaced Beam Steering Antenna.	IEEE Access	2023	DBLP DOI BibTeX RDF
14	Jiahao Zhang, Ronggao Cui, Yu Wei, Degui Yu, Shunde Xie, Shitong Fang, Jun Shen	Optimization and Experimental Validation of Amorphous Alloy High-Speed Asynchronous Motor for Simultaneous Reduction on Core and Copper Losses.	IEEE Access	2023	DBLP DOI BibTeX RDF
14	Nikola Fischer, Franziska Mathis-Ullrich	Compact flexible actuator based on a shape memory alloy for shaping surgical instruments.	Autom.	2023	DBLP DOI BibTeX RDF
14	Nikola Fischer, Johannes Knapp, Franziska Mathis-Ullrich	Shape-sensing by self-sensing of shape memory alloy instruments for minimal invasive surgery.	Autom.	2023	DBLP DOI BibTeX RDF
14	Umar Lucio Rezende, Leonardo A. De Souza, Jadson Cláudio Belchior	An approach based on genetic algorithms and machine learning coupled for studying alloy and molecular clusters by optimizing quantum energy surfaces.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
14	Adel Gassab, Rabi Ben Sghaier, Raouf Fathallah	Fatigue reliability prediction of shape memory alloy parts based on multi-scale high cycle fatigue criterion.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
14	Przemyslaw Snopinski	Electron Microscopy Study of Structural Defects Formed in Additively Manufactured AlSi10Mg Alloy Processed by Equal Channel Angular Pressing.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Atthaphon Ariyarit, Supakit Rooppakhun, Worawat Puangchaum, Tharathep Phiboon	Design Optimization of Alloy Wheels Based on a Dynamic Cornering Fatigue Test Using Finite Element Analysis and Multi-Additional Sampling of Efficient Global Optimization.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Przemyslaw Snopinski, Krzysztof Matus	Characterisation of Microstructure and Special Grain Boundaries in LPBF AlSi10Mg Alloy Subjected to the KoBo Extrusion Process.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Enrique Maciá	Alloy Quasicrystals: Perspectives and Some Open Questions at Forty Years.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Juan Xiao, Tianqi Zhu, Linlin Li, Liangliang Shen, Zhiying Ren, Jian Xu	Design and Biomechanical Properties of Symmetrical Lumbar Fusion Cage Based on Lightweight Titanium Alloy Flexible Microporous Metal Rubber.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Yewei Yu, Chen Zhang, En Wang, Miaolei Zhou	Neural Network Adaptive Control of Magnetic Shape Memory Alloy Actuator With Time Delay Based on Composite NARMAX Model.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
14	Kyujin Hyeon, Chongyoung Chung, Jihyeong Ma, Ki-Uk Kyung	Lightweight and Flexible Prosthetic Wrist With Shape Memory Alloy (SMA)-Based Artificial Muscle and Elliptic Rolling Joint.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
14	Sybren de Kinderen, Qin Ma 0002, Monika Kaczmarek-Heß	Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy.	Comput. Ind.	2023	DBLP DOI BibTeX RDF
14	Xudong Wei, Xianli Liu, Caixu Yue, Steven Y. Liang, Lihui Wang 0001, Yanming Sun, Yiyuan Qin	Surface roughness prediction framework for flank milling Ti6Al4V alloy based on CLBAS-BP algorithm.	Int. J. Comput. Integr. Manuf.	2023	DBLP DOI BibTeX RDF
14		RETRACTED ARTICLE: Dynamic simulation of moderately thick annular system coupled with shape memory alloy and multi-phase nanocomposite face sheets.	Eng. Comput.	2023	DBLP DOI BibTeX RDF
14	Peter Schaefferkoetter, John G. Michopoulos, Jeong-Hoon Song	Strong-form meshfree collocation method for non-equilibrium solidification of multi-component alloy.	Eng. Comput.	2023	DBLP DOI BibTeX RDF
14	Daniil Bochkov, Tresa Pollock, Frédéric Gibou	A numerical method for sharp-interface simulations of multicomponent alloy solidification.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
14	Manikandan Natarajan, Thejasree Pasupuleti, Jayant P. Giri, Neeraj Sunheriya, Lakshmi Narasimhamu Katta, Rajkumar B. Chadge, Chetan Mahatme, Pallavi Giri, Saurav Mallik, Kanad Ray	Machinability of Titanium Grade 5 Alloy for Wire Electrical Discharge Machining Using a Hybrid Learning Algorithm.	Inf.	2023	DBLP DOI BibTeX RDF
14	Sherwan Mohammed Najm, Imre Paniti	Investigation and machine learning-based prediction of parametric effects of single point incremental forming on pillow effect and wall profile of AlMn1Mg1 aluminum alloy sheets.	J. Intell. Manuf.	2023	DBLP DOI BibTeX RDF