|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 105-117, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2003 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2003), 20-23 July 2003, Banff, Alberta, Canada, pp. 423-429, 2003, IEEE Computer Society, 0-7695-1947-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Klaus Marius Hansen, Mads Ingstrup |
Modeling and analyzing architectural change with alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2257-2264, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 550-555, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 155-170, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 1009-1019, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 294-308, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Kostyantyn Malukhin, Kornel F. Ehmann |
Development of A Monolithic Shape Memory Alloy Manipulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAS ![In: Micro-Assembly Technologies and Applications, IFIP TC5 WG5.5 Fourth International Precision Assembly Seminar (IPAS'2008), Chamonix, France, February 10-13, 2008, pp. 243-250, 2008, Springer, 978-0-387-77402-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Yee Harn Teh, Roy Featherstone |
Accurate Force Control and Motion Disturbance Rejection for Shape Memory Alloy Actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 4454-4459, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jagadeesan Jayender, Rajnikant V. Patel |
Master-slave control of an active catheter instrumented with shape memory alloy actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 759-764, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 3828-3833, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Derek Mannering, Jon G. Hall, Lucia Rapanotti |
Safety Process Improvement with POSE and Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 252-257, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 1815-1822, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I, pp. 528-535, 2007, Springer, 978-3-540-72382-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Wanda Benesova, Alfred Rinnhofer, Gerhard Jakob |
Determining the Average Grain Size of Super-Alloy Micrographs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2006, October 8-11, Atlanta, Georgia, USA, pp. 2749-2752, 2006, IEEE, 1-4244-0480-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | D. Roy Mahapatra, Roderick V. N. Melnik |
Numerical Simulation of Phase Transformations in Shape Memory Alloy Thin Films. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II, pp. 114-121, 2006, Springer, 3-540-34381-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Eric Lanteigne, Amor Jnifene |
Design of a Link-Less Hyper-Redundant Manipulator and Composite Shape Memory Alloy Actuator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1180-1183, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Manachai Toahchoodee, Indrakshi Ray |
Validation of Policy Integration Using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings, pp. 420-431, 2005, Springer, 3-540-30999-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Sixth Mexican International Conference on Computer Science (ENC 2005), 26-30 September 2005, Puebla, Mexico, pp. 121-128, 2005, IEEE Computer Society, 0-7695-2454-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4931-4936, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 5007-5012, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4918-4924, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VIII, 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings, pp. 762-771, 2004, Springer, 3-540-23092-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2003 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2003), 20-23 July 2003, Banff, Alberta, Canada, pp. 15-, 2003, IEEE Computer Society, 0-7695-1947-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Jackson 0001 |
Alloy: a lightweight object modelling notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(2), pp. 256-290, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 25(2), pp. 167-182, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 5(4), pp. 56-73, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Thanasis Mitsolides, Malcolm Harrison |
Generators and the Replicator Control Structures in the Parallel Environment of ALLOY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990, pp. 189-196, 1990, ACM, 0-89791-364-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 691-700, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(6), pp. 780-789, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 141-155, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008, pp. 45-56, 2008, ACM, 978-1-59593-936-4. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Data and Applications Security XXII, 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security, London, UK, July 13-16, 2008, Proceedings, pp. 17-32, 2008, Springer, 978-3-540-70566-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | José Nuno Oliveira |
Extended Static Checking by Calculation Using the Pointfree Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LerNet ALFA Summer School ![In: Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, pp. 195-251, 2008, Springer, 978-3-642-03152-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 99-115, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (46) ![In: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 278-296, 2008, Springer, 978-3-540-69823-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Leslie J. Flemming, Stephen A. Mascaro |
Control of a Scalable Matrix Vasoconstrictor Device for Wet Actuator Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 648-653, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 723-728, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 775-778, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(4), pp. 328-339, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Formal methods, program verification, testing and debugging |
24 | Behzad Bordbar, Kyriakos Anastasakis |
MDA and Analysis of Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEAA ![In: Trends in Enterprise Application Architecture, VLDB Workshop, TEAA 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers, pp. 44-55, 2005, Springer, 3-540-32734-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Alexander O. Skomorokhov |
A knowledge discovery method: APL implementation and application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the APL-Berlin-2000 Conference: Think Arrays in a Great City, APL 2000, Berlin, Germany, July 24-27, 2000, pp. 204-211, 2000, ACM, 1-58113-182-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 13-22, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Wuliang Sun, Robert B. France, Indrakshi Ray |
Rigorous Analysis of UML Access Control Policy Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011, pp. 9-16, 2011, IEEE Computer Society, 978-1-4244-9879-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 459-468, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 25-36, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 1102-1107, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 757-772, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 2nd International Conference on Tangible and Embedded Interaction 2008, Bonn, Germany, February 18-20, 2008, pp. 221-222, 2008, ACM, 978-1-60558-004-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 14(1), pp. 87-121, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 680-685, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 109-120, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 189-199, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 62-73, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 26-38, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 14-25, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Res. ![In: Int. J. Manuf. Res. 19(1), pp. 98-118, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 43958-43967, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Mechatronics ![In: J. Robotics Mechatronics 36(1), pp. 181-189, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 16(1), pp. 122, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 9(2), pp. 1484-1491, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 35(1), pp. 257-273, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 35(2), pp. 757-775, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Ana Jovanovic, Allison Sullivan |
Empirically Exploring How Novices Write Software Models in Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06624, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Akshat Chaudhari, Chakradhar Guntuboina, Hongshuo Huang, Amir Barati Farimani |
AlloyBERT: Alloy Property Prediction with Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.19783, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Guanxuan Wu, Allison Sullivan |
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00170, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06201, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Civ. Infrastructure Eng. ![In: Comput. Aided Civ. Infrastructure Eng. 39(4), pp. 595-616, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(3), pp. 915, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(2), pp. 544, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(4), pp. 1347, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Autom. Technol. ![In: Int. J. Autom. Technol. 18(2), pp. 232-239, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 215, pp. 119378, April 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 70(10), pp. 10385-10395, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Comput. Integr. Manuf. ![In: Robotics Comput. Integr. Manuf. 80, pp. 102483, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Xiaozheng Li, Shutian Liu, Liyong Tong, Renjing Gao |
A novel dual-stage shape memory alloy actuated gripper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ind. Robot ![In: Ind. Robot 50(2), pp. 326-336, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Res. ![In: Int. J. Manuf. Res. 18(3), pp. 284-310, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Res. ![In: Int. J. Manuf. Res. 18(2), pp. 125-143, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | José Serna, Nancy A. Day, Shahram Esmaeilsabzali |
Dash: declarative behavioural modelling in Alloy with control state hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 22(2), pp. 733-749, April 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 22(3), pp. 941-968, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 102271-102278, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 101112-101122, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Nikola Fischer, Franziska Mathis-Ullrich |
Compact flexible actuator based on a shape memory alloy for shaping surgical instruments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 71(7), pp. 547-553, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 71(7), pp. 554-561, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 44(24), pp. 1956-1969, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 239, pp. 109488, November 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(4), pp. 860, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(12), pp. 2169, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(9), pp. 1634, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Enrique Maciá |
Alloy Quasicrystals: Perspectives and Some Open Questions at Forty Years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(12), pp. 2139, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(10), pp. 1938, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 70(8), pp. 3336-3346, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(11), pp. 7849-7856, November 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 151, pp. 103974, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 36(6), pp. 830-841, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 39(2), pp. 1697, April 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 39(1), pp. 45-59, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 494, pp. 112494, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 14(8), pp. 439, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 34(1), pp. 331-367, 2023. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|