×

Found 225 Documents (Results 1–100)

The aspect calculus. (English) Zbl 07178989

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 406-424 (2019).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

The Paulsen problem, continuous operator scaling, and smoothed analysis. (English) Zbl 1490.42034

Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 182-189 (2018).
MSC:  42C15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Problems and solutions in differential geometry, Lie series, differential forms, relativity and applications. (English) Zbl 1409.53002

Hackensack, NJ: World Scientific (ISBN 978-981-3230-82-8/hbk; 978-981-3232-96-9/ebook). xi, 284 p. (2018).
MSC:  53-01 58-01 00A07
PDFBibTeX XMLCite
Full Text: DOI

On the role of possibility in action execution and knowledge in the situation calculus. (English) Zbl 1454.68140

Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 155-161 (2017).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI Link

Algebro-geometric techniques and geometric insights for finite frames. (English) Zbl 1354.42055

Okoudjou, Kasso A. (ed.), Finite frame theory. A complete introduction to overcompleteness. AMS short course, San Antonio, TX, USA, January 8–9, 2015. Lecture notes. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2019-2/hbk; 978-1-4704-3212-6/ebook). Proceedings of Symposia in Applied Mathematics 73, 79-103 (2016).
MSC:  42C15 47B99 14M99
PDFBibTeX XMLCite

Note on three table Oberwolfach problem. (English) Zbl 1347.05161

Hinz, Andreas (ed.) et al., Proceedings of the international conference on graph theory and its applications (ICGTA-15), Coimbatore, India, December 16–19, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 53, 97-112, electronic only (2016).
MSC:  05C70 05C12 05C38
PDFBibTeX XMLCite
Full Text: DOI

Six (Seven) problems in frame theory. (English) Zbl 1322.42036

Zayed, Ahmed I. (ed.) et al., New perspectives on approximation and sampling theory. Festschrift in honor of Paul Butzer’s 85th birthday. Cham: Birkhäuser/Springer (ISBN 978-3-319-08800-6/hbk; 978-3-319-08801-3/ebook). Applied and Numerical Harmonic Analysis, 337-358 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Abstract dynamic frames. (English) Zbl 1405.68077

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 157-172 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Total frame potential and its applications in data clustering. (English) Zbl 1297.62005

Berichte aus der Mathematik. Aachen: Shaker Verlag; Dortmund: TU Dortmund, Fakultät für Mathematik (Diss. 2013) (ISBN 978-3-8440-2624-5/pbk). viii, 114 p. (2014).
PDFBibTeX XMLCite
Full Text: Link

Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable. (English) Zbl 1291.03037

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 411-436 (2012).
MSC:  03B45 03B25
PDFBibTeX XMLCite

A conflict-based model for problem-oriented software engineering and its applications solved by dimension change and use of intermediary. (English) Zbl 1185.68249

Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 61-69 (2009).
MSC:  68N99
PDFBibTeX XMLCite
Full Text: DOI

Logic-based agents and the frame problem: a case for progression. (English) Zbl 1110.68143

Hendricks, Vincent (ed.) et al., First-order logic revisited. Proceedings of the conference FOL75 – 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18–21, 2003. Berlin: Logos Verlag (ISBN 3-8325-0475-3/pbk). Logische Philosophie 12, 323-336 (2004).
MSC:  68T27 68N17 03B70
PDFBibTeX XMLCite

Heat equations in a nonholomic frame. (English. Russian original) Zbl 1069.47019

Funct. Anal. Appl. 38, No. 2, 88-101 (2004); translation from Funkts. Anal. Prilozh. 38, No. 2, 12-27 (2004).
PDFBibTeX XMLCite
Full Text: DOI

Control theory from the geometric viewpoint. (English) Zbl 1062.93001

Encyclopaedia of Mathematical Sciences 87. Control Theory and Optimization II. Berlin: Springer (ISBN 3-540-21019-9/hbk). xiv, 412 p. (2004).
PDFBibTeX XMLCite

Spatial geometric interpolation. (English) Zbl 1043.65018

Lyche, Tom (ed.) et al., Curve and surface design: Saint Malo 2002. Fifth international conference on curves and surfaces, Saint-Malo, France, June 27 – July 3, 2002. Proceedings. Brentwood, TN: Nashboro Press (ISBN 0-9728482-0-7/hbk). Modern Methods in Mathematics, 375-385 (2003).
MSC:  65D05 65D18
PDFBibTeX XMLCite

Knot manifolds of double-covariant systems of elliptic equations and preferred orthonormal three-frames. (English) Zbl 1037.83009

Nikitin, A. G. (ed.) et al., Proceedings of the fourth international conference on symmetry in nonlinear mathematical physics, Kyïv, Ukraine, July 9–15, 2001. Part 2. Dedicated to the 200th anniversary of M. Ostrohrads’kyi. Kyïv: Institute of Mathematics of NAS of Ukraine (ISBN 966-02-2486-9). Proc. Inst. Math. Natl. Acad. Sci. Ukr., Math. Appl. 43(2), 751-755 (2002).
MSC:  83C60 58J05 35J45 83C05
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

Biographic Reference

all top 3

Software