Search

Your search keyword '"Reynolds, Andrew"' showing total 2,047 results
Start Over Author "Reynolds, Andrew"

Refine your results

more »

more »

more »

more »

more »

more »
2,047 results on '"Reynolds, Andrew"'

151. cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis

Author

Reynolds, Andrew, Barbosa, Haniel, Nötzli, Andres, Barrett, Clark, Tinelli, Cesare, 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, Dillig, Isil, editor, and Tasiran, Serdar, editor

Published
2019
Full Text
View/download PDF

152. High-Level Abstractions for Simplifying Extended String Constraints in SMT

Author

Reynolds, Andrew, Nötzli, Andres, Barrett, Clark, Tinelli, Cesare, 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, Dillig, Isil, editor, and Tasiran, Serdar, editor

Published
2019
Full Text
View/download PDF

153. Syntax-Guided Rewrite Rule Enumeration for SMT Solvers

Author

Nötzli, Andres, Reynolds, Andrew, Barbosa, Haniel, Niemetz, Aina, Preiner, Mathias, Barrett, Clark, Tinelli, Cesare, 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, Janota, Mikoláš, editor, and Lynce, Inês, editor

Published
2019
Full Text
View/download PDF

154. SL-COMP: Competition of Solvers for Separation Logic

Author

Sighireanu, Mihaela, Navarro Pérez, Juan A., Rybalchenko, Andrey, Gorogiannis, Nikos, Iosif, Radu, Reynolds, Andrew, Serban, Cristina, Katelaan, Jens, Matheja, Christoph, Noll, Thomas, Zuleger, Florian, Chin, Wei-Ngan, Le, Quang Loc, Ta, Quang-Trung, Le, Ton-Chanh, Nguyen, Thanh-Toan, Khoo, Siau-Cheng, Cyprian, Michal, Rogalewicz, Adam, Vojnar, Tomas, Enea, Constantin, Lengal, Ondrej, Gao, Chong, Wu, Zhilin, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

155. The impact of the COVID-19 shutdown on US pediatric ophthalmologists

Author

Arnold, Robert, Bartiss, Michael, Buffenn, Angela N., Campolattaro, Brian, Gappy, Christopher, Gerontis, Corina, Go, Jonathan, Kumar, Kartik, Lederman, Carolyn, Ledoux, Danielle, Lichtenstein, Eric, Packwood, Eric, Paviglianiti, Joseph, Reynolds, Andrew, Robbins, Shira L., Siegel, Lance, Stevens, Julia, Teed, Ron, Ticho, Ben, Vredevoogd, Lisa, Packwood, Eric A., and Siegel, Lance M.

Published
2020
Full Text
View/download PDF

158. Approaches for Synthesis Conjectures in an SMT Solver

Author

Reynolds, Andrew

Subjects
Computer Science - Logic in Computer Science, Computer Science - Programming Languages
Abstract

This report describes several approaches for handling synthesis conjectures within an Satisfiability Modulo Theories (SMT) solver. We describe approaches that primarily focus on determining the unsatisfiability of the negated form of synthesis conjectures using new techniques for quantifier instantiation.

Published
2014

159. A basis theorem for the affine oriented Brauer category and its cyclotomic quotients

Author

Brundan, Jonathan, Comes, Jonathan, Nash, David, and Reynolds, Andrew

Subjects
Mathematics - Representation Theory, 17B10, 18D10
Abstract

The affine oriented Brauer category is a monoidal category obtained from the oriented Brauer category (= the free symmetric monoidal category generated by a single object and its dual) by adjoining a polynomial generator subject to appropriate relations. In this article, we prove a basis theorem for the morphism spaces in this category, as well as for all of its cyclotomic quotients., Comment: v2: Minor corrections

Published
2014
Full Text
View/download PDF

163. Summary justice or the King's will? The first case of formal facial mutilation from Anglo-Saxon England

Author

Cole, Garrard, Ditchfield, Peter W., Dulias, Katharina, Edwards, Ceiridwen J., Reynolds, Andrew, and Waldron, Tony

Subjects
Oxford University Press (Oxford, England), Book publishing, Archaeology, Anthropology/archeology/folklore
Abstract

Intentional facial disfigurement is documented in archaeological contexts around the world. Here, the authors present the first archaeological evidence for intentional facial mutilation from Anglo-Saxon England--comprising the removal of the nose, upper lip and possible scalping--inflicted upon a young adult female. The injuries are consistent with documented punishments for female offenders. Although such mutilations do not appear in the written record until the tenth century AD, the instance reported here suggests that the practice may have emerged a century earlier. This case is examined in the context of a wider consideration of the motivations and significance of facial disfigurement in past societies. Keywords: Britain, Anglo-Saxon, palaeopathology, facial mutilation, law codes, Introduction There is extensive evidence for intentional and accidental mutilation of the human cranium in both past and modern societies. Archaeological traces of specific, pre-meditated injuries include decapitation (either pre-, [...]

Published
2020
Full Text
View/download PDF

166. Solving Quantified Bit-Vectors Using Invertibility Conditions

Author

Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare, 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, Chockler, Hana, editor, and Weissenbacher, Georg, editor

Published
2018
Full Text
View/download PDF

167. Datatypes with Shared Selectors

Author

Reynolds, Andrew, Viswanathan, Arjun, Barbosa, Haniel, Tinelli, Cesare, Barrett, Clark, 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, Galmiche, Didier, editor, Schulz, Stephan, editor, and Sebastiani, Roberto, editor

Published
2018
Full Text
View/download PDF

168. Revisiting Enumerative Instantiation

Author

Reynolds, Andrew, Barbosa, Haniel, Fontaine, Pascal, 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, Beyer, Dirk, editor, and Huisman, Marieke, editor

Published
2018
Full Text
View/download PDF

170. 'You Can Never Understand a Culture Until You Experience It': How an Experiential Learning Course Prepared Students for Practice with Latino Communities through Learning for Advocacy

Author

Revens, Keri E., Reynolds, Andrew D., Suclupe, Roger F., Rifkin, Cameron, and Pierce, Taylor

Abstract

This study used grounded theory to analyze focus group data of students participating in an experiential learning course developed in partnership with a local Latino-serving community agency. A central phenomenon, Learning for Advocacy, emerged from the data, describing a process through which students' personal encounters led to the development of awareness and perspective taking, thereby encouraging students to develop an advocacy orientation for practice with Latino clients and communities. Study findings highlight (a) how experiential courses support students' development of an advocacy orientation and (b) how social work programs in newly emerging Latino communities might approach the development of an experiential learning course to prepare students to serve these communities.

Published
2018
Full Text
View/download PDF

173. Candidate Identity and Campaign Priming: Analyzing Voter Support for Pete Buttigieg's Presidential Run as an Openly Gay Man.

Author

Magni, Gabriele and Reynolds, Andrew

Subjects
*POLITICAL campaigns, *CAMPAIGN management, *PRESIDENTIAL candidates, *PUBLIC opinion, *POLITICS & gender
Abstract

Pete Buttigieg's candidacy in the 2020 Democratic primaries caught fire more than most predicted. An openly gay man, Buttigieg is also a veteran and a Christian. Did voters penalize Buttigieg for being gay and in a same-sex relationship? Did his other traits offset voter negative bias? We conducted a survey with over 6000 likely voters during the primaries. We included a priming experiment that manipulated the salience of Buttigieg's identity traits. We then asked respondents how much they liked Buttigieg and who they would support in a match-up between Buttigieg and Trump. Overall, voters penalized Buttigieg for being in a same-sex relationship. The penalty surprisingly increased when his religiosity was highlighted. In contrast, Buttigieg's military background mitigated voter discrimination when he was presented as a veteran married to a man. This article reveals how double standards and heterosexism penalize gay candidates, and contributes to discussions on minority candidates and electability. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

174. Antibiotic prophylaxis dysregulates dental implant placement surgery‐induced osteoimmune wound healing and attenuates the alveolar bone–implant interface in mice

Author

Ahmad, Waqar, primary, Pishevar, Novin, additional, Cochrane, Leonard J., additional, Reynolds, Andrew, additional, Kim, Joseph, additional, Korostenskij, Ivan, additional, Geiser, Vincenza L., additional, Carson, Matthew D., additional, Warner, Amy J., additional, Chen, Peng, additional, Yao, Hai, additional, Alekseyenko, Alexander, additional, Hathaway‐Schrader, Jessica D., additional, and Novince, Chad M., additional

Published
2023
Full Text
View/download PDF

185. Congruence Closure with Free Variables

Author

Barbosa, Haniel, Fontaine, Pascal, Reynolds, Andrew, 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, Legay, Axel, editor, and Margaria, Tiziana, editor

Published
2017
Full Text
View/download PDF

186. Designing Theory Solvers with Extensions

Author

Reynolds, Andrew, Tinelli, Cesare, Jovanović, Dejan, Barrett, Clark, 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, Dixon, Clare, editor, and Finger, Marcelo, editor

Published
2017
Full Text
View/download PDF

187. SMTCoq: A Plug-In for Integrating SMT Solvers into Coq

Author

Ekici, Burak, Mebsout, Alain, Tinelli, Cesare, Keller, Chantal, Katz, Guy, Reynolds, Andrew, Barrett, Clark, 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, Majumdar, Rupak, editor, and Kunčak, Viktor, editor

Published
2017
Full Text
View/download PDF

188. Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification

Author

Reynolds, Andrew, Woo, Maverick, Barrett, Clark, Brumley, David, Liang, Tianyi, Tinelli, Cesare, 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, Majumdar, Rupak, editor, and Kunčak, Viktor, editor

Published
2017
Full Text
View/download PDF

189. Relational Constraint Solving in SMT

Author

Meng, Baoluo, Reynolds, Andrew, Tinelli, Cesare, Barrett, Clark, 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, and de Moura, Leonardo, editor

Published
2017
Full Text
View/download PDF

190. Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic

Author

Reynolds, Andrew, Iosif, Radu, Serban, Cristina, 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, Bouajjani, Ahmed, editor, and Monniaux, David, editor

Published
2017
Full Text
View/download PDF

198. A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT

Author

Bansal, Kshitij, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare, 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, Olivetti, Nicola, editor, and Tiwari, Ashish, editor

Published
2016
Full Text
View/download PDF

199. Model Finding for Recursive Functions in SMT

Author

Reynolds, Andrew, Blanchette, Jasmin Christian, Cruanes, Simon, Tinelli, Cesare, 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, Olivetti, Nicola, editor, and Tiwari, Ashish, editor

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results