Result 1 to 20 of 1815 total
A hybrid human dynamics model on analyzing hotspots in social networks. (English)
Discrete Dyn. Nat. Soc. 2012, Article ID 678286, 13 p. (2012).
1
Mean field games for large-population multiagent systems with Markov jump parameters. (English)
SIAM J. Control Optim. 50, No. 4, 2308-2334 (2012).
2
An efficient MAC scheme for secure network coding with probabilistic detection. (English)
Front. Comput. Sci. 6, No. 4, 429-441 (2012).
3
Viewpoint selection based on NM-PSO for volume rendering. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing theories and applications. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31575-6/pbk). Lecture Notes in Computer Science 7390. Lecture Notes in Artificial Intelligence, 487-494 (2012).
4
Determination of unknown boundary condition in the two-dimensional inverse heat conduction problem. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing theories and applications. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31575-6/pbk). Lecture Notes in Computer Science 7390. Lecture Notes in Artificial Intelligence, 383-390 (2012).
5
Distributed staff’s integral systems design and implementation. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing technology. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31587-9/pbk). Lecture Notes in Computer Science 7389, 277-283 (2012).
6
Information granularity and granular structure in decision making. (English)
Li, Tianrui (ed.) et al., Rough sets and knowledge technology. 7th international conference, RSKT 2012, Chengdu, China, August 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31899-3/pbk). Lecture Notes in Computer Science 7414. Lecture Notes in Artificial Intelligence, 440-449 (2012).
7
On the spectral radii of graphs without given cycles. (English)
Electron. J. Linear Algebra 23, 599-606, electronic only (2012).
8
Group key agreement for secure group communication in dynamic peer systems. (English)
J. Parallel Distrib. Comput. 72, No. 10, 1195-1200 (2012).
9
Predicate generation for learning-based quantifier-free loop invariant inference. (English)
Log. Methods Comput. Sci. 8, No. 3, Paper No. 25, 21 p. (2012).
10
Trial pruning based on genetic algorithm for single-trial EEG classification. (English)
Comput. Electr. Eng. 38, No. 1, 35-44 (2012).
11
Memory-aware BWT by segmenting sequences to support subsequence search. (English)
Sheng, Quan Z. (ed.) et al., Web technologies and applications. 14th Asia-Pacific web conference, APWeb 2012, Kunming, China, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29252-1/pbk). Lecture Notes in Computer Science 7235, 73-84 (2012).
12
On the minimum degree hypergraph problem with subset size two and the red-blue set cover problem with the consecutive ones property. (English)
Gudmundsson, Joachim (ed.) et al., Computing and combinatorics. 18th annual international conference, COCOON 2012, Sydney, Australia, August 20‒22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32240-2/pbk). Lecture Notes in Computer Science 7434, 169-180 (2012).
13
Knox: privacy-preserving auditing for shared data with large groups in the cloud. (English)
Bao, Feng (ed.) et al., Applied cryptography and network security. 10th international conference, ACNS 2012, Singapore, June 26‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31283-0/pbk). Lecture Notes in Computer Science 7341, 507-525 (2012).
14
Proof of a conjecture on the spectral radius of $C_4$-free graphs. (English)
Linear Algebra Appl. 437, No. 7, 1641-1647 (2012).
15
Recovering geometric detail by octree normal maps. (English)
Pan, Zhigeng (ed.) et al., Transactions on Edutainment VII. Berlin: Springer (ISBN 978-3-642-29049-7/pbk; 978-3-642-29050-3/ebook). Lecture Notes in Computer Science 7145. Journal Subline, 62-73 (2012).
16
Termination analysis with algorithmic learning. (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, 88-104 (2012).
17
Learning Boolean functions incrementally. (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, 55-70 (2012).
18
A study of recommending locations on location-based social network by collaborative filtering. (English)
Kosseim, Leila (ed.) et al., Advances in artificial intelligence. 25th Canadian conference on artificial intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28‒30, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30352-4/pbk). Lecture Notes in Computer Science 7310. Lecture Notes in Artificial Intelligence, 255-266 (2012).
19
A model for biased fractionation after whole genome duplication. (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, 244 (2012).
20
Result 1 to 20 of 1815 total
Start
Contact
Print
General Help
