Result 1 to 20 of 613 total
Ranging performance of the IEEE 802.15.4a UWB standard under FCC/CEPT regulations. (English)
J. Electr. Comput. Eng. 2012, Article ID 218930, 9 p. (2012).
1
Extended formulations for polygons. (English)
Discrete Comput. Geom. 48, No. 3, 658-668 (2012).
2
Multi-instance security and its application to password-based cryptography. (English)
Safavi-Naini, Reihaneh (ed.) et al., Advances in cryptology ‒ CRYPTO 2012. 32nd annual cryptology conference, Santa Barbara, CA, USA, August 19‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32008-8/pbk). Lecture Notes in Computer Science 7417, 312-329 (2012).
3
Tweakable blockciphers with beyond birthday-bound security. (English)
Safavi-Naini, Reihaneh (ed.) et al., Advances in cryptology ‒ CRYPTO 2012. 32nd annual cryptology conference, Santa Barbara, CA, USA, August 19‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32008-8/pbk). Lecture Notes in Computer Science 7417, 14-30 (2012).
4
Feasible automata for two-variable logic with successor on data words. (English)
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 6th international conference, LATA 2012, A Coruña, Spain, March 5‒9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28331-4/pbk). Lecture Notes in Computer Science 7183, 351-362 (2012).
5
Interaktivierung von Objekten mit dem Social Web durch Near Field Communication. (German)
Back, Andrea (ed.) et al., Mobile und Ubiquitäre Informationssysteme (MMS 2012). Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-296-3). Lect. Notes Inform. 202, 117-121 (2012).
6
Error detection in broadcast news ASR using Markov chains. (English)
Vetulani, Zygmunt (ed.), Human language technology. Challenges for computer science and linguistics. 4th language and technology conference, LTC 2009, Poznan, Poland, November 6‒8, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20094-6/pbk). Lecture Notes in Computer Science 6562. Lecture Notes in Artificial Intelligence, 59-69 (2011).
7
Evolving a novel bio-inspired controller in reconfigurable robots. (English)
Kampis, George (ed.) et al., Advances in artificial life. Darwin meets von Neumann. 10th European conference, ECAL 2009, Budapest, Hungary, September 13‒16, 2009. Revised selected papers, Part I. Berlin: Springer (ISBN 978-3-642-21282-6/pbk). Lecture Notes in Computer Science 5777. Lecture Notes in Artificial Intelligence, 132-139 (2011).
8
Towards a multi-perspectival approach of describing context. (English)
Beigl, Michael (ed.) et al., Modeling and using context. 7th international and interdisciplinary conference, CONTEXT 2011, Karlsruhe, Germany, September 26‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24278-6/pbk). Lecture Notes in Computer Science 6967. Lecture Notes in Artificial Intelligence, 115-118 (2011).
9
Cache efficiency and scalability on multi-core architectures. (English)
Malyshkin, Victor (ed.), Parallel computing technologies. 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23177-3/pbk). Lecture Notes in Computer Science 6873, 88-97 (2011).
10
U-note: Capture the class and access it everywhere. (English)
Campos, Pedro (ed.) et al., Human-computer interaction ‒ INTERACT 2011. 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5‒9, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23773-7/pbk). Lecture Notes in Computer Science 6946, 643-660 (2011).
11
Secure and privacy-preserving cross-border authentication: the STORK pilot ‘SaferChat’. (English)
Andersen, Kim Normann (ed.) et al., Electronic government and the information systems perspective. Second international conference, EGOVIS 2011, Toulouse, France, August 29‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22960-2/pbk). Lecture Notes in Computer Science 6866, 94-106 (2011).
12
Extensible and automated model-evaluations with INProVE. (English)
Kraemer, Frank Alexander (ed.) et al., System analysis and modeling: about models. 6th international workshop, SAM 2010, Oslo, Norway, October 4‒5, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21651-0/pbk). Lecture Notes in Computer Science 6598, 193-208 (2011).
13
Novel loop structures and the evolution of mathematical algorithms. (English)
Silva, Sara (ed.) et al., Genetic programming. 14th European conference, EuroGP 2011, Torino, Italy, April 27‒29, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20406-7/pbk). Lecture Notes in Computer Science 6621, 49-60 (2011).
14
Continuous-time quantum Monte Carlo impurity solvers. (English)
Comput. Phys. Commun. 182, No. 4, 1078-1082 (2011).
15
Multipath routing slice experiments in federated testbeds. (English)
Domingue, John (ed.) et al., The future internet. Future internet assembly 2011: achievements and technological promises. Berlin: Springer (ISBN 978-3-642-20897-3/pbk). Lecture Notes in Computer Science 6656, 247-258 (2011).
16
Bigraphical refinement. (English)
Comput. Res. Repos. 2011, Article No. 1106.4091 (2011).
17
A simple multigrid scheme for solving the Poisson equation with arbitrary domain boundaries. (English)
J. Comput. Phys. 230, No. 12, 4756-4771 (2011).
18
Model checking CTL is almost always inherently sequential. (English)
Log. Methods Comput. Sci. 7, No. 2, Paper No. 12, 21 p., electronic only (2011).
19
Model checking CTL is almost always inherently sequential. (English)
Comput. Res. Repos. 2011, Article No. 1103.4990 (2011).
20
Result 1 to 20 of 613 total
Start
Contact
Print
General Help
