Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3

Source URL: repository.ist.ac.at

• Algebra
• Mathematics
• Convex geometry
• Linear algebra
• Convex analysis
• Convex cone
• Abstract interpretation
• Octahedron
• Polyhedron
• Linear programming
• Linear inequality
• Convex set

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

Source URL: eprints.nottingham.ac.uk

• Theoretical computer science
• Quantum information science
• Quantum mechanics
• Quantum computing
• Models of computation
• Emerging technologies
• Quantum programming
• Quantum circuit
• Reversible computing
• QML
• Qubit
• Quantum teleportation

NewsHQ Basic A Digital Archive of Your Company’s Press Releases NewsHQ Basic is a repository of all of your company’s press releases that have been distributed through Business Wire. Take advantage of NewsHQ Basic w

Source URL: cdn2.hubspot.net

• Computing
• Berkshire Hathaway
• Business Wire
• Press release
• Microsite

Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2

Source URL: repository.ist.ac.at

• Mathematics
• Geometry
• Mathematical analysis
• Topology
• Convex analysis
• Measure theory
• Order theory
• Cover
• General topology
• Convex function
• Support
• Interval

Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2

Source URL: repository.ist.ac.at

• Mathematics
• Geometry
• Algebra
• Analytic geometry
• Linear algebra
• Algebraic curves
• Cone
• Surfaces
• Conic section
• Convex cone
• Line
• Hybrid system

Technical Meeting of Repository Networks May 14 & 15, Hamburg, Germany On May 14 & 15, COAR will host a meeting of repository networks to discuss services and technologies of networks around the world. Repository

Source URL: www.coar-repositories.org

• Academic publishing
• Publishing
• Knowledge
• Information
• Institutional repository
• Open access
• COnnecting REpositories
• Interoperability

PDF Document

Source URL: repository.jisc.ac.uk

PDF Document

Source URL: repository.jisc.ac.uk

PDF Document

Source URL: repository.jisc.ac.uk

PDF Document

Source URL: repository.jisc.ac.uk