Search results for "Alloy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Witold Walke, Jan Marciniak, Zbigniew Paszenda, Marcin Kaczmarek, Jerzy Cieplak	Biomechanical Behaviour of Double Threaded Screw in Tibia Fixation.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
12	Jan Marciniak, Marcin Kaczmarek, Witold Walke, Jerzy Cieplak	Biomechanical Analysis of Plate for Corrective Osteotomy of Tibia.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
12	Satya Saripalli, Vikram Dalal	Microcrystalline silicon-germanium solar cells fabricated using VHF PECVD.	EIT	2008	DBLP DOI BibTeX RDF
12	Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis	Towards Abstraction for DynAlloy Specifications.	ICFEM	2008	DBLP DOI BibTeX RDF
12	Josiah Rosmarin, H. Harry Asada	Synergistic design of a humanoid hand with hybrid DC motor - SMA array actuators embedded in the palm.	ICRA	2008	DBLP DOI BibTeX RDF
12	Mami Nishida, Kazuo Tanaka	The quadruped locomotion robot with the flexible materials.	IROS	2008	DBLP DOI BibTeX RDF
12	Aaron M. Hoover, Erik Steltz, Ronald S. Fearing	RoACH: An autonomous 2.4g crawling hexapod robot.	IROS	2008	DBLP DOI BibTeX RDF
12	Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson 0001	Finding Minimal Unsatisfiable Cores of Declarative Specifications.	FM	2008	DBLP DOI BibTeX RDF
12	Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente	Graph-Based Design and Analysis of Dynamic Software Architectures.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
12	Mohammad Al Janaideh, Jianqin Mao, Subhash Rakheja, Wen-Fang Xie, Chun-Yi Su	Generalized Prandtl-Ishlinskii hysteresis model: Hysteresis modeling and its inverse for compensation in smart actuators.	CDC	2008	DBLP DOI BibTeX RDF
12	Guihua Hu, Wenhua Zhu, Tao Yu, Jin Yuan	Numerical Simulation and Experimental Study of Liquid-Solid Two-Phase Flow in Nozzle of DIA Jet.	ICIC (3)	2008	DBLP DOI BibTeX RDF	DIA Jet, liquid-solid two-phase flow, the optimum ratio of diameter to length, cutting experiments, numerical simulation
12	Dionisio de Niz	Architectural Concurrency Equivalence with Chaotic Models.	MOMPES	2008	DBLP DOI BibTeX RDF
12	Satu Tamminen, Ilmari Juutilainen, Juha Röning	Product design model for impact toughness estimation in steel plate manufacturing.	IJCNN	2008	DBLP DOI BibTeX RDF
12	Lin-Wang Wang, Byounghak Lee, Hongzhang Shan, Zhengji Zhao, Juan C. Meza, Erich Strohmaier, David H. Bailey	Linearly scaling 3D fragment method for large-scale electronic structure calculations.	SC	2008	DBLP DOI BibTeX RDF
12	Stephen Wong, Jing Sun 0002, Ian Warren, Jun Sun 0001	A Scalable Approach to Multi-style Architectural Modeling and Verification.	ICECCS	2008	DBLP DOI BibTeX RDF
12	Ignace Tchangou Toudjeu, Barend J. van Wyk, Michaël A. van Wyk, Frans van den Bergh	Global Image Feature Extraction Using Slope Pattern Spectra.	ICIAR	2008	DBLP DOI BibTeX RDF	Pattern spectra, feature extraction, texture analysis, integral image
12	Huabin Chen, Tao Lin 0011, Shanben Chen, Jifeng Wang, Jianqiang Jia, Hui Zhang	Adaptive control on wire feeding in robot arc welding system.	RAM	2008	DBLP DOI BibTeX RDF
12	Robert Seater, Daniel Jackson 0001, Rohit Gheyi	Requirement progression in problem frames: deriving specifications from requirements.	Requir. Eng.	2007	DBLP DOI BibTeX RDF
12	Joseph M. Romano, Robert J. Webster III, Allison M. Okamura	Teleoperation of Steerable Needles.	ICRA	2007	DBLP DOI BibTeX RDF
12	Lael Odhner, Jun Ueda, H. Harry Asada	Stochastic Optimal Control Laws for Cellular Artificial Muscles.	ICRA	2007	DBLP DOI BibTeX RDF
12	Mirko Kovac, André Guignard, Jean-Daniel Nicoud, Jean-Christophe Zufferey, Dario Floreano	A 1.5g SMA-actuated Microglider looking for the Light.	ICRA	2007	DBLP DOI BibTeX RDF
12	Keith Houston, Clemens Eder, Arne Sieber, Arianna Menciassi, Maria Chiara Carrozza, Paolo Dario	Polymer sensorised microgrippers using SMA actuation.	ICRA	2007	DBLP DOI BibTeX RDF
12	Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee	Towards Self-management in Service-Oriented Computing with Modes.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
12	Addisson Salazar, Juan M. Unió, Arturo Serrano, Jorge Gosálbez	Neural Networks for Defect Detection in Non-destructive Evaluation by Sonic Signals.	IWANN	2007	DBLP DOI BibTeX RDF
12	Emmanuel M. Tadjouddine, Frank Guerin	Verifying Dominant Strategy Equilibria in Auctions.	CEEMAS	2007	DBLP DOI BibTeX RDF
12	Mami Nishida, Kazuo Tanaka	Application of FFP-actuators to legged locomotion robots.	IROS	2007	DBLP DOI BibTeX RDF
12	Jagadeesan Jayender, Mahdi Azizian, Rajni V. Patel	Autonomous robot-assisted active catheter insertion using image guidance.	IROS	2007	DBLP DOI BibTeX RDF
12	Fernando Valles-Barajas	A Formal Model for the Building of State Machines: A Lightweight Approach.	SEW	2007	DBLP DOI BibTeX RDF
12	U-Xuan Tan, Win Tun Latt, Cheng Yap Shee, Wei Tech Ang	Rate-Dependent Hysteresis Model of Piezoelectric using Singularity Free Prandtl-Ishlinskii Model.	CIRA	2007	DBLP DOI BibTeX RDF
12	Derek Rayside, Lucy Mendel	Object ownership profiling: a technique for finding and fixing memory leaks.	ASE	2007	DBLP DOI BibTeX RDF	object ownership, java, memory leaks
12	Robert Scheibe, Mathias Moehring, Bernd Froehlich 0001	Tactile Feedback at the Finger Tips for Improved Direct Interaction in Immersive Environments.	VR	2007	DBLP DOI BibTeX RDF
12	Lei Wang, Padmanabhan Krishnan	A Framework for Checking Behavioral Compatibility for Component Selection.	ASWEC	2006	DBLP DOI BibTeX RDF	light weight formal methods, tool support, interface specification, component selection
12	Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg	Monotonicity Analysis Can Speed Up Verification.	RelMiCS	2006	DBLP DOI BibTeX RDF
12	Levente Vitos, Börje Johansson	Mechanical Properties of Random Alloys from Quantum Mechanical Simulations.	PARA	2006	DBLP DOI BibTeX RDF
12	Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France	A Systematic Approach to Generate Inputs to Test UML Design Models.	ISSRE	2006	DBLP DOI BibTeX RDF
12	Lael Odhner, Jun Ueda, H. Harry Asada	Feedback Control of Stochastic Cellular Actuators.	ISER	2006	DBLP DOI BibTeX RDF
12	Lei Wang, Padmanabhan Krishnan	An Approach to Provisioning E-Commerce Applications with Commercial Components.	ICEBE	2006	DBLP DOI BibTeX RDF
12	Juan P. Galeotti, Marcelo F. Frias	DynAlloy as a Formal Method for the Analysis of Java Programs.	SET	2006	DBLP DOI BibTeX RDF
12	D. Ghosh, David C. Tou Wei	Material Classification Using Morphological Pattern Spectrum for Extracting Textural Features from Material Micrographs.	ACCV (2)	2006	DBLP DOI BibTeX RDF
12	Yunfeng Bai, Daming Xu, Weisheng Bi, Jingjie Guo, Hengzhi Fu	Numerical Simulation for the Transport Phenomena in Melting Processes of Blade-Like Castings Using a Continuum Model.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
12	Jin Song Dong	From semantic web to expressive software specifications: a modeling languages spectrum.	ICSE	2006	DBLP DOI BibTeX RDF
12	Francisco García-Córdova, Juan Ignacio Mulero Martínez	Neuromuscular-Like Control for an Artificial Finger with SMA Actuators.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
12	Fernando Castor Filho, Patrick H. S. Brito, Cecília M. F. Rubira	A framework for analyzing exception flow in software architectures.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	exception handling, architecture analysis, architecture documentation
12	D'Arcy Walsh, Francis Bordeleau, Bran Selic	A Domain Model for Dynamic System Reconfiguration.	MoDELS	2005	DBLP DOI BibTeX RDF
12	Rohit Gheyi, Tiago Massoni	Formal refactorings for object models.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	theorem proving, object models, model refactoring
12	D. Roy Mahapatra, Roderick V. N. Melnik	Computational Modeling of Coupled Dynamic Phase Transformations in Shape Memory Alloys.	HPCS	2005	DBLP DOI BibTeX RDF
12	Andreas Schaad	Revocation of Obligation and Authorisation Policy Objects.	DBSec	2005	DBLP DOI BibTeX RDF
12	Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard	Optimizations for Compiling Declarative Models into Boolean Formulas.	SAT	2005	DBLP DOI BibTeX RDF
12	Linxiang X. Wang, Roderick V. N. Melnik	Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF	Nonlinear waves, thermo-mechanical dynamics, proper orthogonal decompositions, Galerkin projections
12	D. Roy Mahapatra, Roderick V. N. Melnik	A Dynamic Model for Phase Transformations in 3D Samples of Shape Memory Alloys.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
12	Sean A. Stauth, Babak A. Parviz	Integration of Silicon Circuit Components Onto Plastic substrates Using Fluidic Self-Assembly.	ICMENS	2005	DBLP DOI BibTeX RDF
12	Masaaki Tanaka	Injecting and controlling spin populations and currents in semiconductors using optically induced quantum interference effects.	ICMENS	2005	DBLP DOI BibTeX RDF
12	L. Däweritz, K. H. Ploog	Ferromagnetic III-V Semiconductor Films with High Transition Temperature.	ICMENS	2005	DBLP DOI BibTeX RDF
12	Rohit Gheyi, Tiago Massoni, Paulo Borba	A rigorous approach for proving model refactorings.	ASE	2005	DBLP DOI BibTeX RDF	theorem proving, model refactoring
12	Joanna Berzowska, Marcelo Coelho	Kukkia and Vilkas: Kinetic Electronic Garments.	ISWC	2005	DBLP DOI BibTeX RDF
12	Qin Yao, Sheng Jin 0005, Pei-Sun Ma	The Micro Trolley Based on SMA and its Control System.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	micro trolley, SMA, elastic rubber band, anti-reverse device
12	Francis G. Pascual	Optimal test planning for the fatigue-limit model when the fatigue-limit distribution is known.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
12	Christie Bolton, Gavin Lowe	Analyses of the Reverse Path Forwarding Routing Algorithm.	DSN	2004	DBLP DOI BibTeX RDF
12	Shuxiang Guo, Toshio Fukuda	SMA Actuator-based Novel Type of Micropump for Biomedical Application.	ICRA	2004	DBLP DOI BibTeX RDF
12	Kyu-Jin Cho, Binayak Roy, Stephen A. Mascaro, H. Harry Asada	A Vast DOF Robotic Car Seat using SMA Actuators with a Matrix Drive System.	ICRA	2004	DBLP DOI BibTeX RDF
12	Andreas Schaad, Jonathan D. Moffett	Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles.	SAC	2004	DBLP DOI BibTeX RDF	control principles, delegation of obligation, security, management, roles, review, supervision
12	Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson 0001	Software assurance by bounded exhaustive testing.	ISSTA	2004	DBLP DOI BibTeX RDF	TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing
12	Jonathan Edwards, Daniel Jackson 0001, Emina Torlak, Vincent Yeung	Faster constraint solving with subtypes.	ISSTA	2004	DBLP DOI BibTeX RDF	relational logic, verification, constraints, analysis, SAT, subtypes
12	Lynette A. Jones, Mealani Nakamura, Brett Lockyer	Development of a Tactile Vest.	HAPTICS	2004	DBLP DOI BibTeX RDF
12	Ken-ichi Anjyo, Katsuaki Hiramitsu	Stylized Highlights for Cartoon Rendering and Animation.	IEEE Computer Graphics and Applications	2003	DBLP DOI BibTeX RDF
12	Siavash Haroun Mahdavi, Peter J. Bentley	An Evolutionary Approach to Damage Recovery of robot Motion with Muscles.	ECAL	2003	DBLP DOI BibTeX RDF
12	Mealani Nakamura, Lynette A. Jones	An Actuator for the Tactile Vest - A Torso-Based Haptic Device.	HAPTICS	2003	DBLP DOI BibTeX RDF
12	Roderick V. N. Melnik, Linxiang X. Wang, Piotr P. Matus, Iryna Rybak	Computational Aspects of Conservative Difference Schemes for Shape Memory Alloys Applications.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
12	Manuel Koch, Francesco Parisi-Presicce	Visual Specifications of Policies and Their Verification.	FASE	2003	DBLP DOI BibTeX RDF
12	Akihiko Hanafusa, Tsuneshi Isomura, Yukio Sekiguchi, Hajime Takahashi, Takeyoshi Dohi	Orthosis Design System for Malformed Ears Based on Spline Approximation.	MICCAI (2)	2002	DBLP DOI BibTeX RDF
12	Andreas Schaad, Jonathan D. Moffett	A Framework for Organisational Control Principles.	ACSAC	2002	DBLP DOI BibTeX RDF
12	Daniel Jackson 0001	Automating first-order relational logic.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	model finding, relational logic, first-order logic, object models, SAT solvers, constraint solvers, Z specification, automatic analysis
12	Mandana Vaziri, Daniel Jackson 0001	Some Shortcomings of OCL, the Object Constraint Language of UML.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
12	D. Guillet, K. Mourgues, R. Rogel, H. Lhermite, Olivier Bonnaud	Student Realization in Cleanroom of Silicon-Germanium Thin Film Transistors.	MSE	1999	DBLP DOI BibTeX RDF
12	Lyle H. Ungar, N. Ramprasad, R. A. Brown	Finite element methods for unsteady solidification problems arising in prediction of morphological structure.	J. Sci. Comput.	1988	DBLP DOI BibTeX RDF	Solidification Microstructure, moving boundary problem, finite element method