×

Found 176 Documents (Results 1–100)

100
MathJax

A beam search approach to the traveling tournament problem. (English) Zbl 1486.90164

Paquete, Luís (ed.) et al., Evolutionary computation in combinatorial optimization. 20th European conference, EvoCOP 2020, held as part of EvoStar 2020, Seville, Spain, April 15–17, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12102, 67-82 (2020).
MSC:  90C27 90C59
PDF BibTeX XML Cite
Full Text: DOI

Aspects of scattering amplitudes and moduli space localization. (English) Zbl 1457.81067

Springer Theses. Cham: Springer; Waterloo: University of Waterloo (Diss.) (ISBN 978-3-030-53009-9/hbk; 978-3-030-53012-9/pbk; 978-3-030-53010-5/ebook). xvii, 134 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Partition functions and automorphic forms. Lecture notes based on the presentations at the international scientifc school, Dubna, Russia, January 29 – February 2, 2018. (English) Zbl 1454.81013

Moscow Lectures 5. Cham: Springer (ISBN 978-3-030-42399-5/hbk; 978-3-030-42400-8/ebook). xiii, 415 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

\({\mathcal N}=4\) polygonal Wilson loops: fermions. (English) Zbl 1406.81089

Dobrev, Vladimir (ed.), Quantum theory and symmetries with Lie theory and its applications in physics. Volume 2. QTS-X/LT-XII, Varna, Bulgaria, June 19–25, 2017. Singapore: Springer (ISBN 978-981-13-2178-8/hbk; 978-981-13-2179-5/ebook). Springer Proceedings in Mathematics & Statistics 255, 181-191 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

An ample geometry of finite rank. (English) Zbl 1440.03005

Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). 145 p. (2018).
PDF BibTeX XML Cite
Full Text: Link

Mathematical modeling. Branching beyond calculus. (English) Zbl 1471.00001

Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-1-4987-7071-2/hbk; 978-1-4987-7073-6/ebook). xii, 304 p. (2018).
MSC:  00-01 00A71 00A06
PDF BibTeX XML Cite
Full Text: Link

UML interactions meet state machines – an institutional approach. (English) Zbl 1433.68097

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 15, 15 p. (2017).
MSC:  68N30 68Q10 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Extensions of Euler diagrams in Peirce’s four manuscripts on logical graphs. (English) Zbl 1394.03002

Jamnik, Mateja (ed.) et al., Diagrammatic representation and inference. 9th international conference, Diagrams 2016, Philadelphia, PA, USA, August 7–10, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42332-6/pbk; 978-3-319-42333-3/ebook). Lecture Notes in Computer Science 9781. Lecture Notes in Artificial Intelligence, 139-154 (2016).
MSC:  03-03 01A60
PDF BibTeX XML Cite
Full Text: DOI

Border-collision bifurcation in closed automatic control systems with sinusoidal pulse-width modulation. (English. Russian original) Zbl 1383.93007

J. Comput. Syst. Sci. Int. 55, No. 3, 425-434 (2016); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2016, No. 3, 97-106 (2016).
MSC:  93A30 93C10 34H20
PDF BibTeX XML Cite
Full Text: DOI

Space and knowledge. Elements of an epistemic theory of the use of diagrams. (Raum und Wissen. Elemente einer Theorie epistemischen Diagrammgebrauchs.) (German) Zbl 1406.03003

Berlin Studies in Knowledge Research 8. Berlin: De Gruyter (ISBN 978-3-11-044166-6/hbk; 978-3-11-043419-4/ebook). viii, 208 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Computing information flow using symbolic model-checking. (English) Zbl 1360.68359

Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 505-516 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Zélus: a synchronous language with ODEs. (English) Zbl 1361.68026

Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 113-118 (2013).
MSC:  68N15 34A38 65C20 68Q45 93A30
PDF BibTeX XML Cite
Full Text: DOI

Refinement inference for sequence diagrams. (English) Zbl 1303.68040

van Emde Boas, Peter (ed.) et al., SOFSEM 2013: theory and practice of computer science. 39th international conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 26–31, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35842-5/pbk). Lecture Notes in Computer Science 7741, 432-444 (2013).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Block diagrams of a multilayer piezoelectric motor for nano- and microdisplacements based on the longitudinal piezoelectric effect. (English. Russian original) Zbl 1279.93016

J. Comput. Syst. Sci. Int. 52, No. 1, 97-105 (2013); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2013, No. 1, 102-110 (2013).
MSC:  93A30 93C15 93C95
PDF BibTeX XML Cite
Full Text: DOI

Automating the process for modeling and simulation of mechatronics systems. (English) Zbl 1250.93025

Borutzky, Wolfgang (ed.), Bond graph modelling of engineering systems. Theory, applications and software support. Foreword by Donald Margolis. New York, NY: Springer (ISBN 978-1-4419-9367-0/hbk; 978-1-4419-9368-7/ebook). 385-430 (2011).
MSC:  93A30 05C90 93C95
PDF BibTeX XML Cite
Full Text: DOI

Multiple zeta values and periods: from moduli spaces to Feynman integrals. (English) Zbl 1228.81214

Ebrahimi-Fard, Kurusch (ed.) et al., Combinatorics and physics. Mini-workshop on renormalization, December 15–16, 2006, Conference on combinatorics and physics, March 19–23, 2007, Bonn, Germany. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-5329-0/pbk). Contemporary Mathematics 539, 27-52 (2011).
PDF BibTeX XML Cite

Translating Euclid’s diagrams into English, 1551–1571. (English) Zbl 1255.01006

Heeffer, Albrecht (ed.) et al., Philosophical aspects of symbolic reasoning in early modern mathematics. Selected papers of the conference, Ghent, Belgium, August 27–29, 2009. London: College Publications (ISBN 978-1-84890-017-2/pbk). Studies in Logic 26, 125-163 (2010).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software