Browsing by Subject "Systematic study"

Sort by: Order: Results:

  • The complexity of generalized satisfiability for linear temporal logic 
    Bauland, Michael; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert (Braunschweig : International Federation for Computational Logic, 2009)
    In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set ...
  • A spatio-spectral polarization analysis of 1 µm-pumped bulk supercontinuum in a cubic crystal (YAG) 
    Choudhuri, Aradhana; Chatterjee, Gourab; Zheng, Jiaan; Hartl, Ingmar; Ruehl, Axel; Miller, R.J. Dwayne (Heidelberg : Springer Verlag, 2018)
    We present the first systematic study of the spatio-spectral polarization properties of a supercontinuum generated in a cubic crystal, yttrium–aluminum garnet (YAG), including a full spectral analysis of the white light ...