First properties of Gushel–Mukai manifolds Hodge structures and period maps EPW sextics Back to periods Rationality questions

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Mathematics
• Hodge theory
• Hodge structure
• Homological algebra
• Manifold
• Sextic equation

A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University March 12, 2010

Source URL: rivoire.cs.sonoma.edu

• Parallel computing
• Computing
• Computer programming
• IT infrastructure
• Manycore processor
• Multi-core processor
• OpenMP

Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based

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

• Formal methods
• Theoretical computer science
• Complexity classes
• Automated theorem proving
• Vampire
• NP
• IP
• Mathematics
• Constraint programming
• Proof compression

Cut Fold First simple steps

Source URL: fiber.salt.ch

ON PRIME FANO VARIETIES OF DEGREE 10 AND COINDEX 3 OLIVIER DEBARRE Abstract. We discuss the period maps of certain (complex) Fano fourfolds. The first part of this talk deals with cubic fourfolds. We recall their Hodge s

Source URL: www.math.ens.fr

• Abstract algebra
• Algebra
• Geometry
• Algebraic geometry
• Algebraic surfaces
• Hodge theory
• Projective geometry
• Birational geometry
• Fano variety
• Hodge conjecture
• Divisor
• Hodge structure

Lecture 9: Tues Feb 14: Superdense Coding OK, now on to some new stuff! Superdense Coding is the first protocol we’ll see that requires entanglement. Basic information theory (Shannon) tells us that “by sending bits,

Source URL: www.scottaaronson.com

• Quantum information science
• Quantum mechanics
• Theoretical computer science
• Physics
• Superdense coding
• Qubit
• Controlled NOT gate
• Bell state
• Quantum entanglement
• Entanglement-assisted stabilizer formalism
• Quantum error correction

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Source URL: pxtp.github.io

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Dependently typed programming
• Formal methods
• Logical framework
• Proof theory
• First-order logic
• Lambda calculus
• Calculus of constructions

COSC 544 Probabilistic Proof SystemsA First Succinct Argument Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Cryptography
• Complexity classes
• Computational complexity theory
• NP
• IP
• Commitment scheme
• Soundness
• P
• Certificate
• Cryptographic hash function
• Interactive proof system
• Non-interactive zero-knowledge proof

For Immediate Release TENCENT ANNOUNCES 2016 FIRST QUARTER RESULTS Hong Kong, May 18, 2016 – Tencent Holdings Limited (“Tencent” or the “Company”, SEHK 00700), a leading provider of Internet value added servic

Source URL: www.tencent.com

• Economy
• Money
• Instant messaging clients
• Tencent
• Cash flow
• Mergers and acquisitions
• Corporate finance
• Earnings before interest
• taxes
• depreciation
• and amortization
• Income statement
• Balance sheet
• International Financial Reporting Standards
• Financial ratio

expanding horizons CAPITAL FIRST LIMITED ANNUAL REPORT Contents

Source URL: www.capitalfirst.com

• Private Sector Banks in India
• Economy of India
• Banking in India
• Public Sector Banks in India
• CNX Nifty
• BSE SENSEX
• Financial services
• Syndicate Bank
• RBL Bank
• SBI Mutual Fund
• Axis Bank
• HDFC Bank