CONES OF HIGHER-CODIMENSIONAL CYCLES OLIVIER DEBARRE July 14, 2010 This is joint work with L. Ein, R. Lazarsfeld, and C. Voisin (eprint arXiv:, to appear in Compos. Math.).

Source URL: www.math.ens.fr

• Algebra
• Geometry
• Abstract algebra
• Algebraic geometry
• Algebraic varieties
• Convex geometry
• Divisor
• Nef line bundle
• Projective variety
• Abelian variety
• Convex cone
• Ample line bundle

Vectorizing Higher-Order Masking Benjamin Grégoire, Kostas Papagiannopoulos, Peter Schwabe, and Ko Stoffelen Motivation •

Source URL: ko.stoffelen.nl

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Source URL: adam.chlipala.net

• Computer programming
• Declarative programming
• Software engineering
• Exponentials
• Dependently typed programming
• Higher-order abstract syntax
• Logic programming
• Programming language theory
• Type theory
• Exponentiation
• Monad
• ?:

PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet

Source URL: manticore.cs.uchicago.edu

• Software engineering
• Computer programming
• Compiler optimizations
• Computing
• Inline expansion
• Optimizing compiler
• Data-flow analysis
• Scope
• Standard ML
• Functional programming
• Directed acyclic graph
• Static single assignment form

University of Crete holds its place The 2019 Times Higher Education (THE) World University Rankings, published on 26 September 2018, ranks University of Crete (UoCagain this year out of 1,258 institutions world

Source URL: www.en.uoc.gr

• College and university rankings
• Times Higher Education World University Rankings
• University of Crete
• Education
• University Ranking by Academic Performance
• Higher Education in the Arab World

Vectorizing Higher-Order Masking Benjamin Gr´egoire1 and Kostas Papagiannopoulos2 and Peter Schwabe2 and Ko Stoffelen2 1 2

Source URL: ko.stoffelen.nl

• Cryptography
• Computing
• Computer architecture
• Advanced Encryption Standard
• AES implementations
• ARM architecture
• Block cipher
• Bit array
• 64-bit computing
• Processor register

Counter Simulations via Higher Order Quantifier Elimination: a preliminary report Silvio Ghilardi Elena Pagani

Source URL: pxtp.github.io

• Logic
• Formal languages
• Philosophy
• Mathematical logic
• Interpretation
• Philosophy of mind
• Semantics
• Substitution
• Model theory
• Symbol
• IP
• operator

Formality of a higher-codimensional Swiss-Cheese operad Najib Idrissi∗ September 20, 2018 We study configurations of points in the complement of a linear subspace

Source URL: idrissi.eu

• Algebra
• Mathematics
• Abstract algebra
• Algebraic topology
• Topology
• Category theory
• Homotopy theory
• Operad theory
• Rational homotopy theory
• Configuration space
• Projection
• Retract

Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Proof assistants
• Logic in computer science
• Automated theorem proving
• Isabelle
• Automated reasoning
• E theorem prover
• Formal verification
• KeY

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Source URL: homes.sice.indiana.edu

• Type theory
• Software engineering
• Programming language theory
• Computing
• Scheme
• System F
• Type system
• HindleyMilner type system
• Racket
• Boolean data type
• Macro
• Typing environment