Publications related to Affirmation and negation

Nucleus accumbens neurochemistry in human anxiety: A 7 T 1H-MRS study

Rolf Gruetter, Maria del Carmen Sandi Perez, Lijing Xin, Alina Veronika Irene Strasser

Individual differences in anxiety provide a differential predisposition to develop neuropsychiatric disorders. The neurochemical underpinnings of anxiety remain elusive, particularly in deep structures, such as the nucleus accumbens (NAc) whose involvement ...

2019

Refutation-based synthesis in SMT

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

SPRINGER2019

Linguistic relativism in the age of global lingua franca: reconciling cultural and linguistic diversity with globalization

André Patrão Neves De Frias Martins

Globalization's intertwining of culturally and linguistically diverse peoples is empowered and reflected by an unprecedented worldwide lingua franca. This current state of affairs seems unproblematic if, following a simple utilitarian view, language merely ...

2018

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

Viktor Kuncak, Andrew Joseph Reynolds

2015

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Affirmation and negation

Nucleus accumbens neurochemistry in human anxiety: A 7 T 1H-MRS study

Refutation-based synthesis in SMT

Linguistic relativism in the age of global lingua franca: reconciling cultural and linguistic diversity with globalization

Altitude: architecture et environnement de haute montagne

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

Graph Chatbot

Chat with Graph Search

Refutation-based synthesis in SMT

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

Linguistic relativism in the age of global lingua franca: reconciling cultural and linguistic diversity with globalization

Altitude: architecture et environnement de haute montagne