


default search action
Theoretical Computer Science, Volume 1021
Volume 1021, 2024
- Soumen Mandal, Pranabendu Misra, Ashutosh Rai, Saket Saurabh:
Parameterized approximation algorithms for weighted vertex cover. 114870 - Krishna Manoorkar
, Alessandra Palmigiano
, Mattia Panettiere
:
Polynomial-time checking of generalized Sahlqvist syntactic shape. 114875 - Kangfeng Ye
, Jim Woodcock
, Simon Foster:
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving. 114876 - Cornelius Brand, Viktoriia Korchemna
, Kirill Simonov, Michael Skotnica
:
Counting vanishing matrix-vector products. 114877 - Bohan Lyu
, Jianzhong Li:
Multiple-model polynomial regression and efficient algorithms for data analysis. 114878 - Zelong Zhao, Nan Zhang
, Bin Yu
, Zhenhua Duan:
Generating Java code pairing with ChatGPT. 114879 - Brati Mondal
, Pritam Goswami
, Avisek Sharma, Buddhadeb Sau:
Arbitrary pattern formation on a continuous circle by oblivious robot swarm. 114882

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.