Meteorological influences and role of emissions within the context of air quality in Beijing Schäfer, K.; Wang, Y.; Norra, S.; Shen, R.; Xin, J.; Ling, H.; Tang, G.; Münkel, C.; Schleicher, N.; Yu, Y.; Emeis, S.; Suppan, P. 2010. Weilenmann, M. [Hrsg.] 18th Internat.Symp.Transport and Air Pollution (TAP 2010), Dübendorf, CH, May 18-19, 2010 Proc.on CD-ROM Dübendorf : EMPA, 2010
Meteorological influence upon airport air quality in Zurich, Paris CDG, Athens and Mexico City Schäfer, K.; Jahn, C.; Hoffmann, M.; Flores-Jardines, E.; Emeis, S.; Grutter, M.; Kurtenbach, R.; Wiesen, P.; Helmis, C.; Tombrou, M.; Asimakopoulos, D.; Anamaterou, E.; O’Connor, M.; Ramaroson, R.; Fleuti, E.; Münkel, C. 2010. Weilenmann, M. [Hrsg.] 18th Internat.Symp.Transport and Air Pollution (TAP 2010), Dübendorf, CH, May 18-19, 2010 Proc.on CD-ROM Dübendorf : EMPA, 2010
Meteorological influences and role of emissions within the context of air quality in Beijing Schäfer, K.; Wang, Y.; Norra, S.; Shen, R.; Xin, J.; Ling, H.; Tang, G.; Münkel, C.; Schleicher, N.; Yu, Y.; Emeis, S.; Suppan, P. 2010. Weilenmann, M. [Hrsg.] 18th Internat.Symp.Transport and Air Pollution (TAP 2010), Dübendorf, CH, May 18-19, 2010 Proc.on CD-ROM Dübendorf : EMPA, 2010, 119–24
Meteorological influence upon airport air quality in Zurich, Paris CDG, Athens and Mexico City Schäfer, K.; Jahn, C.; Hoffmann, M.; Flores-Jardines, E.; Emeis, S.; Grutter, M.; Kurtenbach, R.; Wiesen, P.; Helmis, C.; Tombrou, M.; Asimakopoulos, D.; Anamaterou, E.; O’Connor, M.; Ramaroson, R.; Fleuti, E.; Münkel, C. 2010. Weilenmann, M. [Hrsg.] 18th Internat.Symp.Transport and Air Pollution (TAP 2010), Dübendorf, CH, May 18-19, 2010 Proc.on CD-ROM Dübendorf : EMPA, 2010, 125–30
Easing cracks with the method of tensile triangles Mattheck, C.; Wissner, C.; Tesari, I.; Bethge, K. 2010. Brebbia, C.A. [Hrsg.] 5th Internat.Conf.on Comparing Design in Nature with Science and Engineering, Pisa, I, June 28-30, 2010 Southampton [u.a.] : WIT Press, 2010 (Design and Nature ; 5) (WIT Transactions on Ecology and the Environment ; 138), 461–67
Pedestrian detection based on maximally stable extremal regions Frolov, V. A.; Puente León, F. 2010. Proceedings of the 2010 IEEE Intelligent Vehicle Symposium, University of California, San Diego, CA, USA, June 21-24, 2010, 910–914, Institute of Electrical and Electronics Engineers (IEEE)
A multiscale nonlinear finite element simulation of domain switching behaviors in piezoelectric materials Uetsuji, Y.; Hata, T.; Kuramae, H.; Tsuchiya, K.; Kamlah, M. 2010. Sih, G.C. [Hrsg.] Multiscaling of Synthetic and Natural Systems with Self-adaptive Capability : Proc.of the 12th Internat.Congress on Mesomechanics, Taipei, Taiwan, June 21-25, 2010 National Taiwan University of Science and Technology Press, 2010, 211–14
Status of the ITER EC H&CD system Omori, T.; Albajar, F.; Alberti, S.; Baruah, U.; Beckett, B.; Bigelow, T.; Bonicelli, T.; Bruschi, A.; Caughman, J.; Chavan, R.; Cox, D.; Darbos, C.; deBaar, M.; Denisov, G.; Gandini, F.; Gassman, T.; Goodman, T. P.; Henderson, M.; Hogge, J. P.; Jean, O.; et al. 2010. Workshop on RF Heating Technology of Fusion Plasmas, Como, I, September 13-15, 2010 Folien auf CD-ROM
Status of the 2 MW, 170 GHz pre-prototype coaxial-cavity gyrotron for ITER Thumm, M.; Rzesnicki, T.; Piosczyk, B.; Flamm, J.; Gantenbein, G.; Illy, S.; Jin, J.; Kern, S.; Samartsev, A.; Schlaich, A. 2010. 22nd Joint Russian-German Meeting on ECRH and Gyrotrons, Nizhny Novgorod, Russia, June 29 - July 5, 2010 Folien auf CD-ROM
An approach to Completely Searchable Encryption Haynberg, R. 2010. Tagungsband des 12. Kryptotags. Workshop der Fachgruppe "Angewandte Kryptographie" der "Gesellschaft für Informatik e.V.", 8–9, Karlsruher Institut für Technologie (KIT)
SOKEN: Schlüsselaustausch in sozialen Netzwerken Achenbach, D.; Förster, D. 2010. Tagungsband des 12. Kryptotags. Workshop der Fachgruppe "Angewandte Kryptographie" der "Gesellschaft für Informatik e.V.", 6–7, Karlsruher Institut für Technologie (KIT)
Schlüsselaustausch durch Mehrwegausbreitung Almeida, A.; Döttling, N.; Lazich, D. 2010. Tagungsband des 12. Kryptotags. Workshop der Fachgruppe "Angewandte Kryptographie" der "Gesellschaft für Informatik e.V.", 5–6, Karlsruher Institut für Technologie (KIT)
A Formalization of the RTSJ Scoped Memory Model in Dynamic Logic Engel, C.; Schmitt, P. H. 2010. Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France. Ed.: B. Beckert, 298–313, Karlsruher Institut für Technologie (KIT)
A Dynamic Logic for Unstructured Programs with Embedded Assertions Ulbrich, M. 2010. Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France. Ed.: B. Beckert, 128–142, Karlsruher Institut für Technologie (KIT)
Dynamic Frames in Java Dynamic Logic Schmitt, P. H.; Ulbrich, M.; Weiß, B. 2010. Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France. Ed.: B. Beckert, 113–127, Karlsruher Institut für Technologie (KIT)
Towards Testing a Verifying Compiler Bormer, T.; Wagner, M. 2010. Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France. Ed.: B. Beckert, 98–112, Karlsruher Institut für Technologie (KIT)
Development of an intelligent master-slave system between agricultural vehicles Zhang, X.; Geimer, M.; Noack, P. O.; Grandl, L. 2010. Proceedings of the 2010 IEEE Intelligent Vehicles Symposium, University of California, San Diego, CA, USA, June 21-24, 2010, 250–255, Institute of Electrical and Electronics Engineers (IEEE)