|
|
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 |
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 |
|
Displaying result #101 - #200 of 1575 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|