Solver Paramter Tuning and Runtime Predictions of Flexible Hybrid Mathematical models. Michael Barry University of Basel / HES-SO / Universitt Basel Petersplatz 1, 4001 Basel / Tec

Source URL: icaps16.icaps-conference.org

• Mathematics
• Applied mathematics
• Modeling and simulation
• Numerical software
• Solver
• Mathematical model
• Mathematical modeling
• Artificial neural network
• Economic model
• Open energy system models
• PLPAK

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Source URL: unsat.cs.washington.edu

• Computer architecture
• System software
• Disk file systems
• Data management
• Inode
• File system
• Journaling file system
• Log-structured File System
• Ext3
• Mkfs
• Refinement
• Ext4

COLLOQUIUM Daniel Drimbe University of Regina Orbit equivalance superrigidity

Source URL: www.uregina.ca

Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Computer science
• Formal methods
• Computing
• Logic in computer science
• European Joint Conferences on Theory and Practice of Software
• Computer Aided Verification
• Software verification
• Formal verification
• Edmund M. Clarke
• Satisfiability modulo theories
• Verification

Exploring Limits to Prediction in Complex Social Systems Jake M. Hofman Travis Martin University of Michigan

Source URL: gdac.uqam.ca

• Software
• Computing
• Digital media
• Social media
• Social networking services
• Business intelligence
• Real-time web
• Text messaging
• Twitter
• Predictive modelling
• Prediction
• Instagram

Fairness in an Unfair World: Fair Multiparty Computation from public Bulletin Boards Arka Rai Choudhuri Johns Hopkins University Matthew Green

Source URL: eprint.iacr.org

• Cryptography
• Secure multi-party computation
• Authenticated encryption
• Ciphertext indistinguishability
• Public-key cryptography
• Cryptographic protocol
• Encryption
• Digital signature
• Standard model
• Key
• Advantage

Learning Outcomes for Master of Science (MSc) in Corporate Finance National Qualification Framework for Iceland Master of Corporate Finance at Reykjavik University Master of Science in Corporate Finance (MSc MCF) is a 12

Source URL: en.ru.is

• Finance
• Corporate finance
• Master's degree
• Academic degree
• Education
• Economy
• Professional certification in finance
• Management education
• Vocational education
• Chartered Financial Analyst
• Knowledge worker

The Language of Deceivers: Linguistic Features of Crowdfunding Scams ∗ Wafa Shafqat, Seunghun Lee, Sehrish Malik, Hyun-chul Kim Sangmyung University, Cheonan, South Korea

Source URL: gdac.uqam.ca

• Economy
• Money
• Finance
• Collaborative finance
• Crowdfunding
• Entrepreneurship
• Financial technology
• Kickstarter

A Scalable Smart Contracts Platform ! Shehar Bano ! Postdoc, InfoSec group! University College London!

Source URL: sheharbano.com

• Cryptocurrencies
• Blockchains
• Computing
• Ethereum
• Concurrent computing
• Distributed computing
• Cross-platform software
• Bitcoin
• Smart contract
• Scalability
• University College London

Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de

Source URL: icaps16.icaps-conference.org

• Search algorithms
• Theoretical computer science
• Heuristic
• State space search
• Mathematical optimization
• Algorithm
• Mathematics
• Philosophy of mathematics
• Cognitive science