×

Found 141 Documents (Results 1–100)

Automated and sound synthesis of Lyapunov functions with SMT solvers. (English) Zbl 1507.68335

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 97-114 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Counterexample-guided refinement of template polyhedra. (English) Zbl 1452.68099

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 589-606 (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

Stochastic games with signals. (English) Zbl 1354.91017

Thuijsman, Frank (ed.) et al., Advances in dynamic and evolutionary games. Theory, applications, and numerical methods. Based on the symposium of the International Society of Dynamic Games, Amsterdam, Netherlands, July 9–12, 2014. Basel: Birkhäuser/Springer (ISBN 978-3-319-28012-7/hbk; 978-3-319-28014-1/ebook). Annals of the International Society of Dynamic Games 14, 77-94 (2016).
MSC:  91A15 91A05
PDFBibTeX XMLCite
Full Text: DOI

Breaking and repairing GCM security proofs. (English) Zbl 1294.94053

Safavi-Naini, Reihaneh (ed.) et al., Advances in cryptology – CRYPTO 2012. 32nd annual cryptology conference, Santa Barbara, CA, USA, August 19–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32008-8/pbk). Lecture Notes in Computer Science 7417, 31-49 (2012).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

On a conjecture by De Giorgi in dimensions 9 and higher. (English) Zbl 1231.35024

Farina, Alberto (ed.) et al., Symmetry for elliptic PDEs. 30 years after a conjecture of De Giorgi and related problems. Selected papers presented at the INdAM school, Rome, Italy, May 25–29, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4804-3/pbk). 115-137 (2010).
MSC:  35B40 35J91 35J61
PDFBibTeX XMLCite

One-class classification methods via automatic counter-example generation. (English) Zbl 1157.68438

Gammerman, A. (ed.), Artificial intelligence and applications. Machine learning. As part of the 26th IASTED international multi-conference on applied informatics. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-710-9/CD-ROM). 58-63 (2008).
MSC:  68T10 68T05
PDFBibTeX XMLCite

Counterexamples of compact type to the Goldberg conjecture and various version of the conjecture. (English) Zbl 1155.53039

Dimiev, Stancho (ed.) et al., Topics in contemporary differential geometry, complex analysis and mathematical physics. Proceedings of the 8th international workshop on complex structures and vector fields, Sofia, Bulgaria, August 21–26, 2006. Hackensack, NJ: World Scientific (ISBN 978-981-270-790-1/hbk). 222-233 (2007).
MSC:  53C55
PDFBibTeX XMLCite

Partially greedy algorithms. (English) Zbl 1054.65054

Kopotun, Kirill (ed.) et al., Trends in approximation theory. Papers from the internatinal symposium in honor of the 60th birthday of Larry L. Schumaker, Nashville, TX, USA, May 17–20, 2000. Nashville, TX: Vanderbilt University Press (ISBN 0-8265-1379-4/hbk). Innovations in Applied Mathematics, 143-148 (2001).
MSC:  65J05
PDFBibTeX XMLCite

Counterexamples to the “Jacobian conjecture at infinity”. (English. Russian original) Zbl 1009.14012

Proc. Steklov Inst. Math. 235, 173-201 (2001); translation from Tr. Mat. Inst. Steklova 235, 181-210 (2001).
MSC:  14R15 13F20
PDFBibTeX XMLCite

Emphasizing human techniques in automated geometry theorem proving: A practical realization. (English) Zbl 0985.68058

Richter-Gebert, Jürgen (ed.) et al., Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25-27, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2061, 268-305 (2001).
MSC:  68T15 68U05 03B35
PDFBibTeX XMLCite
Full Text: Link

Least squares fitting to univariate data subject to restrictions on the signs of the second differences. (English) Zbl 1031.65027

Buhmann, Martin D. (ed.) et al., Approximation theory and optimization. Tributes to M. J. D. Powell on the occasion of his 60th birthday. Cambridge: Cambridge University Press. 109-132 (1997).
PDFBibTeX XMLCite

Testable algorithms for self-avoiding walks. (English) Zbl 0873.60049

Proceedings of the 5th annual ACM-SIAM symposium on discrete algorithms, Arlington, VA, USA, January 23-25, 1994. New York, NY: ACM, 593-602 (1994).
MSC:  60J20 65C05
PDFBibTeX XMLCite

No counter-example interpretation and interactive computation. (English) Zbl 0752.03028

Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 287-293 (1992).
MSC:  03F35 03F30
PDFBibTeX XMLCite

On the elements and eigenvalues of normal matrices. (Portuguese. English summary) Zbl 0747.15008

Algebra, logic and number theory, Proc. 15th Port.-Span. Meet. Math., Évora/ Port. 1990, Vol. I, 95-99 (1991).
MSC:  15B57 15A18
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software