Result 1 to 20 of 206 total
Comparing tweets and tags for URLs. (English)
Baeza-Yates, Ricardo (ed.) et al., Advances in information retrieval. 34th European conference on IR research, ECIR 2012, Barcelona, Spain, April 1‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28996-5/pbk). Lecture Notes in Computer Science 7224, 73-84 (2012).
1
Elementary probability theory in the Eindhoven style. (English)
Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 48-73 (2012).
2
Compositional noninterference from first principles. (English)
Formal Asp. Comput. 24, No. 1, 3-26 (2012).
3
Revision with conditional probability functions: two impossibility results. (English)
Girard, Patrick (ed.) et al., Dynamic formal epistemology. Based on the workshop “Dynamic logic Montreal", Montreal, Canada, June 2007. Berlin: Springer (ISBN 978-94-007-0073-4/hbk; 978-94-007-0074-1/ebook). Synthese Library 351, 161-172 (2011).
4
Compositional refinement in agent-based security protocols. (English)
Formal Asp. Comput. 23, No. 6, 711-737 (2011).
5
Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26‒30, 2011. Revised selected papers. (English)
Lecture Notes in Computer Science 7021. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). x, 205~p. EUR~49.22 (2011).
6
A preliminary investigation of training order for introducing NextGen tools. (English)
Salvendy, Gavriel (ed.) et al., Human interface and the management of information. Interacting with information. Symposium on human interface 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21668-8/pbk). Lecture Notes in Computer Science 6772, 526-533 (2011).
7
Effects of data communications failure on air traffic controller sector management effectiveness, situation awareness, and workload. (English)
Salvendy, Gavriel (ed.) et al., Human interface and the management of information. Interacting with information. Symposium on human interface 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21668-8/pbk). Lecture Notes in Computer Science 6772, 493-499 (2011).
8
Hidden-Markov program algebra with iteration. (English)
Comput. Res. Repos. 2011, Article No. 1102.0333 (2011).
9
Baking a mass-spectrometry data PIE with mcmc and simulated annealing: predicting protein post-translational modifications from integrated top-down and bottom-up data. (English)
Bioinformatics 27, No. 6, 844-852 (2011).
10
Real-reward testing for probabilistic processes (Extended abstract) (English)
QAPL, 61-73 (2011).
11
Effects of data communications failure on air traffic controller sector management effectiveness, situation awareness, and workload (English)
HCI (12), 493-499 (2011).
12
A preliminary investigation of training order for introducing nextgen tools (English)
HCI (12), 526-533 (2011).
13
Focus group views on prêt à voter 1.0 (English)
REVOTE, 56-65 (2011).
14
Bayesian latent variable models for collaborative item rating prediction (English)
CIKM, 699-708 (2011).
15
The thousand-and-one cryptographers. (English)
Jones, Cliff B. (ed.) et al., Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). 255-282 (2010).
16
Linear-invariant generation for probabilistic programs: automated support for proof-based methods. (English)
Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 390-406 (2010).
17
Compositional closure for Bayes risk in probabilistic noninterference. (English)
Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6‒10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 223-235 (2010).
18
An application of Fourier transforms on finite abelian groups to an enumeration arising from the Josephus problem. (English)
J. Number Theory 130, No. 4, 815-827 (2010).
19
Compositional closure for Bayes risk in probabilistic noninterference (English)
ICALP (2), 223-235 (2010).
20
Result 1 to 20 of 206 total
Start
Contact
Print
General Help
