Result 1 to 20 of 462 total
Discovery science. 15th international conference, DS 2012, Lyon, France, October 29‒31, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7569. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-33491-7/pbk). xiii, 329~p. EUR~49.99 (2012).
1
Isolating partial information of indistinguishable encryptions. (English)
Petkova-Nikova, Svetla (ed.) et al., Public key infrastructures, services and applications. 8th European workshop, EuroPKI 2011, Leuven, Belgium, September 15‒16, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29803-5/pbk). Lecture Notes in Computer Science 7163, 34-48 (2012).
2
Anthropomorphic image reconstruction via hypoelliptic diffusion. (English)
SIAM J. Control Optim. 50, No. 3, 1309-1336 (2012).
3
A duality between exceptions and states. (English)
Math. Struct. Comput. Sci. 22, No. 4, 719-722 (2012).
4
The geometry of flex tangents to a cubic curve and its parameterizations. (English)
J. Symb. Comput. 47, No. 3, 266-281 (2012).
5
How to use symbolic fusion to support the sleep apnea syndrome diagnosis. (English)
Peleg, Mor (ed.) et al., Artificial intelligence in medicine. 13th conference on artificial intelligence in medicine, AIME 2011, Bled, Slovenia, July 2‒6, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22217-7/pbk). Lecture Notes in Computer Science 6747. Lecture Notes in Artificial Intelligence, 45-54 (2011).
6
Revisiting the tree constraint. (English)
Lee, Jimmy (ed.), Principles and practice of constraint programming ‒ CP 2011. 17th international conference, CP 2011, Perugia, Italy, September 12‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23785-0/pbk). Lecture Notes in Computer Science 6876, 271-285 (2011).
7
Movable dominating sensor sets in networks. (English)
J. Comb. Math. Comb. Comput. 77, 103-123 (2011).
8
Highly parallel implementation of Harris Corner detector on CSX SIMD architecture. (English)
Guarracino, Mario R. (ed.) et al., Euro-Par 2010 parallel processing workshops. HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC. Ischia, Italy, August 31 ‒ September 3, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21877-4/pbk). Lecture Notes in Computer Science 6586, 137-144 (2011).
9
Autobayesian: Developing Bayesian networks based on text mining. (English)
Yu, Jeffrey Xu (ed.) et al., Database systems for advanced applications. 16th international conference, DASFAA 2011, Hong Kong, China, April 22‒25, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-20151-6/pbk). Lecture Notes in Computer Science 6588, 450-453 (2011).
10
Image reconstruction via hypoelliptic diffusion on the bundle of directions of the plane. (English)
Koziel, Slawomir (ed.) et al., Computational optimization, methods and algorithms. Berlin: Springer (ISBN 978-3-642-20858-4/hbk; 978-3-642-20859-1/ebook). Studies in Computational Intelligence 356, 75-90 (2011).
11
Recursive double-size fixed precision arithmetic. (English)
Comput. Res. Repos. 2011, Article No. 1104.0478 (2011).
12
Sydig: uncovering synteny in distant genomes. (English)
Int. J. Bioinform. Res. Appl. 7, No. 1, 43-62 (2011).
13
A case study on optimizing web service monitoring configurations. (English)
Maximilien, E. Michael (ed.) et al., Service-oriented computing. ICSOC 2010 international workshops: PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7‒10, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19393-4/pbk). Lecture Notes in Computer Science 6568, 4-14 (2011).
14
Vector-valued Jack polynomials from scratch. (English)
SIGMA, Symmetry Integrability Geom. Methods Appl. 7, Paper 026, 48 p., electronic only (2011).
15
Simultaneous modular reduction and Kronecker substitution for small finite fields. (English)
J. Symb. Comput. 46, No. 7, 823-840 (2011).
16
Identifying dominant factors for the calibration of a land-use cellular automata model using rough set theory. (English)
Comput. Environ Urban Syst. 35, No. 2, 116-125 (2011).
17
Idea: a reference platform for systematic information security management tool support. (English)
Erlingsson, Úlfar (ed.) et al., Engineering secure software and systems. Third international symposium, ESSoS 2011, Madrid, Spain, February 9‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19124-4/pbk). Lecture Notes in Computer Science 6542, 256-263 (2011).
18
Cryptanalysis of cryptosystems based on non-commutative skew polynomials. (English)
Catalano, Dario (ed.) et al., Public key cryptography ‒ PKC 2011. 14th international conference on practice and theory in public key cryptography, Taormina, Italy, March 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19378-1/pbk). Lecture Notes in Computer Science 6571, 459-472 (2011).
19
Cartesian effect categories are Freyd-categories. (English)
J. Symb. Comput. 46, No. 3, 272-293 (2011).
20
Result 1 to 20 of 462 total
Start
Contact
Print
General Help
