( en | de | ru )

 

Disambiguierung von "Wang, Qinsi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

, , , , , , , , , , , , , , , , , und . BIBM, Seite 1445-1452. IEEE Computer Society, (2016)

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.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Xiaolin Wang

Zhonglei Wang

Qi Wang

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment., , , , , und . CMSB, Volume 9859 von Lecture Notes in Computer Science, Seite 289-305. Springer, (2016)Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins., , , und . ACM Great Lakes Symposium on VLSI, Seite 315-320. ACM, (2015)MathNAS: If Blocks Have a Role in Mathematical Architecture Design., , , und . CoRR, (2023)Proximal Quasi-Newton Method for Composite Optimization over the Stiefel Manifold., und . J. Sci. Comput., 95 (2): 39 (Mai 2023)25 Years of Model Checking., und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 26-40. Springer, (2014)High-level modeling and verification of cellular signaling., , , , und . HLDVT, Seite 162-169. IEEE, (2016)Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer., , , , und . BICoB, Seite 245-. ISCA, (2011)Formal analysis for logical models of pancreatic cancer., , , und . CDC/ECC, Seite 4855-4860. IEEE, (2011)DGL: Device Generic Latency Model for Neural Architecture Search on Mobile Devices., und . IEEE Trans. Mob. Comput., 23 (2): 1954-1967 (Februar 2024)Formal modeling of biological systems., und . HLDVT, Seite 178-184. IEEE, (2016)