Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK

Source URL: www.logic.at

• Logic
• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Formal methods
• Logic programming
• Propositional calculus
• Resolution
• Unification
• Satisfiability modulo theories
• Literal

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

Source URL: sheharbano.com

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

Subexponential time relations in the class group of large degree number fields Jean-François Biasse University of Calgary 2500 University Drive NW

Source URL: www.lix.polytechnique.fr

• Mathematics
• Algebra
• Abstract algebra
• Algebraic geometry
• Bernhard Riemann
• Conjectures
• Analysis of algorithms
• Analytic number theory
• Generalized Riemann hypothesis
• Big O notation
• Valuation
• Riemann hypothesis

BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• Systems science
• Carnegie Mellon University
• Systems engineering
• Systems theory
• Cyberwarfare
• Software Engineering Institute
• System of systems
• Carnegie Mellon Silicon Valley
• Software engineering
• Pittsburgh
• Science and technology in the United States

GroupLink: Group Event Recommendations Using Personal Digital Traces Honghao Wei Tsinghua University Beijing, 100084, China

Source URL: www.cs.cornell.edu

• Information science
• Collaboration
• Humancomputer interaction
• Information retrieval
• Recommender systems
• Human communication
• Social information processing
• Collective intelligence
• Collaborative filtering
• Computer-supported cooperative work
• Personalization
• GroupLens Research

Learning Outcomes for the Master of Science in Psychology National Qualification Framework for Iceland Master of Science in Psychology at Reykjavik University The Master of Science (MSc) in Psychology at Reykjavík Unive

Source URL: en.ru.is

• Behavioural sciences
• Applied psychology
• Behavior
• Psychology
• Education
• Industrial and organizational psychology
• Activity theory
• Subfields of psychology

The Fiscal Theory of the Price Level in a World of Low Interest Rates Marco Bassetto Federal Reserve Bank of Chicago, University College London, and IFS

Source URL: www.hkimr.org

• Economy
• Macroeconomics
• Money
• Fiscal policy
• Theory of taxation
• Financial economics
• United States fiscal cliff
• Inflation
• Interest rate
• Fiscal theory of the price level
• Government budget balance
• Government debt

Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov

Source URL: mir.cs.illinois.edu

Building Secure Tame-like Multivariate Public-Key Cryptosystems: The New TTS Bo-Yin Yang1 and Jiun-Ming Chen2 1 Dept. of Mathematics, Tamkang University, Tamsui, Taiwan

Source URL: precision.moscito.org

• Algebra
• Mathematics
• Linear algebra
• Unbalanced Oil and Vinegar
• Kernel
• Quadratic form
• Rank
• Eigenvalues and eigenvectors
• Linear map
• Matrix
• Hidden Field Equations

Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

Source URL: seahorn.github.io

• Computing
• Software engineering
• Computer programming
• Methods of proof
• Logic in computer science
• Pointer
• Exec
• Counterexample
• Objective-C
• Model checking
• Abstract interpretation
• Operational semantics