Result 1 to 20 of 373 total
ALLQBF solving by computational learning. (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, 370-384 (2012).
1
Mnemonic convergence: from empirical data to large-scale dynamics. (English)
Yang, Shanchieh Jay (ed.) et al., Social computing, behavioral ‒ cultural modeling and prediction. 5th international conference, SBP 2012, College Park, MD, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29046-6/pbk). Lecture Notes in Computer Science 7227, 256-265 (2012).
2
Square character degree graphs yield direct products. (English)
J. Algebra 349, No. 1, 185-200 (2012).
3
Computation and its limits. (English)
Oxford: Oxford University Press (ISBN 978-0-19-964032-4/hbk). vi, 239~p. \sterling~35.00 (2012).
4
Navigating sensory conflict in dynamic environments using adaptive state estimation. (English)
Biol. Cybern. 105, No. 5-6, 291-304 (2011).
5
Incremental preprocessing methods for use in BMC. (English)
Form. Methods Syst. Des. 39, No. 2, 185-204 (2011).
6
Independent component analysis involving autocorrelated sources with an application to functional magnetic resonance imaging. (English)
J. Am. Stat. Assoc. 106, No. 495, 1009-1024 (2011).
7
Nonsolvable groups with no prime dividing three character degrees. (English)
J. Algebra 336, No. 1, 158-183 (2011).
8
Parallel QBF solving with advanced knowledge sharing. (English)
Fundam. Inform. 107, No. 2-3, 139-166 (2011).
9
Synchronous vs. asynchronous control for large robot teams. (English)
Shumaker, Randall (ed.), Virtual and mixed reality ‒ systems and applications. International conference, Virtual and Mixed Reality 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22023-4/pbk). Lecture Notes in Computer Science 6774, 415-424 (2011).
10
A new variational formulation for convex Hamiltonian systems with nonlinear boundary conditions. (English)
Bull. Aust. Math. Soc. 84, No. 2, 186-204 (2011).
11
Interactive evolution for designing motion variants. (English)
Madani, Kurosh (ed.) et al., Computational intelligence. Revised and selected papers of the 1st international joint conference IJCCI 2009 held in Funchal, Madeira, Portugal, October 5‒7, 2009. Berlin: Springer (ISBN 978-3-642-20205-6/hbk; 978-3-642-20206-3/ebook). Studies in Computational Intelligence 343, 135-149 (2011).
12
Creating choreography with interactive evolutionary algorithms. (English)
Di Chio, Cecilia (ed.) et al., Applications of evolutionary computation. EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27‒29, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-20519-4/pbk). Lecture Notes in Computer Science 6625, 293-302 (2011).
13
Dynamic control of a single-server system with abandonments. (English)
Queueing Syst. 67, No. 1, 63-90 (2011).
14
An initial evaluation of approaches to building entry for large robot teams (English)
Journal of Intelligent and Robotic Systems 64, No. 2, 145-159 (2011).
15
Cross-fence comparisons: theory for spatially comprehensive, controlled variable assessment of treatment effects in managed landscapes (English)
Ecological Informatics 6, No. 2, 170-176 (2011).
16
Seasonal influences on population spread and persistence in streams: critical domain size (English)
SIAM Journal of Applied Mathematics 71, No. 4, 1241-1262 (2011).
17
Scalable growth in IT-enabled service provisioning: a sensemaking perspective (English)
EJIS 20, No. 3, 285-302 (2011).
18
Simulating the effect of privacy concerns in online social networks (English)
IRI, 519-524 (2011).
19
Human exploration patterns in unknown, time-sensitive environments (English)
SMC, 2870-2876 (2011).
20
Result 1 to 20 of 373 total
Start
Contact
Print
General Help
