Search results for "Alloy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Mehrdad Moallem, Vahid Aghazadeh Tabrizi	Tracking Control of an Antagonistic Shape Memory Alloy Actuator Pair.	IEEE Trans. Control. Syst. Technol.	2009	DBLP DOI BibTeX RDF
14	S. Ramesh, L. Karunamoorthy, V. S. Senthilkumar, K. Palanikumar	Experimental study on machining of titanium alloy (Ti64) by CVD and PVD coated carbide inserts.	Int. J. Manuf. Technol. Manag.	2009	DBLP DOI BibTeX RDF
14	Eunsuk Kang, Daniel Jackson 0001	Designing and Analyzing a Flash File System with Alloy.	Int. J. Softw. Informatics	2009	DBLP BibTeX RDF
14	Vishalini Bundhoo, Edmund Haslam, Benjamin Birch, Edward J. Park	A shape memory alloy-based tendon-driven actuation system for biomimetic artificial fingers, part I: design and evaluation.	Robotica	2009	DBLP DOI BibTeX RDF
14	Feng Gao, Hiroshi Nishikawa, Tadashi Takemoto, Jianmin Qu	Mechanical properties versus temperature relation of individual phases in Sn-3.0Ag-0.5Cu lead-free solder alloy.	Microelectron. Reliab.	2009	DBLP DOI BibTeX RDF
14	S. T. Jenq, Hsuan-Hu Chang, Yi-Shao Lai, Tsung-Yueh Tsai	High strain rate compression behavior for Sn-37Pb eutectic alloy, lead-free Sn-1Ag-0.5Cu and Sn-3Ag-0.5Cu alloys.	Microelectron. Reliab.	2009	DBLP DOI BibTeX RDF
14	Qian Zhang 0002, Mahdi Mahfouf	A modified PSO with a dynamically varying population and its application to the multi-objective optimal design of alloy steels.	IEEE Congress on Evolutionary Computation	2009	DBLP DOI BibTeX RDF
14	Binrui Wang, Weiyi Zhou, Yinglian Jin, Hong Xu, Hai-Sen Ke	Modeling and Characteristics Analysis of Intelligent Pneumatic Muscle with Shape Memory Alloy Braided Shell.	CAR	2009	DBLP DOI BibTeX RDF
14	Yu-Xia Zhao, Guang-Ping He, De-Wen Gao	Micro in-pipe robot mechanical structure design of Shape Memory Alloy driving.	ROBIO	2009	DBLP DOI BibTeX RDF
14	Qin Yan, Wen-guang Wu, Shiwu Zhang, Min Xu 0006, Jie Yang 0004	Preliminary study of flexible pectoral fin capable of 3D motions actuated by Shape Memory Alloy.	ROBIO	2009	DBLP DOI BibTeX RDF
14	Chen-Kuei Chung, W. T. Chang	Comparison of methods for sensing contact potential difference of nanocrystalline alloy films using a kelvin actuating capacitor.	NEMS	2009	DBLP DOI BibTeX RDF
14	Chen-Hsun Weng, Chih-Chia Huang, Chen-Sheng Yeh, Gwo-Bin Lee	Using micro-reactors to synthesize alloy FeGa2O4 magnetic nanoparticles.	NEMS	2009	DBLP DOI BibTeX RDF
14	Kenton Conrad Kirkpatrick, John Valasek	Dimensionality Effects on the Markov Property in Shape Memory Alloy Hysteretic Environment.	SMC	2009	DBLP DOI BibTeX RDF
14	Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar	From UML to Alloy and Back Again.	MoDELS (Workshops)	2009	DBLP DOI BibTeX RDF
14	Zekai Demirezen, Marjan Mernik, Jeffrey G. Gray, Barrett R. Bryant	Verification of DSMLs using graph transformation: a case study with Alloy.	MoDeVVa@MoDELS	2009	DBLP DOI BibTeX RDF
14	Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar	From UML to Alloy and back again.	MoDeVVa@MoDELS	2009	DBLP DOI BibTeX RDF
14	Youhong Zhang, Shengli Zhou, Jupeng Liu, Enyi Chu, Rui Zhang	Fatigue Life Prediction of Served Aircraft Aluminum Alloy Structure.	ICETC	2009	DBLP DOI BibTeX RDF
14	Cheng-Yi Yang, Yu-Sheng Lo, Chien-Tsai Liu	Using Haptic Technology to Design Computer Assisted Learning Systems for Dental Casting Training - In the Case of Melting Palladium Silver Alloy with a Dental Lost-wax Casting Blow Torch.	ICETC	2009	DBLP DOI BibTeX RDF
14	Youhong Zhang, Xinlong Chang, Shiying Zhang, Kuan Hu, Wei Zhang	Probability Model of Surface Corrosion Damage Ratio of Aluminum Alloy.	ICETC	2009	DBLP DOI BibTeX RDF
14	Alberto E. Schaeffer Filho, Emil C. Lupu, Morris Sloman, Susan Eisenbach	Verification of Policy-Based Self-Managed Cell Interactions Using Alloy.	POLICY	2009	DBLP DOI BibTeX RDF
14	Alcino Cunha, Hugo Pacheco 0001	Mapping between Alloy Specifications and Database Implementations.	SEFM	2009	DBLP DOI BibTeX RDF
14	N. Alaa, A. Cheggour, Mohamed Iguernane, Jean-Rodolphe Roche, A. Tounssi	Numerical analysis of a model for nickel-iron alloy electrodeposition on rotating disk electrode.	Int. J. Comput. Math.	2008	DBLP DOI BibTeX RDF
14	H.-Christian Estler, Heike Wehrheim	Alloy as a Refactoring Checker?	Refine@FM	2008	DBLP DOI BibTeX RDF
14	K. Elangovan, V. Balasubramanian, S. Babu, M. Balasubramanian	Optimising Friction Stir Welding parameters to maximise tensile strength of AA6061 aluminium alloy joints.	Int. J. Manuf. Res.	2008	DBLP DOI BibTeX RDF
14	Ramiro Velazquez, Edwige E. Pissaloux, Moustapha Hafez, Jérôme Szewczyk	Tactile Rendering With Shape-Memory-Alloy Pin-Matrix.	IEEE Trans. Instrum. Meas.	2008	DBLP DOI BibTeX RDF
14	Francisco Javier de Cos Juez, Fernando Sánchez Lasheras, P. J. García Nieto, Angel Álvarez-Arenal	Non-linear numerical analysis of a double-threaded titanium alloy dental implant by FEM.	Appl. Math. Comput.	2008	DBLP DOI BibTeX RDF
14	Manfred Geiger, Marion Merklein, Wolfgang Hußnätter, Martin Grüner	Experimental determination of yield loci for magnesium alloy AZ31 under biaxial tensile stress conditions at elevated temperatures.	Prod. Eng.	2008	DBLP DOI BibTeX RDF
14	Jagadeesan Jayender, Rajnikant V. Patel, Suwas Nikumb, Mile Ostojic	Modeling and Control of Shape Memory Alloy Actuators.	IEEE Trans. Control. Syst. Technol.	2008	DBLP DOI BibTeX RDF
14	T. H. Ghong, T. J. Kim, S. Y. Lee, Y. D. Kim, J. J. Kim, Hisao Makino, T. Yao	Vacuum UV spectroscopic ellipsometry study on Ga1-xCrxN(0<=x<=0.1) alloy films.	Microelectron. J.	2008	DBLP DOI BibTeX RDF
14	Anthony J. H. Simons, Carlos Alberto Fernández y Fernández	Using Alloy to model-check visual design notations	CoRR	2008	DBLP BibTeX RDF
14	Paulo J. Matos, João Marques-Silva 0001	Model Checking Event-B by Encoding into Alloy	CoRR	2008	DBLP BibTeX RDF
14	Miaoquan Li, Li Long	Process simulation during the isothermal extrusion of Ti - 6.0Al - 2.0Zr - 1.0Mo - 1.0V alloy by 3D FEM.	Int. J. Manuf. Technol. Manag.	2008	DBLP DOI BibTeX RDF
14	Estibaliz Asua, Victor Etxebarria, Alfredo García-Arribas	Neural network-based micropositioning control of smart shape memory alloy actuators.	Eng. Appl. Artif. Intell.	2008	DBLP DOI BibTeX RDF
14	Somnath Ghosh, Y. Bhandari, M. Groeber	CAD-based reconstruction of 3D polycrystalline alloy microstructures from FIB generated serial sections.	Comput. Aided Des.	2008	DBLP DOI BibTeX RDF
14	Yee Harn Teh, Roy Featherstone	An Architecture for Fast and Accurate Control of Shape Memory Alloy Actuators.	Int. J. Robotics Res.	2008	DBLP DOI BibTeX RDF
14	Wei You, Yaxiu Liu, Bingzhe Bai, Hongsheng Fang	Predicting the Initial Discharge Capacity of AB5-Based Hydrogen Storage Alloy Using Artificial Neural Network.	ICNC (2)	2008	DBLP DOI BibTeX RDF
14	Zhi-Wen Zhu, Ya-Nan Liu, Jia Xu, Hong-Li Wang	Modeling and application of Shape Memory Alloy based on hysteretic nonlinear theory and data mining.	ISKE	2008	DBLP DOI BibTeX RDF
14	Nicu George Bîzdoaca, Anca Petrisor, Elvira Bîzdoaca, Ilie Diaconu, Sonia Degeratu	Shape Memory Alloy Tendons Actuated Tentacle Robotic Structure - Models and Control.	ICINCO-RA (2)	2008	DBLP BibTeX RDF
14	Derek Mannering, Jon G. Hall, Lucia Rapanotti	Safety Process Improvement with POSE and Alloy.	SSS	2008	DBLP DOI BibTeX RDF
14	M. Sreekumar, T. Nagarajan, M. Singaperumal, Matteo Zoppi, Rezia M. Molfino	Critical review of current trends in shape memory alloy actuators for intelligent robots.	Ind. Robot	2007	DBLP DOI BibTeX RDF
14	M. Balasubramanian, V. Jayabalan, V. Balasubramanian	Process optimisation of PCTIG welding of titanium alloy using the modified Taguchi method.	Int. J. Manuf. Res.	2007	DBLP DOI BibTeX RDF
14	Farida Mostefaoui, Julie Vachon	Design-Level Detection of Interactions in Aspect-UML Models Using Alloy.	J. Object Technol.	2007	DBLP DOI BibTeX RDF
14	Kazuaki Miyanaga, Yoshiki Kayano, Hiroshi Inoue	Effect of the Thermal Constant on Temperature Rise of Silver Palladium Alloy Contacts.	IEICE Trans. Electron.	2007	DBLP DOI BibTeX RDF
14	Jan Rosam, Peter K. Jimack, Andy Mullis	A fully implicit, fully adaptive time and space discretisation method for phase-field simulation of binary alloy solidification.	J. Comput. Phys.	2007	DBLP DOI BibTeX RDF
14	Lijian Tan, Nicholas Zabaras	Multiscale modeling of alloy solidification using a database approach.	J. Comput. Phys.	2007	DBLP DOI BibTeX RDF
14	Frank Haußer, Michel E. Jabbour, Axel Voigt	A Step-Flow Model for the Heteroepitaxial Growth of Strained, Substitutional, Binary Alloy Films with Phase Segregation: I. Theory.	Multiscale Model. Simul.	2007	DBLP DOI BibTeX RDF
14	Silvia Bossi, Arianna Menciassi, Klaus Peter Koch, Klaus-Peter Hoffmann, Ken Yoshida, Paolo Dario, Silvestro Micera	Shape Memory Alloy Microactuation of tf-LIFEs: Preliminary Results.	IEEE Trans. Biomed. Eng.	2007	DBLP DOI BibTeX RDF
14	Zhigang Wang, Zhengjia Li, Yaonan Cheng, Shiyou Ning	Analysis and design of PCD milling tool for machining copper alloy materials.	Int. J. Comput. Appl. Technol.	2007	DBLP DOI BibTeX RDF
14	Cemal Basaran, Michael S. Sellers, David A. Kofke, Andrew Schultz 0001	Strain energy change due to an atomic defect in solder alloy lattice.	SCSC	2007	DBLP BibTeX RDF
14	Somer M. Nacy	Effect of Heat Treatment on Fatigue Behavior of (A193-51T-B7) Alloy Steel.	World Congress on Engineering	2007	DBLP BibTeX RDF
14	Amerson Lin	Modeling Partial Attacks with Alloy (Transcript of Discussion).	Security Protocols Workshop	2007	DBLP DOI BibTeX RDF
14	Amerson Lin, Mike Bond, Jolyon Clulow	Modeling Partial Attacks with Alloy.	Security Protocols Workshop	2007	DBLP DOI BibTeX RDF
14	Vahid Aghazadeh Tabrizi, Mehrdad Moallem	Nonlinear Position Control of Antagonistic Shape Memory Alloy Actuators.	ACC	2007	DBLP DOI BibTeX RDF
14	Guy Tchoupo, Kam K. Leang	Hysteresis Compensation for High-Precision Positioning of a Shape Memory Alloy Actuator using Integrated Iterative-Feedforward and Feedback Inputs.	ACC	2007	DBLP DOI BibTeX RDF
14	Farida Mostefaoui, Julie Vachon	Verification of Aspect-UML models using alloy.	AOM@AOSD	2007	DBLP DOI BibTeX RDF
14	Anca Petrisor, Nicu George Bîzdoaca, Daniela Rosca, Sonia Degeratu, Adrian Rosca, Raducu Petrisor	Mathematical model for walking robot with shape memory alloy ankle.	ICINCO-RA (1)	2007	DBLP BibTeX RDF
14	Konstantinos Andrianesis, Anthony Tzes, Efthymios Kolyvas, Yannis Koveos	A visual-servoing system for a humanlike shape memory alloy actuated finger.	ETFA	2007	DBLP DOI BibTeX RDF
14	Alain Wegmann, Lam-Son Lê, Irina Rychkova, Gil Regev	An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy.	EDOCW	2007	DBLP DOI BibTeX RDF
14	Joel M. Dumke, Mary L. Comer	Automated segmentation of alloy microstructures in serial section images.	Computational Imaging	2007	DBLP DOI BibTeX RDF
14	Lee Momtahan	Small model theorems for data independent systems in Alloy.		2007	RDF
14	Estelle Parra-Denis	Analyse morphologique 3D de particules de forme complexes: application aux intermétalliques dans les alliages d'aluminium. (3D morphological analysis of complex shape particles : Application to intermetallic particles in aluminium alloy).		2007	RDF
14	Tomasz M. Gwizdalla	Phase diagram for mixed ternary alloy from evolutionary optimization.	Ann. UMCS Informatica	2006	DBLP BibTeX RDF
14	Tao Tao, Yuan-Chang Liang, Minoru Taya	Bio-inspired actuating system for swimming using shape memory alloy composites.	Int. J. Autom. Comput.	2006	DBLP DOI BibTeX RDF
14	Yonghua Zhang, Jianhui He, Jie Yang 0004, Shiwu Zhang, Kin Huat Low	A Computational Fluid Dynamics (CFD) analysis of an undulatory mechanical fin driven by shape memory alloy.	Int. J. Autom. Comput.	2006	DBLP DOI BibTeX RDF
14	Hai H. Wang, Jin Song Dong, Jing Sun 0002, Jun Sun 0001	Reasoning support for Semantic Web ontology family languages using Alloy.	Multiagent Grid Syst.	2006	DBLP DOI BibTeX RDF
14	Michael Le Bars, M. Grae Worster	Solidification of a binary alloy: Finite-element, single-domain simulation and new benchmark solutions.	J. Comput. Phys.	2006	DBLP DOI BibTeX RDF
14	Akihiko Kumagai, Tien-I Liu, Paul Hozian	Control of Shape Memory Alloy Actuators with a Neuro-fuzzy Feedforward Model Element.	J. Intell. Manuf.	2006	DBLP DOI BibTeX RDF
14	Su-Hai Hsiang, Jer-Liang Kuo, Fuyuan Yang	Using Artificial Neural Networks to Investigate the Influence of Temperature on Hot Extrusion of AZ61 Magnesium Alloy.	J. Intell. Manuf.	2006	DBLP DOI BibTeX RDF
14	Kyu-Jin Cho, Haruhiko H. Asada	Architecture design of a multiaxis cellular actuator array using segmented binary control of shape memory alloy.	IEEE Trans. Robotics	2006	DBLP DOI BibTeX RDF
14	L. Bouzrara, R. Ajjel, H. Mejri, M. A. Zaïdi, Hichem Maaref	Alloy splitting of Te-DX in AlxGa1-xAs analysis using the deep level transient spectroscopy technique.	Microelectron. J.	2006	DBLP DOI BibTeX RDF
14	V. A. Shchukin, Nikolai N. Ledentsov, I. P. Soshnikov, N. V. Kryzhanovskaya, M. V. Maximov, N. D. Zakharov, P. Werner, Dieter Bimberg	Nanofaceting and alloy decomposition: From basic studies to advanced photonic devices.	Microelectron. J.	2006	DBLP DOI BibTeX RDF
14	E. Misra, N. D. Theodore, J. W. Mayer, T. L. Alford	Failure mechanisms of pure silver, pure aluminum and silver-aluminum alloy under high current stress.	Microelectron. Reliab.	2006	DBLP DOI BibTeX RDF
14	M. Yamashita, K. Suganuma	Improvement in high-temperature degradation by isotropic conductive adhesives including Ag-Sn alloy fillers.	Microelectron. Reliab.	2006	DBLP DOI BibTeX RDF
14	Yujing He	Comparison of the Modeling Languages Alloy and UML.	Software Engineering Research and Practice	2006	DBLP BibTeX RDF
14	Hung Kha, Bernard Chen 0002, Graeme Clark, Rhys Jones	Finite element modeling of final placement and insertion depth of new cochlear implant electrode array embedded with nitinol shape memory alloy actuators.	MSV	2006	DBLP BibTeX RDF
14	Manas Menon, H. Harry Asada	Iterative learning control of shape memory alloy actuators with thermoelectric temperature regulation for a multifunctional car seat.	ACC	2006	DBLP DOI BibTeX RDF
14	Alfred Rinnhofer, Wanda Benesova, Gerhard Jakob, Manfred Stockinger	Feature Extraction from Micrographs of Forged Nickel Based Alloy.	ICPR (2)	2006	DBLP DOI BibTeX RDF
14	J.-W. John Cheng, Fong-Ming Chang, Chih-Yang Yen	Reduced Order Modeling of Hysteresis in Shape Memory Alloy.	CDC	2006	DBLP DOI BibTeX RDF
14	Jagadeesan Jayender, Rajnikant V. Patel, Suwas Nikumb, Mile Ostojic	A Robust Controller for Shape Memory Alloy Actuators.	CDC	2006	DBLP DOI BibTeX RDF
14	Chee Siong Loh, Kojiro Matsushita, Hiroshi Yokoi, Tamio Arai	A New Heating Method for the Actuation of the Shape Memory Alloy (SMA) Actuator.	IAS	2006	DBLP BibTeX RDF
14	Ming Chen, G. Liu, Z. Shen	Study on Active Process Control of Burr Formation in Al-Alloy Milling Process.	CASE	2006	DBLP DOI BibTeX RDF
14	Yonghua Zhang, Jianhui He, Jie Yang 0004, Shiwu Zhang, Huat Kin Low	Design and Investigation of Shape Memory Alloy Driven Flexible Pectoral Fin.	ROBIO	2006	DBLP DOI BibTeX RDF
14	Yili Fu, Xianling Li, Hao Liu 0008, Zhaoguang Liang, Xin Ma	Kinematics of Micro Bending Robot Using Shape Memory Alloy for Active Catheter.	ROBIO	2006	DBLP DOI BibTeX RDF
14	Yonghua Zhang, Jia Laibin, Jianhui He, Jie Yang 0004, Shiwu Zhang, Huat Kin Low	A Numerical Analysis of an Undulatory Mechanical Fin Driven by Shape Memory Alloy.	ROBIO	2006	DBLP DOI BibTeX RDF
14	Jung Soo Kim, David Garlan	Analyzing architectural styles with alloy.	ROSATEA	2006	DBLP DOI BibTeX RDF	software architecture, architectural style, style analysis
14	Rohit Gheyi, Tiago Massoni, Paulo Borba	A Static Semantics for Alloy and its Impact in Refactorings.	SBMF	2005	DBLP DOI BibTeX RDF
14	Christie Bolton	Using the Alloy Analyzer to Verify Data Refinement in Z.	REFINE	2005	DBLP DOI BibTeX RDF
14	Terutaka Tamai	Correlation between Contact Resistance Characteristics and Scanning Tunneling Microscopy Images for Ag-Pd Alloy with Some Example Additives.	IEICE Trans. Electron.	2005	DBLP DOI BibTeX RDF
14	William Heaven, Alessandra Russo	Enhancing the Alloy Analyzer with Patterns of Analysis	CoRR	2005	DBLP BibTeX RDF
14	Nuwiong Chollacoop, Amruthavalli P. Alur, K. Sharvan Kumar	Microstructural finite element analysis of Mo-Si-B alloy in high temperature applications.	J. Vis.	2005	DBLP DOI BibTeX RDF
14	Mario M. Durán, Elva Ortega-Torres, J. Rappaz	Weak solution of a stationary convection-diffusion model describing binary alloy solidification processes.	Math. Comput. Model.	2005	DBLP DOI BibTeX RDF
14	Ramiro Velazquez, Edwige E. Pissaloux, Moustapha Hafez, Jérôme Szewczyk	Miniature Shape Memory Alloy Actuator for Tactile Binary Information Display.	ICRA	2005	DBLP DOI BibTeX RDF
14	Masashi Nakatani, Hiroyuki Kajimoto, Kevin Vlack, Dairoku Sekiguchi, Naoki Kawakami, Susumu Tachi	Control Method for a 3D Form Display with Coil-type Shape Memory Alloy.	ICRA	2005	DBLP DOI BibTeX RDF
14	Brian Selden, Kyu-Jin Cho, H. Harry Asada	Multi-Segment State Coordination for Reducing Latency Time of Shape Memory Alloy Actuator Systems.	ICRA	2005	DBLP DOI BibTeX RDF
14	William Heaven, Alessandra Russo	Enhancing the Alloy Analyzer with Patterns of Analysis.	WLPE	2005	DBLP BibTeX RDF
14	Hai H. Wang, Jin Song Dong, Jing Sun 0002	Reasoning Support for SWRL-FOL Using Alloy.	SEKE	2005	DBLP BibTeX RDF
14	Chee Siong Loh, Hiroshi Yokoi, Tamio Arai	Improving heat sinking in ambient environment for the shape memory alloy (SMA).	IROS	2005	DBLP DOI BibTeX RDF
14	Nicolas Léchevin, Camille Alain Rabbath	Quasipassivity-based robust nonlinear control synthesis for flap positioning using shape memory alloy micro-actuators.	ACC	2005	DBLP DOI BibTeX RDF
14	Jagadeesan Jayender, Rajni V. Patel, Suwas Nikumb, Mile Ostojic	H∞ Loop Shaping Controller for Shape Memory Alloy Actuators.	CDC/ECC	2005	DBLP DOI BibTeX RDF
14	Ramiro Velazquez, Edwige E. Pissaloux, Moustapha Hafez, Jérôme Szewczyk	A low-cost highly-portable tactile display based on shape memory alloy micro-actuators.	VECIMS	2005	DBLP DOI BibTeX RDF