Result 1 to 20 of 455 total
Sufficient condition for identity-based authenticated key exchange resilient to leakage of secret keys. (English)
Kim, Howon (ed.), Information security and cryptology ‒ ICISC 2011. 14th international conference, Seoul, Korea, November 30‒December 2, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31911-2/pbk). Lecture Notes in Computer Science 7259, 490-509 (2012).
1
Sufficient condition for ephemeral key-leakage resilient tripartite key exchange. (English)
Susilo, Willy (ed.) et al., Information security and privacy. 17th Australasian conference, ACISP 2012, Wollongong, NSW, Australia, July 9‒11, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31447-6/pbk). Lecture Notes in Computer Science 7372, 15-28 (2012).
2
Automatic battery replacement system for UAVs: analysis and design. (English)
J. Intell. Robot. Syst. 65, No. 1-4, 563-586 (2012).
3
Strongly secure authenticated key exchange from factoring, codes, and lattices. (English)
Fischlin, Marc (ed.) et al., Public key cryptography ‒ PKC 2012. 15th international conference on practice and theory in public key cryptography, Darmstadt, Germany, May 21‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30056-1/pbk). Lecture Notes in Computer Science 7293, 467-484 (2012).
4
Complete m-spotty weight enumerators of binary codes, Jacobi forms, and partial Epstein zeta functions. (English)
Discrete Math. 312, No. 2, 265-278 (2012).
5
Automatic battery replacement system for uavs: analysis and design (English)
Journal of Intelligent and Robotic Systems 65, No. 1-4, 563-586 (2012).
6
UAV consumable replenishment: design concepts for automated service stations. (English)
J. Intell. Robot. Syst. 61, No. 1-4, 369-397 (2011).
7
False-positive reduction in computer-aided detection of polyps in CT colonography: A massive-training support vector regression approach. (English)
Yoshida, Hiroyuki (ed.) et al., Virtual colonoscopy and abdominal imaging. Computational challenges and clinical opportunities. Second international workshop, held in conjunction with MICCAI 2010, Beijing, China, September 20, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25718-6/pbk). Lecture Notes in Computer Science 6668, 47-52 (2011).
8
Recent advances in reduction of false positives in computerized detection of polyps in CT colonography. (English)
Yoshida, Hiroyuki (ed.) et al., Virtual colonoscopy and abdominal imaging. Computational challenges and clinical opportunities. Second international workshop, held in conjunction with MICCAI 2010, Beijing, China, September 20, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25718-6/pbk). Lecture Notes in Computer Science 6668, 32-39 (2011).
9
Analysis of bluffing behavior in human-humanoid poker game. (English)
Mutlu, Bilge (ed.) et al., Social robotics. Third international conference, ICSR 2011, Amsterdam, The Netherlands, November 24‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25503-8/pbk). Lecture Notes in Computer Science 7072. Lecture Notes in Artificial Intelligence, 183-192 (2011).
10
Computer-aided detection of polyps in CT colonography with pixel-based machine learning techniques. (English)
Suzuki, Kenji (ed.) et al., Machine learning in medical imaging. Second international workshop, MLMI 2011, held in conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24318-9/pbk). Lecture Notes in Computer Science 7009, 360-367 (2011).
11
A study on the time estimation measurement for web usability evaluation. (English)
Marcus, Aaron (ed.), Design, user experience, and usability. Theory, methods, tools and practice. First international conference, DUXU 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21707-4/pbk). Lecture Notes in Computer Science 6770, 53-59 (2011).
12
Machine learning in medical imaging. Second international workshop, MLMI 2011, held in conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings. (English)
Lecture Notes in Computer Science 7009. Berlin: Springer (ISBN 978-3-642-24318-9/pbk). xiii, 371~p. EUR~57.78 (2011).
13
An f-chromatic spanning forest of edge-colored complete bipartite graphs. (English)
Comput. Res. Repos. 2011, Article No. 1106.2441 (2011).
14
A generalization of heterochromatic graphs. (English)
Comput. Res. Repos. 2011, Article No. 1102.4802 (2011).
15
The autophagy database: an all-inclusive information resource on autophagy that provides nourishment for research. (English)
Nucleic Acids Res. 39, No. Database-Issue, 986-990 (2011).
16
Development of a peristaltic pump based on bowel peristalsis using artificial rubber muscle. (English)
Adv. Robot. 25, No. 3, 371-385 (2011).
17
Predicate-based authenticated key exchange resilient to ephemeral key leakage. (English)
Chung, Yongwha (ed.) et al., Information security applications. 11th international workshop, WISA 2010, Jeju Island, Korea, August 24‒26, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17954-9/pbk). Lecture Notes in Computer Science 6513, 15-30 (2011).
18
Designing efficient authenticated key exchange resilient to leakage of ephemeral secret keys. (English)
Kiayias, Aggelos (ed.), Topics in cryptology ‒ CT-RSA 2011. The cryptographers’ track at the RSA conference 2011, San Francisco, CA, USA, February 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19073-5/pbk). Lecture Notes in Computer Science 6558, 121-141 (2011).
19
UAV consumable replenishment: design concepts for automated service stations (English)
Journal of Intelligent and Robotic Systems 61, No. 1-4, 369-397 (2011).
20
Result 1 to 20 of 455 total