22 citations · 22 across the 2 of their papers we have counts for
2 papers
cs.LO2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir, Ziv Freund, Guy Katz +2
In this short paper, we present our ongoing work on the veriFIRE project -- a collaboration between industry and academia, aimed at using verification for increasing the reliabilit…
math.AP2010★ 22 cited
Ring-type singular solutions of the biharmonic nonlinear Schrodinger equation
Guy Baruch, Gadi Fibich, Elad Mandelbaum
We present new singular solutions of the biharmonic nonlinear Schrodinger equation in dimension d and nonlinearity exponent 2σ+1. These solutions collapse with the quasi self-simil…