×

Found 46 Documents (Results 1–46)

MITL verification under timing uncertainty. (English) Zbl 07643432

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 136-152 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Continuous monitoring of \(\ell_p\) norms in data streams. (English) Zbl 1467.68220

Jansen, Klaus (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 20th international workshop, APPROX 2017 and 21st international workshop, RANDOM 2017, Berkeley, CA, USA, August 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 81, Article 32, 13 p. (2017).
MSC:  68W27 68P05 68W20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Kinetic reverse \(k\)-nearest neighbor problem. (English) Zbl 1401.68352

Kratochvíl, Jan (ed.) et al., Combinatorial algorithms. 25th international workshop, IWOCA 2014, Duluth, MN, USA, October 15–17, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-19314-4/pbk; 978-3-319-19315-1/ebook). Lecture Notes in Computer Science 8986, 307-317 (2015).
MSC:  68U05 68U10 68W05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Station assignment with applications to sensing. (English) Zbl 1397.90233

Flocchini, Paola (ed.) et al., Algorithms for sensor systems. 9th international symposium on algorithms and experiments for sensor systems, wireless networks and distributed robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5–6, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-45345-8/pbk; 978-3-642-45346-5/ebook). Lecture Notes in Computer Science 8243, 155-169 (2014).
MSC:  90B80 90B18 90B35
PDFBibTeX XMLCite
Full Text: DOI

Crustal deformation models and time-frequency analysis of GPS data from Deception Island volcano (South Shetland Islands, Antarctica). (English) Zbl 1149.86316

Donner, Reik V. (ed.) et al., Nonlinear time series analysis in the geosciences. Applications in climatology, geodynamics and solar-terrestrial physics. Selected papers based on the presentations at the session on ‘Application of nonlinear times series analysis in geoscience’, Vienna, Austria, April 15–20, 2007. Berlin: Springer (ISBN 978-3-540-78937-6/hbk). Lecture Notes in Earth Sciences 112, 245-272 (2008).
MSC:  86A60 65T60 86A15
PDFBibTeX XMLCite
Full Text: DOI

Developing optimal regulation and monitoring strategies to control a continuous petrochemical process. (English) Zbl 0910.90138

Abraham, Bovas (ed.), Quality improvement through statistical methods. International conference, Cochin, India, December 28–31, 1996. Boston: Birkhäuser. Statistics for Industry and Technology. 61-77 (1998).
MSC:  90B25
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software