Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Exploring the role of qubit connectivity in expressibility and entanglement of parameterized quantum circuits architecturesCorrer, Guilherme IlárioBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 2024-02-21Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Dissertação de Mestrado
|
On the geometry of Variational Quantum Algorithms: Hopf fibrations, entanglement and the natural gradient descentHabermann, Gustavo SchranckBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 2024-07-11Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Artigo de Congresso
|
Approximation and parameterized algorithms for balanced connected partition problemsPhablo Fernando Soares Moura Matheus Jun Ota; Yoshiko Wakabayashi; Conference on Algorithms and Discrete Applied Mathematics - CALDAM (8. 2022 Puducherry, India)Proceedings Cham: Springer, 2022Cham Springer 2022Localização: IME - Inst. Matemática e Estatística (PROD-3063611 )(Acessar) |
|
4 |
Material Type: Artigo
|
Parameterized approximation algorithms for weighted vertex coverMandal, Soumen ; Misra, Pranabendu ; Rai, Ashutosh ; Saurabh, SaketTheoretical computer science, 2024-12, Vol.1021, p.114870, Article 114870 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Fixed-Treewidth-Efficient Algorithms for Edge-Deletion to Interval Graph ClassesSaitoh, Toshiki ; Yoshinaka, Ryo ; Bodlaender, Hans L. Nandy, Subhas C. ; Uehara, Ryuhei ; Hong, Seok-HeeWALCOM: Algorithms and Computation, p.142-153 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
|
6 |
Material Type: Ata de Congresso
|
On the parameterized complexity of approximating dominating setS., Karthik C. ; Laekhanukit, Bundit ; Manurangsi, PasinProceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018, p.1283-1296 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Hitting topological minors is FPTFomin, Fedor V. ; Lokshtanov, Daniel ; Panolan, Fahad ; Saurabh, Saket ; Zehavi, MeiravProceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020, p.1317-1326 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
8 |
Material Type: Artigo
|
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program AnalysisConrado, Giovanna Kobus ; Goharshady, Amir Kafshdar ; Kochekov, Kerim ; Tsai, Yun Chen ; Zaher, Ahmed KhaledProceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1993-2022, Article 292 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph ClassesSchirrmacher, Nicole ; Siebertz, Sebastian ; Stamoulis, Giannos ; Thilikos, Dimitrios ; Vigny, AlexandreACMSem texto completo |
|
10 |
Material Type: Artigo
|
Algorithm runtime prediction: Methods & evaluationHutter, Frank ; Xu, Lin ; Hoos, Holger H. ; Leyton-Brown, KevinArtificial intelligence, 2014-01, Vol.206, p.79-111 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |