Skip to search formSkip to main contentSkip to account menu

Rippling

Rippling refers to a group of meta-level heuristics, developed primarily in the Mathematical Reasoning Group in the School of Informatics at the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations

Broader (1)

Automated theorem proving
IsaPlanner

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Synthesis of Processor Instruction Sets from High-Level ISA Specifications
As processors continue to get exponentially cheaper for end users following Moore's law, the costs involved in their design keep… 
2013
2013
The Financial Determinants of Private Investment in Ghana
This paper examines the financial determinants of private investment in Ghana using annual time series data from 1970 to 2010… 
Highly Cited
2008
Highly Cited
2008
Light-weight salient foreground detection for embedded smart cameras
2003
2003
Relaxation of the (001) surface in binary Sc, Ti and V nitrides: a first principles density functional study
2002
2002
Scan power reduction through test data transition frequency analysis
Significant reductions in test application times can be achieved through parallelizing core tests; however, simultaneous test of… 
1999
1999
Oscillatory and periodic solutions to a diffusion equation of neutral type
We examine a PDE with piecewise constant time delay. The equation is of neutral type since it contains the derivative ut at… 
1998
1998
The Ir(110) surface studied by STM
1997
1997
Solution-Relevant Abstractions Constrain Retrieval and Adaptation
Two major problems in case-based reasoning are the efficient and justified retrieval of source cases and the adaptation of… 
1996
1996
Digital PID controller design using ARX estimation
1959
1959
On the rate of mass transfer from a gas to a moving liquid film
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)