# bibtab

bibtype: proceedings
filename: fparith.bib
label: Montuschi:2016:ISC
editor: Paolo Montuschi and Michael Schulte and Javier Hormigo and Stuart Oberman and Nathalie Revol
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xxi + 182
year: 2016
ISBN: 1-5090-1615-5 OR 1509016155
ISBN13: 978-1-5090-1615-0 OR 9781509016150
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2016
bibdate: Fri Dec 16 15:16:45 2016
bibtimestamp: 2016.12.16 15:16:45 ???
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=7562813
acknowledgement: ack-nhfb
raweditor: Paolo Montuschi and Michael Schulte and Javier Hormigo and Stuart Oberman and Nathalie Revol
booktitle:
2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016

title:
2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016

bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/mathcw.bib

keywords:
ARITH-23; computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification

rawbooktitle:
{2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016}

rawtitle:
{2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016}

entry:
@Proceedings{Montuschi:2016:ISC,
  editor =       "Paolo Montuschi and Michael Schulte and Javier Hormigo
                 and Stuart Oberman and Nathalie Revol",
  booktitle =    "{2016 IEEE 23nd Symposium on Computer Arithmetic
                 (ARITH 2016), Santa Clara, California, USA, 10--13 July
                 2016}",
  title =        "{2016 IEEE 23nd Symposium on Computer Arithmetic
                 (ARITH 2016), Santa Clara, California, USA, 10--13 July
                 2016}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xxi + 182",
  year =         "2016",
  ISBN =         "1-5090-1615-5",
  ISBN-13 =      "978-1-5090-1615-0",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2016",
  bibdate =      "Fri Dec 16 15:16:45 2016",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathcw.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=7562813",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-23; computer arithmetic units; correctness
                 proofs; cryptography; domain specific designs; error
                 analysis; exascale computing; floating point
                 arithmetic; floating-point error analysis; formal
                 verification; function approximation; modular
                 arithmetic; theorem proving; verification",
}


bibtype: proceedings
filename: fparith.bib
label: Burgess:2017:ISC
editor: Neil Burgess and Javier Bruguera and Florent de Dinechin
booktitle: 24th IEEE Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017
title: 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xii + 198
year: 2017
ISBN: 1-5386-1966-0 (print), 1-5386-1965-2, 1-5386-1964-4 OR 1538619660 (print), 1538619652, 1538619644
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2017
bibdate: Fri Nov 17 10:14:11 2017
bibtimestamp: 2017.11.17 10:14:11 ???
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=8019911
acknowledgement: ack-nhfb
rawbooktitle: {24th IEEE Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017}
raweditor: Neil Burgess and Javier Bruguera and Florent de Dinechin
rawtitle: {2017 IEEE 24th Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017}
ISBN13:
978-1-5386-1966-7 (print), 978-1-5386-1965-0, 978-1-5386-1964-3 OR 9781538619667 (print), 9781538619650, 9781538619643

bibsource:
https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/gnu.bib

keywords:
ARITH-24; computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification

entry:
@Proceedings{Burgess:2017:ISC,
  editor =       "Neil Burgess and Javier Bruguera and Florent de
                 Dinechin",
  booktitle =    "{24th IEEE Symposium on Computer Arithmetic (ARITH
                 24), London, UK, 24--26 July 2017}",
  title =        "{2017 IEEE 24th Symposium on Computer Arithmetic
                 (ARITH 24), London, UK, 24--26 July 2017}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 198",
  year =         "2017",
  ISBN =         "1-5386-1966-0 (print), 1-5386-1965-2, 1-5386-1964-4",
  ISBN-13 =      "978-1-5386-1966-7 (print), 978-1-5386-1965-0,
                 978-1-5386-1964-3",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2017",
  bibdate =      "Fri Nov 17 10:14:11 2017",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/gnu.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=8019911",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-24; computer arithmetic units; correctness
                 proofs; cryptography; domain specific designs; error
                 analysis; exascale computing; floating point
                 arithmetic; floating-point error analysis; formal
                 verification; function approximation; modular
                 arithmetic; theorem proving; verification",
}


bibtype: proceedings
filename: fparith.bib
label: Desprez:2017:EPP
volume: 10104
publisher: Springer
address: Cham, Switzerland
pages: xxxix + 829
year: 2017
DOI: https://doi.org/10.1007/978-3-319-58943-5
ISBN: 3-319-58943-1 (e-book), 3-319-58943-1 (hardcover) OR 3319589431 (ebook), 3319589431 (hardcover)
LCCN: QA76.9.E94; QA76.758TK
bibdate: Mon Feb 10 06:29:59 MST 2020
bibsource: fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2020.02.10 06:29:59 MST
series: ser-LNCS
acknowledgement: ack-nhfb
editor:
Frederic Desprez and Pierre-Francois Dutot and Christos Kaklamanis and Loris Marchal and Korbinian Molitorisz and Laura Ricci and Vittorio Scarano and Miguel A. Vega-Rodriguez and Ana Lucia Varbanescu and Sascha Hunold

booktitle:
Euro-Par 2016: Euro-Par 2016 International Workshops, Grenoble, France, August 24--26, 2016, Revised Selected Papers

title:
Euro-Par 2016: Euro-Par 2016 International Workshops, Grenoble, France, August 24--26, 2016, Revised Selected Papers

ISBN13:
978-3-319-58943-5 (e-book), 978-3-319-58943-5 (hardcover) OR 9783319589435 (ebook), 9783319589435 (hardcover)

abstract:
This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France in August 2016. The 65 full papers presented were carefully reviewed and selected from 95 submissions. The volume includes the papers from the following workshops: Euro-EDUPAR (Second European Workshop on Parallel and Distributed Computing Education for Undergraduate Students); HeteroPar 2016 (the 14th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms); IWMSE (5th International Workshop on Multicore Software Engineering); LSDVE (Fourth Workshop on Large-Scale Distributed Virtual Environments) - PADABS (Fourth Workshop on Parallel and Distributed Agent-Based Simulations); PBio (Fourth International Workshop on Parallelism in Bioinformatics); PELGA (Second Workshop on Performance Engineering for Large-Scale Graph Analytics); REPPAR (Third International Workshop on Reproducibility in Parallel Computing); Resilience (9th Workshop in Resilience in High Performance Computing in Clusters, Clouds, and Grids); ROME (Fourth Workshop on Runtime and Operating Systems for the Many-Core Era); UCHPC (9th Workshop on UnConventional High-Performance Computing).

TOC:
Parallel and distributed computing education for undergraduate students. Algorithms, models and tools for parallel computing on heterogeneous platforms Multicore software engineering Large-scale distributed virtual environments Parallel and distributed agent-based simulations Parallelism in bioinformatics Performance engineering for large-scale graph analytics Reproducibility in parallel computing Resilience in high performance computing in clusters, clouds, and grids Runtime and operating systems for the many-core era UnConventional high-performance computing

rawabstract:
This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France in August 2016. The 65 full papers presented were carefully reviewed and selected from 95 submissions. The volume includes the papers from the following workshops: Euro-EDUPAR (Second European Workshop on Parallel and Distributed Computing Education for Undergraduate Students); HeteroPar 2016 (the 14th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms); IWMSE (5th International Workshop on Multicore Software Engineering); LSDVE (Fourth Workshop on Large-Scale Distributed Virtual Environments) - PADABS (Fourth Workshop on Parallel and Distributed Agent-Based Simulations); PBio (Fourth International Workshop on Parallelism in Bioinformatics); PELGA (Second Workshop on Performance Engineering for Large-Scale Graph Analytics); REPPAR (Third International Workshop on Reproducibility in Parallel Computing); Resilience (9th Workshop in Resilience in High Performance Computing in Clusters, Clouds, and Grids); ROME (Fourth Workshop on Runtime and Operating Systems for the Many-Core Era); UCHPC (9th Workshop on UnConventional High-Performance Computing).

rawbooktitle:
{Euro-Par 2016: Euro-Par 2016 International Workshops, Grenoble, France, August 24--26, 2016, Revised Selected Papers}

raweditor:
Fr{\'e}d{\'e}ric Desprez and Pierre-Fran{\c{c}}ois Dutot and Christos Kaklamanis and Loris Marchal and Korbinian Molitorisz and Laura Ricci and Vittorio Scarano and Miguel A. Vega-Rodr{\'i}guez and Ana Lucia Varbanescu and Sascha Hunold

rawtitle:
{Euro-Par 2016: Euro-Par 2016 International Workshops, Grenoble, France, August 24--26, 2016, Revised Selected Papers}

rawTOC:
Parallel and distributed computing education for undergraduate students.\\ Algorithms, models and tools for parallel computing on heterogeneous platforms \\ Multicore software engineering \\ Large-scale distributed virtual environments \\ Parallel and distributed agent-based simulations \\ Parallelism in bioinformatics \\ Performance engineering for large-scale graph analytics \\ Reproducibility in parallel computing \\ Resilience in high performance computing in clusters, clouds, and grids \\ Runtime and operating systems for the many-core era \\ UnConventional high-performance computing

entry:
@Proceedings{Desprez:2017:EPP,
  editor =       "Fr{\'e}d{\'e}ric Desprez and Pierre-Fran{\c{c}}ois
                 Dutot and Christos Kaklamanis and Loris Marchal and
                 Korbinian Molitorisz and Laura Ricci and Vittorio
                 Scarano and Miguel A. Vega-Rodr{\'i}guez and Ana Lucia
                 Varbanescu and Sascha Hunold",
  booktitle =    "{Euro-Par 2016: Euro-Par 2016 International Workshops,
                 Grenoble, France, August 24--26, 2016, Revised Selected
                 Papers}",
  title =        "{Euro-Par 2016: Euro-Par 2016 International Workshops,
                 Grenoble, France, August 24--26, 2016, Revised Selected
                 Papers}",
  volume =       "10104",
  publisher =    "Springer",
  address =      "Cham, Switzerland",
  pages =        "xxxix + 829",
  year =         "2017",
  DOI =          "https://doi.org/10.1007/978-3-319-58943-5",
  ISBN =         "3-319-58943-1 (e-book), 3-319-58943-1 (hardcover)",
  ISBN-13 =      "978-3-319-58943-5 (e-book), 978-3-319-58943-5
                 (hardcover)",
  LCCN =         "QA76.9.E94; QA76.758TK",
  bibdate =      "Mon Feb 10 06:29:59 MST 2020",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       ser-LNCS,
  abstract =     "This book constitutes the proceedings of the workshops
                 of the 23rd International Conference on Parallel and
                 Distributed Computing, Euro-Par 2016, held in Grenoble,
                 France in August 2016. The 65 full papers presented
                 were carefully reviewed and selected from 95
                 submissions. The volume includes the papers from the
                 following workshops: Euro-EDUPAR (Second European
                 Workshop on Parallel and Distributed Computing
                 Education for Undergraduate Students); HeteroPar 2016
                 (the 14th International Workshop on Algorithms, Models
                 and Tools for Parallel Computing on Heterogeneous
                 Platforms); IWMSE (5th International Workshop on
                 Multicore Software Engineering); LSDVE (Fourth Workshop
                 on Large-Scale Distributed Virtual Environments) -
                 PADABS (Fourth Workshop on Parallel and Distributed
                 Agent-Based Simulations); PBio (Fourth International
                 Workshop on Parallelism in Bioinformatics); PELGA
                 (Second Workshop on Performance Engineering for
                 Large-Scale Graph Analytics); REPPAR (Third
                 International Workshop on Reproducibility in Parallel
                 Computing); Resilience (9th Workshop in Resilience in
                 High Performance Computing in Clusters, Clouds, and
                 Grids); ROME (Fourth Workshop on Runtime and Operating
                 Systems for the Many-Core Era); UCHPC (9th Workshop on
                 UnConventional High-Performance Computing).",
  acknowledgement = ack-nhfb,
  meetingname =  "Euro-Par (2016 : Grenoble)",
  tableofcontents = "Parallel and distributed computing education for
                 undergraduate students.\\
                 Algorithms, models and tools for parallel computing on
                 heterogeneous platforms \\
                 Multicore software engineering \\
                 Large-scale distributed virtual environments \\
                 Parallel and distributed agent-based simulations \\
                 Parallelism in bioinformatics \\
                 Performance engineering for large-scale graph analytics
                 \\
                 Reproducibility in parallel computing \\
                 Resilience in high performance computing in clusters,
                 clouds, and grids \\
                 Runtime and operating systems for the many-core era \\
                 UnConventional high-performance computing",
}


bibtype: proceedings
filename: fparith.bib
label: Matthews:2017:CRF
editor: Michael B. Matthews
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xxx + 2058
year: 2017
LCCN: TK7801
bibdate: Mon Feb 10 08:40:43 MST 2020
bibsource: fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2020.02.10 08:40:43 MST
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=8330843
acknowledgement: ack-nhfb
raweditor: Michael B. Matthews
booktitle:
Conference record of the Fifty-First Asilomar Conference on Signals, Systems and Computers, October 29--November 1, 2017 Pacific Grove, California

title:
Conference record of the Fifty-First Asilomar Conference on Signals, Systems and Computers, October 29--November 1, 2017 Pacific Grove, California

ISBN:
1-5386-1824-9 (print), 1-5386-0666-6, 1-5386-1823-0 (e-book) OR 1538618249 (print), 1538606666, 1538618230 (ebook)

ISBN13:
978-1-5386-1824-0 (print), 978-1-5386-0666-7, 978-1-5386-1823-3 (e-book) OR 9781538618240 (print), 9781538606667, 9781538618233 (ebook)

rawbooktitle:
{Conference record of the Fifty-First Asilomar Conference on Signals, Systems and Computers, October 29--November 1, 2017 Pacific Grove, California}

rawtitle:
{Conference record of the Fifty-First Asilomar Conference on Signals, Systems and Computers, October 29--November 1, 2017 Pacific Grove, California}

entry:
@Proceedings{Matthews:2017:CRF,
  editor =       "Michael B. Matthews",
  booktitle =    "{Conference record of the Fifty-First Asilomar
                 Conference on Signals, Systems and Computers, October
                 29--November 1, 2017 Pacific Grove, California}",
  title =        "{Conference record of the Fifty-First Asilomar
                 Conference on Signals, Systems and Computers, October
                 29--November 1, 2017 Pacific Grove, California}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xxx + 2058",
  year =         "2017",
  ISBN =         "1-5386-1824-9 (print), 1-5386-0666-6, 1-5386-1823-0
                 (e-book)",
  ISBN-13 =      "978-1-5386-1824-0 (print), 978-1-5386-0666-7,
                 978-1-5386-1823-3 (e-book)",
  LCCN =         "TK7801",
  bibdate =      "Mon Feb 10 08:40:43 MST 2020",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=8330843",
  acknowledgement = ack-nhfb,
}


bibtype: proceedings
filename: fparith.bib
label: ACM:2018:CNG
editor: ACM
booktitle: Conference for Next Generation Arithmetic (Resorts World Convention Centre, Singapore): (CoNGA '18)
title: Conference for Next Generation Arithmetic (Resorts World Convention Centre, Singapore): (CoNGA '18)
publisher: pub-ACM
address: pub-ACM:adr
pages: 37
year: 2018
bibdate: Sun Dec 10 14:24:09 2023
bibsource: https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2023.12.10 14:24:09 ???
remark: No ISBN seems to have been assigned.
acknowledgement: ack-nhfb
raweditor: {ACM}
TOC:
1: A Matrix-Multiply Unit for Posits in Reconfigurable Logic Using (OPEN)CAPI / Jianyu Chen, Zaid Al-Ars 2: Provably Correct Posit Arithmetic with Fixed-Point Big Integer / Shin Yee Chung 3: The Slide Number Format / Ignaz Kohlbecker 4: High-level .NET Software Implementations of Unum Type I and Posit with Simultaneous FPGA Implementation Using Hastlayer / Zoltan Lehoczky, Andras Retzler, Richard Toth, Almos Szabo, Benedek Farkas and Krisztian Somogyi 5: Universal Coding of the Reals: Alternatives to IEEE Floating Point / Peter Lindstrom, Scott Lloyd and Jeffrey Hittinger

rawbooktitle:
Conference for Next Generation Arithmetic ({Resorts World Convention Centre, Singapore}): ({CoNGA '18})

rawtitle:
Conference for Next Generation Arithmetic ({Resorts World Convention Centre, Singapore}): ({CoNGA '18})

rawTOC:
1: A Matrix-Multiply Unit for Posits in Reconfigurable Logic Using (OPEN)CAPI / Jianyu Chen, Zaid Al-Ars \\ 2: Provably Correct Posit Arithmetic with Fixed-Point Big Integer / Shin Yee Chung \\ 3: The Slide Number Format / Ignaz Kohlbecker \\ 4: High-level .NET Software Implementations of Unum Type I and Posit with Simultaneous FPGA Implementation Using Hastlayer / Zolt{\'a}n Leh{\'o}czky, Andr{\'a}s Retzler, Rich{\'a}rd T{\'o}th, {\'A}lmos Szab{\'o}, Benedek Farkas and Kriszti{\'a}n Somogyi \\ 5: Universal Coding of the Reals: Alternatives to IEEE Floating Point / Peter Lindstrom, Scott Lloyd and Jeffrey Hittinger

entry:
@Proceedings{ACM:2018:CNG,
  editor =       "{ACM}",
  booktitle =    "Conference for Next Generation Arithmetic ({Resorts
                 World Convention Centre, Singapore}): ({CoNGA '18})",
  title =        "Conference for Next Generation Arithmetic ({Resorts
                 World Convention Centre, Singapore}): ({CoNGA '18})",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "37",
  year =         "2018",
  bibdate =      "Sun Dec 10 14:24:09 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  acknowledgement = ack-nhfb,
  remark =       "No ISBN seems to have been assigned.",
  tableofcontents = "1: A Matrix-Multiply Unit for Posits in
                 Reconfigurable Logic Using (OPEN)CAPI / Jianyu Chen,
                 Zaid Al-Ars \\
                 2: Provably Correct Posit Arithmetic with Fixed-Point
                 Big Integer / Shin Yee Chung \\
                 3: The Slide Number Format / Ignaz Kohlbecker \\
                 4: High-level .NET Software Implementations of Unum
                 Type I and Posit with Simultaneous FPGA Implementation
                 Using Hastlayer / Zolt{\'a}n Leh{\'o}czky, Andr{\'a}s
                 Retzler, Rich{\'a}rd T{\'o}th, {\'A}lmos Szab{\'o},
                 Benedek Farkas and Kriszti{\'a}n Somogyi \\
                 5: Universal Coding of the Reals: Alternatives to IEEE
                 Floating Point / Peter Lindstrom, Scott Lloyd and
                 Jeffrey Hittinger",
}


bibtype: proceedings
filename: fparith.bib
label: Tenca:2018:PIS
editor: Alexandre Tenca and Naofumi Takagi
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 17 + 152
month: jun
monthnumber: 6
year: 2018
DOI: https://doi.org/10.1109/ARITH.2018.8464697
ISBN: 1-5386-2612-8 (USB), 1-5386-2665-9 OR 1538626128 (USB), 1538626659
ISSN: 2576-2265 OR 25762265
LCCN: QA76.9.C62
bibdate: Fri Jan 31 08:05:31 2020
bibtimestamp: 2020.01.31 08:05:31 ???
note: IEEE catalog number CFP18121-USB.
abstract: Presents the title page of the proceedings record.
acknowledgement: ack-nhfb
rawabstract: Presents the title page of the proceedings record.
raweditor: Alexandre Tenca and Naofumi Takagi
rawnote: IEEE catalog number CFP18121-USB.
booktitle:
Proceedings of the 25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA

title:
Proceedings of the 25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA

ISBN13:
978-1-5386-2612-2 (USB), 978-1-5386-2613-9, 978-1-5386-2665-8 OR 9781538626122 (USB), 9781538626139, 9781538626658

bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

subject:
ARITH-25; Computer arithmetic; Congresses; Computer programming; Floating-point arithmetic; Computer arithmetic and logic units

rawbooktitle:
Proceedings of the {25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA}

rawtitle:
Proceedings of the {25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA}

entry:
@Proceedings{Tenca:2018:PIS,
  editor =       "Alexandre Tenca and Naofumi Takagi",
  booktitle =    "Proceedings of the {25th International Symposium on
                 Computer Arithmetic, 25--27 June 2018 Amherst, MA,
                 USA}",
  title =        "Proceedings of the {25th International Symposium on
                 Computer Arithmetic, 25--27 June 2018 Amherst, MA,
                 USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "17 + 152",
  month =        jun,
  year =         "2018",
  DOI =          "https://doi.org/10.1109/ARITH.2018.8464697",
  ISBN =         "1-5386-2612-8 (USB), 1-5386-2665-9",
  ISBN-13 =      "978-1-5386-2612-2 (USB), 978-1-5386-2613-9,
                 978-1-5386-2665-8",
  ISSN =         "2576-2265",
  LCCN =         "QA76.9.C62",
  bibdate =      "Fri Jan 31 08:05:31 2020",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  note =         "IEEE catalog number CFP18121-USB.",
  abstract =     "Presents the title page of the proceedings record.",
  acknowledgement = ack-nhfb,
  subject =      "ARITH-25; Computer arithmetic; Congresses; Computer
                 programming; Floating-point arithmetic; Computer
                 arithmetic and logic units",
}


bibtype: proceedings
filename: fparith.bib
label: Gustafson:2019:CPC
editor: John Gustafson and Vassil Dimitrov
booktitle: CoNGA'19: Proceedings of the Conference for Next Generation Arithmetic 2019, Singapore, March 2019
title: CoNGA'19: Proceedings of the Conference for Next Generation Arithmetic 2019, Singapore, March 2019
publisher: pub-ACM
address: pub-ACM:adr
pages: 66
year: 2019
ISBN: 1-4503-7139-6 OR 1450371396
ISBN13: 978-1-4503-7139-1 OR 9781450371391
bibdate: Mon Feb 10 12:06:51 MST 2020
bibsource: fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2020.02.10 12:06:51 MST
series: ICPS
subject: Computer arithmetic; Congresses; Computer algorithms; Computer algorithms.; Computer arithmetic.
acknowledgement: ack-nhfb
raweditor: John Gustafson and Vassil Dimitrov
TOC:
Milan Klower and Peter D. Duben and Tim N. Palmer / Posits as an Alternative to Floats for Weather and Climate Models / https://doi.org/10.1145/3316279.3316281 / 1:1--1:8 Andrea Bocco and Yves Durand and Florent de Dinechin / SMURF: Scalar Multiple-precision Unum RISC-V Floating-point Accelerator for Scientific Computing / https://doi.org/10.1145/3316279.3316280 / 1:1--1:8 Zachariah Carmichael and Hamed F. Langroudi and Char Khazanov and Jeffrey Lillie and John L. Gustafson and Dhireesha Kudithipudi / Performance-Efficiency Trade-off of Low-Precision Numerical Formats in Deep Neural Networks / https://doi.org/10.1145/3316279.3316282 / 3:1--3:9 Bill Zorn and Dan Grossman and Zach Tatlock / Sinking Point: Dynamic Precision Tracking for Floating-Point / https://doi.org/10.1145/3316279.3316283 / 4:1--4:8 Laurens van Dam and Johan Peltenburg and Zaid Al-Ars and H. Peter Hofstee / An Accelerator for Posit Arithmetic Targeting Posit Level 1 BLAS Routines and Pair-HMM / https://doi.org/10.1145/3316279.3316284 / 5:1--5:10 Florent de Dinechin and Luc Forget and Jean-Michel Muller and Yohann Uguen / Posits: The Good, the Bad and the Ugly / https://doi.org/10.1145/3316279.3316285 / 6:1--6:10 Peter Lindstrom / Universal Coding of the Reals Using Bisection / https://doi.org/10.1145/3316279.3316286 / 7:1--7:10

rawbooktitle:
{CoNGA'19: Proceedings of the Conference for Next Generation Arithmetic 2019, Singapore, March 2019}

rawtitle:
{CoNGA'19: Proceedings of the Conference for Next Generation Arithmetic 2019, Singapore, March 2019}

rawTOC:
Milan Kl{\"o}wer and Peter D. D{\"u}ben and Tim N. Palmer / Posits as an Alternative to Floats for Weather and Climate Models / https://doi.org/10.1145/3316279.3316281 / 1:1--1:8 \\ Andrea Bocco and Yves Durand and Florent de Dinechin / SMURF: Scalar Multiple-precision Unum RISC-V Floating-point Accelerator for Scientific Computing / https://doi.org/10.1145/3316279.3316280 / 1:1--1:8 \\ Zachariah Carmichael and Hamed F. Langroudi and Char Khazanov and Jeffrey Lillie and John L. Gustafson and Dhireesha Kudithipudi / Performance-Efficiency Trade-off of Low-Precision Numerical Formats in Deep Neural Networks / https://doi.org/10.1145/3316279.3316282 / 3:1--3:9 \\ Bill Zorn and Dan Grossman and Zach Tatlock / Sinking Point: Dynamic Precision Tracking for Floating-Point / https://doi.org/10.1145/3316279.3316283 / 4:1--4:8 \\ Laurens van Dam and Johan Peltenburg and Zaid Al-Ars and H. Peter Hofstee / An Accelerator for Posit Arithmetic Targeting Posit Level 1 BLAS Routines and Pair-HMM / https://doi.org/10.1145/3316279.3316284 / 5:1--5:10 \\ Florent de Dinechin and Luc Forget and Jean-Michel Muller and Yohann Uguen / Posits: The Good, the Bad and the Ugly / https://doi.org/10.1145/3316279.3316285 / 6:1--6:10 \\ Peter Lindstrom / Universal Coding of the Reals Using Bisection / https://doi.org/10.1145/3316279.3316286 / 7:1--7:10

entry:
@Proceedings{Gustafson:2019:CPC,
  editor =       "John Gustafson and Vassil Dimitrov",
  booktitle =    "{CoNGA'19: Proceedings of the Conference for Next
                 Generation Arithmetic 2019, Singapore, March 2019}",
  title =        "{CoNGA'19: Proceedings of the Conference for Next
                 Generation Arithmetic 2019, Singapore, March 2019}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "66",
  year =         "2019",
  ISBN =         "1-4503-7139-6",
  ISBN-13 =      "978-1-4503-7139-1",
  LCCN =         "????",
  bibdate =      "Mon Feb 10 12:06:51 MST 2020",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       "ICPS",
  acknowledgement = ack-nhfb,
  meetingname =  "Conference for Next Generation Arithmetic (2019 :
                 Singapore)",
  subject =      "Computer arithmetic; Congresses; Computer algorithms;
                 Computer algorithms.; Computer arithmetic.",
  tableofcontents = "Milan Kl{\"o}wer and Peter D. D{\"u}ben and Tim N.
                 Palmer / Posits as an Alternative to Floats for Weather
                 and Climate Models /
                 https://doi.org/10.1145/3316279.3316281 / 1:1--1:8 \\
                 Andrea Bocco and Yves Durand and Florent de Dinechin /
                 SMURF: Scalar Multiple-precision Unum RISC-V
                 Floating-point Accelerator for Scientific Computing /
                 https://doi.org/10.1145/3316279.3316280 / 1:1--1:8 \\
                 Zachariah Carmichael and Hamed F. Langroudi and Char
                 Khazanov and Jeffrey Lillie and John L. Gustafson and
                 Dhireesha Kudithipudi / Performance-Efficiency
                 Trade-off of Low-Precision Numerical Formats in Deep
                 Neural Networks /
                 https://doi.org/10.1145/3316279.3316282 / 3:1--3:9 \\
                 Bill Zorn and Dan Grossman and Zach Tatlock / Sinking
                 Point: Dynamic Precision Tracking for Floating-Point /
                 https://doi.org/10.1145/3316279.3316283 / 4:1--4:8 \\
                 Laurens van Dam and Johan Peltenburg and Zaid Al-Ars
                 and H. Peter Hofstee / An Accelerator for Posit
                 Arithmetic Targeting Posit Level 1 BLAS Routines and
                 Pair-HMM / https://doi.org/10.1145/3316279.3316284 /
                 5:1--5:10 \\
                 Florent de Dinechin and Luc Forget and Jean-Michel
                 Muller and Yohann Uguen / Posits: The Good, the Bad and
                 the Ugly / https://doi.org/10.1145/3316279.3316285 /
                 6:1--6:10 \\
                 Peter Lindstrom / Universal Coding of the Reals Using
                 Bisection / https://doi.org/10.1145/3316279.3316286 /
                 7:1--7:10",
}


bibtype: proceedings
filename: fparith.bib
label: Takagi:2019:ISC
editor: Naofumi Takagi and Sylvie Boldo and Martin Langhammer
booktitle: 2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019
title: 2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 15 + 220
month: jun
monthnumber: 6
year: 2019
DOI: https://doi.org/10.1109/ARITH.2019.00001
ISBN: 1-72813-366-1 OR 1728133661
ISBN13: 978-1-72813-366-9 OR 9781728133669
ISSN: 1063-6889 OR 10636889
ISSNL: 1063-6889 OR 10636889
bibdate: Fri Jan 31 08:18:07 2020
bibtimestamp: 2020.01.31 08:18:07 ???
abstract: Presents the title page of the proceedings record.
keywords: ARITH-26
acknowledgement: ack-nhfb
rawabstract: Presents the title page of the proceedings record.
rawbooktitle: {2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}
raweditor: Naofumi Takagi and Sylvie Boldo and Martin Langhammer
rawtitle: {2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}
bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

entry:
@Proceedings{Takagi:2019:ISC,
  editor =       "Naofumi Takagi and Sylvie Boldo and Martin
                 Langhammer",
  booktitle =    "{2019 IEEE 26th Symposium on Computer Arithmetic
                 ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}",
  title =        "{2019 IEEE 26th Symposium on Computer Arithmetic
                 ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "15 + 220",
  month =        jun,
  year =         "2019",
  DOI =          "https://doi.org/10.1109/ARITH.2019.00001",
  ISBN =         "1-72813-366-1",
  ISBN-13 =      "978-1-72813-366-9",
  ISSN =         "1063-6889",
  ISSN-L =       "1063-6889",
  bibdate =      "Fri Jan 31 08:18:07 2020",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  abstract =     "Presents the title page of the proceedings record.",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-26",
}


bibtype: proceedings
filename: fparith.bib
label: Cornea:2020:ISC
editor: Marius Cornea and Weiqiang Liu and Arnaud Tisserand
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 15 + 220
year: 2020
DOI: https://doi.org/10.1109/ARITH48897.2020
ISBN: 1-72817-120-2, 1-72817-121-0 OR 1728171202, 1728171210
ISBN13: 978-1-72817-120-3, 978-1-72817-121-0 OR 9781728171203, 9781728171210
bibdate: Wed Jul 7 06:23:45 MDT 2021
bibtimestamp: 2021.07.07 06:23:45 MDT
URL: https://ieeexplore.ieee.org/servlet/opac?punumber=9146973
keywords: ARITH-27
acknowledgement: ack-nhfb
raweditor: Marius Cornea and Weiqiang Liu and Arnaud Tisserand
booktitle:
2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020

title:
2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/benfords-law.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

rawbooktitle:
{2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020}

rawtitle:
{2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020}

entry:
@Proceedings{Cornea:2020:ISC,
  editor =       "Marius Cornea and Weiqiang Liu and Arnaud Tisserand",
  booktitle =    "{2020 27th IEEE Symposium on Computer Arithmetic:
                 ARITH 2020: proceedings: Portland, Oregon, USA, 7--10
                 June 2020}",
  title =        "{2020 27th IEEE Symposium on Computer Arithmetic:
                 ARITH 2020: proceedings: Portland, Oregon, USA, 7--10
                 June 2020}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  year =         "2020",
  DOI =          "https://doi.org/10.1109/ARITH48897.2020",
  ISBN =         "1-72817-120-2, 1-72817-121-0",
  ISBN-13 =      "978-1-72817-120-3, 978-1-72817-121-0",
  LCCN =         "????",
  bibdate =      "Wed Jul 7 06:23:45 MDT 2021",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/benfords-law.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  URL =          "https://ieeexplore.ieee.org/servlet/opac?punumber=9146973",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-27",
}


bibtype: proceedings
filename: fparith.bib
label: IEEE:2020:SPI
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
year: 2020
DOI: https://doi.org/10.1109/SC41405.2020
ISBN: 1-72819-998-0, 1-72819-999-9 (printondemand) OR 1728199980, 1728199999 (printondemand)
LCCN: QA76.88
bibdate: Mon Sep 11 06:40:11 2023
bibsource: https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/python.bib
bibtimestamp: 2023.09.11 06:40:11 ???
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
SC'20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (Atlanta, Georgia, November 9--19, 2020)

title:
SC'20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (Atlanta, Georgia, November 9--19, 2020)

ISBN13:
978-1-72819-998-6, 978-1-72819-999-3 (printondemand) OR 9781728199986, 9781728199993 (printondemand)

rawbooktitle:
{SC'20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (Atlanta, Georgia, November 9--19, 2020)}

rawtitle:
{SC'20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (Atlanta, Georgia, November 9--19, 2020)}

entry:
@Proceedings{IEEE:2020:SPI,
  editor =       "{IEEE}",
  booktitle =    "{SC'20: Proceedings of the International Conference
                 for High Performance Computing, Networking, Storage and
                 Analysis (Atlanta, Georgia, November 9--19, 2020)}",
  title =        "{SC'20: Proceedings of the International Conference
                 for High Performance Computing, Networking, Storage and
                 Analysis (Atlanta, Georgia, November 9--19, 2020)}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "2020",
  DOI =          "https://doi.org/10.1109/SC41405.2020",
  ISBN =         "1-72819-998-0, 1-72819-999-9 (printondemand)",
  ISBN-13 =      "978-1-72819-998-6, 978-1-72819-999-3 (printondemand)",
  LCCN =         "QA76.88",
  bibdate =      "Mon Sep 11 06:40:11 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/python.bib",
  acknowledgement = ack-nhfb,
}


bibtype: proceedings
filename: fparith.bib
label: Krzhizhanovskaya:2020:CSI
volume: 12138
publisher: pub-SV
address: pub-SV:adr
pages: xix + 697
year: 2020
DOI: https://doi.org/10.1007/978-3-030-50417-5
ISBN: 3-030-50416-6, 3-030-50417-4 (e-book) OR 3030504166, 3030504174 (ebook)
ISBN13: 978-3-030-50416-8, 978-3-030-50417-5 (e-book) OR 9783030504168, 9783030504175 (ebook)
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
bibdate: Thu Jun 25 08:21:10 2020
bibtimestamp: 2020.06.25 08:21:10 ???
series: ser-LNCS
URL: https://link.springer.com/book/10.1007/978-3-030-50417-5
acknowledgement: ack-nhfb
editor:
Valeria V. Krzhizhanovskaya and Gabor Zavodszky and Michael H. Lees and Jack J. Dongarra and Peter M. A. Sloot and Sergio Brissos and Joao Teixeira

booktitle:
Computational Science --- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3--5, 2020, Proceedings, Part II

title:
Computational Science --- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3--5, 2020, Proceedings, Part II

bibsource:
https://www.math.utah.edu/pub/bibnet/authors/d/dongarra-jack-j.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/julia.bib; https://www.math.utah.edu/pub/tex/bib/matlab.bib; https://www.math.utah.edu/pub/tex/bib/prng.bib

TOC:
Front Matter / / i--xix Modified Binary Tree in the Fast PIES for 2D Problems with Complex Shapes / Andrzej Kuzelewski, Eugeniusz Zieniuk, Agnieszka Boltuc, Krzystof Szerszen / 1--14 Generating Random Floating--Point Numbers by Dividing Integers: A Case Study / Frederic Goualard / 15--28 An Effective Stable Numerical Method for Integrating Highly Oscillating Functions with a Linear Phase / Leonid A. Sevastianov, Konstantin P. Lovetskiy, Dmitry S. Kulyabov / 29--43 Fitting Penalized Logistic Regression Models Using QR Factorization / Jacek Klimaszewski, Marcin Korzen / 44--57 Uncertainty Quantification in Fractional Stochastic Integro--Differential Equations Using Legendre Wavelet Collocation Method / Abhishek Kumar Singh, Mani Mehra / 58--71 A Direct High--Order Curvilinear Triangular Mesh Generation Method Using an Advancing Front Technique / Fariba Mohammadi, Shusil Dangi, Suzanne M. Shontz, Cristian A. Linte / 72--85 Data--Driven Partial Differential Equations Discovery Approach for the Noised Multi--dimensional Data / Mikhail Maslyaev, Alexander Hvatov, Anna Kalyuzhnaya / 86--100 Preconditioning Jacobian Systems by Superimposing Diagonal Blocks / M. Ali Rostami, H. Martin Bucker / 101--115 NURBS Curves in Parametric Integral Equations System for Modeling and Solving Boundary Value Problems in Elasticity / Marta Kapturczak, Eugeniusz Zieniuk, Andrzej Kuzelewski / 116--123 Parameterizations and Lagrange Cubics for Fitting Multidimensional Data / Ryszard Kozera, Lyle Noakes, Magdalena Wilkolazka / 124--140 Loop Aggregation for Approximate Scientific Computing / June Sallou, Alexandre Gauvain, Johann Bourcier, Benoit Combemale, Jean--Raynald de Dreuzy / 141--155 Numerical Computation for a Flow Caused by a High--Speed Traveling Train and a Stationary Overpass / Shotaro Hamato, Masashi Yamakawa, Yongmann M. Chung, Shinichi Asao / 156--169 Bezier Surfaces for Modeling Inclusions in PIES / Agnieszka Boltuc, Eugeniusz Zieniuk, Krzysztof Szerszen, Andrzej Kuzelewski / 170--183 Impact of Water on Methane Adsorption in Nanopores: A Hybrid GCMC--MD Simulation Study / Ji Zhou, Wenbin Jiang, Mian Lin, Lili Ji, Gaohui Cao / 184--196 A Stable Discontinuous Galerkin Based Isogeometric Residual Minimization for the Stokes Problem / Marcin Los, Sergio Rojas, Maciej Paszynski, Ignacio Muga, Victor M. Calo / 197--211 Numerical Modeling of the Two--Phase Flow of Water with Ice in the Tom River / Vladislava Churuksaeva, Alexander Starchenko / 212--224 Remarks on Kaczmarz Algorithm for Solving Consistent and Inconsistent System of Linear Equations / Xinyin Huang, Gang Liu, Qiang Niu / 225--236 Investigating the Benefit of FP16--Enabled Mixed--Precision Solvers for Symmetric Positive Definite Matrices Using GPUs / Ahmad Abdelfattah, Stan Tomov, Jack Dongarra / 237--250 Simulation Versus an Ordered Fuzzy--Numbers--Driven Approach to the Multi--depot Vehicle Cyclic Routing and Scheduling Problem / Grzegorz Bocewicz, Zbigniew Banaszak, Czeslaw Smutnicki, Katarzyna Rudnik, Marcin Witczak, Robert Wojcik / 251--266 Epigenetic Modification of Genetic Algorithm / Kornel Chrominski, Magdalena Tkacz, Mariusz Boryczka / 267--278 ITP--KNN: Encrypted Video Flow Identification Based on the Intermittent Traffic Pattern of Video and $K$-Nearest Neighbors Classification / Youting Liu, Shu Li, Chengwei Zhang, Chao Zheng, Yong Sun, Qingyun Liu / 279--293 DeepAD: A Joint Embedding Approach for Anomaly Detection on Attributed Networks / Dali Zhu, Yuchen Ma, Yinlong Liu / 294--307 SciNER: Extracting Named Entities from Scientific Literature / Zhi Hong, Roselyne Tchoua, Kyle Chard, Ian Foster / 308--321 GPU--Embedding of kNN--Graph Representing Large and High--Dimensional Data / Bartosz Minch, Mateusz Nowak, Rafal Wcislo, Witold Dzwinel / 322--336 Evolving Long Short--Term Memory Networks / Vicente Coelho Lobo Neto, Leandro Aparecido Passos, Joao Paulo Papa / 337--350 Personality Recognition from Source Code Based on Lexical, Syntactic and Semantic Features / Mikolaj Biel, Marcin Kuta, Jacek Kitowski / 351--363 Data Fitting by Exponential Sums with Equal Weights / Petr Chunaev, Ildar Safiullin / 364--371 A Combination of Moment Descriptors, Fourier Transform and Matching Measures for Action Recognition Based on Shape / Katarzyna Gosciewska, Dariusz Frejlichowski / 372--386 Improving Accuracy and Speeding Up Document Image Classification Through Parallel Systems / Javier Ferrando, Juan Luis Dominguez, Jordi Torres, Raul Garcia, David Garcia, Daniel Garrido et al. / 387--400 Computation of the Airborne Contaminant Transport in Urban Area by the Artificial Neural Network / Anna Wawrzynczak, Monika Berendt--Marchel / 401--413 Exploring Musical Structure Using Tonnetz Lattice Geometry and LSTMs / Manuchehr Aminian, Eric Kehoe, Xiaofeng Ma, Amy Peterson, Michael Kirby / 414--424 Modeling of Anti--tracking Network Based on Convex--Polytope Topology / Changbo Tian, Yongzheng Zhang, Tao Yin / 425--438 A Workload Division Differential Privacy Algorithm to Improve the Accuracy for Linear Computations / Jun Li, Huan Ma, Guangjun Wu, Yanqin Zhang, Bingnan Ma, Zhen Hui et al. / 439--452 On the Automated Assessment of Open--Source Cyber Threat Intelligence Sources / Andrea Tundis, Samuel Ruppert, Max Muhlhauser / 453--467 Malicious Domain Detection Based on K--means and SMOTE / Qing Wang, Linyu Li, Bo Jiang, Zhigang Lu, Junrong Liu, Shijie Jian / 468--481 Microservice Disaster Crash Recovery: A Weak Global Referential Integrity Management / Maude Manouvrier, Cesare Pautasso, Marta Rukoz / 482--495 Hashing Based Prediction for Large--Scale Kernel Machine / Lijing Lu, Rong Yin, Yong Liu, Weiping Wang / 496--509 Picking Peaches or Squeezing Lemons: Selecting Crowdsourcing Workers for Reducing Cost of Redundancy / Paulina Adamska, Marta Juzwin, Adam Wierzbicki / 510--523 Are $n$-gram Categories Helpful in Text Classification? / Jakub Kruczek, Paulina Kruczek, Marcin Kuta / 524--537 Calculating Reactive Power Compensation for Large--Scale Street Lighting / Sebastian Ernst, Leszek Kotulski, Tomasz Lerch, Michal Rad, Adam Sedziwy, Igor Wojnicki / 538--550 Developing a Decision Support App for Computational Agriculture / Andrew Lewis, Marcus Randall, Ben Stewart--Koster / 551--561 Optimal Location of Sensors for Early Detection of Tsunami Waves / Angelie R. Ferrolino, Jose Ernie C. Lope, Renier G. Mendoza / 562--575 A Novel Formulation for Inverse Distance Weighting from Weighted Linear Regression / Leonardo Ramos Emmendorfer, Gracaliz Pereira Dimuro / 576--589 Addressing the Robustness of Resource Allocation in the Presence of Application and System Irregularities via PEPA Based Modeling / Srishti Srivastava, Ioana Banicescu, William S. Sanders / 590--603 An Adaptive Computational Network Model for Strange Loops in Political Evolution in Society / Julia Anten, Jordan Earle, Jan Treur / 604--617 Joint Entity Linking for Web Tables with Hybrid Semantic Matching / Jie Xie, Yuhai Lu, Cong Cao, Zhenzhen Li, Yangyang Guan, Yanbing Liu / 618--631 A New Coefficient of Rankings Similarity in Decision--Making Problems / Wojciech Sa abun, Karol Urbaniak / 632--645 Innovativeness Analysis of Scholarly Publications by Age Prediction Using Ordinal Regression / Pavel Savov, Adam Jatowt, Radoslaw Nielek / 646--660 Advantage of Using Spherical over Cartesian Coordinates in the Chromosome Territories 3D Modeling / Magdalena A. Tkacz, Kornel Chrominski / 661--673 Adaptive and Efficient Transfer for Online Remote Visualization of Critical Weather Applications / Preeti Malakar, Vijay Natarajan, Sathish S. Vadhiyar / 674--693 Back Matter / / 695--697

rawbooktitle:
{Computational Science --- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3--5, 2020, Proceedings, Part II}

raweditor:
Valeria V. Krzhizhanovskaya and G{\'a}bor Z{\'a}vodszky and Michael H. Lees and Jack J. Dongarra and Peter M. A. Sloot and S{\'e}rgio Brissos and Jo{\~a}o Teixeira

rawtitle:
{Computational Science --- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3--5, 2020, Proceedings, Part II}

rawTOC:
Front Matter / / i--xix \\ Modified Binary Tree in the Fast PIES for 2D Problems with Complex Shapes / Andrzej Ku{\.z}elewski, Eugeniusz Zieniuk, Agnieszka Bo{\l}tu{\'c}, Krzystof Szersze{\'n} / 1--14 \\ Generating Random Floating--Point Numbers by Dividing Integers: A Case Study / Fr{\'e}d{\'e}ric Goualard / 15--28 \\ An Effective Stable Numerical Method for Integrating Highly Oscillating Functions with a Linear Phase / Leonid A. Sevastianov, Konstantin P. Lovetskiy, Dmitry S. Kulyabov / 29--43 \\ Fitting Penalized Logistic Regression Models Using QR Factorization / Jacek Klimaszewski, Marcin Korze{\'n} / 44--57 \\ Uncertainty Quantification in Fractional Stochastic Integro--Differential Equations Using Legendre Wavelet Collocation Method / Abhishek Kumar Singh, Mani Mehra / 58--71 \\ A Direct High--Order Curvilinear Triangular Mesh Generation Method Using an Advancing Front Technique / Fariba Mohammadi, Shusil Dangi, Suzanne M. Shontz, Cristian A. Linte / 72--85 \\ Data--Driven Partial Differential Equations Discovery Approach for the Noised Multi--dimensional Data / Mikhail Maslyaev, Alexander Hvatov, Anna Kalyuzhnaya / 86--100 \\ Preconditioning Jacobian Systems by Superimposing Diagonal Blocks / M. Ali Rostami, H. Martin B{\"u}cker / 101--115 \\ NURBS Curves in Parametric Integral Equations System for Modeling and Solving Boundary Value Problems in Elasticity / Marta Kapturczak, Eugeniusz Zieniuk, Andrzej Ku{\.z}elewski / 116--123 \\ Parameterizations and Lagrange Cubics for Fitting Multidimensional Data / Ryszard Kozera, Lyle Noakes, Magdalena Wilko{\l}azka / 124--140 \\ Loop Aggregation for Approximate Scientific Computing / June Sallou, Alexandre Gauvain, Johann Bourcier, Benoit Combemale, Jean--Raynald de Dreuzy / 141--155 \\ Numerical Computation for a Flow Caused by a High--Speed Traveling Train and a Stationary Overpass / Shotaro Hamato, Masashi Yamakawa, Yongmann M. Chung, Shinichi Asao / 156--169 \\ B{\'e}zier Surfaces for Modeling Inclusions in PIES / Agnieszka Bo{\l}tu{\'c}, Eugeniusz Zieniuk, Krzysztof Szersze{\'n}, Andrzej Ku{\.z}elewski / 170--183 \\ Impact of Water on Methane Adsorption in Nanopores: A Hybrid GCMC--MD Simulation Study / Ji Zhou, Wenbin Jiang, Mian Lin, Lili Ji, Gaohui Cao / 184--196 \\ A Stable Discontinuous Galerkin Based Isogeometric Residual Minimization for the Stokes Problem / Marcin {\L}o{\'s}, Sergio Rojas, Maciej Paszy{\'n}ski, Ignacio Muga, Victor M. Calo / 197--211 \\ Numerical Modeling of the Two--Phase Flow of Water with Ice in the Tom River / Vladislava Churuksaeva, Alexander Starchenko / 212--224 \\ Remarks on Kaczmarz Algorithm for Solving Consistent and Inconsistent System of Linear Equations / Xinyin Huang, Gang Liu, Qiang Niu / 225--236 \\ Investigating the Benefit of FP16--Enabled Mixed--Precision Solvers for Symmetric Positive Definite Matrices Using GPUs / Ahmad Abdelfattah, Stan Tomov, Jack Dongarra / 237--250 \\ Simulation Versus an Ordered Fuzzy--Numbers--Driven Approach to the Multi--depot Vehicle Cyclic Routing and Scheduling Problem / Grzegorz Bocewicz, Zbigniew Banaszak, Czeslaw Smutnicki, Katarzyna Rudnik, Marcin Witczak, Robert W{\'o}jcik / 251--266 \\ Epigenetic Modification of Genetic Algorithm / Kornel Chrominski, Magdalena Tkacz, Mariusz Boryczka / 267--278 \\ ITP--KNN: Encrypted Video Flow Identification Based on the Intermittent Traffic Pattern of Video and $K$-Nearest Neighbors Classification / Youting Liu, Shu Li, Chengwei Zhang, Chao Zheng, Yong Sun, Qingyun Liu / 279--293 \\ DeepAD: A Joint Embedding Approach for Anomaly Detection on Attributed Networks / Dali Zhu, Yuchen Ma, Yinlong Liu / 294--307 \\ SciNER: Extracting Named Entities from Scientific Literature / Zhi Hong, Roselyne Tchoua, Kyle Chard, Ian Foster / 308--321 \\ GPU--Embedding of kNN--Graph Representing Large and High--Dimensional Data / Bartosz Minch, Mateusz Nowak, Rafa{\l} Wcis{\l}o, Witold Dzwinel / 322--336 \\ Evolving Long Short--Term Memory Networks / Vicente Coelho Lobo Neto, Leandro Aparecido Passos, Jo{\~a}o Paulo Papa / 337--350 \\ Personality Recognition from Source Code Based on Lexical, Syntactic and Semantic Features / Miko{\l}aj Biel, Marcin Kuta, Jacek Kitowski / 351--363 \\ Data Fitting by Exponential Sums with Equal Weights / Petr Chunaev, Ildar Safiullin / 364--371 \\ A Combination of Moment Descriptors, Fourier Transform and Matching Measures for Action Recognition Based on Shape / Katarzyna Go{\'s}ciewska, Dariusz Frejlichowski / 372--386 \\ Improving Accuracy and Speeding Up Document Image Classification Through Parallel Systems / Javier Ferrando, Juan Luis Dom{\'\i}nguez, Jordi Torres, Ra{\'u}l Garc{\'\i}a, David Garc{\'\i}a, Daniel Garrido et al. / 387--400 \\ Computation of the Airborne Contaminant Transport in Urban Area by the Artificial Neural Network / Anna Wawrzynczak, Monika Berendt--Marchel / 401--413 \\ Exploring Musical Structure Using Tonnetz Lattice Geometry and LSTMs / Manuchehr Aminian, Eric Kehoe, Xiaofeng Ma, Amy Peterson, Michael Kirby / 414--424 \\ Modeling of Anti--tracking Network Based on Convex--Polytope Topology / Changbo Tian, Yongzheng Zhang, Tao Yin / 425--438 \\ A Workload Division Differential Privacy Algorithm to Improve the Accuracy for Linear Computations / Jun Li, Huan Ma, Guangjun Wu, Yanqin Zhang, Bingnan Ma, Zhen Hui et al. / 439--452 \\ On the Automated Assessment of Open--Source Cyber Threat Intelligence Sources / Andrea Tundis, Samuel Ruppert, Max M{\"u}hlh{\"a}user / 453--467 \\ Malicious Domain Detection Based on K--means and SMOTE / Qing Wang, Linyu Li, Bo Jiang, Zhigang Lu, Junrong Liu, Shijie Jian / 468--481 \\ Microservice Disaster Crash Recovery: A Weak Global Referential Integrity Management / Maude Manouvrier, Cesare Pautasso, Marta Rukoz / 482--495 \\ Hashing Based Prediction for Large--Scale Kernel Machine / Lijing Lu, Rong Yin, Yong Liu, Weiping Wang / 496--509 \\ Picking Peaches or Squeezing Lemons: Selecting Crowdsourcing Workers for Reducing Cost of Redundancy / Paulina Adamska, Marta Ju{\'z}win, Adam Wierzbicki / 510--523 \\ Are $n$-gram Categories Helpful in Text Classification? / Jakub Kruczek, Paulina Kruczek, Marcin Kuta / 524--537 \\ Calculating Reactive Power Compensation for Large--Scale Street Lighting / Sebastian Ernst, Leszek Kotulski, Tomasz Lerch, Micha{\l} Rad, Adam S{\k{e}}dziwy, Igor Wojnicki / 538--550 \\ Developing a Decision Support App for Computational Agriculture / Andrew Lewis, Marcus Randall, Ben Stewart--Koster / 551--561 \\ Optimal Location of Sensors for Early Detection of Tsunami Waves / Angelie R. Ferrolino, Jose Ernie C. Lope, Renier G. Mendoza / 562--575 \\ A Novel Formulation for Inverse Distance Weighting from Weighted Linear Regression / Leonardo Ramos Emmendorfer, Gra{\c{c}}aliz Pereira Dimuro / 576--589 \\ Addressing the Robustness of Resource Allocation in the Presence of Application and System Irregularities via PEPA Based Modeling / Srishti Srivastava, Ioana Banicescu, William S. Sanders / 590--603 \\ An Adaptive Computational Network Model for Strange Loops in Political Evolution in Society / Julia Anten, Jordan Earle, Jan Treur / 604--617 \\ Joint Entity Linking for Web Tables with Hybrid Semantic Matching / Jie Xie, Yuhai Lu, Cong Cao, Zhenzhen Li, Yangyang Guan, Yanbing Liu / 618--631 \\ A New Coefficient of Rankings Similarity in Decision--Making Problems / Wojciech Sa abun, Karol Urbaniak / 632--645 \\ Innovativeness Analysis of Scholarly Publications by Age Prediction Using Ordinal Regression / Pavel Savov, Adam Jatowt, Radoslaw Nielek / 646--660 \\ Advantage of Using Spherical over Cartesian Coordinates in the Chromosome Territories 3D Modeling / Magdalena A. Tkacz, Kornel Chromi{\'n}ski / 661--673 \\ Adaptive and Efficient Transfer for Online Remote Visualization of Critical Weather Applications / Preeti Malakar, Vijay Natarajan, Sathish S. Vadhiyar / 674--693 \\ Back Matter / / 695--697

entry:
@Proceedings{Krzhizhanovskaya:2020:CSI,
  editor =       "Valeria V. Krzhizhanovskaya and G{\'a}bor
                 Z{\'a}vodszky and Michael H. Lees and Jack J. Dongarra
                 and Peter M. A. Sloot and S{\'e}rgio Brissos and
                 Jo{\~a}o Teixeira",
  booktitle =    "{Computational Science --- ICCS 2020 20th
                 International Conference, Amsterdam, The Netherlands,
                 June 3--5, 2020, Proceedings, Part II}",
  title =        "{Computational Science --- ICCS 2020 20th
                 International Conference, Amsterdam, The Netherlands,
                 June 3--5, 2020, Proceedings, Part II}",
  volume =       "12138",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xix + 697",
  year =         "2020",
  DOI =          "https://doi.org/10.1007/978-3-030-50417-5",
  ISBN =         "3-030-50416-6, 3-030-50417-4 (e-book)",
  ISBN-13 =      "978-3-030-50416-8, 978-3-030-50417-5 (e-book)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  bibdate =      "Thu Jun 25 08:21:10 2020",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/d/dongarra-jack-j.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/julia.bib;
                 https://www.math.utah.edu/pub/tex/bib/matlab.bib;
                 https://www.math.utah.edu/pub/tex/bib/prng.bib",
  series =       ser-LNCS,
  URL =          "https://link.springer.com/book/10.1007/978-3-030-50417-5",
  acknowledgement = ack-nhfb,
  tableofcontents = "Front Matter / / i--xix \\
                 Modified Binary Tree in the Fast PIES for 2D Problems
                 with Complex Shapes / Andrzej Ku{\.z}elewski, Eugeniusz
                 Zieniuk, Agnieszka Bo{\l}tu{\'c}, Krzystof Szersze{\'n}
                 / 1--14 \\
                 Generating Random Floating--Point Numbers by Dividing
                 Integers: A Case Study / Fr{\'e}d{\'e}ric Goualard /
                 15--28 \\
                 An Effective Stable Numerical Method for Integrating
                 Highly Oscillating Functions with a Linear Phase /
                 Leonid A. Sevastianov, Konstantin P. Lovetskiy, Dmitry
                 S. Kulyabov / 29--43 \\
                 Fitting Penalized Logistic Regression Models Using QR
                 Factorization / Jacek Klimaszewski, Marcin Korze{\'n} /
                 44--57 \\
                 Uncertainty Quantification in Fractional Stochastic
                 Integro--Differential Equations Using Legendre Wavelet
                 Collocation Method / Abhishek Kumar Singh, Mani Mehra /
                 58--71 \\
                 A Direct High--Order Curvilinear Triangular Mesh
                 Generation Method Using an Advancing Front Technique /
                 Fariba Mohammadi, Shusil Dangi, Suzanne M. Shontz,
                 Cristian A. Linte / 72--85 \\
                 Data--Driven Partial Differential Equations Discovery
                 Approach for the Noised Multi--dimensional Data /
                 Mikhail Maslyaev, Alexander Hvatov, Anna Kalyuzhnaya /
                 86--100 \\
                 Preconditioning Jacobian Systems by Superimposing
                 Diagonal Blocks / M. Ali Rostami, H. Martin B{\"u}cker
                 / 101--115 \\
                 NURBS Curves in Parametric Integral Equations System
                 for Modeling and Solving Boundary Value Problems in
                 Elasticity / Marta Kapturczak, Eugeniusz Zieniuk,
                 Andrzej Ku{\.z}elewski / 116--123 \\
                 Parameterizations and Lagrange Cubics for Fitting
                 Multidimensional Data / Ryszard Kozera, Lyle Noakes,
                 Magdalena Wilko{\l}azka / 124--140 \\
                 Loop Aggregation for Approximate Scientific Computing /
                 June Sallou, Alexandre Gauvain, Johann Bourcier, Benoit
                 Combemale, Jean--Raynald de Dreuzy / 141--155 \\
                 Numerical Computation for a Flow Caused by a
                 High--Speed Traveling Train and a Stationary Overpass /
                 Shotaro Hamato, Masashi Yamakawa, Yongmann M. Chung,
                 Shinichi Asao / 156--169 \\
                 B{\'e}zier Surfaces for Modeling Inclusions in PIES /
                 Agnieszka Bo{\l}tu{\'c}, Eugeniusz Zieniuk, Krzysztof
                 Szersze{\'n}, Andrzej Ku{\.z}elewski / 170--183 \\
                 Impact of Water on Methane Adsorption in Nanopores: A
                 Hybrid GCMC--MD Simulation Study / Ji Zhou, Wenbin
                 Jiang, Mian Lin, Lili Ji, Gaohui Cao / 184--196 \\
                 A Stable Discontinuous Galerkin Based Isogeometric
                 Residual Minimization for the Stokes Problem / Marcin
                 {\L}o{\'s}, Sergio Rojas, Maciej Paszy{\'n}ski, Ignacio
                 Muga, Victor M. Calo / 197--211 \\
                 Numerical Modeling of the Two--Phase Flow of Water with
                 Ice in the Tom River / Vladislava Churuksaeva,
                 Alexander Starchenko / 212--224 \\
                 Remarks on Kaczmarz Algorithm for Solving Consistent
                 and Inconsistent System of Linear Equations / Xinyin
                 Huang, Gang Liu, Qiang Niu / 225--236 \\
                 Investigating the Benefit of FP16--Enabled
                 Mixed--Precision Solvers for Symmetric Positive
                 Definite Matrices Using GPUs / Ahmad Abdelfattah, Stan
                 Tomov, Jack Dongarra / 237--250 \\
                 Simulation Versus an Ordered Fuzzy--Numbers--Driven
                 Approach to the Multi--depot Vehicle Cyclic Routing and
                 Scheduling Problem / Grzegorz Bocewicz, Zbigniew
                 Banaszak, Czeslaw Smutnicki, Katarzyna Rudnik, Marcin
                 Witczak, Robert W{\'o}jcik / 251--266 \\
                 Epigenetic Modification of Genetic Algorithm / Kornel
                 Chrominski, Magdalena Tkacz, Mariusz Boryczka /
                 267--278 \\
                 ITP--KNN: Encrypted Video Flow Identification Based on
                 the Intermittent Traffic Pattern of Video and
                 $K$-Nearest Neighbors Classification / Youting Liu, Shu
                 Li, Chengwei Zhang, Chao Zheng, Yong Sun, Qingyun Liu /
                 279--293 \\
                 DeepAD: A Joint Embedding Approach for Anomaly
                 Detection on Attributed Networks / Dali Zhu, Yuchen Ma,
                 Yinlong Liu / 294--307 \\
                 SciNER: Extracting Named Entities from Scientific
                 Literature / Zhi Hong, Roselyne Tchoua, Kyle Chard, Ian
                 Foster / 308--321 \\
                 GPU--Embedding of kNN--Graph Representing Large and
                 High--Dimensional Data / Bartosz Minch, Mateusz Nowak,
                 Rafa{\l} Wcis{\l}o, Witold Dzwinel / 322--336 \\
                 Evolving Long Short--Term Memory Networks / Vicente
                 Coelho Lobo Neto, Leandro Aparecido Passos, Jo{\~a}o
                 Paulo Papa / 337--350 \\
                 Personality Recognition from Source Code Based on
                 Lexical, Syntactic and Semantic Features / Miko{\l}aj
                 Biel, Marcin Kuta, Jacek Kitowski / 351--363 \\
                 Data Fitting by Exponential Sums with Equal Weights /
                 Petr Chunaev, Ildar Safiullin / 364--371 \\
                 A Combination of Moment Descriptors, Fourier Transform
                 and Matching Measures for Action Recognition Based on
                 Shape / Katarzyna Go{\'s}ciewska, Dariusz Frejlichowski
                 / 372--386 \\
                 Improving Accuracy and Speeding Up Document Image
                 Classification Through Parallel Systems / Javier
                 Ferrando, Juan Luis Dom{\'\i}nguez, Jordi Torres,
                 Ra{\'u}l Garc{\'\i}a, David Garc{\'\i}a, Daniel Garrido
                 et al. / 387--400 \\
                 Computation of the Airborne Contaminant Transport in
                 Urban Area by the Artificial Neural Network / Anna
                 Wawrzynczak, Monika Berendt--Marchel / 401--413 \\
                 Exploring Musical Structure Using Tonnetz Lattice
                 Geometry and LSTMs / Manuchehr Aminian, Eric Kehoe,
                 Xiaofeng Ma, Amy Peterson, Michael Kirby / 414--424 \\
                 Modeling of Anti--tracking Network Based on
                 Convex--Polytope Topology / Changbo Tian, Yongzheng
                 Zhang, Tao Yin / 425--438 \\
                 A Workload Division Differential Privacy Algorithm to
                 Improve the Accuracy for Linear Computations / Jun Li,
                 Huan Ma, Guangjun Wu, Yanqin Zhang, Bingnan Ma, Zhen
                 Hui et al. / 439--452 \\
                 On the Automated Assessment of Open--Source Cyber
                 Threat Intelligence Sources / Andrea Tundis, Samuel
                 Ruppert, Max M{\"u}hlh{\"a}user / 453--467 \\
                 Malicious Domain Detection Based on K--means and SMOTE
                 / Qing Wang, Linyu Li, Bo Jiang, Zhigang Lu, Junrong
                 Liu, Shijie Jian / 468--481 \\
                 Microservice Disaster Crash Recovery: A Weak Global
                 Referential Integrity Management / Maude Manouvrier,
                 Cesare Pautasso, Marta Rukoz / 482--495 \\
                 Hashing Based Prediction for Large--Scale Kernel
                 Machine / Lijing Lu, Rong Yin, Yong Liu, Weiping Wang /
                 496--509 \\
                 Picking Peaches or Squeezing Lemons: Selecting
                 Crowdsourcing Workers for Reducing Cost of Redundancy /
                 Paulina Adamska, Marta Ju{\'z}win, Adam Wierzbicki /
                 510--523 \\
                 Are $n$-gram Categories Helpful in Text Classification?
                 / Jakub Kruczek, Paulina Kruczek, Marcin Kuta /
                 524--537 \\
                 Calculating Reactive Power Compensation for
                 Large--Scale Street Lighting / Sebastian Ernst, Leszek
                 Kotulski, Tomasz Lerch, Micha{\l} Rad, Adam
                 S{\k{e}}dziwy, Igor Wojnicki / 538--550 \\
                 Developing a Decision Support App for Computational
                 Agriculture / Andrew Lewis, Marcus Randall, Ben
                 Stewart--Koster / 551--561 \\
                 Optimal Location of Sensors for Early Detection of
                 Tsunami Waves / Angelie R. Ferrolino, Jose Ernie C.
                 Lope, Renier G. Mendoza / 562--575 \\
                 A Novel Formulation for Inverse Distance Weighting from
                 Weighted Linear Regression / Leonardo Ramos
                 Emmendorfer, Gra{\c{c}}aliz Pereira Dimuro / 576--589
                 \\
                 Addressing the Robustness of Resource Allocation in the
                 Presence of Application and System Irregularities via
                 PEPA Based Modeling / Srishti Srivastava, Ioana
                 Banicescu, William S. Sanders / 590--603 \\
                 An Adaptive Computational Network Model for Strange
                 Loops in Political Evolution in Society / Julia Anten,
                 Jordan Earle, Jan Treur / 604--617 \\
                 Joint Entity Linking for Web Tables with Hybrid
                 Semantic Matching / Jie Xie, Yuhai Lu, Cong Cao,
                 Zhenzhen Li, Yangyang Guan, Yanbing Liu / 618--631 \\
                 A New Coefficient of Rankings Similarity in
                 Decision--Making Problems / Wojciech Sa abun, Karol
                 Urbaniak / 632--645 \\
                 Innovativeness Analysis of Scholarly Publications by
                 Age Prediction Using Ordinal Regression / Pavel Savov,
                 Adam Jatowt, Radoslaw Nielek / 646--660 \\
                 Advantage of Using Spherical over Cartesian Coordinates
                 in the Chromosome Territories 3D Modeling / Magdalena
                 A. Tkacz, Kornel Chromi{\'n}ski / 661--673 \\
                 Adaptive and Efficient Transfer for Online Remote
                 Visualization of Critical Weather Applications / Preeti
                 Malakar, Vijay Natarajan, Sathish S. Vadhiyar /
                 674--693 \\
                 Back Matter / / 695--697",
}


bibtype: proceedings
filename: fparith.bib
label: Wyrzykowski:2020:PPA
editor: Roman Wyrzykowski and Ewa Deelman and Jack Dongarra and Konrad Karczewski
publisher: pub-SV
address: pub-SV:adr
pages: xix + 697
year: 2020
DOI: https://doi.org/10.1007/978-3-030-43229-4
ISBN: 3-030-43229-7 OR 3030432297
ISBN13: 978-3-030-43229-4 OR 9783030432294
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
ISSNL: 0302-9743 OR 03029743
bibdate: Fri Dec 15 11:31:31 2023
bibtimestamp: 2023.12.15 11:31:31 ???
series: ser-LNCS
keywords: posit arithmetic
acknowledgement: ack-nhfb
raweditor: Roman Wyrzykowski and Ewa Deelman and Jack Dongarra and Konrad Karczewski
booktitle:
Parallel Processing and Applied Mathematics: 13th International Conference, PPAM 2019, Bialystok, Poland, September 8--11, 2019, Revised Selected Papers, Part I

title:
Parallel Processing and Applied Mathematics: 13th International Conference, PPAM 2019, Bialystok, Poland, September 8--11, 2019, Revised Selected Papers, Part I

TOC:
Front Matter / i--xxiii Numerical Algorithms and Parallel Scientific Computing == Front Matter / 1--1 Matthias Korch, Tim Werner / Multi-workgroup Tiling to Improve the Locality of Explicit One-Step Methods for ODE Systems with Limited Access Distance on GPUs / 3--12 Davor Davidovic, Enrique S. Quintana-Orti / Structure-Aware Calculation of Many-Electron Wave Function Overlaps on Multicore Processors / 13--24 Charles D. Murray, Tobias Weinzierl / Lazy Stencil Integration in Multigrid Algorithms / 25--37 Filip Pawlowski, Bora Ucar, Albert-Jan Yzelman / High Performance Tensor Vector Multiplication on Shared-Memory Systems / 38--48 Pawel Augustynowicz, Andrzej Paszkiewicz / Efficient Modular Squaring in Binary Fields on CPU Supporting AVX and GPU / 49--57 Carl Christian Kjelgaard Mikkelsen, Mirko Myllykoski / Parallel Robust Computation of Generalized Eigenvectors of Matrix Pencils / 58--69 Mirko Myllykoski, Carl Christian Kjelgaard Mikkelsen / Introduction to StarNEig A Task-Based Library for Solving Nonsymmetric Eigenvalue Problems / 70--81 Angelika Schwarz, Carl Christian Kjelgaard Mikkelsen / Robust Task-Parallel Solution of the Triangular Sylvester Equation / 82--92 Beata Dmitruk, Przemyslaw Stpiczynski / Vectorized Parallel Solver for Tridiagonal Toeplitz Systems of Linear Equations / 93--103 Carola Kruse, Masha Sosonkina, Mario Arioli, Nicolas Tardieu, Ulrich Rude / Parallel Performance of an Iterative Solver Based on the Golub-Kahan Bidiagonalization / 104--116 Linus Seelinger, Anne Reinarz, Robert Scheichl / A High-Performance Implementation of a Robust Preconditioner for Heterogeneous Problems / 117--128 Viviana Arrigoni, Annalisa Massini / Hybrid Solver for Quasi Block Diagonal Linear Systems / 129--140 Michal Kravcenko, Jan Zapletal, Xavier Claeys, Michal Merta / Parallel Adaptive Cross Approximation for the Multi-trace Formulation of Scattering Problems / 141--150 Daisuke Takahashi / Implementation of Parallel 3-D Real FFT with 2-D Decomposition on Intel Xeon Phi Clusters / 151--161 Doru Thom Popovici, Devangi N. Parikh, Daniele G. Spampinato, Tze Meng Low / Exploiting Symmetries of Small Prime-Sized DFTs / 162--173 Victor Gergel, Evgeny Kozinov / Parallel Computations for Various Scalarization Schemes in Multicriteria Optimization Problems / 174--184 Emerging HPC Architectures Front Matter / 185--185 Enrico Calore, Alessandro Gabbana, Fabio Rinaldi, Sebastiano Fabio Schifano, Raffaele Tripiccione / Early Performance Assessment of the ThunderX2 Processor for Lattice Based Simulations / 187--198 Emerging HPC Architectures Mate Cobrnic, Alen Duspara, Leon Dragic, Igor Piljic, Hrvoje Mlinaric, Mario Kovac / An Area Efficient and Reusable HEVC 1D-DCT Hardware Accelerator / 199--208 Performance Analysis and Scheduling in HPC Systems Front Matter / 209--209 M. Yusuf Ozkaya, Anne Benoit, Umit V. Catalyurek / Improving Locality-Aware Scheduling with Acyclic Directed Graph Partitioning / 211--223 Maciej Drozdowski, Gaurav Singh, Jedrzej M. Marszalkowski / Isoefficiency Maps for Divisible Computations in Hierarchical Memory Systems / 224--234 Environments and Frameworks for Parallel/Distributed/Cloud Computing Front Matter / 235--235 Tim Cramer, Manoel Rommer, Boris Kosmynin, Erich Focht, Matthias S. Muller / OpenMP Target Device Offloading for the SX-Aurora TSUBASA Vector Engine / 237--249 Camille Coti, Allen D. Malony / On the Road to DiPOSH: Adventures in High-Performance OpenSHMEM / 250--260 Roman Wiatr, Vladyslav Lyutenko, Milosz Demczuk, Renata Slota, Jacek Kitowski / Click-Fraud Detection for Online Advertising / 261--271 Adam Smyk, Marek Tudruj, Lukasz Grochal / Parallel Graph Partitioning Optimization Under PEGASUS DA Application Global State Monitoring / 272--286 Bartosz Balis, Michal Orzechowski, Krystian Pawlik, Maciej Pawlik, Maciej Malawski / Cloud Infrastructure Automation for Scientific Workflows / 287--297 Applications of Parallel Computing Front Matter / 299--299 Steven W. D. Chien, Ivy B. Peng, Stefano Markidis / Posit NPB: Assessing the Precision Improvement in HPC Scientific Applications / 301--310 Lukas Krenz, Leonhard Rannabauer, Michael Bader / A High-Order Discontinuous Galerkin Solver with Dynamic Adaptive Mesh Refinement to Simulate Cloud Formation Processes / 311--323 Evgeny Kuznetsov, Nikolay Kondratyuk, Mikhail Logunov, Vsevolod Nikolskiy, Vladimir Stegailov / Performance and Portability of State-of-Art Molecular Dynamics Software on Modern GPUs / 324--334 Iosif Meyerov, Alexander Panov, Sergei Bastrakov, Aleksei Bashinov, Evgeny Efimenko, Elena Panova, Igor Surmin, Valentin Volokitin, and Arkady Gonoskov / Exploiting Parallelism on Shared Memory in the QED Particle-in-Cell Code PICADOR with Greedy Load Balancing / 335--347 Michael Quell, Paul Manstetten, Andreas Hossinger, Siegfried Selberherr, Josef Weinbub / Parallelized Construction of Extension Velocities for the Level-Set Method / 348--358 Marcin Czajkowski, Krzysztof Jurczuk, Marek Kretowski / Relative Expression Classification Tree. A Preliminary GPU-Based Implementation / 359--369 Kamil Halbiniak, Lukasz Szustak, Adam Kulawik, Pawel Gepner / Performance Optimizations for Parallel Modeling of Solidification with Dynamic Intensity of Computation / 370--381 Parallel Non-numerical Algorithms Front Matter / 383--383 Joel Fuentes, Wei-yu Chen, Guei-yuan Lueh, Arturo Garza, Isaac D. Scherson / SIMD-node Transformations for Non-blocking Data Structures / 385--395 Parallel Non-numerical Algorithms Hironobu Kobayashi, Yasuaki Ito, Koji Nakano / Stained Glass Image Generation Using Voronoi Diagram and Its GPU Acceleration / 396--407 Anna Sasak-Okon / Modifying Queries Strategy for Graph-Based Speculative Query Execution for RDBMS / 408--418 Soft Computing with Applications Front Matter / 419--419 Krzysztof Jurczuk, Marcin Czajkowski, Marek Kretowski / Accelerating GPU-based Evolutionary Induction of Decision Trees --- Fitness Evaluation Reuse / 421--431 Hatem Khalloof, Phil Ostheimer, Wilfried Jakob, Shadi Shahoud, Clemens Duepmeier, Veit Hagenmeyer / A Distributed Modular Scalable and Generic Framework for Parallelizing Population-Based Metaheuristics / 432--444 Danuta Rutkowska, Krzysztof Wiaderek / Parallel Processing of Images Represented by Linguistic Description in Databases / 445--456 Wojciech Kwedlo, Michal Lubowicz / An OpenMP Parallelization of the K-means Algorithm Accelerated Using KD-trees / 457--466 Wlodzimierz Funika, Pawel Koperek / Evaluating the Use of Policy Gradient Optimization Approach for Automatic Cloud Resource Provisioning / 467--478 Lukasz Karbowiak / Improving Efficiency of Automatic Labeling by Image Transformations on CPU and GPU / 479--490 Special Session on GPU Computing Front Matter / 1--1 Takahiro Inoue, Hiroki Tokura, Koji Nakano, Yasuaki Ito / Efficient Triangular Matrix Vector Multiplication on the GPU / 493--504 Dominik Ernst, Georg Hager, Jonas Thies, Gerhard Wellein / Performance Engineering for a Tall & Skinny Matrix Multiplication Kernels on GPUs / 505--515 Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki / Reproducible BLAS Routines with Tunable Accuracy Using Ozaki Scheme for Many-Core Architectures / 516--527 Tao Chang, Emeric Brun, Christophe Calvin / Portable Monte Carlo Transport Performance Evaluation in the PATMOS Prototype / 528--539 Special Session on Parallel Matrix Factorizations Front Matter / 541--541 Piyush Sao, Ramakrishnan Kannan / Multifrontal Non-negative Matrix Factorization / 543--554 Martin Becka, Gabriel Oksa /Preconditioned Jacobi SVD Algorithm Outperforms PDGESVD / 555--566 Marek Parfieniuk / A Parallel Factorization for Generating Orthogonal Matrices / 567--578 Back Matter / 579--581

rawbooktitle:
Parallel Processing and Applied Mathematics: {13th International Conference, PPAM 2019, Bialystok, Poland, September 8--11, 2019, Revised Selected Papers, Part I}

rawtitle:
Parallel Processing and Applied Mathematics: {13th International Conference, PPAM 2019, Bialystok, Poland, September 8--11, 2019, Revised Selected Papers, Part I}

rawTOC:
Front Matter / i--xxiii \\ Numerical Algorithms and Parallel Scientific Computing == Front Matter / 1--1 \\ Matthias Korch, Tim Werner / Multi-workgroup Tiling to Improve the Locality of Explicit One-Step Methods for ODE Systems with Limited Access Distance on GPUs / 3--12 \\ Davor Davidovi{\'c}, Enrique S. Quintana-Ort{\'\i} / Structure-Aware Calculation of Many-Electron Wave Function Overlaps on Multicore Processors / 13--24 \\ Charles D. Murray, Tobias Weinzierl / Lazy Stencil Integration in Multigrid Algorithms / 25--37 \\ Filip Paw{\l}owski, Bora U{\c{c}}ar, Albert-Jan Yzelman / High Performance Tensor Vector Multiplication on Shared-Memory Systems / 38--48 \\ Pawe{\l} Augustynowicz, Andrzej Paszkiewicz / Efficient Modular Squaring in Binary Fields on CPU Supporting AVX and GPU / 49--57 \\ Carl Christian Kjelgaard Mikkelsen, Mirko Myllykoski / Parallel Robust Computation of Generalized Eigenvectors of Matrix Pencils / 58--69 \\ Mirko Myllykoski, Carl Christian Kjelgaard Mikkelsen / Introduction to StarNEig A Task-Based Library for Solving Nonsymmetric Eigenvalue Problems / 70--81 \\ Angelika Schwarz, Carl Christian Kjelgaard Mikkelsen / Robust Task-Parallel Solution of the Triangular Sylvester Equation / 82--92 \\ Beata Dmitruk, Przemys{\l}aw Stpiczy{\'n}ski / Vectorized Parallel Solver for Tridiagonal Toeplitz Systems of Linear Equations / 93--103 \\ Carola Kruse, Masha Sosonkina, Mario Arioli, Nicolas Tardieu, Ulrich R{\"u}de / Parallel Performance of an Iterative Solver Based on the Golub-Kahan Bidiagonalization / 104--116 \\ Linus Seelinger, Anne Reinarz, Robert Scheichl / A High-Performance Implementation of a Robust Preconditioner for Heterogeneous Problems / 117--128 \\ Viviana Arrigoni, Annalisa Massini / Hybrid Solver for Quasi Block Diagonal Linear Systems / 129--140 \\ Michal Krav{\v{c}}enko, Jan Zapletal, Xavier Claeys, Michal Merta / Parallel Adaptive Cross Approximation for the Multi-trace Formulation of Scattering Problems / 141--150 \\ Daisuke Takahashi / Implementation of Parallel 3-D Real FFT with 2-D Decomposition on Intel Xeon Phi Clusters / 151--161 \\ Doru Thom Popovici, Devangi N. Parikh, Daniele G. Spampinato, Tze Meng Low / Exploiting Symmetries of Small Prime-Sized DFTs / 162--173 \\ Victor Gergel, Evgeny Kozinov / Parallel Computations for Various Scalarization Schemes in Multicriteria Optimization Problems / 174--184 \\ Emerging HPC Architectures \\ Front Matter / 185--185 \\ Enrico Calore, Alessandro Gabbana, Fabio Rinaldi, Sebastiano Fabio Schifano, Raffaele Tripiccione / Early Performance Assessment of the ThunderX2 Processor for Lattice Based Simulations / 187--198 \\ Emerging HPC Architectures \\ Mate Cobrnic, Alen Duspara, Leon Dragic, Igor Piljic, Hrvoje Mlinaric, Mario Kovac / An Area Efficient and Reusable HEVC 1D-DCT Hardware Accelerator / 199--208 \\ Performance Analysis and Scheduling in HPC Systems \\ Front Matter / 209--209 \\ M. Yusuf {\"O}zkaya, Anne Benoit, {\"U}mit V. {\c{C}}ataly{\"u}rek / Improving Locality-Aware Scheduling with Acyclic Directed Graph Partitioning / 211--223 \\ Maciej Drozdowski, Gaurav Singh, J{\k{e}}drzej M. Marsza{\l}kowski / Isoefficiency Maps for Divisible Computations in Hierarchical Memory Systems / 224--234 \\ Environments and Frameworks for Parallel/Distributed/Cloud Computing \\ Front Matter / 235--235 \\ Tim Cramer, Manoel R{\"o}mmer, Boris Kosmynin, Erich Focht, Matthias S. M{\"u}ller / OpenMP Target Device Offloading for the SX-Aurora TSUBASA Vector Engine / 237--249 \\ Camille Coti, Allen D. Malony / On the Road to DiPOSH: Adventures in High-Performance OpenSHMEM / 250--260 \\ Roman Wiatr, Vladyslav Lyutenko, Mi{\l}osz Demczuk, Renata S{\l}ota, Jacek Kitowski / Click-Fraud Detection for Online Advertising / 261--271 \\ Adam Smyk, Marek Tudruj, Lukasz Grochal / Parallel Graph Partitioning Optimization Under PEGASUS DA Application Global State Monitoring / 272--286 \\ Bartosz Balis, Michal Orzechowski, Krystian Pawlik, Maciej Pawlik, Maciej Malawski / Cloud Infrastructure Automation for Scientific Workflows / 287--297 \\ Applications of Parallel Computing \\ Front Matter / 299--299 \\ Steven W. D. Chien, Ivy B. Peng, Stefano Markidis / Posit NPB: Assessing the Precision Improvement in HPC Scientific Applications / 301--310 \\ Lukas Krenz, Leonhard Rannabauer, Michael Bader / A High-Order Discontinuous Galerkin Solver with Dynamic Adaptive Mesh Refinement to Simulate Cloud Formation Processes / 311--323 \\ Evgeny Kuznetsov, Nikolay Kondratyuk, Mikhail Logunov, Vsevolod Nikolskiy, Vladimir Stegailov / Performance and Portability of State-of-Art Molecular Dynamics Software on Modern GPUs / 324--334 \\ Iosif Meyerov, Alexander Panov, Sergei Bastrakov, Aleksei Bashinov, Evgeny Efimenko, Elena Panova, Igor Surmin, Valentin Volokitin, and Arkady Gonoskov / Exploiting Parallelism on Shared Memory in the QED Particle-in-Cell Code PICADOR with Greedy Load Balancing / 335--347 \\ Michael Quell, Paul Manstetten, Andreas H{\"o}ssinger, Siegfried Selberherr, Josef Weinbub / Parallelized Construction of Extension Velocities for the Level-Set Method / 348--358 \\ Marcin Czajkowski, Krzysztof Jurczuk, Marek Kretowski / Relative Expression Classification Tree. A Preliminary GPU-Based Implementation / 359--369 \\ Kamil Halbiniak, Lukasz Szustak, Adam Kulawik, Pawel Gepner / Performance Optimizations for Parallel Modeling of Solidification with Dynamic Intensity of Computation / 370--381 \\ Parallel Non-numerical Algorithms \\ Front Matter / 383--383 \\ Joel Fuentes, Wei-yu Chen, Guei-yuan Lueh, Arturo Garza, Isaac D. Scherson / SIMD-node Transformations for Non-blocking Data Structures / 385--395 \\ Parallel Non-numerical Algorithms \\ Hironobu Kobayashi, Yasuaki Ito, Koji Nakano / Stained Glass Image Generation Using Voronoi Diagram and Its GPU Acceleration / 396--407 \\ Anna Sasak-Oko{\'n} / Modifying Queries Strategy for Graph-Based Speculative Query Execution for RDBMS / 408--418 \\ Soft Computing with Applications \\ Front Matter / 419--419 \\ Krzysztof Jurczuk, Marcin Czajkowski, Marek Kretowski / Accelerating GPU-based Evolutionary Induction of Decision Trees --- Fitness Evaluation Reuse / 421--431 \\ Hatem Khalloof, Phil Ostheimer, Wilfried Jakob, Shadi Shahoud, Clemens Duepmeier, Veit Hagenmeyer / A Distributed Modular Scalable and Generic Framework for Parallelizing Population-Based Metaheuristics / 432--444 \\ Danuta Rutkowska, Krzysztof Wiaderek / Parallel Processing of Images Represented by Linguistic Description in Databases / 445--456 \\ Wojciech Kwedlo, Micha{\l} {\L}ubowicz / An OpenMP Parallelization of the K-means Algorithm Accelerated Using KD-trees / 457--466 \\ W{\l}odzimierz Funika, Pawe{\l} Koperek / Evaluating the Use of Policy Gradient Optimization Approach for Automatic Cloud Resource Provisioning / 467--478 \\ {\L}ukasz Karbowiak / Improving Efficiency of Automatic Labeling by Image Transformations on CPU and GPU / 479--490 \\ Special Session on GPU Computing \\ Front Matter / 1--1 \\ Takahiro Inoue, Hiroki Tokura, Koji Nakano, Yasuaki Ito / Efficient Triangular Matrix Vector Multiplication on the GPU / 493--504 \\ Dominik Ernst, Georg Hager, Jonas Thies, Gerhard Wellein / Performance Engineering for a Tall & Skinny Matrix Multiplication Kernels on GPUs / 505--515 \\ Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki / Reproducible BLAS Routines with Tunable Accuracy Using Ozaki Scheme for Many-Core Architectures / 516--527 \\ Tao Chang, Emeric Brun, Christophe Calvin / Portable Monte Carlo Transport Performance Evaluation in the PATMOS Prototype / 528--539 \\ Special Session on Parallel Matrix Factorizations \\ Front Matter / 541--541 \\ Piyush Sao, Ramakrishnan Kannan / Multifrontal Non-negative Matrix Factorization / 543--554 \\ Martin Be{\v{c}}ka, Gabriel Ok{\v{s}}a /Preconditioned Jacobi SVD Algorithm Outperforms PDGESVD / 555--566 \\ Marek Parfieniuk / A Parallel Factorization for Generating Orthogonal Matrices / 567--578 \\ Back Matter / 579--581

entry:
@Proceedings{Wyrzykowski:2020:PPA,
  editor =       "Roman Wyrzykowski and Ewa Deelman and Jack Dongarra
                 and Konrad Karczewski",
  booktitle =    "Parallel Processing and Applied Mathematics: {13th
                 International Conference, PPAM 2019, Bialystok, Poland,
                 September 8--11, 2019, Revised Selected Papers, Part
                 I}",
  title =        "Parallel Processing and Applied Mathematics: {13th
                 International Conference, PPAM 2019, Bialystok, Poland,
                 September 8--11, 2019, Revised Selected Papers, Part
                 I}",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  year =         "2020",
  DOI =          "https://doi.org/10.1007/978-3-030-43229-4",
  ISBN =         "3-030-43229-7",
  ISBN-13 =      "978-3-030-43229-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri Dec 15 11:31:31 2023",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/d/dongarra-jack-j.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "posit arithmetic",
  tableofcontents = "Front Matter / i--xxiii \\
                 Numerical Algorithms and Parallel Scientific Computing
                 == Front Matter / 1--1 \\
                 Matthias Korch, Tim Werner / Multi-workgroup Tiling to
                 Improve the Locality of Explicit One-Step Methods for
                 ODE Systems with Limited Access Distance on GPUs /
                 3--12 \\
                 Davor Davidovi{\'c}, Enrique S. Quintana-Ort{\'\i} /
                 Structure-Aware Calculation of Many-Electron Wave
                 Function Overlaps on Multicore Processors / 13--24 \\
                 Charles D. Murray, Tobias Weinzierl / Lazy Stencil
                 Integration in Multigrid Algorithms / 25--37 \\
                 Filip Paw{\l}owski, Bora U{\c{c}}ar, Albert-Jan Yzelman
                 / High Performance Tensor Vector Multiplication on
                 Shared-Memory Systems / 38--48 \\
                 Pawe{\l} Augustynowicz, Andrzej Paszkiewicz / Efficient
                 Modular Squaring in Binary Fields on CPU Supporting AVX
                 and GPU / 49--57 \\
                 Carl Christian Kjelgaard Mikkelsen, Mirko Myllykoski /
                 Parallel Robust Computation of Generalized Eigenvectors
                 of Matrix Pencils / 58--69 \\
                 Mirko Myllykoski, Carl Christian Kjelgaard Mikkelsen /
                 Introduction to StarNEig A Task-Based Library for
                 Solving Nonsymmetric Eigenvalue Problems / 70--81 \\
                 Angelika Schwarz, Carl Christian Kjelgaard Mikkelsen /
                 Robust Task-Parallel Solution of the Triangular
                 Sylvester Equation / 82--92 \\
                 Beata Dmitruk, Przemys{\l}aw Stpiczy{\'n}ski /
                 Vectorized Parallel Solver for Tridiagonal Toeplitz
                 Systems of Linear Equations / 93--103 \\
                 Carola Kruse, Masha Sosonkina, Mario Arioli, Nicolas
                 Tardieu, Ulrich R{\"u}de / Parallel Performance of an
                 Iterative Solver Based on the Golub-Kahan
                 Bidiagonalization / 104--116 \\
                 Linus Seelinger, Anne Reinarz, Robert Scheichl / A
                 High-Performance Implementation of a Robust
                 Preconditioner for Heterogeneous Problems / 117--128
                 \\
                 Viviana Arrigoni, Annalisa Massini / Hybrid Solver for
                 Quasi Block Diagonal Linear Systems / 129--140 \\
                 Michal Krav{\v{c}}enko, Jan Zapletal, Xavier Claeys,
                 Michal Merta / Parallel Adaptive Cross Approximation
                 for the Multi-trace Formulation of Scattering Problems
                 / 141--150 \\
                 Daisuke Takahashi / Implementation of Parallel 3-D Real
                 FFT with 2-D Decomposition on Intel Xeon Phi Clusters /
                 151--161 \\
                 Doru Thom Popovici, Devangi N. Parikh, Daniele G.
                 Spampinato, Tze Meng Low / Exploiting Symmetries of
                 Small Prime-Sized DFTs / 162--173 \\
                 Victor Gergel, Evgeny Kozinov / Parallel Computations
                 for Various Scalarization Schemes in Multicriteria
                 Optimization Problems / 174--184 \\
                 Emerging HPC Architectures \\
                 Front Matter / 185--185 \\
                 Enrico Calore, Alessandro Gabbana, Fabio Rinaldi,
                 Sebastiano Fabio Schifano, Raffaele Tripiccione / Early
                 Performance Assessment of the ThunderX2 Processor for
                 Lattice Based Simulations / 187--198 \\
                 Emerging HPC Architectures \\
                 Mate Cobrnic, Alen Duspara, Leon Dragic, Igor Piljic,
                 Hrvoje Mlinaric, Mario Kovac / An Area Efficient and
                 Reusable HEVC 1D-DCT Hardware Accelerator / 199--208
                 \\
                 Performance Analysis and Scheduling in HPC Systems \\
                 Front Matter / 209--209 \\
                 M. Yusuf {\"O}zkaya, Anne Benoit, {\"U}mit V.
                 {\c{C}}ataly{\"u}rek / Improving Locality-Aware
                 Scheduling with Acyclic Directed Graph Partitioning /
                 211--223 \\
                 Maciej Drozdowski, Gaurav Singh, J{\k{e}}drzej M.
                 Marsza{\l}kowski / Isoefficiency Maps for Divisible
                 Computations in Hierarchical Memory Systems / 224--234
                 \\
                 Environments and Frameworks for
                 Parallel/Distributed/Cloud Computing \\
                 Front Matter / 235--235 \\
                 Tim Cramer, Manoel R{\"o}mmer, Boris Kosmynin, Erich
                 Focht, Matthias S. M{\"u}ller / OpenMP Target Device
                 Offloading for the SX-Aurora TSUBASA Vector Engine /
                 237--249 \\
                 Camille Coti, Allen D. Malony / On the Road to DiPOSH:
                 Adventures in High-Performance OpenSHMEM / 250--260 \\
                 Roman Wiatr, Vladyslav Lyutenko, Mi{\l}osz Demczuk,
                 Renata S{\l}ota, Jacek Kitowski / Click-Fraud Detection
                 for Online Advertising / 261--271 \\
                 Adam Smyk, Marek Tudruj, Lukasz Grochal / Parallel
                 Graph Partitioning Optimization Under PEGASUS DA
                 Application Global State Monitoring / 272--286 \\
                 Bartosz Balis, Michal Orzechowski, Krystian Pawlik,
                 Maciej Pawlik, Maciej Malawski / Cloud Infrastructure
                 Automation for Scientific Workflows / 287--297 \\
                 Applications of Parallel Computing \\
                 Front Matter / 299--299 \\
                 Steven W. D. Chien, Ivy B. Peng, Stefano Markidis /
                 Posit NPB: Assessing the Precision Improvement in HPC
                 Scientific Applications / 301--310 \\
                 Lukas Krenz, Leonhard Rannabauer, Michael Bader / A
                 High-Order Discontinuous Galerkin Solver with Dynamic
                 Adaptive Mesh Refinement to Simulate Cloud Formation
                 Processes / 311--323 \\
                 Evgeny Kuznetsov, Nikolay Kondratyuk, Mikhail Logunov,
                 Vsevolod Nikolskiy, Vladimir Stegailov / Performance
                 and Portability of State-of-Art Molecular Dynamics
                 Software on Modern GPUs / 324--334 \\
                 Iosif Meyerov, Alexander Panov, Sergei Bastrakov,
                 Aleksei Bashinov, Evgeny Efimenko, Elena Panova, Igor
                 Surmin, Valentin Volokitin, and Arkady Gonoskov /
                 Exploiting Parallelism on Shared Memory in the QED
                 Particle-in-Cell Code PICADOR with Greedy Load
                 Balancing / 335--347 \\
                 Michael Quell, Paul Manstetten, Andreas H{\"o}ssinger,
                 Siegfried Selberherr, Josef Weinbub / Parallelized
                 Construction of Extension Velocities for the Level-Set
                 Method / 348--358 \\
                 Marcin Czajkowski, Krzysztof Jurczuk, Marek Kretowski /
                 Relative Expression Classification Tree. A Preliminary
                 GPU-Based Implementation / 359--369 \\
                 Kamil Halbiniak, Lukasz Szustak, Adam Kulawik, Pawel
                 Gepner / Performance Optimizations for Parallel
                 Modeling of Solidification with Dynamic Intensity of
                 Computation / 370--381 \\
                 Parallel Non-numerical Algorithms \\
                 Front Matter / 383--383 \\
                 Joel Fuentes, Wei-yu Chen, Guei-yuan Lueh, Arturo
                 Garza, Isaac D. Scherson / SIMD-node Transformations
                 for Non-blocking Data Structures / 385--395 \\
                 Parallel Non-numerical Algorithms \\
                 Hironobu Kobayashi, Yasuaki Ito, Koji Nakano / Stained
                 Glass Image Generation Using Voronoi Diagram and Its
                 GPU Acceleration / 396--407 \\
                 Anna Sasak-Oko{\'n} / Modifying Queries Strategy for
                 Graph-Based Speculative Query Execution for RDBMS /
                 408--418 \\
                 Soft Computing with Applications \\
                 Front Matter / 419--419 \\
                 Krzysztof Jurczuk, Marcin Czajkowski, Marek Kretowski /
                 Accelerating GPU-based Evolutionary Induction of
                 Decision Trees --- Fitness Evaluation Reuse / 421--431
                 \\
                 Hatem Khalloof, Phil Ostheimer, Wilfried Jakob, Shadi
                 Shahoud, Clemens Duepmeier, Veit Hagenmeyer / A
                 Distributed Modular Scalable and Generic Framework for
                 Parallelizing Population-Based Metaheuristics /
                 432--444 \\
                 Danuta Rutkowska, Krzysztof Wiaderek / Parallel
                 Processing of Images Represented by Linguistic
                 Description in Databases / 445--456 \\
                 Wojciech Kwedlo, Micha{\l} {\L}ubowicz / An OpenMP
                 Parallelization of the K-means Algorithm Accelerated
                 Using KD-trees / 457--466 \\
                 W{\l}odzimierz Funika, Pawe{\l} Koperek / Evaluating
                 the Use of Policy Gradient Optimization Approach for
                 Automatic Cloud Resource Provisioning / 467--478 \\
                 {\L}ukasz Karbowiak / Improving Efficiency of Automatic
                 Labeling by Image Transformations on CPU and GPU /
                 479--490 \\
                 Special Session on GPU Computing \\
                 Front Matter / 1--1 \\
                 Takahiro Inoue, Hiroki Tokura, Koji Nakano, Yasuaki Ito
                 / Efficient Triangular Matrix Vector Multiplication on
                 the GPU / 493--504 \\
                 Dominik Ernst, Georg Hager, Jonas Thies, Gerhard
                 Wellein / Performance Engineering for a Tall & Skinny
                 Matrix Multiplication Kernels on GPUs / 505--515 \\
                 Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki /
                 Reproducible BLAS Routines with Tunable Accuracy Using
                 Ozaki Scheme for Many-Core Architectures / 516--527 \\
                 Tao Chang, Emeric Brun, Christophe Calvin / Portable
                 Monte Carlo Transport Performance Evaluation in the
                 PATMOS Prototype / 528--539 \\
                 Special Session on Parallel Matrix Factorizations \\
                 Front Matter / 541--541 \\
                 Piyush Sao, Ramakrishnan Kannan / Multifrontal
                 Non-negative Matrix Factorization / 543--554 \\
                 Martin Be{\v{c}}ka, Gabriel Ok{\v{s}}a /Preconditioned
                 Jacobi SVD Algorithm Outperforms PDGESVD / 555--566 \\
                 Marek Parfieniuk / A Parallel Factorization for
                 Generating Orthogonal Matrices / 567--578 \\
                 Back Matter / 579--581",
}


bibtype: proceedings
filename: fparith.bib
label: IEEE:2021:ISC
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
year: 2021
DOI: https://doi.org/10.1109/ARITH51176.2021
ISBN: 1-66542-293-9 (print), 1-66544-648-X (e-book) OR 1665422939 (print), 166544648X (ebook)
bibdate: Thu Sep 21 10:36:52 MDT 2023
bibtimestamp: 2023.09.21 10:36:52 MDT
keywords: ARITH-28
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings

title:
2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings

ISBN13:
978-1-66542-293-2 (print), 978-1-66544-648-8 (e-book) OR 9781665422932 (print), 9781665446488 (ebook)

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/ieeetransemergtopcomput.bib; https://www.math.utah.edu/pub/tex/bib/risc-v.bib

remark:
The 28th IEEE Symposium on Computer Arithmetic --- ARITH 2021 --- originally scheduled in Turin, Italy, is held in June 2021 as a virtual conference due to the uncertainty of the world health and travel situation.

rawbooktitle:
{2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings}

rawtitle:
{2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings}

entry:
@Proceedings{IEEE:2021:ISC,
  editor =       "{IEEE}",
  booktitle =    "{2021 IEEE 28th Symposium on Computer Arithmetic:
                 ARITH 2021: virtual conference, 14--16 June 2021:
                 proceedings}",
  title =        "{2021 IEEE 28th Symposium on Computer Arithmetic:
                 ARITH 2021: virtual conference, 14--16 June 2021:
                 proceedings}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "2021",
  DOI =          "https://doi.org/10.1109/ARITH51176.2021",
  ISBN =         "1-66542-293-9 (print), 1-66544-648-X (e-book)",
  ISBN-13 =      "978-1-66542-293-2 (print), 978-1-66544-648-8
                 (e-book)",
  LCCN =         "????",
  bibdate =      "Thu Sep 21 10:36:52 MDT 2023",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/ieeetransemergtopcomput.bib;
                 https://www.math.utah.edu/pub/tex/bib/risc-v.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-28",
  meetingname =  "IEEE International Symposium on Computer Arithmetic
                 28. 2021",
  remark =       "The 28th IEEE Symposium on Computer Arithmetic ---
                 ARITH 2021 --- originally scheduled in Turin, Italy, is
                 held in June 2021 as a virtual conference due to the
                 uncertainty of the world health and travel situation.",
}


bibtype: proceedings
filename: fparith.bib
label: Gustafson:2022:NGA
author: John Gustafson and Vassil Dimitrov
volume: 13253
publisher: pub-SV
address: pub-SV:adr
pages: vii + 135
year: 2022
DOI: https://doi.org/10.1007/978-3-031-09779-9
ISBN: 3-031-09778-5, 3-031-09779-3 (e-book) OR 3031097785, 3031097793 (ebook)
ISBN13: 978-3-031-09778-2, 978-3-031-09779-9 (e-book) OR 9783031097782, 9783031097799 (ebook)
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
ISSNL: 0302-9743 OR 03029743
LCCN: QA76.9.C62
bibdate: Fri Dec 15 07:04:06 2023
bibsource: https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2023.12.15 07:04:06 ???
series: ser-LNCS
acknowledgement: ack-nhfb
bookpages: vii + 135
rawauthor: John Gustafson and Vassil Dimitrov
booktitle:
Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1--3, 2022, Revised Selected Papers

title:
Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1--3, 2022, Revised Selected Papers

TOC:
Moritz Barthel, Nils Hulsmeier, Jochen Rust, and Steffen Paul / On the Implementation of Edge Detection Algorithms with SORN Arithmetic / 1 Oregane Desrentes, Diana Resmerita, and Benoit Dupont de Dinechin / A Posit8 Decompression Operator for Deep Neural Network Inference / 14 Nhut-Minh Ho, Himeshi De Silva, John L. Gustafson, and Weng-Fai Wong / Qtorch+: Next Generation Arithmetic for Pytorch Machine Learning / 31 Hamed F. Langroudi, Vedant Karia, Tej Pandit, Becky Mashaido, and Dhireesha Kudithipudi / ACTION: Automated Hardware-Software Codesign Framework for Low-precision Numerical Format SelecTION in TinyML / 50 Peter Lindstrom / MultiPosits: Universal Coding of $mathbb R^n$ / 66 Raul Murillo, David Mallasen, Alberto A. Del Barrio, and Guillermo Botella / Comparing Different Decodings for Posit Arithmetic / 84 E. Theodore L. Omtzigt and James Quinlan / Universal: Reliable, Reproducible, and Energy-Efficient Numerics / 100 Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, and Sergio Saponara / Small Reals Representations for Deep Learning at the Edge: A Comparison / 117 Author Index / 135

rawbooktitle:
Next Generation Arithmetic: {Third International Conference, CoNGA 2022, Singapore, March 1--3, 2022, Revised Selected Papers}

rawtitle:
Next Generation Arithmetic: {Third International Conference, CoNGA 2022, Singapore, March 1--3, 2022, Revised Selected Papers}

rawTOC:
Moritz B{\"a}rthel, Nils H{\"u}lsmeier, Jochen Rust, and Steffen Paul / On the Implementation of Edge Detection Algorithms with SORN Arithmetic / 1 \\ Or{\'e}gane Desrentes, Diana Resmerita, and Beno{\^\i}t Dupont de Dinechin / A Posit8 Decompression Operator for Deep Neural Network Inference / 14 \\ Nhut-Minh Ho, Himeshi De Silva, John L. Gustafson, and Weng-Fai Wong / Qtorch+: Next Generation Arithmetic for Pytorch Machine Learning / 31 \\ Hamed F. Langroudi, Vedant Karia, Tej Pandit, Becky Mashaido, and Dhireesha Kudithipudi / ACTION: Automated Hardware-Software Codesign Framework for Low-precision Numerical Format SelecTION in TinyML / 50 \\ Peter Lindstrom / MultiPosits: Universal Coding of $\mathbb{R}^n$ / 66 \\ Raul Murillo, David Mallas{\'e}n, Alberto A. Del Barrio, and Guillermo Botella / Comparing Different Decodings for Posit Arithmetic / 84 \\ E. Theodore L. Omtzigt and James Quinlan / Universal: Reliable, Reproducible, and Energy-Efficient Numerics / 100 \\ Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, and Sergio Saponara / Small Reals Representations for Deep Learning at the Edge: A Comparison / 117 \\ Author Index / 135

entry:
@Proceedings{Gustafson:2022:NGA,
  author =       "John Gustafson and Vassil Dimitrov",
  booktitle =    "Next Generation Arithmetic: {Third International
                 Conference, CoNGA 2022, Singapore, March 1--3, 2022,
                 Revised Selected Papers}",
  title =        "Next Generation Arithmetic: {Third International
                 Conference, CoNGA 2022, Singapore, March 1--3, 2022,
                 Revised Selected Papers}",
  volume =       "13253",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  bookpages =    "vii + 135",
  pages =        "vii + 135",
  year =         "2022",
  DOI =          "https://doi.org/10.1007/978-3-031-09779-9",
  ISBN =         "3-031-09778-5, 3-031-09779-3 (e-book)",
  ISBN-13 =      "978-3-031-09778-2, 978-3-031-09779-9 (e-book)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  LCCN =         "QA76.9.C62",
  bibdate =      "Fri Dec 15 07:04:06 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  tableofcontents = "Moritz B{\"a}rthel, Nils H{\"u}lsmeier, Jochen
                 Rust, and Steffen Paul / On the Implementation of Edge
                 Detection Algorithms with SORN Arithmetic / 1 \\
                 Or{\'e}gane Desrentes, Diana Resmerita, and Beno{\^\i}t
                 Dupont de Dinechin / A Posit8 Decompression Operator
                 for Deep Neural Network Inference / 14 \\
                 Nhut-Minh Ho, Himeshi De Silva, John L. Gustafson, and
                 Weng-Fai Wong / Qtorch+: Next Generation Arithmetic for
                 Pytorch Machine Learning / 31 \\
                 Hamed F. Langroudi, Vedant Karia, Tej Pandit, Becky
                 Mashaido, and Dhireesha Kudithipudi / ACTION: Automated
                 Hardware-Software Codesign Framework for Low-precision
                 Numerical Format SelecTION in TinyML / 50 \\
                 Peter Lindstrom / MultiPosits: Universal Coding of
                 $\mathbb{R}^n$ / 66 \\
                 Raul Murillo, David Mallas{\'e}n, Alberto A. Del
                 Barrio, and Guillermo Botella / Comparing Different
                 Decodings for Posit Arithmetic / 84 \\
                 E. Theodore L. Omtzigt and James Quinlan / Universal:
                 Reliable, Reproducible, and Energy-Efficient Numerics /
                 100 \\
                 Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi,
                 and Sergio Saponara / Small Reals Representations for
                 Deep Learning at the Edge: A Comparison / 117 \\
                 Author Index / 135",
}


bibtype: proceedings
filename: fparith.bib
label: IEEE:2022:ISC
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
year: 2022
DOI: https://doi.org/10.1109/ARITH54963.2022
ISBN: 1-66547-827-6, 1-66547-828-4 OR 1665478276, 1665478284
ISBN13: 978-1-66547-827-4, 978-1-66547-828-1 OR 9781665478274, 9781665478281
bibdate: Thu Sep 21 10:14:25 2023
bibtimestamp: 2023.09.21 10:14:25 ???
keywords: ARITH-29
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings

title:
2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings

bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/risc-v.bib

rawbooktitle:
{2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings}

rawtitle:
{2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings}

entry:
@Proceedings{IEEE:2022:ISC,
  editor =       "{IEEE}",
  booktitle =    "{2022 IEEE 29th Symposium on Computer Arithmetic:
                 ARITH 2022: virtual conference, 12--14 September 2022:
                 proceedings}",
  title =        "{2022 IEEE 29th Symposium on Computer Arithmetic:
                 ARITH 2022: virtual conference, 12--14 September 2022:
                 proceedings}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "2022",
  DOI =          "https://doi.org/10.1109/ARITH54963.2022",
  ISBN =         "1-66547-827-6, 1-66547-828-4",
  ISBN-13 =      "978-1-66547-827-4, 978-1-66547-828-1",
  LCCN =         "????",
  bibdate =      "Thu Sep 21 10:14:25 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/risc-v.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-29",
  meetingname =  "IEEE Symposium on Computer Arithmetic 29. 2022",
}


bibtype: proceedings
filename: fparith.bib
label: Gustafson:2023:NGA
editor: John Gustafson and Siew Hoon Leong and Marek Michalewicz
publisher: pub-SV
address: pub-SV:adr
year: 2023
DOI: https://doi.org/10.1007/978-3-031-32180-1
ISBN: 3-031-32180-4 OR 3031321804
ISBN13: 978-3-031-32180-1 OR 9783031321801
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
ISSNL: 0302-9743 OR 03029743
bibdate: Fri Dec 15 11:31:31 2023
bibsource: https://www.math.utah.edu/pub/tex/bib/fparith.bib
bibtimestamp: 2023.12.15 11:31:31 ???
series: ser-LNCS
keywords: posit arithmetic
acknowledgement: ack-nhfb
raweditor: John Gustafson and Siew Hoon Leong and Marek Michalewicz
booktitle:
Next Generation Arithmetic: 4th International Conference, CoNGA 2023, Singapore, March 1--2, 2023, Proceedings

title:
Next Generation Arithmetic: 4th International Conference, CoNGA 2023, Singapore, March 1--2, 2023, Proceedings

TOC:
Front Matter / i--x Siew Hoon Leong, John L. Gustafson / Lossless FFTs Using Posit Arithmetic / 1--18 Nhut-Minh Ho, Duy-Thanh Nguyen, John L. Gustafson, Weng-Fai Wong / Bedot: Bit Efficient Dot Product for Deep Generative Models / 19--37 Moritz Beutel, Robert Strzodka / A Paradigm for Interval-Aware Programming / 38--60 John L. Gustafson, Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara / Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers / 61--76 Nils Hulsmeier, Moritz Barthel, Jochen Rust, Steffen Paul / Hybrid SORN Hardware Accelerator for Support Vector Machines / 77--87 Diksha Shekhawat, Jugal Gandhi, M. Santosh, Jai Gopal Pandey / PHAc: Posit Hardware Accelerator for Efficient Arithmetic Logic Operations / 88--100 Moritz Barthel, Chen Yuxing, Nils Hulsmeier, Jochen Rust, Steffen Paul / Fused Three-Input SORN Arithmetic / 101--113 Himeshi De Silva, Hongshi Tan, Nhut-Minh Ho, John L. Gustafson, Weng-Fai Wong / Towards a Better 16--Bit Number Representation for Training Neural Networks / 114--133 Ponsuganth Ilangovan P., Rohan Rayan, Vinay Shankar Saxena / Improving the Stability of Kalman Filters with Posit Arithmetic / 134--154 Thushara Kanchana Gunaratne / Evaluation of the Use of Low Precision Floating-Point Arithmetic for Applications in Radio Astronomy / 155--170 Raul Murillo, David Mallasen, Alberto A. Del Barrio, Guillermo Botella / PLAUs: Posit Logarithmic Approximate Units to Implement Low-Cost Operations with Real Numbers / 171--188 Back Matter / 189--189

rawbooktitle:
Next Generation Arithmetic: {4th International Conference, CoNGA 2023, Singapore, March 1--2, 2023, Proceedings}

rawtitle:
Next Generation Arithmetic: {4th International Conference, CoNGA 2023, Singapore, March 1--2, 2023, Proceedings}

rawTOC:
Front Matter / i--x \\ Siew Hoon Leong, John L. Gustafson / Lossless FFTs Using Posit Arithmetic / 1--18 \\ Nhut-Minh Ho, Duy-Thanh Nguyen, John L. Gustafson, Weng-Fai Wong / Bedot: Bit Efficient Dot Product for Deep Generative Models / 19--37 \\ Moritz Beutel, Robert Strzodka / A Paradigm for Interval-Aware Programming / 38--60 \\ John L. Gustafson, Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara / Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers / 61--76 \\ Nils H{\"u}lsmeier, Moritz B{\"a}rthel, Jochen Rust, Steffen Paul / Hybrid SORN Hardware Accelerator for Support Vector Machines / 77--87 \\ Diksha Shekhawat, Jugal Gandhi, M. Santosh, Jai Gopal Pandey / PHAc: Posit Hardware Accelerator for Efficient Arithmetic Logic Operations / 88--100 \\ Moritz B{\"a}rthel, Chen Yuxing, Nils H{\"u}lsmeier, Jochen Rust, Steffen Paul / Fused Three-Input SORN Arithmetic / 101--113 \\ Himeshi De Silva, Hongshi Tan, Nhut-Minh Ho, John L. Gustafson, Weng-Fai Wong / Towards a Better 16--Bit Number Representation for Training Neural Networks / 114--133 \\ Ponsuganth Ilangovan P., Rohan Rayan, Vinay Shankar Saxena / Improving the Stability of Kalman Filters with Posit Arithmetic / 134--154 \\ Thushara Kanchana Gunaratne / Evaluation of the Use of Low Precision Floating-Point Arithmetic for Applications in Radio Astronomy / 155--170 \\ Raul Murillo, David Mallas{\'e}n, Alberto A. Del Barrio, Guillermo Botella / PLAUs: Posit Logarithmic Approximate Units to Implement Low-Cost Operations with Real Numbers / 171--188 \\ Back Matter / 189--189

entry:
@Proceedings{Gustafson:2023:NGA,
  editor =       "John Gustafson and Siew Hoon Leong and Marek
                 Michalewicz",
  booktitle =    "Next Generation Arithmetic: {4th International
                 Conference, CoNGA 2023, Singapore, March 1--2, 2023,
                 Proceedings}",
  title =        "Next Generation Arithmetic: {4th International
                 Conference, CoNGA 2023, Singapore, March 1--2, 2023,
                 Proceedings}",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  year =         "2023",
  DOI =          "https://doi.org/10.1007/978-3-031-32180-1",
  ISBN =         "3-031-32180-4",
  ISBN-13 =      "978-3-031-32180-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri Dec 15 11:31:31 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "posit arithmetic",
  tableofcontents = "Front Matter / i--x \\
                 Siew Hoon Leong, John L. Gustafson / Lossless FFTs
                 Using Posit Arithmetic / 1--18 \\
                 Nhut-Minh Ho, Duy-Thanh Nguyen, John L. Gustafson,
                 Weng-Fai Wong / Bedot: Bit Efficient Dot Product for
                 Deep Generative Models / 19--37 \\
                 Moritz Beutel, Robert Strzodka / A Paradigm for
                 Interval-Aware Programming / 38--60 \\
                 John L. Gustafson, Marco Cococcioni, Federico Rossi,
                 Emanuele Ruffaldi, Sergio Saponara / Decoding-Free
                 Two-Input Arithmetic for Low-Precision Real Numbers /
                 61--76 \\
                 Nils H{\"u}lsmeier, Moritz B{\"a}rthel, Jochen Rust,
                 Steffen Paul / Hybrid SORN Hardware Accelerator for
                 Support Vector Machines / 77--87 \\
                 Diksha Shekhawat, Jugal Gandhi, M. Santosh, Jai Gopal
                 Pandey / PHAc: Posit Hardware Accelerator for Efficient
                 Arithmetic Logic Operations / 88--100 \\
                 Moritz B{\"a}rthel, Chen Yuxing, Nils H{\"u}lsmeier,
                 Jochen Rust, Steffen Paul / Fused Three-Input SORN
                 Arithmetic / 101--113 \\
                 Himeshi De Silva, Hongshi Tan, Nhut-Minh Ho, John L.
                 Gustafson, Weng-Fai Wong / Towards a Better 16--Bit
                 Number Representation for Training Neural Networks /
                 114--133 \\
                 Ponsuganth Ilangovan P., Rohan Rayan, Vinay Shankar
                 Saxena / Improving the Stability of Kalman Filters with
                 Posit Arithmetic / 134--154 \\
                 Thushara Kanchana Gunaratne / Evaluation of the Use of
                 Low Precision Floating-Point Arithmetic for
                 Applications in Radio Astronomy / 155--170 \\
                 Raul Murillo, David Mallas{\'e}n, Alberto A. Del
                 Barrio, Guillermo Botella / PLAUs: Posit Logarithmic
                 Approximate Units to Implement Low-Cost Operations with
                 Real Numbers / 171--188 \\
                 Back Matter / 189--189",
}


