Quantum circuits for floating-point arithmetic

1 code implementation • 5 Jul 2018 • Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore

Quantum algorithms to solve practical problems in quantum chemistry, materials science, and matrix inversion often involve a significant amount of arithmetic operations which act on a superposition of inputs.

Quantum Physics Emerging Technologies

The EPFL Logic Synthesis Libraries

2 code implementations • 14 May 2018 • Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli

We present a collection of modular open source C++ libraries for the development of logic synthesis applications.

Logic in Computer Science Mathematical Software

iTac: Aspect Based Sentiment Analysis using Sentiment Trees and Dictionaries

no code implementations • SEMEVAL 2014 • Fritjof Bornebusch, Glaucia Cancino, Melanie Diepenbeck, Rolf Drechsler, Smith Djomkam, Alvine Nzeungang Fanseu, Maryam Jalali, Marc Michael, Jamal Mohsen, Max Nitze, Christina Plump, Mathias Soeken, Fred Tchambo, {Toni}, Henning Ziegler

Aspect-Based Sentiment Analysis Aspect-Based Sentiment Analysis (ABSA)