|
|
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 | Jaideep Upadhyay, Husain Khambati, David Pinto 0001 |
Design of Silent Actuators using Shape Memory Alloy. |
Res. Comput. Sci. |
2016 |
DBLP BibTeX RDF |
|
14 | Shun'ichiro Ohmi, Mengyi Chen, Xiaopeng Wu, Yasushi Masahiro |
PtHf Silicide Formation Utilizing PtHf-Alloy Target for Low Contact Resistivity. |
IEICE Trans. Electron. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Junichi Danjo, Sonoko Danjo, Yu Nakamura, Keiji Uchida, Hideyuki Sawada |
Micro-Vibration Patterns Generated from Shape Memory Alloy Actuators and the Detection of an Asymptomatic Tactile Sensation Decrease in Diabetic Patients. |
IEICE Trans. Inf. Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Aldegunde, Nicholas Zabaras, Jesper Kristensen |
Quantifying uncertainties in first-principles alloy thermodynamics using cluster expansions. |
J. Comput. Phys. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ken Saito, Kei Iwata, Yuki Ishihara, Kazuki Sugita, Minami Takato, Fumio Uchikoba |
Miniaturized Rotary Actuators Using Shape Memory Alloy for Insect-Type MEMS Microrobot. |
Micromachines |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Michael Storchak, Like Jiang, Yiping Xu, Xun Li |
Finite element modeling for the cutting process of the titanium alloy Ti10V2Fe3Al. |
Prod. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Volker Böß, Berend Denkena, Volker Wesling, Stefan Kaierle, Felix Rust, Dennis Nespor, Boris Rottwinkel |
Repairing parts from nickel base material alloy by laser cladding and ball end milling. |
Prod. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Thanongsak Thepsonthi, Tugrul Özel |
Simulation of serrated chip formation in micro-milling of titanium alloy Ti-6Al-4V using 2D elasto-viscoplastic finite element modeling. |
Prod. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ling Shen, Jianjun He, Chunhua Yang 0001, Weihua Gui 0001, Honglei Xu |
Temperature Uniformity Control of Large-Scale Vertical Quench Furnaces for Aluminum Alloy Thermal Treatment. |
IEEE Trans. Control. Syst. Technol. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Nuno Macedo, Alcino Cunha |
Alloy meets TLA+: An exploratory study. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Saber Mirzaei, Sanaz Bahargam, Richard Skowyra, Assaf J. Kfoury, Azer Bestavros |
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Anjali Sree-Kumar, Elena Planas, Robert Clarisó |
Analysis of Feature Models Using Alloy: A Survey. |
FMSPLE |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Subhas Ganguly, Abhijit Patra, Partha P. Chattopadhyay, Shubhabrata Datta |
New training strategies for neural networks with application to quaternary Al-Mg-Sc-Cr alloy design problems. |
Appl. Soft Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | J. Thambi, U. Tetzlaff, Andreas Schiessl, Klaus-Dieter Lang, M. Waltz |
High cycle fatigue behaviour and generalized fatigue model development of lead-free solder alloy based on local stress approach. |
Microelectron. Reliab. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Alexandrine Guédon-Gracia, Hélène Frémont, Bernard Plano, Jean-Yves Delétage, Kirsten Weide-Zaage |
Effects of salt spray test on lead-free solder alloy. |
Microelectron. Reliab. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hyun Seok Oh, Duancheng Ma, Gerard Paul Leyson, Blazej Grabowski, Eunsoo Park, Fritz Körmann, Dierk Raabe |
Lattice Distortions in the FeCoNiCrMn High Entropy Alloy Studied by Theory and Experiment. |
Entropy |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hongwei Yao, Jun-Wei Qiao, Michael C. Gao, Jeffrey A. Hawk, Sheng-Guo Ma, Hefeng Zhou |
MoNbTaV Medium-Entropy Alloy. |
Entropy |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Anna M. Manzoni, Sheela Singh, Haneen M. Daoud, Robert Popp, Rainer Völkl, Uwe Glatzel, Nelia Wanderka |
On the Path to Optimizing the Al-Co-Cr-Cu-Fe-Ni-Ti High Entropy Alloy Family for High Temperature Applications. |
Entropy |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Chun-Huei Tsau, Po-Yen Lee |
Microstructures of Al7.5Cr22.5Fe35Mn20Ni15 High-Entropy Alloy and Its Polarization Behaviors in Sulfuric Acid, Nitric Acid and Hydrochloric Acid Solutions. |
Entropy |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hongwei Yao, Jun-Wei Qiao, Michael C. Gao, Jeffrey A. Hawk, Sheng-Guo Ma, Hefeng Zhou |
Correction to Yao, H.; Qiao, J.-W.; Gao, M.C.; Hawk, J.A.; Ma, S.-G.; Zhou, H. MoNbTaV Medium-Entropy Alloy. Entropy 2016, 18, 189. |
Entropy |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Farshid Jafarian, Domenico Umbrello, Behzad Jabbaripour |
Identification of new material model for machining simulation of Inconel 718 alloy and the effect of tool edge geometry on microstructure changes. |
Simul. Model. Pract. Theory |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Weraneck, Florian Heilmeier, Markus Lindner, Moritz Graf, Martin Jakobi, Wolfram Volk, Johannes Roths, Alexander W. Koch |
Strain Measurement in Aluminium Alloy during the Solidification Process Using Embedded Fibre Bragg Gratings. |
Sensors |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Zongya Zhao, Ruxue Gong, Liang Zheng, Jue Wang 0016 |
In Vivo Neural Recording and Electrochemical Performance of Microelectrode Arrays Modified by Rough-Surfaced AuPt Alloy Nanoparticles with Nanoporosity. |
Sensors |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Minoru Yamashita, Koji Kuwabara |
Punchless Drawing of Magnesium Alloy Sheet Under Cold Condition and its Computation. |
Int. J. Autom. Technol. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Tatsuya Sugihara, Toshiyuki Enomoto |
Ultra-Low-Frequency Vibration Assisted Machining of Ti-6Al-4V Alloy. |
Int. J. Autom. Technol. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Zhenishbek Zhakypov, Jian-Lin Huang, Jamie Paik |
A Novel Torsional Shape Memory Alloy Actuator: Modeling, Characterization, and Control. |
IEEE Robotics Autom. Mag. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Eleonora D'Andrea, Beatrice Lazzerini, Vincenzo Palleschi |
Combining Multiple Neural Networks to Predict Bronze Alloy Elemental Composition. |
Advances in Neural Networks |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden |
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. |
ICFEM |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Farshid Alambeigi, Reza Seifabadi, Mehran Armand |
A continuum manipulator with phase changing alloy. |
ICRA |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jingjing Ji, Yang Huang, Kok-Meng Lee |
Cutting tool temperature field reconstruction using hybrid macro/micro scale modeling for machining of titanium alloy. |
AIM |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Kok-Meng Lee, Chun-Yeon Lin, Min Li, Bingjie Hao |
Harmonic response of an eddy-current sensor for real-time measurement of thin-wall titanium alloy workpiece. |
AIM |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Arathi Pai, Markus Riepold, Ansgar Trächtler |
A model extended temperature and strain controller modulated with PWM for precision position control of shape memory alloy actuators. |
AIM |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Toshiya Ishikawa, Taro Nakamura 0001 |
Portability and antagonistic stiffness control for an shape memory alloy artificial muscle actuator protected by a rolled film tube. |
AIM |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Arvind Gautam, Kare Mounika, Divya Andem, Pallavi Karhade, A. Bhargavi Rani, Amit Acharyya, Swati Ghosh Acharyya |
Thermo-magnetic shape control of nano-ferromagnetic particle doped shape memory alloy for orthopedic devices and rehabilitation techniques. |
ISED |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Asisa Kumar Panigrahi, Satish Bonam, Tamal Ghosh, Siva Rama Krishna Vanjari, Shiv Govind Singh |
Low temperature CMOS compatible Cu-Cu thermo-compression bonding with constantan alloy passivation for 3D IC integration. |
3DIC |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yasser Mahmoud Alsayed, Ahmed Ali Abouelsoud, Ahmed M. R. Fath El-Bab |
Hybrid sliding mode fuzzy logic-based PI controller design and implementation of shape memory alloy actuator. |
ICUMT |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Arvind Gautam, A. Bhargavi Rani, Miguel A. Callejas, Swati Ghosh Acharyya, Amit Acharyya, Dwaipayan Biswas, Vasundhra Bhandari, Paresh Sharma, Ganesh R. Naik |
Shape memory alloy smart knee spacer to enhance knee functionality: Model design and finite element analysis. |
EMBC |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Tahmid Latif, Fengyuan Gong, Michael D. Dickey, Mihail L. Sichitiu, Alper Bozkurt |
Using liquid metal alloy (EGaIn) to electrochemically enhance SS stimulation electrodes for biobotic applications. |
EMBC |
2016 |
DBLP DOI BibTeX RDF |
|
14 | auJaemin Lee, auDonghyun Hwang, auMinkyu Kim, auKeehoon Kim |
A feasibility test of underactuated robotic prosthetic fingers actuated by shape memory alloy. |
BioRob |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Serket Quintanar-Guzman, Somasundar Kannan, Miguel A. Olivares-Méndez, Holger Voos |
Lightweight robotic arm actuated by shape memory alloy (SMA) wires. |
ECAI |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hamid Bagheri, Sam Malek |
Titanium: efficient analysis of evolving alloy specifications. |
SIGSOFT FSE |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Joseph Chee Chang, Aniket Kittur, Nathan Hahn |
Alloy: Clustering with Crowds and Computation. |
CHI |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklós Biró (eds.) |
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hiroshi Yanatori, Takashi Mineta, Shuichi Takeuchi, Konomu Abe |
A shape memory alloy thick film actuator array for narrow pitched planar tactile display device. |
NEMS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Muh-Rong Wang, Yang-Sheng Huang, Wei-Chieh Tseng, Kuan-Liang Lai |
Comparison of gas atomization on A6060 Al alloy powders produced by internal and external mixing type nozzles. |
ICIT |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Leo C. Ureel II, Charles Wallace 0001 |
Discrete mathematics for computing students: A programming oriented approach with Alloy. |
FIE |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki 0001 |
Modeling and Reasoning with Multirelations, and their encoding in Alloy. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
14 | Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer |
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. |
OCL@MoDELS |
2016 |
DBLP BibTeX RDF |
|
14 | Loïc Bramoullé |
STRANGE ALLOY [mp4] (France). |
SIGGRAPH ASIA Computer Animation Festival |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Loïc Gammaitoni, Pierre Kelsen, Qin Ma 0002 |
Agile Validation of Higher Order Transformations Using F-Alloy. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G. |
A Super Industrial Application of PSGraph. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres |
Towards an ASM Thesis for Reflective Sequential Algorithms. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Atif Mashkoor |
The Hemodialysis Machine Case Study. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Marc Pantel |
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow |
Semi-Automated Design Space Exploration for Formal Modelling. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Dominik Hansen, David Schneider 0001, Michael Leuschel |
Using B and ProB for Data Validation Projects. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yibo Liang, Yuhui Lin, Gudmund Grov |
'The Tinker' for Rodin. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Egon Börger |
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Felix Kossak, Atif Mashkoor |
How to Select the Suitable Formal Method for an Industrial Application: A Survey. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Rajiv Murali, Andrew Ireland, Gudmund Grov |
UC-B: Use Case Modelling with Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier |
Unified Syntax for Abstract State Machines. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene |
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Michael Leuschel, Egon Börger |
A Compact Encoding of Sequential ASMs in Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi |
A Graphical Tool for Event Refinement Structures in Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Andrew Edmunds, Colin F. Snook, Marina Waldén |
On Component-Based Reuse for Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz |
Proving Determinacy of the PharOS Real-Time Operating System. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky |
Rodin Platform Why3 Plug-In. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec |
Mechanized Refinement of Communication Models with TLA ^+ +. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel |
Generating Event-B Specifications from Algorithm Descriptions. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Artur Oliveira Gomes, Andrew Butterfield |
Modelling the Haemodialysis Machine with Circus. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif |
A Relational Encoding for a Clash-Free Subset of ASMs. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy |
A Universal Control Construct for Abstract State Machines. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Philipp Paulweber, Uwe Zdun |
A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | David Mentré |
SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Noran Azmy, Stephan Merz, Christoph Weidenbach |
A Rigorous Correctness Proof for Pastry. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Richard Banach |
Hemodialysis Machine in Hybrid Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Krings, Michael Leuschel |
Proof Assisted Symbolic Model Checking for B and Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ivaylo Dobrikov, Michael Leuschel |
Enabling Analysis for Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau |
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Stephan Merz, Hernán Vanzetto |
Encoding TLA ^+ + into Many-Sorted First-Order Logic. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler |
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Joshua Schmidt, Sebastian Krings, Michael Leuschel |
Interactive Model Repair by Synthesis. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Maha Boussabbeh, Mohamed Tounsi 0001, Mohamed Mosbah 0001, Ahmed Hadj Kacem |
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Gui-Fang Shao, Tingna Wang, Tun-Dong Liu, Jun-Ren Chen, Ji-Wen Zheng, Yu-Hua Wen |
Structural optimization of Pt-Pd alloy nanoparticles using an improved discrete particle swarm optimization algorithm. |
Comput. Phys. Commun. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Rakesh P. Dhote, Héctor Gómez, Roderick N. V. Melnik, Jean Zu |
Shape memory alloy nanostructures with coupled dynamic thermo-mechanical effects. |
Comput. Phys. Commun. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Miaolei Zhou, Shanbo He, Qi Zhang, Kun Ji, Bing Hu |
Hybrid control of magnetically controlled shape memory alloy actuator based on Krasnosel'skii-Pokrovskii model. |
J. Intell. Fuzzy Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Shohreh Ajoudanian, Seyed-Hassan Mirian-Hosseinabadi |
Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy. |
J. Log. Algebraic Methods Program. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Konstantinos Andrianesis, Anthony Tzes |
Development and Control of a Multifunctional Prosthetic Hand with Shape Memory Alloy Actuators. |
J. Intell. Robotic Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Irapuan Santos, Milton Luiz Polli, Hioki Daniel |
Influence of input parameters on the electrical discharge machining of titanium alloy (TI-6AL-4V). |
Int. J. Manuf. Res. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Alcino Cunha, Ana Gabriela Garis, Daniel Riesco |
Translating between Alloy specifications and UML class diagrams annotated with OCL. |
Softw. Syst. Model. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ildiko Peter, Mario Rosso |
Study of Ti-Enriched CoCrMo Alloy for Dental Application. |
IEEE Access |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Hiroo Nozaki, Yuji Ikeda, Kazuhide Ichikawa, Akitomo Tachibana |
Electronic stress tensor analysis of molecules in gas phase of CVD process for gesbte alloy. |
J. Comput. Chem. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Dariusz Grzesiak, Marta Krawczyk |
Effects of the Selective Laser Melting Process Parameters on the Functional Properties of the Co-Cr Alloy. |
Int. J. Recent Contributions Eng. Sci. IT |
2015 |
DBLP DOI BibTeX RDF |
|
14 | D. Vijay, T. K. Kandavel |
Application of artificial neural network on wear properties of sinter-forged Fe-C-Mo low alloy steel. |
Int. J. Adv. Intell. Paradigms |
2015 |
DBLP DOI BibTeX RDF |
|
14 | M. Y. Lin, C. C. Tsao, H. H. Huang, C. Y. Wu, C. Y. Hsu |
Use of the grey-Taguchi method to optimise the micro-electrical discharge machining (micro-EDM) of Ti-6Al-4V alloy. |
Int. J. Comput. Integr. Manuf. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ana Bizal, Jernej Klemenc, Matija Fajdiga |
Modelling the fatigue life reduction of an AlSi9Cu3 alloy caused by macro-porosity. |
Eng. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | P. C. Bollada, Christopher E. Goodyer, Peter K. Jimack, Andrew M. Mullis, F. W. Yang |
Three dimensional thermal-solute phase field simulation of binary alloy solidification. |
J. Comput. Phys. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Rojas, Tomohiro Takaki, Munekazu Ohno |
A phase-field-lattice Boltzmann method for modeling motion and growth of a dendrite for binary alloy solidification in the presence of melt convection. |
J. Comput. Phys. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Stanley G. Selig, Darrel A. Doman |
Finite Element Simulation of the Compaction and Springback of Alumix 321 PM Alloy. |
J. Appl. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Hyun-Taek Lee, Sung-In Kim, Jong Min Park, Ho-Jin Kim, Dae-Seob Song, Hyung-Il Kim, Hong-Gyun Wu, Sung-Hoon Ahn |
Shape memory alloy (SMA)-based head and neck immobilizer for radiotherapy. |
J. Comput. Des. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #801 - #900 of 1575 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|