The Bio-Logic of Venom Complexity

被引：1

作者：

Morgenstern, David ^{[1
,4
]}

Hamilton, Brett ^{[2
]}

Sher, Daniel ^{[3
,4
]}

Jones, Alun ^{[1
]}

Mattius, Gideon ^{[4
]}

Zlotkin, Eli ^{[4
]}

Venter, Deon ^{[2
]}

King, Glenn F. ^{[1
]}

机构：

[1] Univ Queensland, Inst Mol Biosci, St Lucia, Qld 4072, Australia

[2] Dept Pathol, Mater Hlth Serv, Raymond Terrace, South Brisbane 4101, Australia

[3] Univ Haifa, Sch Marine Sci, Dept Marine Biol, IL-31999 Haifa, Israel

[4] Hebrew Univ Jerusalem, Silberman Inst Life Sci, Dept Cellular & Anim Biol, Jerusalem, Israel

来源：

关键词：

Venom complexity; venom optimization; proteomics;

D O I：

10.1016/j.toxicon.2012.04.285

中图分类号：

R9 [药学];

学科分类号：

1007 ;

摘要：

284

引用

下载

页码：241 / 242

页数：2

共 50 条

[41] On the complexity of input/output logic
Sun, Xin
Robaldo, Livio
JOURNAL OF APPLIED LOGIC, 2017, 25 : 69 - 88
[42] On the complexity of the reflected logic of proofs
Krupski, Nikolai V.
THEORETICAL COMPUTER SCIENCE, 2006, 357 (1-3) : 136 - 142
[43] Many facets of complexity in logic
Kolokolova, Antonina
LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 316 - 325
[44] Constraint satisfaction, complexity, and logic
Kolaitis, PG
METHODS AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3025 : 1 - 2
[45] The Complexity of Circumscription in Description Logic
Bonatti, Piero A.
Lutz, Carsten
Wolter, Frank
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 35 : 717 - 773
[46] On the Complexity of Input/Output Logic
Sun, Xin
Ambrossio, Diego Agustin
LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 429 - 434
[47] Logic of proofs with complexity operators
Artemov, S
Chuprina, A
LOGIC AND ALGEBRA, 1996, 180 : 1 - 24
[48] Complexity issues in basic logic
Aguzzoli, S
Gerla, B
Haniková, Z
SOFT COMPUTING, 2005, 9 (12) : 919 - 934
[49] PATH COMPLEXITY OF LOGIC NETWORKS
HAYES, JP
IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (05) : 459 - 462
[50] The Complexity of Disjunction in Intuitionistic Logic
Ramanujam, R.
Sundararajan, Vaishnavi
Suresh, S. P.
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 349 - 363