FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

Source URL: www.lix.polytechnique.fr

• Computing
• Software engineering
• Computer programming
• Array programming languages
• High-level programming languages
• Parallel computing
• Compiler optimizations
• Fortran
• Functional programming
• MATLAB
• Argonne National Laboratory
• NP

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

Source URL: www.lsi.upc.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• 120-cell
• Predicate

Accoun&ng for Variability in Large‐ Scale Cluster Power Models   John D. Davis,  MicrosoB Research, Silicon Valley Lab,   Suzanne Rivoire, Moises Goldszmidt, and Ehsan K.  Ardestani 

Source URL: rivoire.cs.sonoma.edu

• Computer architecture
• Computer hardware
• Computing
• Opteron
• Athlon
• Advanced Micro Devices
• Solid-state drive

Look Before You Shame: A Study on Shaming Activities on Twitter Rajesh Basak, Niloy Ganguly, Shamik Sural, Soumya K Ghosh Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur Kharagpur,

Source URL: gdac.uqam.ca

• Technology
• Computing
• World Wide Web
• Social media
• Internet vigilantism
• Internet-based activism
• Cyberspace
• Internet culture
• Online shaming
• Twitter
• Tweet
• Hashtag

Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a

Source URL: qav.comlab.ox.ac.uk

• Computational complexity theory
• Dynamic programming
• Markov processes
• Stochastic control
• Analysis of algorithms
• Markov decision process
• Reinforcement learning
• Time complexity
• PP
• Reachability

Property-Directed k-Induction Dejan Jovanovi´c Bruno Dutertre SRI International

Source URL: csl.sri.com

FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact K¨ ahler manifold X which is homeomorphic to Pn is isomorphic to Pn . This holds for a

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Cohomology theories
• Algebraic geometry
• Homological algebra
• Birational geometry
• Algebraic surfaces
• Cohomology
• Projective variety
• Hodge theory
• tale cohomology
• Kodaira dimension

Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm)

Source URL: smt2014.it.uu.se

• Mathematical analysis
• Logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Conflict-driven clause learning
• E
• Calculus
• Substitution
• Exponential function

INVESTOR P R E S E N TAT I O N B L O C K O N E C A P I TA L I N C . TSX-V: BLOK OTCQB: BKPPF

Source URL: www.blockonecap.com

• Language
• Culture
• Index of standards articles
• Standards
• Bissa language

Mining Large Dense Subgraphs Ajitesh Srivastava Charalampos Chelmis Viktor K. Prasanna

Source URL: gdac.uqam.ca

• Graph theory
• NP-complete problems
• Dense subgraph
• Clique problem
• Clique
• Dense graph
• Planar graphs
• Graph operations
• Planarization
• Induced subgraph isomorphism problem