×

Found 136 Documents (Results 1–100)

100
MathJax

Proving non-termination by finite automata. (English) Zbl 1366.68115

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 160-176 (2015).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Game problems for fractional-order systems. (English) Zbl 1206.49041

Baleanu, Dumitru (ed.) et al., New trends in nanotechnology and fractional calculus applications. Selected papers based on the presentations at the workshop new trends in science and technology (NTST 08), and the workshop fractional differentiation and its applications (FDA 09), Ankara, Türkei, November 2008. Dordrecht: Springer (ISBN 978-90-481-3292-8/hbk; 978-90-481-3293-5/ebook). 233-241 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Early termination over small fields. (English) Zbl 1072.68662

Sendra, J. Rafael (ed.), ISSAC 2003. Proceedings of the 2003 international symposium on symbolic and algebraic computation, Philadelphia, PA, USA, August 3–6, 2003. New York, NY: ACM Press (ISBN 1-58113-641-2/pbk). 80-87 (2003).
PDF BibTeX XML Cite

A finite branch-and-bound method for bilinear hydro power scheduling. (English) Zbl 1004.90047

Migdalas, Athanasios (ed.) et al., From local to global optimization. Papers from the conference dedicated to Professor Hoang Tuy on the occasion of his 70th birthday, Rimforsa, Sweden, August 1997. Dordrecht: Kluwer Academic Publishers. Nonconvex Optim. Appl. 53, 49-67 (2001).
MSC:  90C08 90C57 90B25
PDF BibTeX XML Cite

Resolution method for modal logic with well-founded frames. (English) Zbl 0942.03026

Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 277-291 (1999).
MSC:  03B44 03B35 03B70
PDF BibTeX XML Cite

Memory retention in conjugate gradient methods. (English) Zbl 0865.65043

Adams, Loyce (ed.) et al., Linear and nonlinear conjugate gradient-related methods. Proceedings of the AMS-IMS-SIAM summer research conference, Washington, DC, USA, July 9–13, 1995. Philadelphia, PA: SIAM. 101-106 (1996).
MSC:  65K05 65F10 90C20
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software