Showing 1 - 20 results of 24 for search 'Barrett, C', query time: 0.05s
Refine Results
-
1
-
2
-
3
-
4
Formal verification of bit-vector invertibility conditions in Coq by Ekici, B, Viswanathan, A, Zohar, Y, Tinelli, C, Barrett, C
Published 2023Conference item -
5
Invertibility conditions for floating-point formulas by Brain, M, Niemetz, A, Preiner, M, Reynolds, A, Barrett, C, Tinelli, C
Published 2019Conference item -
6
-
7
-
8
An Industrially Effective Environment for Formal Hardware Verification by Seger, C, Jones, R, O'Leary, J, Melham, T, Aagaard, M, Barrett, C, Syme, D
Published 2005Journal article -
9
-
10
Inhibition of macrophage activation by the myxoma virus M141 protein (vCD200). by Zhang, L, Stanford, M, Liu, J, Barrett, C, Jiang, L, Barclay, N, McFadden, G
Published 2009Journal article -
11
-
12
A Modified 2 Tier Chemotherapy Response Score (CRS) and Other Histopathologic Features for Predicting Outcomes of Patients with Advanced Extrauterine High-Grade Serous Carcinoma af... by Yanping Zhong, Jinsong Liu, Xiaoran Li, Shannon N. Westin, Anais Malpica, Barrett C. Lawson, Sanghoon Lee, Bryan M. Fellman, Robert L. Coleman, Anil K. Sood, Nicole D. Fleming
Published 2021-02-01
Article -
13
Response - Evolution of fairness: Rereading the data. by Henrich, J, Ensminger, J, McElreath, R, Barr, A, Barrett, C, Bolyanatz, A, Cardenas, J, Gurven, M, Gwako, E, Henrich, N, Lesorogol, C, Marlowe, F, Tracer, D, Ziker, J
Published 2010Journal article -
14
Markets, religion, community size, and the evolution of fairness and punishment. by Henrich, J, Ensminger, J, McElreath, R, Barr, A, Barrett, C, Bolyanatz, A, Cardenas, J, Gurven, M, Gwako, E, Henrich, N, Lesorogol, C, Marlowe, F, Tracer, D, Ziker, J
Published 2010Journal article -
15
Homo Æqualis : A Cross-Society Experimental Analysis of Three Bargaining Games. by Barr, A, Wallace, C, Ensminger, J, Henrich, J, Barrett, C, Bolyanatz, A, Cardenas, J, Gurven, M, Gwako, E, Lesorogol, C, Marlowe, F, McElreath, R, Tracer, D, Ziker, J
Published 2009Working paper -
16
Blood clotting and traumatic injury with shock mediates complement-dependent neutrophil priming for extracellular ROS, ROS-dependent organ injury and coagulopathy by Barrett, C D, Hsu, A T, Ellson, C D, Miyazawa, B Y, Kong, Y-W, Greenwood, J D, Dhara, S, Neal, M D, Sperry, J L, Park, M S, Cohen, M J, Zuckerbraun, B S, Yaffe, M B
Published 2022
Article -
17
Altered eIF6 and Dicer expression is associated with clinicopathological features in ovarian serous carcinoma patients. by Flavin, R, Smyth, P, Finn, S, Laios, A, O'Toole, SA, Barrett, C, Ring, M, Denning, K, Li, J, Aherne, S, Aziz, N, Alhadi, A, Sheppard, B, Loda, M, Martin, C, Sheils, O, O'Leary, J
Published 2008Journal article -
18
Potentially important microRNA cluster on chromosome 17p13.1 in primary peritoneal carcinoma. by Flavin, R, Smyth, P, Laios, A, O'Toole, SA, Barrett, C, Finn, S, Russell, S, Ring, M, Denning, K, Li, J, Aherne, S, Sammarae, D, Aziz, N, Alhadi, A, Sheppard, B, Lao, K, Sheils, O, O'Leary, J
Published 2009Journal article -
19
MIR-29B expression is associated with disease-free survival in ovarian serous carcinoma patients by Flavin, R, Smyth, P, Barrett, C, Russell, S, Wen, H, Wei, J, Laios, A, OToole, S, Ring, M, Denning, K, Li, J, Aherne, S, Sammarae, D, Aziz, N, Alhadi, A, Finn, S, Loda, M, Sheppard, B, Sheils, O, OLeary, J
Published 2008Conference item -
20
miR-29b expression is associated with disease-free survival in patients with ovarian serous carcinoma. by Flavin, R, Smyth, P, Barrett, C, Russell, S, Wen, H, Wei, J, Laios, A, O'Toole, S, Ring, M, Denning, K, Li, J, Aherne, S, Sammarae, D, Aziz, N, Alhadi, A, Finn, S, Loda, M, B, S, Sheils, O, O'Leary, J
Published 2009Journal article