EPISTEMIC UPDATES ON ALGEBRAS ALEXANDER KURZ AND ALESSANDRA PALMIGIANO Department of Computer Science, University of Leicester, Leicester, UK Faculty of Technology, Policy and Management, Delft University of Technology,

Source URL: www.appliedlogictudelft.nl

Delft University of Technology Software Engineering Research Group Technical Report Series A Theory of Name Resolution with Extended Coverage and Proofs

Source URL: swerl.tudelft.nl

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Scope
• Name resolution
• Syntax
• Variable
• Lambda calculus
• Declaration
• Compiler
• Scheme

Assessment and Comparison of New and Old Carbon Filters for Contaminants Removal: Antwerp Coca Cola plant, Belgium Zinabu Tebeje Zewdu UNESCO-IHE, P. O. Box 3015, 2601 DA Delft, the Netherlands () ABSTRA

Source URL: www.mu.edu.et

Proc. 12th International Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS 2011), Delft, The Netherlands, AprilGPU ACCELERATION FOR SUPPORT VECTOR MACHINES Andreas Athanasopoulos, Anastasios

Source URL: www.iti.gr

Thursday 13 June 2013 KAV L I COL LO Q U I UM TU Delft,Sports & Culture,

Source URL: kavli.tudelft.nl

Delft University of Technology Master’s Thesis in Embedded Systems Event patterns for distributed runtime verification ¨ Kwekkeboom

Source URL: www.es.ewi.tudelft.nl

ISSE 2015: The 2nd International Workshop on the Integration of Safety and Security Engineering Workshop Programme September 22, 2015 Delft, The Netherlands

Source URL: safecomp2015.tudelft.nl

• Prevention
• Public health
• Safety
• Security
• Crime prevention
• Cryptography
• National security
• Public safety
• Security engineering

ASSURE 2015: The 3rd International Workshop on Assurance Cases for Software-Intensive Systems Workshop Programme September 22, 2015 Delft, The Netherlands Tuesday, 22nd September 2015

Source URL: safecomp2015.tudelft.nl

• Christianity
• Enterprise architecture
• Enterprise modelling
• Information technology management
• Software architecture
• Auditing
• Assurance
• Evangelicalism
• Lutheran theology
• Argumentation theory
• ArchiMate
• Archi

QLectives – Socially Intelligent Systems for Quality Project noInstrument: Large-scale integrating project (IP) Programme: FP7-ICT Deliverable D4.1.3 QLective Platform v3 - Short report

Source URL: qlectives.eu

• Technology
• Digital media
• Politics and technology
• Email
• Peer-to-peer
• Deliverable
• Social peer-to-peer processes
• Politics
• Delft University of Technology
• Internet

Delft University of Technology Master’s Thesis in Embedded Systems Extending behavioral test models with symbolic data Christiaan Hartman

Source URL: www.es.ewi.tudelft.nl