×

Found 36 Documents (Results 1–36)

Quantitative characterization of ductility for fractographic analysis. (English) Zbl 07737853

Ehrhardt, Matthias (ed.) et al., Progress in industrial mathematics at ECMI 2021. Proceedings of the 21st European conference on mathematics for industry, ECMI 2021, Wuppertal, Germany, April 13–15, 2021. Selected and reviewed papers. Cham: Springer. Math. Ind. 39, 349-355 (2022).
MSC:  65-XX
PDFBibTeX XMLCite
Full Text: DOI

Interpretation of Brain Morphology in Association to Alzheimer’s Disease Dementia Classification Using Graph Convolutional Networks on Triangulated Meshes. arXiv:2008.06151

Preprint, arXiv:2008.06151 [eess.IV] (2020).
BibTeX Cite
Full Text: DOI arXiv

Compiling sandboxes: formally verified software fault isolation. (English) Zbl 1524.68065

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 499-524 (2019).
MSC:  68N20
PDFBibTeX XMLCite
Full Text: DOI

Exact discretization of 3-speed rational signal machines into cellular automata. (English) Zbl 1365.68336

Cook, Matthew (ed.) et al., Cellular automata and discrete complex systems. 22nd IFIP WG 1.5 international workshop, AUTOMATA 2016, Zurich, Switzerland, June 15–17, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39299-8/pbk; 978-3-319-39300-1/ebook). Lecture Notes in Computer Science 9664, 63-76 (2016).
Reviewer: Jan Baetens (Gent)
MSC:  68Q80 37B15 68Q05
PDFBibTeX XMLCite
Full Text: DOI HAL

Digital spectral analysis. Parametric, non-parametric and advanced methods. (English) Zbl 1245.94007

Digital Signal and Image Processing Series. London: ISTE; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-84821-277-0/hbk). xv, 383 p. (2011).
PDFBibTeX XMLCite

Modular SMT proofs for fast reflexive checking inside Coq. (English) Zbl 1350.68224

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 151-166 (2011).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Sawja: static analysis workshop for Java. (English) Zbl 1308.68028

Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 92-106 (2011).
MSC:  68N15 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Certified static analysis by abstract interpretation. (English) Zbl 1252.68073

Aldini, Alessandro (ed.) et al., Foundations of security analysis and design V. FOSAD 2007/2008/2009 tutorial lectures. Berlin: Springer (ISBN 978-3-642-03828-0/pbk). Lecture Notes in Computer Science 5705, 223-257 (2009).
MSC:  68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software