TIMON “Enhanced real time services for optimized multimodal mobility relying on cooperative networks and open data” Deliverable D8.6: Publishable Summary v1 Dissemination level: :

Source URL: timon-project.eu

• Timon
• Intelligent transportation system
• Film
• Fiction

Verifiable Computation Advisor(s): Daniel Slamanig Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Motivation

Source URL: www.iaik.tugraz.at

• Distributed computing
• Secure communication
• Verifiable computing
• Cloud computing
• Institute for Applied Information Processing and Communications
• Deliverable

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-9

Source URL: spes2020.informatik.tu-muenchen.de

• Computing
• Object-oriented programming
• Software engineering
• Computer programming
• Interface
• XC
• Covariance and contravariance
• Abstraction
• User interface
• MARIA XML

Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.3 (D10)

Source URL: rodin.cs.ncl.ac.uk

• Software
• Java platform
• Proof assistants
• Debuggers
• Eclipse
• IBM software
• KeY
• Wolfram Mathematica
• Rodin tool

Semantic Interoperability for Health Network of Excellence Deliverable 2.1 Summarising Health Records for Populations: Cardiovascular Use-cases

Source URL: www.semantichealthnet.eu

• Health
• Medicine
• Health economics
• Nutrition
• Global health
• Cardiovascular disease
• RTT
• Statin
• Preventive healthcare
• Health informatics
• Health care
• Population health

Joint Development Foundation 3MF Consortium Associate Agreement This Associate Agreement (“Agreement”) is entered into between the 3MF Consortium, a Joint Development Foundation Project, and the Associate. Project.

Source URL: www.3mf.io

• Project management
• Deliverable
• 3D Manufacturing Format
• Trademark
• Computing
• Business
• Technology

Report on the First Deliverable of Work Package 6.1 (Partial Information) for the FP7-funded Grant MONFISPOL Joseph Pearlman London Metropolitan University November 12, 2009

Source URL: www.monfispol.eu

TDR SMALL GRANT APPLICATION FORM

Source URL: www.emro.who.int

• Project management
• Management
• IEEE standards
• Systems engineering
• Professional studies
• Business
• Deliverable
• Program management
• Risk management
• Work breakdown structure

Final version of the optimizations algorithms and tools Deliverable 4.3 Nature : Deliverable Due date :

Source URL: www.mancoosi.org

• Software
• Numerical analysis
• Mathematical software
• Numerical software
• Mathematical optimization
• Solver
• Constraint programming
• Lis

Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.1

Source URL: rodin.cs.ncl.ac.uk

• Software
• Simulation
• Database
• Systems engineering
• Scientific modelling
• Eclipse
• Business process modeling
• Conceptual model
• Rodin tool
• Model-driven architecture