Result 1 to 20 of 1680 total
An alternative for robust estimation in project management. (English)
Eur. J. Oper. Res. 220, No. 2, 443-451 (2012).
1
Formalization of a normalization theorem in simplicial topology. (English)
Ann. Math. Artif. Intell. 64, No. 1, 1-37 (2012).
2
Equivalence of games with probabilistic uncertainty and partial-observation games. (English)
Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 385-399 (2012).
3
Iterative arrays: little resources big size impact. (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, 42-51 (2012).
4
Reversible pushdown automata. (English)
J. Comput. Syst. Sci. 78, No. 6, 1814-1827 (2012).
5
States and heads do count for unary multi-head finite automata. (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, 214-225 (2012).
6
Solving the split feasibility problem without prior knowledge of matrix norms. (English)
Inverse Probl. 28, No. 8, Article ID 085004, 18 p. (2012).
7
UPCBLAS: a library for parallel matrix computations in unified parallel C. (English)
Concurrency Comput. Pract. Exp. 24, No. 14, 1645-1667 (2012).
8
Invariant generation through strategy iteration in succinctly represented control flow graphs. (English)
Log. Methods Comput. Sci. 8, No. 3, Paper No. 29, 35 p. (2012).
9
Marco: safe, expressive macros for any language. (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, 589-613 (2012).
10
Input-driven stack automata. (English)
Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 28-42 (2012).
11
The Ramsey numbers $r(K_5-2K_2,2K_3)$, $r(K_5-e,2K_3)$ and $r(K_5,2K_3)$. (English)
J. Comb. Math. Comb. Comput. 81, 257-260 (2012).
12
On the computational capacity of parallel communicating finite automata. (English)
Int. J. Found. Comput. Sci. 23, No. 3, 713-732 (2012).
13
In memoriam Chandra Kintala. (English)
Int. J. Found. Comput. Sci. 23, No. 1, 5-19 (2012).
14
Choose your creativity: why and how creativity in requirements engineering means different things to different people. (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, 101-116 (2012).
15
io-port 06070764 Mador-Haim, Sela;
Maranget, Luc;
Sarkar, Susmit;
Memarian, Kayvan;
Alglave, Jade;
Owens, Scott;
Alur, Rajeev;
Martin, Milo M.K.;
Sewell, Peter;
Williams, Derek
An axiomatic memory model for POWER multiprocessors. (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, 495-512 (2012).
16
A spatial version of the Itô-Stratonovich correction. (English)
Ann. Probab. 40, No. 4, 1675-1714 (2012).
17
Nondeterministic state complexity of star-free languages. (English)
Theor. Comput. Sci. 450, 68-80 (2012).
19
A compressive sensing scheme of frequency sparse signals for mobile and wearable platforms. (English)
Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory ‒ EUROCAST 2011. 13th international conference, Las Palmas de Gran Canaria, Spain, February 6‒11, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-27578-4/pbk). Lecture Notes in Computer Science 6928, 510-518 (2012).
20
Result 1 to 20 of 1680 total
Start
Contact
Print
General Help
