Attack-preserving Security Protocol Transformations Binh Thanh Nguyen, David Basin, and Christoph Sprenger Institute of Information Security, ETH Zurich, Switzerland {thannguy,basin,sprenger}@inf.ethz.ch Abstract. The r

Source URL: people.inf.ethz.ch

An Empirical Study of Build Maintenance Effort Shane McIntosh, Bram Adams, Thanh H. D. Nguyen, Yasutaka Kamei, and Ahmed E. Hassan Software Analysis and Intelligence Lab (SAIL) School of Computing, Queen’s University,

Source URL: sail.cs.queensu.ca

Chương Trình Khởi Xướng Thiện Nguyện Là Gì? Chương trình Khởi Xướng Thiện Nguyện (VIP: Volunteer Initiatives Program) của Thành Phố Houston trực thuộc Cơ Quan Phục Vụ Láng Giềng

Source URL: houstontx.gov

Adapted from an original activity by: Tarlise Townsend and Astrid Kause, In collaboration with Peg Steffen, NOAA National Ocean Service, Dinh Thai Hung, Thanh Ngo Duc, and Vinh Nguyen Le Ai, and Susan Fox at NOAA

Source URL: games.noaa.gov

Unification in the Description Logic EL without the Top Concept Franz Baader1? , Nguyen Thanh Binh2 , Stefan Borgwardt1? , and Barbara Morawska1? 1

Source URL: ceur-ws.org

Towards Decentralized Fast Consistent Updates Thanh Dang Nguyen Marco Chiesa Marco Canini

Source URL: perso.uclouvain.be

Session II – Envisioning New Approaches to Managing Great Deltas, Great Rivers, and Great Lakes 2:10 PM Role of Wetland and Constructed Wetland in Wastewater Treatment Le Quoc Tuan1, Tran Thi Thanh Huong2, Nguyen Thi M

Source URL: deltas.usgs.gov

Thành phố Osaka Giải pháp chống ngập của thành phố Osaka Hầu hết các khu vực ở thành phố Osaka, ngoại trừ cao nguyên Uemachi, nằm ở vùng trũng và dưới mực nước biển khi

Source URL: www.owesa.jp

Using Micro-Reviews to Select an Efficient Set of Reviews ∗ Thanh-Son Nguyen Hady W. Lauw

Source URL: www.cs.uoi.gr

• Computational linguistics
• Natural language processing
• Theory of computation
• Automatic summarization
• Data mining
• Computational science
• Semantic similarity
• Statistics
• Reduction
• Recommender system
• Matching