Skip to search formSkip to main contentSkip to account menu

Research Institute for Advanced Computer Science

Known as: RIACS, Research Institute for Advanced Computer Science (RIACS) 
The Research Institute for Advanced Computer Science (RIACS) was founded June 1, 1983 as a joint collaboration between the Universities Space… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Artificial intelligenceComputational chemistryComputational fluid dynamicsYousef Saad

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
A flexible high-performance simulator for verifying and benchmarking quantum circuits implemented on real hardware
Here we present qFlex, a flexible tensor network-based quantum circuit simulator. qFlex can compute both the exact amplitudes… 
2011
2011
High Order Filter Methods for Wide Range of Compressible Flow Speeds
This paper extends the accuracy of the high order nonlinear filter finite difference method of Yee and Sjogreen [Development of… 
2007
2007
Hierarchical Heuristic Forward Search in Stochastic Domains
Many MDPs exhibit an hierarchical structure where the agent needs to perform various subtasks that are coupled only by a small… 
Highly Cited
2005
Highly Cited
2005
Verification and Validation and Artificial Intelligence
2001
2001
Activities of Research Institute for Advanced Computer Science
The Research Institute for Advanced Computer Science (RIACS) carries out basic research and technology development in computer… 
2001
2001
Efficient Translation of LTL Formulae into Buchi Automata
Model checking is a fully automated technique for checking that a system satisfies a set of required properties. With explicit… 
2000
2000
Compiling Language Models from a Linguistically Motivated Unification Grammar
Systems now exist which are able to compile unification grammars into language models that can be included in a speech recognizer… 
1998
1998
Comparison of Different Computer Platforms for Running the Versatile Advection Code
The Versatile Advection Code is a general tool for solving hydrodynamical and magnetohydrodynamical problems arising in… 
1994
1994
Activities of the Research Institute for Advanced Computer Science
The Research Institute for Advanced Computer Science (RIACS) was established by the Universities Space Research Association (USRA… 
1993
1993
Formally biorthogonal polynomials and a look-ahead Levinson algorithm for general Teoplitz systems
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)