×

Found 125 Documents (Results 1–100)

The barycenter in free nilpotent Lie groups and its application to iterated-integrals signatures. arXiv:2305.18996

Preprint, arXiv:2305.18996 [math.RA] (2023).
BibTeX Cite
Full Text: arXiv

Integration of discrete-event dynamics and machining dynamics for machine tool: modeling, analysis and algorithms. arXiv:2211.09306

Preprint, arXiv:2211.09306 [math.DS] (2022).
BibTeX Cite
Full Text: arXiv

GivEn – shape optimization for gas turbines in volatile energy networks. (English) Zbl 1477.76074

Göttlich, Simone (ed.) et al., Mathematical modeling, simulation and optimization for power engineering and management. Cham: Springer. Math. Ind. 34, 71-106 (2021).
MSC:  76N25 76M99 65K10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Diagonalization of indefinite saddle point forms. (English) Zbl 1446.47002

Kurasov, Pavel (ed.) et al., Analysis as a tool in mathematical physics. In memory of Boris Pavlov. Collected papers presented at the conferences “Spectral Theory and Applications”, Stockholm, Sweden, March 13–15, 2016 and “Operator Theory, Analysis and Mathematical Physics – OTAMP2016”, Euler International Mathematical Institute, St. Petersburg, Russia, August 2–7, 2016. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 276, 373-400 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On ordinal invariants in well quasi orders and finite antichain orders. (English) Zbl 1481.03046

Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 29-54 (2020).
MSC:  03E10 03E05 06A06
PDFBibTeX XMLCite
Full Text: DOI arXiv

TeSSLa: temporal stream-based specification language. (English) Zbl 1519.68130

Massoni, Tiago (ed.) et al., Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11254, 144-162 (2018).
MSC:  68Q60 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Adjoint Method to Calculate Shape Gradients of Failure Probabilaties for Turbomachinery Components. arXiv:1802.05240

Preprint, arXiv:1802.05240 [math.NA] (2018).
MSC:  49Q10 74P10 65C50 60G55
BibTeX Cite
Full Text: arXiv

Perfect half space games. (English) Zbl 1452.91052

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 45, 11 p. (2017).
PDFBibTeX XMLCite
Full Text: arXiv Link

Modeling, minimizing and managing the risk of fatigue for mechanical components. (English) Zbl 1395.74079

Albeverio, Sergio (ed.) et al., Stochastic geometric mechanics. CIB, Lausanne, Switzerland, January–June 2015. Cham: Springer (ISBN 978-3-319-63452-4/hbk; 978-3-319-63453-1/ebook). Springer Proceedings in Mathematics & Statistics 202, 219-255 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fixed-dimensional energy games are in pseudo-polynomial time. (English) Zbl 1440.68122

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 260-272 (2015).
MSC:  68Q25 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Model checking coverability graphs of vector addition systems. (English) Zbl 1343.68152

Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 108-119 (2011).
MSC:  68Q60 68Q25 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Approximability and hardness in multi-objective optimization. (English) Zbl 1286.90136

Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 180-189 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Logic and the norms. Homage to Jean-Louis Gardies. (La logique et les normes. Hommage à Jean-Louis Gardies.) (French) Zbl 1315.01008

Recherches sur la Philosophie et le Langage. Paris: Librairie Philosophique J. Vrin (ISBN 978-2-7116-8391-8). 176 p. (2008).
PDFBibTeX XMLCite

Pricing exotic options using strong convergence properties. (English) Zbl 1308.91180

Bonilla, Luis L. (ed.) et al., Progress in industrial mathematics at ECMI 2006. Papers of the 14th European conference of the European Consortium for Mathematics in Industry, Leganés, Madrid, Spain, July 10–14, 2006. Berlin: Springer (ISBN 978-3-540-71991-5/hbk). Mathematics in Industry 12, 614-629 (2008).
MSC:  91G60 91G20 65C30
PDFBibTeX XMLCite
Full Text: DOI Link

Sparse nonnegative matrix factorization applied to microarray data sets. (English) Zbl 1178.68467

Rosca, Justinian (ed.) et al., Independent component analysis and blind signal separation. 6th international conference, ICA 2006, Charleston, SC, USA, March 5–8, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32630-8/pbk). Lecture Notes in Computer Science 3889, 254-261 (2006).
MSC:  68T05 65F30
PDFBibTeX XMLCite
Full Text: DOI

The virtual room inhabitant – intuitive interaction with intelligent environments. (English) Zbl 1151.68689

Zhang, Shichao (ed.) et al., AI 2005: Advances in artificial intelligence. 18th Australian joint conference on artificial intelligence, Sydney, Australia, December 5–9, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30462-2/pbk). Lecture Notes in Computer Science 3809. Lecture Notes in Artificial Intelligence, 225-234 (2005).
MSC:  68T40
PDFBibTeX XMLCite
Full Text: DOI

Speeding up hardware evolution: A coprocessor for evolutionary algorithms. (English) Zbl 1034.68663

Tyrrell, Andy M. (ed.) et al., Evolvable systems: From biology to hardware. 5th international conference, ICES 2003, Trondheim, Norway, March 17–20, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00730-X/pbk). Lect. Notes Comput. Sci. 2606, 274-285 (2003).
MSC:  68U99 68T05
PDFBibTeX XMLCite
Full Text: Link

KAON – Towards a large scale semantic web. (English) Zbl 1020.68554

Bauknecht, Kurt (ed.) et al., E-commerce and Web technologies. Third international conference, EC-Web 2002, Aix-en-Provence, France, September, September 2-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2455, 304-313 (2002).
MSC:  68U99 68T35 68U35
PDFBibTeX XMLCite
Full Text: Link

Deformation of an elastic cylindrical tube. (Deformation einer elastischen Flexlippe.) (German) Zbl 0867.73044

Hoffmann, Karl-Heinz (ed.) et al., Mathematik: Schlüsseltechnologie für die Zukunft. Verbundprojekte zwischen Universität und Industrie. Berlin: Springer. 177-189 (1997).
MSC:  74K15 74P99 74S05
PDFBibTeX XMLCite

Euclid’s geometry and its mathematical-theoretical foundation in the neo-Platonic philosophy of Proclus. (Euklids Geometrie und ihre mathematiktheoretische Grundlegung in der neuplatonischen Philosophie des Proklos.) (German) Zbl 0928.01003

Epistemata. Würzburger Wissenschaftliche Schriften, Reihe Philosophie. 212. Würzburg: Königshausen & Neumann. 449 S. (1997).
MSC:  01A20 00A30 01-01
PDFBibTeX XMLCite

Prophet theory. Prophet inequalities, prophet regions, games against a prophet. (Prophetentheorie. Prophetenungleichungen, Prophetenregionen, Spiele gegen einen Propheten.) (German) Zbl 0886.60033

Teubner Skripten zur Mathematischen Stochastik. Stuttgart: B. G. Teubner. viii, 210 S. (1997).
MSC:  60G40 60-02
PDFBibTeX XMLCite

Homesickness for Euclid? On the foundation of Euclid’s geometry in Proclus’s neoplatonic philosophy. (Heimweh nach Euklid? Zur Grundlegung von Euklids Geometrie in der neuplatonischen Philosophie des Proklos.) (German) Zbl 0917.01007

Döring, Klaus (ed.) et al., Antike Naturwissenschaft und ihre Rezeption. Band 6. Trier: WVT Wissenschaftlicher Verlag. 89-100 (1996).
MSC:  01A20 00A30
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