Search

Your search keyword '"French, Tim"' showing total 467 results
Start Over Author "French, Tim"
467 results on '"French, Tim"'

53. Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour

Author

Al-Bataineh, Omar, Reynolds, Mark, and French, Tim

Subjects
Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
Abstract

The paper presents a novel algorithm for computing best and worst case execution times (BCET/WCET) of timed automata models with cyclic behaviour. The algorithms can work on any arbitrary diagonal-free TA and can handle more cases than previously existing algorithms for BCET/WCET computations, as it can handle cycles in TA and decide whether they lead to an infinite WCET. We show soundness of the proposed algorithm and study its complexity. To our knowledge, this is the first model checking algorithm that addresses comprehensively the BCET/WCET problem of systems with cyclic behaviour. Behrmann et al. provide an algorithm for computing the minimum cost/time of reaching a goal state in priced timed automata (PTA). The algorithm has been implemented in the well-known model checking tool UPPAAL to compute the minimum time for termination of an automaton. However, we show that in certain circumstances, when infinite cycles exist, the algorithm implemented in UPPAAL may not terminate, and we provide examples which UPPAAL fails to verify.

Published
2016

55. A Modal Aleatoric Calculus for Probabilistic Reasoning

Author

French, Tim, Gozzard, Andrew, Reynolds, Mark, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Khan, Md. Aquil, editor, and Manuel, Amaldev, editor

Published
2019
Full Text
View/download PDF

56. Aleatoric Dynamic Epistemic Logic for Learning Agents

Author

French, Tim, Gozzard, Andrew, Reynolds, Mark, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Nayak, Abhaya C., editor, and Sharma, Alok, editor

Published
2019
Full Text
View/download PDF

59. Hourglass Automata

Author

Osada, Yuki, French, Tim, Reynolds, Mark, and Smallbone, Harry

Subjects
Computer Science - Formal Languages and Automata Theory
Abstract

In this paper, we define the class of hourglass automata, which are timed automata with bounded clocks that can be made to progress backwards as well as forwards at a constant rate. We then introduce a new clock update for timed automata that allows hourglass automata to be expressed. This allows us to show that language emptiness remains decidable with this update when the number of clocks is two or less. This is done by showing that we can construct a finite untimed graph using clock regions from any timed automaton that use this new update., Comment: In Proceedings GandALF 2014, arXiv:1408.5560

Published
2014
Full Text
View/download PDF

60. A composable language for action models

Author

French, Tim, Hales, James, and Tay, Edwin

Subjects
Computer Science - Logic in Computer Science
Abstract

Action models are semantic structures similar to Kripke models that represent a change in knowledge in an epistemic setting. Whereas the language of action model logic embeds the semantic structure of an action model directly within the language, this paper introduces a language that represents action models using syntactic operators inspired by relational actions. This language admits an intuitive description of the action models it represents, and we show in several settings that it is sufficient to represent any action model up to a given modal depth and to represent the results of action model synthesis, and give a sound and complete axiomatisation in some of these settings., Comment: Extended version of a paper to appear in the 10th International Conference on Advances in Modal Logic (AiML)

Published
2014

61. Knowledge, Awareness, and Bisimulation

Author

van Ditmarsch, Hans, French, Tim, Velazquez-Quesada, Fernando R., and Wang, Yi N.

Subjects
Computer Science - Logic in Computer Science
Abstract

We compare different epistemic notions in the presence of awareness of propositional variables: the logics of implicit knowledge (in which explicit knowledge is definable), explicit knowledge, and speculative knowledge. Different notions of bisimulation are suitable for these logics. We provide correspondence between bisimulation and modal equivalence on image-finite models for these logics. The logic of speculative knowledge is equally expressive as the logic of explicit knowledge, and the logic of implicit knowledge is more expressive than both. We also provide axiomatizations for the three logics -- only the one for speculative knowledge is novel. Then we move to the study of dynamics by recalling action models incorporating awareness. We show that any conceivable change of knowledge or awareness can be modelled in this setting, we give a complete axiomatization for the dynamic logic of implicit knowledge. The dynamic versions of all three logics are, surprising, equally expressive., Comment: 10 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.org

Published
2013

62. Specifying Robustness

Author

McCabe-Dansted, John C., French, Tim, Reynolds, Mark, and Pinchinat, Sophie

Subjects
Computer Science - Logic in Computer Science
Abstract

This paper proposes a new logic RoCTL* to model robustness in concurrent systems. RoCTL* extends CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. We present a number of examples of problems to which RoCTL* can be applied. The core result of this paper is to show that RoCTL* is expressively equivalent to CTL* but is non-elementarily more succinct. We present a translation from RoCTL* into CTL* that preserves truth but may result in non-elementary growth in the length of the translated formula as each nested Robustly operator may result in an extra exponential blowup. However, we show that this translation is optimal in the sense that any equivalence preserving translation will require an extra exponential growth per nested Robustly. We also compare RoCTL* to Quantified CTL* (QCTL*) and hybrid logics.

Published
2013

63. A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling

Author

Cox, Wesley, French, Tim, Reynolds, Mark, While, Lyndon, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Mitrovic, Tanja, editor, Xue, Bing, editor, and Li, Xiaodong, editor

Published
2018
Full Text
View/download PDF

64. Teaching safety in design in large classes using VR

Author

Australasian Association for Engineering Education Conference (29th : 2018 : Hamilton, New Zealand), Male, Sally A, Kenworthy, Patrick, Hassan, Ghulam Mubashar, Guzzomi, Andrew, Van der Veen, Tom, and French, Tim

Published
2018

66. Refinement Modal Logic

Author

Bozzelli, Laura, van Ditmarsch, Hans, French, Tim, Hales, James, and Pinchinat, Sophie

Subjects
Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
Abstract

In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be satisfied. Our logic contains a new operator 'all' in addition to the standard modalities 'box' for each agent. The operator 'all' acts as a quantifier over the set of all refinements of a given model. As a variation on a bisimulation quantifier, this refinement operator or refinement quantifier 'all' can be seen as quantifying over a variable not occurring in the formula bound by it. The logic combines the simplicity of multi-agent modal logic with some powers of monadic second-order quantification. We present a sound and complete axiomatization of multi-agent refinement modal logic. We also present an extension of the logic to the modal mu-calculus, and an axiomatization for the single-agent version of this logic. Examples and applications are also discussed: to software verification and design (the set of agents can also be seen as a set of actions), and to dynamic epistemic logic. We further give detailed results on the complexity of satisfiability, and on succinctness.

Published
2012
Full Text
View/download PDF

70. A Novel Anonymity Quantification and Preservation Model for UnderNet Relay Networks

Author

Epiphaniou, Gregory, French, Tim, Al-Khateeb, Haider, Dehghantanha, Ali, Jahankhani, Hamid, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Kotenko, Igor, Series editor, Liu, Ting, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Jahankhani, Hamid, editor, Carlile, Alex, editor, Emm, David, editor, Hosseinian-Far, Amin, editor, Brown, Guy, editor, Sexton, Graham, editor, and Jamal, Arshad, editor

Published
2016
Full Text
View/download PDF

74. Supplementary Data from Identification of Common Predictive Markers of In vitro Response to the Mek Inhibitor Selumetinib (AZD6244; ARRY-142886) in Human Breast Cancer and Non–Small Cell Lung Cancer Cell Lines

Author

Garon, Edward B., primary, Finn, Richard S., primary, Hosmer, Wylie, primary, Dering, Judy, primary, Ginther, Charles, primary, Adhami, Shahriar, primary, Kamranpour, Naeimeh, primary, Pitts, Sharon, primary, Desai, Amrita, primary, Elashoff, David, primary, French, Tim, primary, Smith, Paul, primary, and Slamon, Dennis J., primary

Published
2023
Full Text
View/download PDF

75. Supplementary Table 7 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

76. Supplementary Table 6 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

77. Supplementary Table 2 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

78. Supplementary Figure 1 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

79. Supplementary Figure 7 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

80. Supplementary Figure 3 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

81. Supplementary Figure 6 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

82. Supplementary Figure 2 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

83. Supplementary Figures 8-12 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

84. Supplementary Figure 5 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

85. Data from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

86. Supplementary Table and Figure Legends from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

87. Supplementary Figure 4 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

88. Supplementary Table 4 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

89. Supplementary Table 3 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

90. Supplementary Table 5 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

91. Supplementary References from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

92. Supplementary Table 1 from Transcriptional Pathway Signatures Predict MEK Addiction and Response to Selumetinib (AZD6244)

Author

Dry, Jonathan R., primary, Pavey, Sandra, primary, Pratilas, Christine A., primary, Harbron, Chris, primary, Runswick, Sarah, primary, Hodgson, Darren, primary, Chresta, Christine, primary, McCormack, Rose, primary, Byrne, Natalie, primary, Cockerill, Mark, primary, Graham, Alexander, primary, Beran, Garry, primary, Cassidy, Andrew, primary, Haggerty, Carolyn, primary, Brown, Helen, primary, Ellison, Gillian, primary, Dering, Judy, primary, Taylor, Barry S., primary, Stark, Mitchell, primary, Bonazzi, Vanessa, primary, Ravishankar, Sugandha, primary, Packer, Leisl, primary, Xing, Feng, primary, Solit, David B., primary, Finn, Richard S., primary, Rosen, Neal, primary, Hayward, Nicholas K., primary, French, Tim, primary, and Smith, Paul D., primary

Published
2023
Full Text
View/download PDF

93. The Expressivity of Quantified Group Announcements

Author

Sub Intelligent Systems, Intelligent Systems, Alechina, Natasha, van Ditmarsch, Hans, French, Tim, Galimullin, Rustam, Sub Intelligent Systems, Intelligent Systems, Alechina, Natasha, van Ditmarsch, Hans, French, Tim, and Galimullin, Rustam

Published
2023

94. National Theatre Connections 2017: Three; #YOLO; Fomo; Status Update; Musical Differences; Extremism; The School Film; Zero for the Young Dudes!; The Snow Dragons; The Monstrum

Author

Suhayla El-Bushra, Anders Lustgarten, Robin French, Tim Etchells, Patrick Marber, Alistair McDowall, Kellie Smith, Lizzie Nunnery, Harriet Braun, Matthew Bulgo and Suhayla El-Bushra, Anders Lustgarten, Robin French, Tim Etchells, Patrick Marber, Alistair McDowall, Kellie Smith, Lizzie Nunnery, Harriet Braun, Matthew Bulgo

Published
2017

95. Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices

Author

Al-Bataineh, Omar, Reynolds, Mark, French, Tim, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Legay, Axel, editor, and Bozga, Marius, editor

Published
2014
Full Text
View/download PDF

97. The Expressivity of Quantified Group Announcements.

Author

Alechina, Natasha, Ditmarsch, Hans van, French, Tim, and Galimullin, Rustam

Subjects
SELF-expression, PUBLIC communication, ANNOUNCEMENTS, COALITIONS
Abstract

Group announcement logic (GAL) and coalition announcement logic (CAL) allow us to reason about whether it is possible for groups and coalitions of agents to achieve their desired epistemic goals through truthful public communication. The difference between groups and coalitions in such a context is that the latter make their announcements in the presence of possible adversarial counter-announcements. As epistemic goals may involve some agents remaining ignorant, counter-announcements may preclude coalitions from reaching their goals. We study the relative expressivity of GAL and CAL and provide some results involving their more well-known sibling APAL. We also discuss how the presence of memory alters the relationship between groups and coalition. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results