( en | de | ru )

 

Disambiguierung von "Hughes, Arthur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Annotation and Retrieval of Cell Images.

, , , , , und . IDEAL, Volume 6283 von Lecture Notes in Computer Science, Seite 218-225. Springer, (2010)

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.

Jula Hughes

Herta Hughes

Shiree Hughes

Alex Hughes

Robert Hughes

 

Weitere Publikationen von Autoren mit dem selben Namen

Spectral Convolution Networks., , und . CoRR, (2016)Polytypic programming in COQ., , und . ICFP-WGP, Seite 49-60. ACM, (2008)Formal polytypic programs and proofs., , und . J. Funct. Program., 20 (3-4): 213-269 (2010)A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes., , , und . ICTAC, Volume 4281 von Lecture Notes in Computer Science, Seite 123-137. Springer, (2006)A Process Algebraic Description of a Temporal Wireless Network Protocol., , und . ECEASST, (2011)An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker., , und . EUC, Seite 306-311. IEEE Computer Society, (2011)X509Cloud - Framework for a ubiquitous PKI., , , und . MILCOM, Seite 225-230. IEEE, (2017)Homomorphic Encryption with Access Policies: Characterization and New Constructions., , und . AFRICACRYPT, Volume 7918 von Lecture Notes in Computer Science, Seite 61-87. Springer, (2013)Polytypic properties and proofs in Coq., , und . WGP@ICFP, Seite 1-12. ACM, (2009)Statistics in language studies, , und . Cambridge textbooks in linguistics Cambridge university press, Cambridge, (1986)