( en | de | ru )

 

Disambiguierung von "Silva, Ana Carolina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Execution Time Program Verification with Tight Bounds.

, , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 56-72. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ana Carolina Nogueira da Silva

Ana Carolina Nogueira

Hela Silva Carolina Beier

Carolina Ferraz da Silva

Ana Giselle Silva Panez

 

Weitere Publikationen von Autoren mit dem selben Namen

Execution Time Program Verification With Tight Bounds., , und . CoRR, (2022)Execution Time Program Verification with Tight Bounds., , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 56-72. Springer, (2023)A Bio-inspired Model Reliably Predicts the Collision of Approaching Objects under Different Light Conditions., und . SAB, Volume 7426 von Lecture Notes in Computer Science, Seite 85-95. Springer, (2012)Prediction of attitudes towards human-centred cognitive vehicles aware of their users' routines and preferences., , , , , und . RTSI, Seite 194-199. IEEE, (2021)A Data Recording Mobile Application to Create Datasets of Vehicle Users' Routines., , , , , und . ICARSC, Seite 167-172. IEEE, (2022)gwfish: A simulation software to evaluate parameter-estimation capabilities of gravitational-wave detector networks., , , , , , , , und . Astron. Comput., (Januar 2023)High-throughput phenotyping to detect anthocyanins, chlorophylls, and carotenoids in red lettuce germplasm., , , , , und . Int. J. Appl. Earth Obs. Geoinformation, (2021)Polysome-seq as a Measure of Translational Profile from Deoxyhypusine Synthase Mutant in Saccharomyces cerevisiae., , , , , und . BSB, Volume 12558 von Lecture Notes in Computer Science, Seite 168-179. Springer, (2020)A Comparative Study of Bayes Net, Naive Bayes and Averaged One-Dependence Estimators for Osteoporosis Analysis., , , , , , , , , und . MedInfo, Volume 216 von Studies in Health Technology and Informatics, Seite 1075. IOS Press, (2015)Apropriação social da informação, cultura e tecnologia: software livre e políticas culturais no Brasil.. University of São Paulo, Brazil, (2018)ndltd.org (oai:teses.usp.br:tde-11092018-155659).