The CASPA Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper) Michael Backes1,2, Stefan Lorenz1 , Matteo Maffei1 , and Kim Pecina1 1

Source URL: sps.cs.uni-saarland.de

Optimal Strategies for Priced Timed Games Franck Cassez IRCCyN, Nantes, France joint work with Patricia Bouyer1 , Emmanuel Fleury2 and Kim G. Larsen2 1

Source URL: www.irccyn.fr

1 CPL Challenge Solution: How fast is the tide? (written by Gil Refael, Isaac Kim) H+h H-h

Source URL: www.cmp.caltech.edu

THE JOURNAL OF COMPARATIVE NEUROLOGY 507:1795–Identification of Molecular Markers of Bipolar Cells in the Murine Retina DOUGLAS S. KIM,1 SARAH E. ROSS,2 JEFFREY M. TRIMARCHI,1 JOHN AACH,1 MICHAEL E. GREEN

Source URL: www.ncbi.nlm.nih.gov

• Neurons
• Visual system
• Retina amacrine cell
• Retina
• Photoreceptor cell
• Rod cell
• Opsin
• Inner nuclear layer
• Cellular differentiation
• Anatomy
• Biology
• Histology

GEOPHYSICAL RESEARCH LETTERS, VOL. 32, L18501, doi:2005GL023006, 2005 Analysis of multiscale radiometric data collected during the Cold Land Processes Experiment-1 (CLPX-1) M. Tedesco,1 E. J. Kim,2 A. Gasiewski,

Source URL: www.cryocity.org

• Technology
• Earth sciences
• Special sensor microwave/imager
• Aqua
• Remote sensing
• Microwave
• National Snow and Ice Data Center
• Spacecraft
• Earth
• Radiometry

Proceedings of the ESWC2015 Developers Workshop Linked Data in Action: Personalized Museum Tours on Mobile Devices Olga Kovalenko1 , Yassine Mrabet2 , Kim Schouten3 , and Suad Sejdovic4? 1

Source URL: ceur-ws.org

Leerlingen :Kim Landwer Johan en Jessica Lips Klas: 4GT1 Inleverdatum: Docent: mevrouw F. van den Berg-Boel 1

Source URL: nvlm.nl

Updated: Thu., May. 24, 2012, 1:38 AM Kris keeps grip Last Updated: 1:38 AM, May 24, 2012 Posted: 1:37 AM, May 24, 2012

Source URL: southbeachgroup.com

• Humphries
• Kardashian
• Kardashian family
• National Basketball Association
• Kim Kardashian

9th International Conference on Power Electronics - ECCE Asia ICPE 2015-ECCE Asia June 1~5, Convention Center, Seoul, Korea

Source URL: www.icpe2015.org

• Electronics
• Electronic engineering
• Electromagnetism
• Institute of Electrical and Electronics Engineers
• AC/AC converter
• Kim Jong-Hwan
• International nongovernmental organizations
• Professional associations
• Standards organizations

Session 1 Young Do Kim (REVISED)PPT [Compatibility Mode]

Source URL: www.bruegel.org

• Association of Southeast Asian Nations
• Bond markets in Asia
• Regional integration
• Economic Research Institute for ASEAN and East Asia
• ASEAN Summit
• Organizations associated with the Association of Southeast Asian Nations
• International relations
• Asia