×

Found 643 Documents (Results 1–100)

100
MathJax

ameshref: a Matlab-toolbox for adaptive mesh refinement in two dimensions. (English) Zbl 1450.65110

Garanzha, Vladimir A. (ed.) et al., Numerical geometry, grid generation and scientific computing. Proceedings of the 9th international conference, NUMGRID 2018 / Voronoi 150, celebrating the 150th anniversary of G.F. Voronoi, Moscow, Russia, December 3–5, 2018. Cham: Springer. Lect. Notes Comput. Sci. Eng. 131, 269-279 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow. (English) Zbl 07168636

Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 109-129 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Issues in the software implementation of stochastic numerical Runge-Kutta. (English) Zbl 1477.65021

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 21st international conference, DCCN 2018, Moscow, Russia, September 17–21, 2018. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 919, 532-546 (2018).
MSC:  65C30 60H35 65L06
PDF BibTeX XML Cite
Full Text: DOI arXiv

A formally verified solver for homogeneous linear Diophantine equations. (English) Zbl 06946995

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 441-458 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Context generation from formal specifications for C analysis tools. (English) Zbl 06932825

Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10855, 93-111 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Computational exome and genome analysis. (English) Zbl 1384.92004

Chapman & Hall/CRC Mathematical and Computational Biology Series. Boca Raton, FL: CRC Press (ISBN 978-1-4987-7598-4/hbk; 978-1-4987-7599-1/ebook). xxi, 552 p. (2018).
PDF BibTeX XML Cite
Full Text: Link

FPGA-based key generator for the Niederreiter cryptosystem using binary Goppa codes. (English) Zbl 1450.94046

Fischer, Wieland (ed.) et al., Cryptographic hardware and embedded systems – CHES 2017. 19th international conference, Taipei, Taiwan, September 25–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10529, 253-274 (2017).
MSC:  94A60 81P94
PDF BibTeX XML Cite
Full Text: DOI

Vaquita: fast and accurate identification of structural variation using combined evidence. (English) Zbl 1443.92141

Schwartz, Russell (ed.) et al., 17th international workshop on algorithms in bioinformatics, WABI 2017, Boston, MA, USA, August 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 88, Article 13, 14 p. (2017).
MSC:  92D20 92-04
PDF BibTeX XML Cite
Full Text: DOI

Stream fusion, to completeness. (English) Zbl 1380.68084

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 285-299 (2017).
MSC:  68N15 68N20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Tool-supported specification of a wind turbine. (English) Zbl 1361.93043

Derbel, Faouzi (ed.) et al., Communication, signal processing and information technology. Berlin: De Gruyter (ISBN 978-3-11-044616-6/pbk; 978-3-11-044839-9/ebook). Advances in Systems, Signals and Devices 4, 115-129 (2017).
MSC:  93C95 93B07 93C30
PDF BibTeX XML Cite
Full Text: DOI

Loopless Gray code enumeration and the Tower of Bucharest. (English) Zbl 1369.68267

Demaine, Erik D. (ed.) et al., 8th international conference on fun with algorithms, FUN 2016, La Maddalena, Italy, June 8–10, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-005-7). LIPIcs – Leibniz International Proceedings in Informatics 49, Article 19, 19 p. (2016).
MSC:  68R05 68W32 91A46
PDF BibTeX XML Cite
Full Text: DOI arXiv

Multiple biological sequence alignment. Scoring functions, algorithms and evaluation. (English) Zbl 1344.92006

Wiley Series on Bioinformatics: Computational Techniques and Engineering. Hoboken, NJ: John Wiley & Sons (ISBN 978-1-118-22904-0/hbk; 978-1-119-27376-9/ebook). xiii, 225 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Statistical genomics. Methods and protocols. (English) Zbl 1346.92003

Methods in Molecular Biology 1418. New York, NY: Humana Press/Springer (ISBN 978-1-4939-3576-5/hbk; 978-1-4939-3578-9/ebook). xi, 418 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. (English) Zbl 1360.68353

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 205-217 (2015).
MSC:  68N20 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

An algebraic approach to population-based evolutionary algorithm generation. (English) Zbl 1351.68258

Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 95-107, electronic only (2014).
MSC:  68T20 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Formalization and execution of linear algebra: from theorems to algorithms. (English) Zbl 1453.68210

Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 1-18 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Climate modeling for scientists and engineers. (English) Zbl 1331.86002

Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-353-2/pbk). viii, 165 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Metalibm: a mathematical functions code generator. (English) Zbl 1434.68660

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 713-717 (2014).
MSC:  68V35 65-04 65Y99
PDF BibTeX XML Cite
Full Text: DOI HAL

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software