Search results for "alloy"

Hits ?▲	Authors	Title	Venue	Year	Link
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