E-LIB Suche - Ergebnisse für: Martins, Ruben

1

Microalgae-Based Remediation of Real Textile Wastewater: As..:

Martins, Rúben A. ; Salgado, Eva M. ; Gonçalves, Ana L...
Bioengineering. 11 (2024) 1 - p. 44 , 2024

2

BatFix: Repairing language model-based transpilation:

Ramos, Daniel ; Lynce, Inês ; Manquinho, Vasco..
ACM Transactions on Software Engineering and Methodology. 33 (2024) 6 - p. 1-29 , 2024

Link: https://doi.org/10.1145/..

3

Su1907 ORAL HEALTH STATUS AND ORAL MICROBIOME DYSBIOSIS IN ..:

Rodrigues, Cláudio ; Gomes, Ana P. ; Leal, Joana...
Gastroenterology. 166 (2024) 5 - p. S-867-S-868 , 2024

Link: https://doi.org/10.1016/..

4

A Novel Approach for the Reuse of Waste from the Extractive..:

Afonso, Paula ; Pires, Vera ; Faria, Paula...
Sustainability. 16 (2023) 1 - p. 64 , 2023

Link: https://doi.org/10.3390/..

5

A Way to Start Transanal Total Mesorectal Excision for Rect..:

Martins, Ruben ; Revez, Tatiana ; Morais, Henrique...
Journal of Coloproctology. 42 (2022) 2 - p. 159-166 , 2022

Link: https://doi.org/10.1055/..

6

Using a simulation centre to evaluate preliminary acceptabi..:

Benrimoh, David ; Tanguay-Sela, Myriam ; Perlman, Kelly...
BJPsych Open. 7 (2021) 1 - p. , 2021

Link: https://doi.org/10.1192/..

7

SQUARES: a SQL synthesizer using query reverse engineering:

Orvalho, Pedro ; Terra-Neves, Miguel ; Ventura, Miguel..
Proceedings of the VLDB Endowment. 13 (2020) 12 - p. 2853-2856 , 2020

Link: https://doi.org/10.14778..

8

Program equivalence for assisted grading of functional prog..:

Clune, Joshua ; Ramamurthy, Vijay ; Martins, Ruben.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

9

überSpark : Practical, Provable, End-to-End Guarantees o..:

Vasudevan, Amit ; Maniatis, Petros ; Martins, Ruben
ACM SIGOPS Operating Systems Review. 54 (2020) 1 - p. 8-22 , 2020

Link: https://dl.acm.org/doi/1..

10

SQUARES : a SQL synthesizer using query reverse engineer..:

Orvalho, Pedro ; Terra-Neves, Miguel ; Ventura, Miguel..
Proceedings of the VLDB Endowment. 13 (2020) 12 - p. 2853-2856 , 2020

Link: https://dl.acm.org/doi/1..

11

Program equivalence for assisted grading of functional prog..:

Clune, Joshua ; Ramamurthy, Vijay ; Martins, Ruben.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

12

überSpark: Practical, Provable, End-to-End Guarantees on Co..:

Vasudevan, Amit ; Maniatis, Petros ; Martins, Ruben
ACM SIGOPS Operating Systems Review. 54 (2020) 1 - p. 8-22 , 2020

Link: https://doi.org/10.1145/..

13

Evaluating the Usability and Impact of an Artificial Intell..:

Tanguay-Sela, Myriam ; Benrimoh, David ; Perlman, Kelly...
Biological Psychiatry. 87 (2020) 9 - p. S171 , 2020

Link: https://doi.org/10.1016/..

14

Open-WBO-Inc: Approximation Strategies for Incomplete Weigh..:

Joshi, Saurabh ; Kumar, Prateek ; Rao, Sukrut...
Journal on Satisfiability, Boolean Modeling and Computation. 11 (2019) 1 - p. 73-97 , 2019

Link: https://doi.org/10.3233/..

15

Laparoscopy in Blunt Abdominal Trauma: Diaphragmatic and Bl..:

Martins, Ruben ; Santos, Martins dos ; Revez, Tatiana
Journal of Trauma and Injury. 32 (2019) 3 - p. 176-180 , 2019

Link: https://doi.org/10.20408..