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.
2018
2018
Political and economic effects of post-election violence on national development
One of the most recurring decimal in Africa is electoral violence mostly in the last three decades and it has turned to political… 
Review
2018
Review
2018
Tweets, Death and Rock 'n' Roll: Social Media Mourning on Twitter and Sina Weibo
This paper introduces a new line of investigation into Social Media Mourning (SMM), the act of individual and collective grieving… 
Highly Cited
2010
Highly Cited
2010
Substrate Hybridization and Rippling of Graphene Evidenced by Near-Edge X-ray Absorption Fine Structure Spectroscopy
Interfacial interactions at graphene/metal and graphene/dielectric interfaces are likely to profoundly influence the electronic… 
2009
2009
The Adaptive American Judiciary: From Classical Adjudication to Class Action Litigation
ABSTRACT Beginning primarily in the late-twentieth century, the American legal system underwent several rather dramatic changes… 
2008
2008
In Arcadia: Landscape filming in a toxic wasteland Game engine affordances and post-game narratives
  • C. Morgana
  • FORUM: University of Edinburgh Postgraduate…
  • 2008
  • Corpus ID: 55292485
Videogames, whether immersive simulations or abstract puzzlers, impose their own set of internal logics upon the player. If the… 
2004
2004
The New Standard Tactics of the Inductive Theorem Prover Quodlibet the New Standard Tactics of the Inductive Theorem Prover Quodlibet
QUODLIBET is a tactic-based inductive theorem prover for the verification of algebraic specifications of algorithms in the style… 
2003
2003
Simone de Beauvoir’s Fiction: A Psychoanalytic Rereading
Simone de Beauvoir's specificity and singularity as a novelist remains relatively unrecognised, for her fiction is still a… 
2003
2003
Housing Our Criminals: Finding Housing for the Ex-Offender in the Twenty-First Century
Review
2002
Review
2002
An overview of laser microprocessing in data storage industry
In data storage industry, head flying height has been continually reduced to increase the recording density. There are many… 
2001
2001
Reducing the Effects of Requirements Changes through System Design
The continuous stream of requirements changes that often takes place during software development can create major problems in the…