( en | de | ru )

 

Disambiguierung von "Luna, Carlos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Deep People Detection using CNNs Trained on Synthetic Images.

, , , , , und . VISIGRAPP (5: VISAPP), Seite 225-232. SCITEPRESS, (2020)

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.

Carlos Luna-Tortós

Evaluation of transport of antiepileptic drugs by efflux transporters (multidrug transporters) of the blood-brain barrier. TierH Hannover, (2009)

Carlos Luna la Fuente

Luna Bharati

Heike Lunau

Christian Ilja Boris Lunatschek

 

Weitere Publikationen von Autoren mit dem selben Namen

A Certified Reference Validation Mechanism for the Permission Model of Android., , , und . LOPSTR, Volume 10855 von Lecture Notes in Computer Science, Seite 271-288. Springer, (2017)Delayed completion of Final Project of the career Computer Analyst: Seeking its causes., , , , , , und . CLEI, Seite 1-8. IEEE, (2012)Formally Verified Implementation of an Idealized Model of Virtualization., , , , und . TYPES, Volume 26 von LIPIcs, Seite 45-63. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Error Finding in Real-Time Systems using Mutants of Temporal Properties., , und . SCCC, Seite 1-8. IEEE, (2021)Mutation Testing for Java Based on Model-Driven Development., , und . CLEI, Seite 1-10. IEEE, (2018)Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions., , und . SBMF, Volume 7498 von Lecture Notes in Computer Science, Seite 210-225. Springer, (2012)Towards Deep People Detection using CNNs Trained on Synthetic Images., , , , , und . VISIGRAPP (5: VISAPP), Seite 225-232. SCITEPRESS, (2020)A Formal Specification of the MIDP 2.0 Security Model., , und . Formal Aspects in Security and Trust, Volume 4691 von Lecture Notes in Computer Science, Seite 220-234. Springer, (2006)Towards a Certified Reference Monitor of the Android 10 Permission System., und . TYPES, Volume 188 von LIPIcs, Seite 3:1-3:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Formally Verifying Isolation and Availability in an Idealized Model of Virtualization., , , und . FM, Volume 6664 von Lecture Notes in Computer Science, Seite 231-245. Springer, (2011)