Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Author Correction: cfSNV: a software tool for the sensitive detection of somatic mutations from cell-free DNALi, Shuo ; Hu, Ran ; Small, Colin ; Kang, Ting-Yu ; Liu, Chun-Chi ; Zhou, Xianghong Jasmine ; Li, WenyuanNature protocols, 2024-04, Vol.19 (4), p.1289-1289 [Periódico revisado por pares]England: Nature Publishing GroupTexto completo disponível |
|
2 |
Material Type: Artigo
|
Formal Methods in Railways: A Systematic Mapping StudyFerrari, Alessio ; Beek, Maurice H. TerACM computing surveys, 2022-11, Vol.55 (4), p.1-37, Article 69 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
3 |
Material Type: Artigo
|
CViewer: a Java-based statistical framework for integration of shotgun metagenomics with other omics datasetsKoci, Orges ; Russell, Richard K. ; Shaikh, M. Guftar ; Edwards, Christine ; Gerasimidis, Konstantinos ; Ijaz, Umer ZeeshanMicrobiome, 2024-06, Vol.12 (1), p.117, Article 117 [Periódico revisado por pares]London: BioMed CentralTexto completo disponível |
|
4 |
Material Type: Artigo
|
A study on software fault prediction techniquesRathore, Santosh S. ; Kumar, SandeepThe Artificial intelligence review, 2019-02, Vol.51 (2), p.255-327 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
5 |
Material Type: Artigo
|
Monitoring Metric First-Order Temporal PropertiesBasin, David ; Klaedtke, Felix ; Müller, Samuel ; Zălinescu, EugenJournal of the ACM, 2015-05, Vol.62 (2), p.1-45, Article 15 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
Recent Remote Viewing Applications SurveyKatz, Debra Lynne ; Tressoldi, PatrizioThe Journal of parapsychology, 2022-04, Vol.86 (1), p.48-49 [Periódico revisado por pares]Durham: Parapsychology PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8ACM transactions on programming languages and systems, 2018-12, Vol.40 (4), p.1-1, Article 18 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
8 |
Material Type: Artigo
|
Automatic Storage Optimization for ArraysBhaskaracharya, Somashekaracharya G. ; Bondhugula, Uday ; Cohen, AlbertACM transactions on programming languages and systems, 2016-05, Vol.38 (3), p.1-23, Article 11 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
Editor's Foreword to “Static Backward Slicing of Non-Deterministic Programs and Systems”Myers, AndrewACM transactions on programming languages and systems, 2018-08, Vol.40 (3), p.1-1, Article 11e [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
10 |
Material Type: Artigo
|
BEAST 2.5: An advanced software platform for Bayesian evolutionary analysisBouckaert, Remco ; Vaughan, Timothy G ; Barido-Sottani, Joëlle ; Duchêne, Sebastián ; Fourment, Mathieu ; Gavryushkina, Alexandra ; Heled, Joseph ; Jones, Graham ; Kühnert, Denise ; De Maio, Nicola ; Matschiner, Michael ; Mendes, Fábio K ; Müller, Nicola F ; Ogilvie, Huw A ; du Plessis, Louis ; Popinga, Alex ; Rambaut, Andrew ; Rasmussen, David ; Siveroni, Igor ; Suchard, Marc A ; Wu, Chieh-Hsi ; Xie, Dong ; Zhang, Chi ; Stadler, Tanja ; Drummond, Alexei J Pertea, MihaelaPLoS computational biology, 2019-04, Vol.15 (4), p.e1006650-e1006650 [Periódico revisado por pares]United States: Public Library of ScienceTexto completo disponível |