SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA

Source URL: jorgenavas.github.io

• Programming language implementation
• Compiler construction
• Software engineering
• Computing
• Compiler optimizations
• Software testing
• Abstract interpretation
• LLVM
• Compiler
• Intermediate representation
• Hoare logic
• Static single assignment form

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOL. 13, NO. 4, AUGUSTA Hierarchical Data Transmission Framework for Industrial Wireless Sensor and Actuator

Source URL: wirelesslab.sjtu.edu.cn

A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract

Source URL: shukla.io

• Metaphysics
• Cybernetics
• Logic
• Computational neuroscience
• Human behavior
• Robotics
• Human communication
• Humanrobot interaction
• Multimodal interaction
• Image segmentation
• Artificial intelligence
• Knowledge

Towards A Framework for Mobile Behavior Change Research Fabian Okeke Cornell Tech, Cornell University New York, New York

Source URL: destrin.smalldata.io

• Computing
• Technology
• Classes of computers
• Mobile computers
• Humancomputer interaction
• Cloud clients
• Smartphones
• Mobile phones
• Ubiquitous computing
• Persuasive technology
• Mobile app
• Wearable computer

VARAN the Unbelievable An Efficient N-version Execution Framework Petr Hosek Cristian Cadar

Source URL: srg.doc.ic.ac.uk

• Computer architecture
• Computing
• Computer programming
• Application programming interfaces
• System calls
• Process
• Unix
• Concurrent computing
• Varan
• Seccomp
• Fork
• Return-oriented programming

UNIVERSITY OF TORONTO FRAMEWORK TO ADDRESS ALLEGATIONS OF RESEARCH MISCONDUCT Revised Effective January 1, PREAMBLE

Source URL: www.sgs.utoronto.ca

• Misconduct
• Scientific misconduct
• Human behavior
• Applied ethics
• Hate speech laws in Canada
• Southwell inquiry

The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3

Source URL: seahorn.github.io

• Software engineering
• Software
• Computing
• Logic in computer science
• Programming language semantics
• Logic programming
• Compilers
• LLVM
• Abstract interpretation
• Constraint logic programming
• Operational semantics
• Clang

Learning Outcomes for MSc in Business Administration National Qualification Framework for Iceland Master in Business Administration at Reykjavik University MSc degree in Business Administration is a 120 ECTS qualificatio

Source URL: en.ru.is

• Education
• Human behavior
• Educational psychology
• Management education
• Behavioural sciences
• Scientific method
• Learning
• Master's degree
• Evaluation
• Academic degree
• Master of Business Administration
• Critical thinking

Learning Outcomes for Master of Science (MSc) in Information Management National Qualification Framework for Iceland Master´s Degree CycleECTS. Master of Science in Information Management at Reykjavik Unive

Source URL: en.ru.is

• Knowledge
• Metaphysics
• Education
• Information
• Information system
• Academic degree
• Research
• Master's degree
• Information management
• Bachelor's degree
• Collaboratory
• PhD in management

Learning Outcomes for Master of Marketing (MM) National Qualification Framework for Iceland Master of Marketing at Reykjavik University Master of Marketing (MM) is a 90 ECTS-credit qualification at master level. It focus

Source URL: en.ru.is

• Marketing
• Education
• Cognition
• Human behavior
• Academic degree
• Master's degree
• Research
• Bachelor's degree
• Critical thinking
• Outline of marketing