×

Found 127 Documents (Results 1–100)

Electron wave functions in beta-decay formulas revisited. I: Gamow-Teller and spin-dipole contributions to allowed and first-forbidden transitions. (English) Zbl 07421859

PTEP, Prog. Theor. Exper. Phys. 2021, No. 10, Article ID 103D03, 23 p. (2021); errata ibid. 2022, No. 5, Article ID 059301, 1 p. (2022).
MSC:  81-XX 78-XX
PDFBibTeX XMLCite
Full Text: DOI arXiv

Covering dimension of \(C^*\)-algebras and 2-coloured classification. (English) Zbl 1448.46005

Memoirs of the American Mathematical Society 1233. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3470-0/pbk; 978-1-4704-4949-0/ebook). vii, 97 p. (2019).
MSC:  46-02 46L05 46L35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automatically disproving fair termination of higher-order functional programs. (English) Zbl 1361.68153

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 243-255 (2016).
MSC:  68Q60 68N18 68T15
PDFBibTeX XMLCite
Full Text: DOI

BIEs for modelling of discontinuities in linear multi-field half-space. (English) Zbl 1381.74165

Cheng, A. H-D. (ed.) et al., Boundary elements and other mesh reduction methods XXXVIII. Selected papers based on the presentations at the 38th international conference (BEM/MRM), New Forest, UK, September 21–23, 2015. Southampton: WIT Press (ISBN 978-1-78466-027-7/hbk; 978-1-78466-028-4/ebook). WIT Transactions on Modelling and Simulation 61, 125-137 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Encoding dependency pair techniques and control strategies for maximal completion. (English) Zbl 1465.68126

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 152-162 (2015).
MSC:  68Q42 68V15
PDFBibTeX XMLCite
Full Text: DOI

Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. (English) Zbl 1309.68008

Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). xvi, 503 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Optimizing \(\text{mkb}_{\text{TT}}\). (English) Zbl 1236.68156

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 373-384, electronic only (2010).
MSC:  68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Recursive functions with pattern matching in interaction nets. (English) Zbl 1291.68119

Corradini, Andrea (ed.), Proceedings of the 5th international workshop on computing with terms and graphs (TERMGRAPH 2009), York, UK, March 22, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 253, No. 4, 55-71 (2009).
MSC:  68N18 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Multi-completion with termination tools. (System description). (English) Zbl 1165.68472

Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 306-312 (2008).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

\((2+1)\)-dimensional topological quantum field theory with a Verlinde basis and Turaev-Viro-Ocneanu invariants of \(3\)-manifolds. (English) Zbl 1035.57017

Ohtsuki, T. (ed.) et al., Invariants of knots and 3-manifolds. Proceedings of the workshop, Kyoto, Japan, September 17–21, 2001. Coventry: Geometry and Topology Publications. Geom. Topol. Monogr. 4, 281-294 (2002).
MSC:  57R56 57M27 81T45 46L37
PDFBibTeX XMLCite
Full Text: arXiv EMIS

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