Result 1 to 20 of 5132 total
Design-adaptive nonparametric estimation of conditional quantile derivatives. (English)
J. Nonparametric Stat. 24, No. 3, 597-612 (2012).
1
On a class of branching problems in broadcasting and distribution. (English)
Comput. Oper. Res. 39, No. 8, 1793-1799 (2012).
2
Theory and application of restricted five neighborhood cellular automata (R5NCA) for protein structure prediction. (English)
Sirakoulis, Georgios Ch. (ed.) et al., Cellular automata. 10th international conference on cellular automata for research and industry, ACRI 2012, Santorini Island, Greece, September 24‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33349-1/pbk). Lecture Notes in Computer Science 7495, 360-369 (2012).
3
Geometry of the Welch bounds. (English)
Linear Algebra Appl. 437, No. 10, 2455-2470 (2012).
4
Inductive complexity of P versus NP problem. Extended abstract. (English)
Durand-Lose, Jérôme (ed.) et al., Unconventional computation and natural computation. 11th international conference, UCNC 2012, Orléan, France, September 3‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32893-0/pbk). Lecture Notes in Computer Science 7445, 2-9 (2012).
5
On mixed trilateral generating functions of modified Jacobi polynomials. (English)
Int. Math. Forum 7, No. 29-32, 1465-1473 (2012).
6
Introduction to the special issue: Computability of the physical. (English)
Math. Struct. Comput. Sci. 22, No. 5, 723-728 (2012).
7
The complexity of Euler’s integer partition theorem. (English)
Theor. Comput. Sci. 454, 72-80 (2012).
8
Extensibility for the masses. Practical extensibility with object algebras. (English)
Noble, James (ed.), ECOOP 2012 ‒ object-oriented programming. 26th European conference, Beijing, China, June 11‒16, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31056-0/pbk). Lecture Notes in Computer Science 7313, 2-27 (2012).
9
An adaptive parameterized block-based singular value decomposition for image de-noising and compression. (English)
Appl. Math. Comput. 218, No. 21, 10370-10385 (2012).
10
Warehouse design and planning: a mathematical programming approach. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-31136-9/pbk). Lecture Notes in Computer Science 7335, 187-201 (2012).
11
An improved robust delay-dependent stability criterion for genetic regulatory networks with interval time delays. (English)
Commun. Nonlinear Sci. Numer. Simul. 17, No. 8, 3399-3405 (2012).
12
Collaborative resolution of requirements mismatches when adopting open source components. (English)
Regnell, Björn (ed.) et al., Requirements engineering: foundation for software quality. 18th international working conference, REFSQ 2012, Essen, Germany, March 19‒22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28713-8/pbk). Lecture Notes in Computer Science 7195, 77-93 (2012).
13
Fake injection strategies for private phonetic matching. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Data privacy management and autonomous spontaneus security. 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15‒16, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28878-4/pbk). Lecture Notes in Computer Science 7122, 9-24 (2012).
14
Assume-guarantee abstraction refinement for probabilistic systems. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 310-326 (2012).
15
Discovery of complex genomic rearrangements in cancer using high-throughput sequencing. (English)
Chor, Benny (ed.), Research in computational molecular biology. 16th annual international conference, RECOMB 2012, Barcelona, Spain, April 21‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29626-0/pbk). Lecture Notes in Computer Science 7262. Lecture Notes in Bioinformatics, 181-182 (2012).
16
Some criteria for a graph to be class 1. (English)
Discrete Math. 312, No. 17, 2593-2598 (2012).
17
Analysis of Gaudi surfaces at small deformations. (English)
Appl. Math. Comput. 218, No. 13, 6999-7004 (2012).
18
Towards adapting a normal patient database for SPECT brain perfusion imaging. (English)
Inverse Probl. 28, No. 6, Article ID 065001, 17 p. (2012).
19
Gmeta: A generic formal metatheory framework for first-order representations. (English)
Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 436-455 (2012).
20
Result 1 to 20 of 5132 total
Start
Contact
Print
General Help
