Result 1 to 20 of 2134 total
Data-driven Kriging models based on FANOVA-decomposition. (English)
Stat. Comput. 22, No. 3, 723-738 (2012).
1
Discovering the preferences of physicians with regards to rank-ordered medical documents. (English)
Greco, Salvatore (ed.) et al., Advances in computational intelligence. 14th international conference on information processing and management of uncertainty in knowledge-based systems, IPMU 2012, Catania, Italy, July 9‒13, 2012. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-31717-0/pbk; 978-3-642-31718-7/ebook). Communications in Computer and Information Science 299, 142-150 (2012).
2
Trevisan’s extractor in the presence of quantum side information. (English)
SIAM J. Comput. 41, No. 4, 915-940 (2012).
3
Semigroups with a context-free word problem. (English)
Yen, Hsu-Chun (ed.) et al., Developments in language theory. 16th international conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31652-4/pbk). Lecture Notes in Computer Science 7410, 97-108 (2012).
4
Five-coloring graphs on the Klein bottle. (English)
J. Comb. Theory, Ser. B 102, No. 5, 1067-1098 (2012).
5
Unary FA-presentable semigroups. (English)
Int. J. Algebra Comput. 22, No. 4, 1250038, 29 p. (2012).
6
Constructive Boolean circuits and the exactness of timed ternary simulation. (English)
Form. Methods Syst. Des. 40, No. 3, 283-329 (2012).
7
Simplifying massive contour maps. (English)
Epstein, Leah (ed.) et al., Algorithms ‒ ESA 2012. 20th annual European symposium, Ljubljana, Slovenia, September 10‒12, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33089-6/pbk). Lecture Notes in Computer Science 7501, 96-107 (2012).
8
Exploiting unfounded sets for HEX-program evaluation. (English)
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 160-175 (2012).
9
Egocentric interaction as a tool for designing ambient ecologies ‒ the case of the easy ADL ecology. (English)
Pervasive Mobile Comput. 8, No. 4, 597-613 (2012).
10
Segmentation of cervical images by inter-subject registration with a statistical organ model. (English)
Yoshida, Hiroyuki (ed.) et al., Abdominal imaging. Computational and clinical applications. Third international workshop, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28556-1/pbk). Lecture Notes in Computer Science 7029, 240-247 (2012).
11
Analysis of catheter-based registration with vessel-radius weighting of 3D CT data to 2D X-ray for cardiac catheterisation procedures in a phantom study. (English)
Camara, Oscar (ed.) et al., Statistical atlases and computational models of the heart. Imaging and modelling challenges. Second international workshop, STACOM 2011, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28325-3/pbk). Lecture Notes in Computer Science 7085, 139-148 (2012).
12
io-port 06059583 Eisenbarth, Thomas;
Gong, Zheng;
Güneysu, Tim;
Heyse, Stefan;
Indesteege, Sebastiaan;
Kerckhof, Stéphanie;
Koeune, François;
Nad, Tomislav;
Plos, Thomas;
Regazzoni, Francesco;
Standaert, François-Xavier;
van Oldeneel tot Oldenzeel, Loic
Compact implementation and performance evaluation of block ciphers in attiny devices. (English)
Mitrokotsa, Aikaterini (ed.) et al., Progress in cryptology ‒ AFRICACRYPT 2012. 5th international conference on cryptology in Africa, Ifrane, Morocco, July 10‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31409-4/pbk). Lecture Notes in Computer Science 7374, 172-187 (2012).
13
A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs. (English)
Math. Program. 133, No. 1-2(A), 203-225 (2012).
14
Gravitational entropy of black holes and wormholes. (English)
Int. J. Theor. Phys. 51, No. 3, 925-942 (2012).
15
Complex equiangular tight frames and erasures. (English)
Linear Algebra Appl. 437, No. 2, 549-558 (2012).
16
Derandomization of the Euler scheme for scalar stochastic differential equations. (English)
J. Complexity 28, No. 2, 139-153 (2012).
17
Nested cycles in large triangulations and crossing-critical graphs. (English)
J. Comb. Theory, Ser. B 102, No. 1, 86-92 (2012).
18
Nested cycles in large triangulations and crossing-critical graphs (English)
J. Comb. Theory, Ser. B 102, No. 1, 86-92 (2012).
19
Buffer management for colored packets with deadlines. (English)
Theory Comput. Syst. 49, No. 4, 738-756 (2011).
20
Result 1 to 20 of 2134 total