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: 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) |
|
3 |
Material Type: Artigo
|
Determination of Glycan Structure from Tandem Mass SpectraBocker, S ; Kehr, B ; Rasche, FIEEE/ACM transactions on computational biology and bioinformatics, 2011-07, Vol.8 (4), p.976-986 [Periódico revisado por pares]United States: IEEETexto completo disponível |
|
4 |
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 |
|
5 |
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 |
|
6 |
Material Type: Artigo
|
A 5k-vertex kernel for 3-path vertex coverXiao, Mingyu ; Kou, ShaoweiTheoretical computer science, 2023-05, Vol.959, p.113872, Article 113872 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
Parameterized complexity of categorical clustering with size constraintsFomin, Fedor V. ; Golovach, Petr A. ; Purohit, NidhiJournal of computer and system sciences, 2023-09, Vol.136, p.171-194 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
8 |
Material Type: Artigo
|
Efficient Computation of Representative Families with Applications in Parameterized and Exact AlgorithmsFomin, Fedor ; Lokshtanov, Daniel ; Panolan, Fahad ; Saurabh, SaketJournal of the ACM, 2016-11, Vol.63 (4), p.1-60 [Periódico revisado por pares]New York: ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
A parameterized algorithm for subset feedback vertex set in tournamentsBai, Tian ; Xiao, MingyuTheoretical computer science, 2023-10, Vol.975, p.114139, Article 114139 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Assigning times to minimise reachability in temporal graphsEnright, Jessica ; Meeks, Kitty ; Skerman, FionaJournal of computer and system sciences, 2021-02, Vol.115, p.169-186 [Periódico revisado por pares]Elsevier IncTexto completo disponível |