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

Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in

Source URL: www.cs.purdue.edu

• Finite automata
• Abstract algebra
• Algebra
• Finite-state transducer
• Mathematics
• Theoretical computer science
• Finite-state machine
• Semigroup action
• Kazhdan's property
• Tree transducer

Erste Diskussionsrunde Treiber und betroffene Gebiete • Cloud Computing ist ein neuer Versuch, eine alte Idee zu reanimieren. Es handelt sich im Grund um eine blosse Marketing & Sales-Kampagne der Anbieter von Infrastr

Source URL: www.ta-swiss.ch

– MEDIAKIT 2018 – Eine Publikation der Gruppe Weitab der Klischees und in ein elegantes Erscheinungsbild gekleidet hat sich Agefi LIFE eine einzigartige Stellung auf dem Schweizer Markt schaffen können. Es ist zur

Source URL: www.agefi.com

Software-basierte Mikroarchitekturangriffe1 Daniel Gruss2 Abstract: Moderne Prozessoren sind hoch optimierte Systeme, bei denen jeder einzelne Rechenzeitzyklus von Bedeutung ist. Viele Optimierungen h¨angen von den Date

Source URL: gruss.cc

Praxisbeispiel Gefahrstofflagerung Praxisbeispiel Gefahrstofflagerung Weltweit für aktiven Umweltund Arbeitsschutz Im produzierenden Gewerbe ist die Lagerung von Gefahrstoffen eng verbunden

Source URL: www.konzeptmedia.ch

MEDIENMITTEILUNG Die Basler Versicherungen und AMAG investieren in Carhelper Zürich, 24. JuliCarhelper.ch ist die grösste Schweizer Vergleichs- und

Source URL: www.carhelper.ch

Golfen in Marokko Marokko ist ein absolutes Golfer-Paradies! Es bietet im ganzen Königreich über 27 verschiedene, hervorragende Golfplätze. Für jeden Geschmack und jedes Niveau ist garantiert etwas mit dabei. Die mei

Source URL: www.letsgo.ch

Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria

Source URL: www.cs.purdue.edu

• Boolean algebra
• Forcing
• Theoretical computer science
• Mathematics
• Complete Boolean algebra
• Order theory
• Assertion
• Mathematical logic

1427 FMH Editorial Ärztegesundheit ist zentral für ­Patientengesundheit

Source URL: www.fmh.ch