×

Found 196 Documents (Results 1–100)

Assessing the impact of changing electricity and CO2 prices on synthetic fuel production: Multi-criteria heat exchanger network synthesis. arXiv:2310.14792

Preprint, arXiv:2310.14792 [math.OC] (2023).
BibTeX Cite
Full Text: arXiv

Unlocking the Potential of Synthetic Fuel Production: Coupled Optimization of Heat Exchanger Network and Operating Parameters of a 1 MW Power-to-Liquid Plant. arXiv:2310.09294

Preprint, arXiv:2310.09294 [math.OC] (2023).
BibTeX Cite
Full Text: DOI arXiv

Linear-time temporal logic with team semantics: expressivity and complexity. (English) Zbl 07799630

Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 52, 17 p. (2021).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Runtime enforcement of hyperproperties. (English) Zbl 1497.68291

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 283-299 (2021).
MSC:  68Q60 03B44 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Report of the TopoInVis TTK hackathon: experiences, lessons learned, and perspectives. (English) Zbl 07483389

Hotz, Ingrid (ed.) et al., Topological methods in data analysis and visualization VI. Theory, applications, and software. Selected papers based on the presentations at the 8th TopoInVis workshop, Nyköping, Sweden, June 2019. Cham: Springer. Math. Vis., 359-373 (2021).
PDFBibTeX XMLCite
Full Text: DOI HAL

An overview of the topology toolkit. (English) Zbl 07483387

Hotz, Ingrid (ed.) et al., Topological methods in data analysis and visualization VI. Theory, applications, and software. Selected papers based on the presentations at the 8th TopoInVis workshop, Nyköping, Sweden, June 2019. Cham: Springer. Math. Vis., 327-342 (2021).
PDFBibTeX XMLCite
Full Text: DOI HAL

Realizing \(\omega\)-regular hyperproperties. (English) Zbl 1478.68157

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 40-63 (2020).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the construction of class fields. (English) Zbl 07721128

Scheidler, Renate (ed.) et al., ANTS XIII. Proceedings of the thirteenth algorithmic number theory symposium, University of Wisconsin-Madison, WI, USA, July 16–20, 2018. Berkeley, CA: Mathematical Sciences Publishers (MSP). Open Book Ser. 2, 239-255 (2019).
MSC:  11R37 11Y40
PDFBibTeX XMLCite
Full Text: DOI

Periodic locally compact groups. A study of a class of totally disconnected topological groups. (English) Zbl 1423.22001

De Gruyter Studies in Mathematics 71. Berlin: De Gruyter (ISBN 978-3-11-059847-6/hbk; 978-3-11-059919-0/ebook). liii, 301 p. (2019).
MSC:  22-02 22B05
PDFBibTeX XMLCite
Full Text: DOI

Dynamics and statistics in the operator algebra of quantum mechanics. (English) Zbl 1414.81025

Ozawa, Masanao (ed.) et al., Reality and measurement in algebraic quantum theory. NWW 2015, Nagoya, Japan, March 9–13, 2015. Selected papers based on presentations at the Nagoya winter workshop 2015: reality and measurement in algebraic quantum theory. Singapore: Springer. Springer Proc. Math. Stat. 261, 179-194 (2018).
MSC:  81P05 81R15 81P15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Nemo/Hecke. Computer algebra and number theory packages for the Julia programming language. (English) Zbl 1457.68325

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 157-164 (2017).
MSC:  68W30 11-04
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the estimation of interaction parameters in weak measurements. (English) Zbl 1291.81027

Ralph, Timothy (ed.) et al., Quantum communication, measurement and computing (QCMC). The tenth international conference, Brisbane, Australia, July 19–23, 2010. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0921-7/hbk). AIP Conference Proceedings 1363, 125-128 (2011).
MSC:  81P15
PDFBibTeX XMLCite
Full Text: DOI arXiv

25th Texas symposium on relativistic astrophysics, Texas 2010, Heidelberg, Germany, December 6–10, 2010. (English) Zbl 1259.85003

AIP Conference Proceedings 1381. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0941-5/pbk). vi, 255 p. (2011).
PDFBibTeX XMLCite

Java as the first programming language. From newcomer to professional. With CD-ROM. 6th revised ed. (Java als erste Programmiersprache. Vom Einsteiger zum Profi. Mit CD-ROM.) (German) Zbl 1210.68046

Wiesbaden: Vieweg+Teubner (ISBN 978-3-8348-0656-7/hbk; 978-3-8348-9854-8/ebook). xv, 1266 p. (2011).
MSC:  68N15 68-01
PDFBibTeX XMLCite
Full Text: DOI

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