Search

Your search keyword '"Weaver, Sean"' showing total 355 results
Start Over Author "Weaver, Sean"
355 results on '"Weaver, Sean"'

155. Moving beyond “mitigation and adaptation”: examining climate change responses in New Zealand.

Author

Russell, Shona Louise, Greenaway, Alison, Carswell, Fiona, and Weaver, Sean

Subjects
CLIMATE change research, CLIMATE change mitigation, ENVIRONMENTAL protection research, CARBON offsetting, CARBON dioxide mitigation
Abstract

Despite the apparent failure of international negotiations and renewed criticism of the accuracy of climate science, responses to climate change continue in households, cities, fields, and meeting rooms. Notions of “doing something about”, or “taking action on” or “mitigating and adapting” to climate change inform practices of carbon trading, restoring native forests, constructing wind turbines, insulating houses, using energy efficient light bulbs, and lobbying politicians for more or less of these actions. These expressions of agency in relation to climate change provide the focus of our enquiry. We found that relationships or social networks linked through local government are building capabilities to respond to climate change. However, the framework of “mitigation–adaptation” will need to be supplemented by a more diverse suite of mental models for making sense of climate change. Use of appropriate languages, cultural reference points, and metaphors embedded in diverse histories of climates and change will assist actors in their networked climate change responses. [ABSTRACT FROM PUBLISHER]

Published
2014
Full Text
View/download PDF

159. Differential regulation of prostaglandin E biosynthesis by interferon-gamma in colonic epithelial cells.

Author

Wright, Karen L., Weaver, Sean A., Patel, Kajal, Coopman, Karen, Feeney, Mark, Kolios, George, Robertson, Duncan A.F., and Ward, Stephen G.

Subjects
*INFLAMMATION, *CYCLOOXYGENASES, *PROSTAGLANDINS, *CYTOKINES, *COLON (Anatomy), *EPITHELIAL cells, *PROTEIN metabolism, *RNA metabolism, *ENZYME metabolism, *ANIMAL experimentation, *BIOCHEMISTRY, *CELLS, *COMBINATION drug therapy, *COMPARATIVE studies, *DOSE-effect relationship in pharmacology, *ENZYME inhibitors, *ENZYMES, *INTERFERONS, *PHENOMENOLOGY, *RESEARCH methodology, *MEDICAL cooperation, *MICE, *PROSTAGLANDINS E, *PROTEINS, *RESEARCH, *RNA, *TUMOR necrosis factors, *EVALUATION research, *DACTINOMYCIN, *CHEMICAL inhibitors, *PHARMACODYNAMICS
Abstract

1. Cyclooxygenase (COX)-2 expression and activity in response to pro-inflammatory cytokines TNF alpha and IFN gamma was evaluated in the colonic epithelial cell line HT29 and the airway epithelial cell line A549. 2. TNF alpha induced concentration- and time-dependent upregulation of COX-2 mRNA, protein and prostaglandin (PG)E(2) synthesis. 3. Co-stimulation of TNF alpha with IFN gamma resulted in reduced COX-2 mRNA and protein expression. 4. IFN gamma had no effect on the stability of TNF alpha-induced COX-2 mRNA. 5. TNF alpha-induced PGE(2) biosynthesis was significantly enhanced by the simultaneous addition of IFN gamma and was COX-2 dependent. 6. The combination of IFN gamma and TNF alpha induced the microsomal prostaglandin E synthase (mPGES), comensurate with the enhanced PGE(2) synthesis. 7. These results suggest that, in terms of PGE(2) biosynthesis, IFN gamma plays a negative regulatory role at the level of COX-2 expression and a positive regulatory role at the level of mPGES expression. This may have important implications for the clinical use of IFN gamma in inflammatory diseases. [ABSTRACT FROM AUTHOR]

Published
2004
Full Text
View/download PDF

160. Satisfiability-based Set Membership Filters

Author

Weaver, Sean A., Ray, Katrina J., Marek, Victor W., Mayer, Andrew J., and Walker, Alden K.

Abstract

Introduced here is a novel application of Satisfiability (SAT) to the set membership problemwith specific focus on efficiently testing whether large sets contain a given element. Such tests can be greatly enhanced via the use of filters, probabilistic algorithms that can quickly decide whether or not a given element is in a given set. This article proposes SAT filters(i.e., filters based on SAT) and their use in the set membership problem. Both the theoretical advantages of SAT filters and experimental results show that this technique yields significant performance improvements over previous techniques. Specifically, a SAT filter is a filter construction that is simple yet efficient in terms of both query time and filter size; i.e., SAT filters asymptotically achieve the information-theoretic limit while providing fast querying. As well, this is the first application that makes use of the random k-SAT phase transition results and may drive research into efficient solvers for this and similar applications.

Published
2012
Full Text
View/download PDF

162. Blackfish City.

Author

Weaver, Sean

Subjects
SCIENCE fiction, FICTION
Published
2019

165. Modular microstructure design to build neuronal networks of defined functional connectivity.

Author

Forró, Csaba, Thompson-Steckel, Greta, Weaver, Sean, Weydert, Serge, Ihle, Stephan, Dermutz, Harald, Aebersold, Mathias J., Pilz, Raphael, Demkó, László, and Vörös, János

Subjects
*COMPUTER simulation of microstructure, *NEURAL circuitry, *HIPPOCAMPAL innervation, *POLYDIMETHYLSILOXANE, *AXONS
Abstract

Abstract Theoretical and in vivo neuroscience research suggests that functional information transfer within neuronal networks is influenced by circuit architecture. Due to the dynamic complexities of the brain, it remains a challenge to test the correlation between structure and function of a defined network. Engineering controlled neuronal networks in vitro offers a way to test structural motifs; however, no method has achieved small, multi-node networks with stable, unidirectional connections. Here, we screened ten different microchannel architectures within polydimethylsiloxane (PDMS) devices to test their potential for axonal guidance. The most successful design had a 92% probability of achieving strictly unidirectional connections between nodes. Networks built from this design were cultured on multielectrode arrays and recorded on days in vitro 9, 12, 15 and 18 to investigate spontaneous and evoked bursting activity. Transfer entropy between subsequent nodes showed up to 100 times more directional flow of information compared to the control. Additionally, directed networks produced a greater amount of information flow, reinforcing the importance of directional connections in the brain being critical for reliable communication. By controlling the parameters of network formation, we minimized response variability and achieved functional, directional networks. The technique provides us with a tool to probe the spatio-temporal effects of different network motifs. Highlights • We developed well-defined, directional networks of primary hippocampal neurons on microelectrode arrays. • Asymmetric polydimethylsiloxane microtunnels produced up to 95% axon guidance success over 18 days in vitro. • Circular networks with imposed directionality were compared to control networks with no imposed directionality. • Information flow between neighboring nodes of the directed network was up to 100 times larger than in the control network. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

166. Evaluation of the Ability of a Novel Miconazole Formulation To Penetrate Nail by Using Three In VitroNail Models

Author

Christensen, Luisa, Turner, Rob, Weaver, Sean, Caserta, Francesco, Long, Lisa, Ghannoum, Mahmoud, and Brown, Marc

Abstract

ABSTRACTIn an effort to increase the efficacy of topical medications for treating onychomycosis, several new nail penetration enhancers were recently developed. In this study, the ability of 10% (wt/wt) miconazole nitrate combined with a penetration enhancer formulation to permeate the nail is demonstrated by the use of a selection of in vitronail penetration assays. These assays included the bovine hoof, TurChub zone of inhibition, and infected-nail models.

Published
2017
Full Text
View/download PDF

167. REVIEWS.

Author

Weaver, Sean, Mahina, 'Okusitino, Alley, Roderic, Malam, Linda, Chan, Alan L., and Chiasson, Blaine

Subjects
WARMING the World (Book), WAR Economies in a Regional Context: Challenges of Transformation (Book), CUSTODIANS of the Sacred Mountains (Book), WOMEN in Republican China (Book)
Abstract

Books reviewed:Nordhaus, William D. and Joseph Boyer,Warming the World: Economic Models of Global Warming.Lee, Helen Morton,Tongans Overseas: Between Two Shores.Pugh, Michael and Neil Cooper, with Jonathan Goodhand,War Economies in a Regional Context. Challenges of Transformation.Askew, Marc,Bangkok.Reuter, Thomas A.,Custodians of the Sacred Mountains: Culture and Society in the Highlands of Bali.Lan, Hua R. and Vanessa L. Fong (eds),Women in Republican China: A Sourcebook.Chuh, Kandice and Karen Shimakawa (eds),Orientations: Mapping Studies in the Asian Diaspora. [ABSTRACT FROM AUTHOR]

Published
2004
Full Text
View/download PDF

169. Heterokaryon incompatibility in Aspergillus fumigatus

Author

Weaver, Sean

Subjects
579.5, Apoptosis ; fumigatus ; Aspergillus ; Compatibility ; Heterokaryon ; Incompatibility
Abstract

Invasive aspergillosis (IA) is associated with high mortality rates and can be difficult and expensive to treat with current drugs. The drugs used to treat IA are also associated with undesirable, and often severe, side-effects of the patient. The main causative agent of this disease is the opportunistic pathogen Aspergillus fumigatus. This study identifies genes which play a role in a fungal-specific type of programmed cell death (PCD) in A. fumigatus, known as heterokaryon incompatibility. The development of drugs specifically targeting the products of these genes could lead to fewer side-effects than those arising from currently available anti-fungal drugs. The drug amphotericin B is currently used to treat IA and has been shown to induce an apoptotic-like phenotype in A. fumigatus; however, the sterols targeted are present in both fungal and mammalian cell membranes. HI is a fungal-specific self/non-self recognition system that results in rapid compartmentalisation and cell death of hyphal fusion sites if the two fusing fungi are not genetically compatible. The HI system could be exploited as a novel drug target against invasive fungal pathogens through targeting a component of the molecular pathway to induce cell death. In contrast to current drugs, novel drugs could target HI components to induce PCD without affecting non-desirable targets that cause side-effects. The non-self recognition systems used by Neurospora crassa, Aspergillus Nidulans and Podospora anserina are the well characterised, and they each differ significantly in their modes of action. BLAST searches found 30 homologues of HI genes from other the systems of characterised species in A. fumigatus, with 8 containing the fungal-specific het domain. The first assay to determine whether disruption of het genes could affect HI was to observe the barrage phenotype between incompatible A. fumigatus individuals. However, there was no barrage visible as the leading edge of colonies stopped growing when in close proximity to another colony. Instead, nitrate non-utilising (Nit) A. fumigatus mutant strains were generated using chlorate and pair-wise crosses of 46 environmentally and clinically isolates on nitrate-containing media resulted in the formation of 16 viable heterokaryons. All of the heterokaryons fell into exclusive compatibility groups where no intergroup crossing was possible. Homologous recombination was used to disrupt five of the identified het domain genes with gene replacement cassettes, generated through fusion-PCR, in an akuB(KU80Delta) A. fumigatus strain. The mutant strains displayed both detrimental growth on standard agar growth media and reduced ability to recognise non-self strains. Full and partial heterokaryons were formed during intergroup pair-wise compatibility crosses using the mutants and strains that the akuB(KU80Delta) parent strain was previously incompatible with. This was followed with a non-bias approach of gene disruption using the Fusarium oxysporum impala160 transposable element in a Nit A. fumigatus mutant. Inducing transposon mutagenesis through exposure to low temperature generated a mutant library of spores in which the transposon had disrupted different open reading frames at different locations across the A. fumigatus genome. The mutant spore library was also screened for the ability to form viable intergroup heterokaryons with strains belonging to different compatibility groups. PCR recovery and DNA sequencing was able to identify the locus of impala160 in three isolates able to form viable heterokaryons. The sequences revealed the transposable element had disrupted the same gene, AFUA_2G05070, in each of the three isolates. This gene encodes an uncharacterised conserved hypothetical protein which may be a critical component for non-self recognition in A. fumigatus HI, and a potential target for novel anti-fungal drugs to induce PCD.

Published
2013

170. Satisfiability Advancements Enabled by State Machines

Author

Weaver, Sean A.

Subjects
Computer Science, Satisfiability, BDD, SBSAT, nonclausal
Abstract

This dissertation focuses on research for state-based Satisfiability (SAT), a variant of SAT that uses state machines (Smurfs) to represent constraints. Using this constraint representation allows for compact representations of SAT problem instances that retain more ungarbled user- domain information than other more common representations such as Conjunctive Normal Form (CNF). State-base SAT also supports earlier inference deduction during search, the use of powerful search heuristics, and the integration of special purpose constraints and solvers.SBSAT, a state-based SAT research platform, was used and enhanced for both researching the new techniques presented here and gathering experimental data. Since the power of state-based SAT is diminished on problems naturally represented in CNF, the benchmarks used to collect results focus on domains with rich constraints such as verification and model checking.

Published
2012

171. EXTENDING EXISTENTIAL QUANTIFICATION IN CONJUNCTIONS OF BDDs

Author

WEAVER, SEAN A.

Abstract

This thesis describes some elementary conditions under which the existential quantification of a variable, or even a set of variables, may be distributed over a conjunction of BDDs and not change the satisfiability of the conjunction. Some practical operations based on these conditions are introduced and can be integrated into the existing framework of both search-oriented and constraint-oriented methods of satisfiability. This thesis describes how a search-oriented method can be enhanced by introducing a BDD operation that can eliminate a variable v, occurring in one or more BDDs, without conjoining any of the BDDs containing v, and safely set its value before or during search. This thesis describes how the constraint-oriented method can be enhanced by introducing a BDD operation that can also eliminate a variable v, occurring in one or more BDDs, without conjoining any of the BDDs containing v, by existentially quantifying away v before or during the conjoining process. These are done by distributing the existential quantification over the conjunction of BDDs, while leaving the satisfiability of the conjunction unchanged. The worst-case complexity of these operations is linear in the total number of BDD nodes of the subset of all BDDs containing v. However, the operations may fail to eliminate v. This thesis describes a search operation that can find a partial assignment to a set of variables which will not change the satisfiability of the conjunction. The worst-case complexity of this operation is exponential in the total number of variables used in the search. However, This search may fail to find a partial assignment. This thesis then compares and contrasts the relationship of these operations to previous ones such as the pure literal rule and autarkies.

Published
2004

173. BITTER PILL.

Author

Weaver, Sean

Abstract

The author reflects on possum plague controlled by 1080 poison. They argue that people consumes about 90 percent of the world's production of 1080 poison and the Environmental Risk Management Authority has requested public submissions on the use of 1080. An overview of the 1080 poison and possum including its toxicity. They suggest that people need to decide for themselves what to do with the information received on 1080 policy.

Published
2007

174. Hints Revealed

Author

Kalechstain, Jonathan, Ryvchin, Vadim, Dershowitz, Nachum, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

175. PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF

Author

Philipp, Tobias, Steinke, Peter, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

176. Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP

Author

Chen, Ruiwen, Santhanam, Rahul, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

177. Search-Space Partitioning for Parallelizing SMT Solvers

Author

Hyvärinen, Antti E. J., Marescotti, Matteo, Sharygina, Natasha, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

178. Constructing SAT Filters with a Quantum Annealer

Author

Douglass, Adam, King, Andrew D., Raymond, Jack, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

179. Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances

Author

Mangal, Ravi, Zhang, Xin, Nori, Aditya V., Naik, Mayur, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

180. Mining Backbone Literals in Incremental SAT : A New Kind of Incremental Data

Author

Ivrii, Alexander, Ryvchin, Vadim, Strichman, Ofer, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

181. Speeding up MUS Extraction with Preprocessing and Chunking

Author

Balabanov, Valeriy, Ivrii, Alexander, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

182. SAT-Based Horn Least Upper Bounds

Author

Mencía, Carlos, Previti, Alessandro, Marques-Silva, Joao, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

183. Laissez-Faire Caching for Parallel #SAT Solving

Author

Burchard, Jan, Schubert, Tobias, Becker, Bernd, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

184. SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers

Author

Newsham, Zack, Lindsay, William, Ganesh, Vijay, Liang, Jia Hui, Fischmeister, Sebastian, Czarnecki, Krzysztof, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

185. Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

Author

Arif, M. Fareed, Mencía, Carlos, Marques-Silva, Joao, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

186. QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving

Author

Tu, Kuan-Hua, Hsu, Tzu-Chien, Jiang, Jie-Hong R., 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

187. Evaluating CDCL Variable Scoring Schemes

Author

Biere, Armin, Fröhlich, Andreas, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

188. Recognition of Nested Gates in CNF Formulas

Author

Iser, Markus, Manthey, Norbert, Sinz, Carsten, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

189. CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability

Author

Cai, Shaowei, Luo, Chuan, Su, Kaile, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

190. SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving

Author

Corzilius, Florian, Kremer, Gereon, Junges, Sebastian, Schupp, Stefan, Ábrahám, Erika, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

191. Between SAT and UNSAT: The Fundamental Difference in CDCL SAT

Author

Oh, Chanseok, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

192. A New Approach to Partial MUS Enumeration

Author

Zielke, Christian, Kaufmann, Michael, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

193. SAT-Based Formula Simplification

Author

Ignatiev, Alexey, Previti, Alessandro, Marques-Silva, Joao, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

194. Exploiting Resolution-Based Representations for MaxSAT Solving

Author

Neves, Miguel, Martins, Ruben, Janota, Mikoláš, Lynce, Inês, Manquinho, Vasco, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

195. SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers

Author

Falkner, Stefan, Lindauer, Marius, Hutter, Frank, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

196. Using Community Structure to Detect Relevant Learnt Clauses

Author

Ansótegui, Carlos, Giráldez-Cru, Jesús, Levy, Jordi, Simon, Laurent, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

197. Community Structure Inspired Algorithms for SAT and #SAT

Author

Ganian, Robert, Szeider, Stefan, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

198. On Compiling CNFs into Structured Deterministic DNNFs

Author

Bova, Simone, Capelli, Florent, Mengel, Stefan, Slivovsky, Friedrich, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

199. Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

Author

Lonsing, Florian, Egly, Uwe, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

200. Preprocessing for DQBF

Author

Wimmer, Ralf, Gitina, Karina, Nist, Jennifer, Scholl, Christoph, Becker, Bernd, 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, Heule, Marijn, editor, and Weaver, Sean, editor

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results