( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Epilogue: Some conceptual foundations of systems biology.

, , и . Progress in biophysics and molecular biology, (27.12.2012)
DOI: 10.1016/j.pbiomolbio.2012.12.002

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.

Marieta Ioana Toma

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

Tom Rapoport

Tom Walde

Tom Ritter

Tom Grigull

 

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

A Formal CHERI-C Semantics for Verification., , и . TACAS (1), том 13993 из Lecture Notes in Computer Science, стр. 549-568. Springer, (2023)End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers., и . FMCAD, стр. 24-33. IEEE, (2021)Automatic Heap Layout Manipulation for Exploitation., , и . USENIX Security Symposium, стр. 763-779. USENIX Association, (2018)Equivalence Checking Using Trace Partitioning., , , и . ISVLSI, стр. 13-18. IEEE Computer Society, (2015)DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , и . AAAI, стр. 7647-7656. AAAI Press, (2021)Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel., , , и . CoRR, (2016)Verification of tree-based hierarchical read-copy update in the Linux kernel., , , и . DATE, стр. 61-66. IEEE, (2018)Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training., , и . CoRR, (2019)Relational STE and theorem proving for formal verification of industrial circuit designs., , и . FMCAD, стр. 97-104. IEEE, (2013)Active Learning of Abstract System Models from Traces using Model Checking., , и . DATE, стр. 100-103. IEEE, (2022)