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

Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,

Source URL: www.avacs.org

• Differential equations
• Mathematics
• Hybrid automaton
• Hybrid system
• Systems science
• X0
• Center
• FO
• Systems theory

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

BRAT : a Web-based Tool for NLP-Assisted Text Annotation Pontus Stenetorp1∗ Sampo Pyysalo2,3∗ Goran Topi´c1 Tomoko Ohta1,2,3 Sophia Ananiadou2,3 and Jun’ichi Tsujii4

Source URL: pontus.stenetorp.se

Osnovna škola Ivan Goran Kovačić Čepić Razrednik/ca: _ Okvirni vremenik pisanih provjera znanja za 2. razred. – 1. polugodište

Source URL: os-igkovacic-cepic.skole.hr

Osnovna škola Ivan Goran Kovačić Čepić Razrednik/ca: Romina Licul_ Okvirni vremenik pisanih provjera znanja za 6. razred. – 2. polugodište

Source URL: os-igkovacic-cepic.skole.hr

Osnovna škola Ivan Goran Kovačić Čepić Razrednik/ca: DIJANA FRANKOVIĆ_ Okvirni vremenik pisanih provjera znanja za 7. razred. – 1. polugodište

Source URL: os-igkovacic-cepic.skole.hr

1 ArtlistaNaturariet Ringstamon (Claes-Göran)

Source URL: www.svampklubben.org

Osnovna škola Ivan Goran Kovačić Čepić Razrednik/ca: _ Okvirni vremenik pisanih provjera znanja za 1. razred. – 1. polugodište

Source URL: os-igkovacic-cepic.skole.hr

Operator Splitting Methods for Convex Optimization Analysis and Implementation Goran Banjac St Edmund Hall

Source URL: people.ee.ethz.ch