CUSTOMER INNOVATION STUDY Concordia Plan Services saves over $400,000 by moving its Infor applications to the cloud

Source URL: www.infor.com

• Marketing
• Infor
• Customer-relationship management
• Economy
• Business

Solving Constraints over Bit-Vectors with SAT-based Model Checking Extended Abstract Yakir Vizel1 , Alexander Nadel2 , and Sharad Malik1 2

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Logic in computer science
• Formal methods
• Computational complexity theory
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Z3
• Solver

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Source URL: scungao.github.io

• Computational complexity theory
• Theoretical computer science
• Mathematical logic
• NP-complete problems
• Electronic design automation
• Formal methods
• Logic in computer science
• Predicate logic
• Boolean satisfiability problem
• Quantifier
• Limit of a function
• Exponential time hypothesis

DEHN FUNCTION AND ASYMPTOTIC CONES OF ABELS’ GROUP YVES CORNULIER, ROMAIN TESSERA Abstract. We prove that Abels’ group over an arbitrary local field has a quadratic Dehn function. As applications, we exhibit connecte

Source URL: www.normalesup.org

• Geometry
• Geometric group theory
• Mathematics
• Group theory
• Combinatorics on words
• Geometric topology
• Metric geometry
• Dehn function
• Quasi-isometry
• Ultralimit
• Presentation of a group
• Finitely generated abelian group

TWO OR THREE THINGS I KNOW ABOUT ABELIAN VARIETIES OLIVIER DEBARRE Abstract. We discuss, mostly without proofs, classical facts about abelian varieties (proper algebraic groups defined over a field). The general theory i

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Algebraic geometry
• Niels Henrik Abel
• Algebraic varieties
• Homological algebra
• Abelian varieties
• Projective variety
• Divisor
• Picard group
• Sheaf
• Ample line bundle

Swiss-Cheese operad and Drinfeld center Najib Idrissi∗ January 5, 2017 We build a model in groupoids for the Swiss-Cheese operad, based on parenthesized permutations and braids. We relate algebras over this model

Source URL: idrissi.eu

• Algebra
• Mathematics
• Category theory
• Abstract algebra
• Operad theory
• Homotopy theory
• Algebraic topology
• Groupoid
• Algebra over a field
• Monoidal category
• F-algebra
• Center

Lina Vincent Sunish Associate Curator India Website: www.artport-project.org Lina Vincent Sunish is an art historian and curator with over 15 years experience in research, design, curatio

Source URL: artport-project.org

• Waswo X. Waswo
• National Gallery of Modern Art
• Bangalore
• NGMA
• Goa

Alt Text for Benetech Back-to-School Survey Visualizations Visualization #1: Survey respondents came from all over the United States • A world map that depicts where survey respondents are located across the United S

Source URL: bookshareblog.wpengine.com

• Educators
• Occupations
• Teacher
• Human behavior
• Learning
• Behavior modification

A Framework for Constructing Fast MPC over Arithmetic Circuits with Malicious Adversaries and an Honest-Majority∗ Yehuda Lindell Ariel Nof

Source URL: eprint.iacr.org

What neuroscience can reveal about cognition and its origins Skerry, A.E. and Saxe, RCognitive scientists have long been concerned with the origins of human knowledge. Over the last several decades, researche

Source URL: saxelab.mit.edu

• Neuroscience
• Brain
• Cerebrum
• Cognition
• Temporal lobe
• Attention
• Face perception
• Vision
• Cognitive science
• Cognitive neuroscience
• Theory of mind
• Inferior temporal gyrus