Result 1 to 20 of 1706 total
On quality indicators for black-box level set approximation. (English)
Tantar, Emilia (ed.) et al., EVOLVE ‒ a bridge between probability, set oriented numerics and evolutionary computation. Selected papers based on the presentations at the workshop 2011, Bourglinster Castle, Luxembourg, May 25‒27, 2011. Berlin: Springer (ISBN 978-3-642-32725-4/hbk; 978-3-642-32726-1/ebook). Studies in Computational Intelligence 447, 157-185 (2013).
1
Asymptotic peak utilisation in heterogeneous parallel CPU/GPU pipelines: a decentralised queue monitoring strategy. (English)
Parallel Process. Lett. 22, No. 2, Paper No. 1240008, 13 p. (2012).
2
Drawing graphs in the plane with a prescribed outer face and polynomial area. (English)
J. Graph Algorithms Appl. 16, No. 2, 243-259 (2012).
3
Centdian computation in cactus graphs. (English)
J. Graph Algorithms Appl. 16, No. 2, 199-224 (2012).
4
An asymptotically tight bound on the adaptable chromatic number. (English)
J. Graph Theory 71, No. 3-4, 331-351 (2012).
5
On analyzing quality of data influences on performance of finite elements driven computational simulations. (English)
Kaklamanis, Christos (ed.) et al., Euro-Par 2012 parallel processing. 18th international conference, Euro-Par 2012, Rhodes Island, Greece, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32819-0/pbk). Lecture Notes in Computer Science 7484, 793-804 (2012).
6
Towards the orchestration of secured services under non-disclosure policies. (English)
Kotenko, Igor (ed.) et al., Computer network security. 6th international conference on mathematical methods, models and architectures for computer network security, MMM-ACNS 2012, St. Petersburg, Russia, October 17‒19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33703-1/pbk). Lecture Notes in Computer Science 7531, 130-145 (2012).
7
Anonymous card shuffling and its applications to parallel mixnets. (English)
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Warwick, UK, July 9‒13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 549-560 (2012).
8
Interaction of robot swarms using the honeybee-inspired control algorithm BEECLUST. (English)
Math. Comput. Model. Dyn. Syst. 18, No. 1, 87-100 (2012).
9
Tailor-made jvms for statically configured embedded systems. (English)
Concurrency Comput. Pract. Exp. 24, No. 8, 789-812 (2012).
10
The successor representation and temporal context. (English)
Neural Comput. 24, No. 6, 1553-1568 (2012).
11
Interpreting effect size estimates through graphic analysis of raw data distributions. (English)
Cox, Philip (ed.) et al., Diagrammatic representation and inference. 7th international conference, Diagrams 2012, Canterbury, UK, July 2‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31222-9/pbk). Lecture Notes in Computer Science 7352. Lecture Notes in Artificial Intelligence, 117-123 (2012).
12
Distributed orchestration of web services under security constraints. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Data privacy management and autonomous spontaneus security. 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15‒16, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28878-4/pbk). Lecture Notes in Computer Science 7122, 235-252 (2012).
13
Extended dynamic subgraph statistics using $h$-index parameterized data structures. (English)
Theor. Comput. Sci. 447, 44-52 (2012).
14
Mobile platform architecture review: android, iphone, qt. (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, 544-551 (2012).
15
Skew-symmetric cluster algebras of finite mutation type. (English)
J. Eur. Math. Soc. (JEMS) 14, No. 4, 1135-1180 (2012).
16
Oriented graph saturation. (English)
J. Comb. Math. Comb. Comput. 80, 157-169 (2012).
17
io-port 06051091 Armando, Alessandro;
Arsac, Wihem;
Avanesov, Tigran;
Barletta, Michele;
Calvi, Alberto;
Cappai, Alessandro;
Carbone, Roberto;
Chevalier, Yannick;
Compagna, Luca;
Cuéllar, Jorge;
Erzse, Gabriel;
Frau, Simone;
Minea, Marius;
Mödersheim, Sebastian;
von Oheimb, David;
Pellegrino, Giancarlo;
Ponta, Serena Elisa;
Rocchetto, Marco;
Rusinowitch, Michael;
Torabi Dashti, Mohammad;
Turuani, Mathieu;
Viganò, Luca
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures. (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 267-282 (2012).
18
Phylogeny- and parsimony-based haplotype inference with constraints. (English)
Inf. Comput. 213, 33-47 (2012).
19
Prozessorientierte Verwaltung ‒ Status quo und Forschungslücken. (German)
Von Lucke, Jörn (ed.) et al., Auf dem Weg zu einer offenen, smarten und vernetzten Verwaltungskultur. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-291-8). Lect. Notes Inform. 197, 61-72 (2012).
20
Result 1 to 20 of 1706 total
Start
Contact
Print
General Help
