( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantic Adversarial Perturbations using Learnt Representations.

, , и . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Tom Hanika University of Kassel

What is the $intrinsic$ dimension of your binary data? -- and how to compute it quickly, и . (2024)

Marieta Ioana Toma

Zentrosomenmorphologie in Prostatakarzinomen: eine immunhistologische Studie mit Korrelation zu DNA-Ploidie und kliniko-pathologischen Parametern. TU Dresden, (2008)

Tom Smolinka

Tom Herrmann

Tom Nilges

 

Другие публикации лиц с тем же именем

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , и . AAAI, стр. 7647-7656. AAAI Press, (2021)Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)., , , , и . CoRR, (2016)Enhancing active model learning with equivalence checking using simulation relations., , и . Formal Methods Syst. Des., 61 (2): 164-197 (декабря 2022)Equivalence Checking Using Trace Partitioning., , , и . ISVLSI, стр. 13-18. IEEE Computer Society, (2015)Epilogue: Some conceptual foundations of systems biology., , и . Progress in biophysics and molecular biology, (27.12.2012)Modelling, abstraction, and computation in Systems Biology: A view from Computer Science. Progress in Biophysics and Molecular Biology, (сентября 2012)A Formal CHERI-C Semantics for Verification., , и . CoRR, (2022)Assume-guarantee validation for STE properties within an SVA environment., , и . FMCAD, стр. 108-115. IEEE, (2009)Equivalence Checking of a Floating-Point Unit Against a High-Level C Model., , , , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 551-558. (2016)Hardware Verification Using Software Analyzers., , и . ISVLSI, стр. 7-12. IEEE Computer Society, (2015)