AI Chat AI Image Generator AI Video Text to Speech

SC-Square: Overview to 2021

09/09/2022

∙

by Matthew England, et al.

∙

∙

This extended abstract was written to accompany an invited talk at the 2021 SC-Square Workshop, where the author was asked to give an overview of SC-Square progress to date. The author first reminds the reader of the definition of SC-Square, then briefly outlines some of the history, before picking out some (personal) scientific highlights.

page 1

page 2

page 3

page 4

research

∙ 09/09/2022

SC-Square: Future Progress with Machine Learning?

The algorithms employed by our communities are often underspecified, and...

0 Matthew England, et al. ∙

research

∙ 09/29/2016

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

In the paper which inspired the SC-Square project, [E. Abraham, Building...

0 Matthew England, et al. ∙

research

∙ 07/12/2023

B-CLEAN-SC: CLEAN-SC for broadband sources

This paper presents B-CLEAN-SC, a variation of CLEAN-SC for broadband so...

0 Armin Goudarzi, et al. ∙

research

∙ 01/21/2019

SC-Fano Decoding of Polar Codes

In this paper, we present a novel decoding algorithm of a polar code, na...

0 Min-Oh Jeong, et al. ∙

research

∙ 09/22/2022

Building a National Smart Campus to support sustainable business development: An ecosystem approach

Universities are racing towards making their campuses and cities smart i...

0 Larry Abdullai, et al. ∙

research

∙ 09/05/2021

Square Root Marginalization for Sliding-Window Bundle Adjustment

In this paper we propose a novel square root sliding-window bundle adjus...

0 Nikolaus Demmel, et al. ∙

research

∙ 07/27/2016

Satisfiability Checking meets Symbolic Computation (Project Paper)

Symbolic Computation and Satisfiability Checking are two research areas,...

0 E. Abraham, et al. ∙