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.
Highly Cited
2015
Highly Cited
2015
The Social Psychology of False Confessions
Inspired by DNA exoneration cases and other wrongful convictions of innocent people who had confessed to crimes they did not… 
Highly Cited
2012
Highly Cited
2012
Breakdown of continuum mechanics for nanometre-wavelength rippling of graphene
It is known that graphene exhibits natural ripples with characteristic lengths of around 10 nm. But when it is stretched across… 
Review
2012
Review
2012
Origins of the Financial Crisis
One of the most significant events that has affected, and will continue to affect the current generation, is the financial crises… 
Highly Cited
2009
Highly Cited
2009
On Topology Reconfiguration for Defect-Tolerant NoC-Based Homogeneous Manycore Systems
Homogeneous manycore systems are emerging for tera-scale computation and typically utilize Network-on-Chip (NoC) as the… 
Highly Cited
2008
Highly Cited
2008
Light-weight salient foreground detection for embedded smart cameras
Highly Cited
2005
Highly Cited
2005
Shape Compression using Spherical Geometry Images
We recently introduced an algorithm for spherical parametrization and remeshing, which allows resampling of a genus-zero surface… 
Highly Cited
2003
Highly Cited
2003
The properties and causes of rippling in quasi-perpendicular collisionless shock fronts
Abstract. The overall structure of quasi-perpendicular, high Mach number collisionless shocks is controlled to a large extent by… 
Highly Cited
1995
Highly Cited
1995
Advances in Linear Logic
Linear logic: its syntax and semantics J. Y. Girard Part I. Categories and Semantics: 1. Bilinear logic in algebra and… 
Highly Cited
1986
Highly Cited
1986
Sediment stability around animal tubes: The roles of hydrodynamic processes and biotic activity1
Experiments on the entrainment of surface sediments around polychaete tubes at natural and manipulated densities were conducted… 
Highly Cited
1972
Highly Cited
1972
Module connection analysis: a tool for scheduling software debugging activities
  • F. Haney
  • AFIPS '72 (Fall, part I)
  • 1972
  • Corpus ID: 2248699
The largest challenge facing software engineers today is to find ways to deliver large systems on schedule. Past experience… 
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)