Search

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

101. Verifying Temporal Properties in Real Models

Author

French, Tim, McCabe-Dansted, John, Reynolds, Mark, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, McMillan, Ken, editor, Middeldorp, Aart, editor, and Voronkov, Andrei, editor

Published
2013
Full Text
View/download PDF

102. Model Checking General Linear Temporal Logic

Author

French, Tim, McCabe-Dansted, John, Reynolds, Mark, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Galmiche, Didier, editor, and Larchey-Wendling, Dominique, editor

Published
2013
Full Text
View/download PDF

103. Indiscrete Models: Model Building and Model Checking over Linear Time

Author

French, Tim, McCabe-Dansted, John, Reynolds, Mark, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Lodaya, Kamal, editor

Published
2013
Full Text
View/download PDF

104. An Efficient Tableau for Linear Time Temporal Logic

Author

Bian, Ji, French, Tim, Reynolds, Mark, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Cranefield, Stephen, editor, and Nayak, Abhaya, editor

Published
2013
Full Text
View/download PDF

106. An Investigation of Recursive Auto-associative Memory in Sentiment Detection

Author

Danesh, Saeed, Liu, Wei, French, Tim, 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, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Tang, Jie, editor, King, Irwin, editor, Chen, Ling, editor, and Wang, Jianyong, editor

Published
2011
Full Text
View/download PDF

107. On the Interactions of Awareness and Certainty

Author

van Ditmarsch, Hans, French, Tim, 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, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Wang, Dianhui, editor, and Reynolds, Mark, editor

Published
2011
Full Text
View/download PDF

108. Bringing the Home into the Hospital: Assisting the Pre-Discharge Home Visit Process Using 3D Home Visualization Software

Author

Money, Arthur G., McIntyre, Anne, Atwal, Anita, Spiliotopoulou, Georgia, Elliman, Tony, French, Tim, 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, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Stephanidis, Constantine, editor

Published
2011
Full Text
View/download PDF

109. Becoming Aware of Propositional Variables

Author

van Ditmarsch, Hans, French, Tim, 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, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Banerjee, Mohua, editor, and Seth, Anil, editor

Published
2011
Full Text
View/download PDF

112. Axioms for Obligation and Robustness with Temporal Logic

Author

French, Tim, McCabe-Dansted, John C., Reynolds, Mark, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Governatori, Guido, editor, and Sartor, Giovanni, editor

Published
2010
Full Text
View/download PDF

113. Simulation and Information: Quantifying over Epistemic Events

Author

van Ditmarsch, Hans, French, Tim, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Meyer, John-Jules Ch., editor, and Broersen, Jan, editor

Published
2009
Full Text
View/download PDF

116. A Temporal Logic of Robustness

Author

French, Tim, Mc Cabe-Dansted, John C., Reynolds, Mark, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Konev, Boris, editor, and Wolter, Frank, editor

Published
2007
Full Text
View/download PDF

119. Bisimulation Quantified Logics: Undecidability

Author

French, Tim, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sarukkai, Sundar, editor, and Sen, Sandeep, editor

Published
2005
Full Text
View/download PDF

125. Quantifying over Boolean announcements

Author

van Ditmarsch, Hans and French, Tim

Subjects
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, General Computer Science, Computer Science::Logic in Computer Science, Computational Complexity (cs.CC), Logic in Computer Science (cs.LO), Theoretical Computer Science
Abstract

Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL. It contains a primitive language construct Box phi intuitively expressing that "after every public announcement of a formula, formula phi is true". The logic APAL is undecidable and it has an infinitary axiomatization. Now consider restricting the APAL quantification to public announcements of Boolean formulas only, such that Box phi intuitively expresses that "after every public announcement of a Boolean formula, formula phi is true". This logic can therefore called Boolean arbitrary public announcement logic, BAPAL. The logic BAPAL is the subject of this work. Unlike APAL it has a finitary axiomatization. Also, BAPAL is not at least as expressive as APAL. A further claim that BAPAL is decidable is deferred to a companion paper.

Published
2022

126. Preparing Computing Students for Culturally Diverse E-Mediated IT Projects

Author

Conrad, Marc, French, Tim, and Maple, Carsten

Abstract

In this paper we present an account of an undergraduate team-based assignment designed to facilitate, exhibit and record team-working skills in an e-mediated environment. By linking the student feedback received to Hofstede's classic model of cultural dimensions we aim to show the assignment's suitability in revealing the student's multi-cultural context. In addition to anecdotal evidence we also present a quantitative analysis that shows that the desired learning outcomes have been met. In a further discussion we show how the qualitative data collected can be used to quantitatively determine a cultural fingerprint of the groups that is useful to predict the team's suitability for a given task in a real-world project.

Published
2006
Full Text
View/download PDF

127. Exploring the Synergies between the Object Oriented Paradigm and Mathematics: A Java Led Approach

Author

Conrad, Marc and French, Tim

Abstract

While the object oriented paradigm and its instantiation within programming languages such as Java has become a ubiquitous part of both the commercial and educational landscapes, its usage as a visualization technique within mathematics undergraduate programmes of study has perhaps been somewhat underestimated. By regarding the object oriented paradigm as a medium for conceptual exploration (rather than merely as a tool) the aim is to show how the close conceptual links between object orientation and certain mathematical structures such as rings and groups can be more fully realized, using a ready-made public-domain Java package.

Published
2004

130. Homologous Recombination Deficiency: Concepts, Definitions, and Assays

Author

Stewart, Mark D, primary, Merino Vega, Diana, additional, Arend, Rebecca C, additional, Baden, Jonathan F, additional, Barbash, Olena, additional, Beaubier, Nike, additional, Collins, Grace, additional, French, Tim, additional, Ghahramani, Negar, additional, Hinson, Patsy, additional, Jelinic, Petar, additional, Marton, Matthew J, additional, McGregor, Kimberly, additional, Parsons, Jerod, additional, Ramamurthy, Lakshman, additional, Sausen, Mark, additional, Sokol, Ethan S, additional, Stenzinger, Albrecht, additional, Stires, Hillary, additional, Timms, Kirsten M, additional, Turco, Diana, additional, Wang, Iris, additional, Williams, J Andrew, additional, Wong-Ho, Elaine, additional, and Allen, Jeff, additional

Published
2022
Full Text
View/download PDF

136. Identity Implies Trust in Distributed Systems – A Novel Approach : (Extended Abstract)

Author

Koshy, Lyzgeo Merin, Conrad, Marc, Shukla, Mitul, French, Tim, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Huth, Michael, editor, Asokan, N., editor, Čapkun, Srdjan, editor, Flechais, Ivan, editor, and Coles-Kemp, Lizzie, editor

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results