Skip to search formSkip to main contentSkip to account menu

CADE ATP System Competition

Known as: CASC 
The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Association for Automated ReasoningAutomated theorem provingCompetitions and prizes in artificial intelligenceConference on Automated Deduction

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Modelling of Metal Oxide Surge Arresters in Simulation Software DYNAST
This paper describes the possibilities for mathematical modelling of gap-less surge arresters in the simulation software DYNAST… 
2014
2014
Investigation of phase shifting transformers in distribution systems for harmonics mitigation
The increase of non-linear loads in the supply network, specifically the proliferation of harmonic type loads are research topics… 
Review
2013
Review
2013
The Emergence of the Empresas Recuperadas Por Sus Trabajadores: A Political Economic and Sociological Appraisal of Two Decades of Self-Management in Argentina
The crisis of Argentina’s neoliberal model that escalated throughout the 1990s, driven in part by the zealousness of how IMF… 
2011
2011
The role of ATP citrate lyase, malic enzyme and fatty acid synthase in the regulation of lipid accumulation in Cunninghamella sp. 2A1
Identification of enzymes involved in the regulation of lipid biosynthesis in Cunninghamella sp. 2A1 was carried out by observing… 
2005
2005
Packaging actomyosin-based biomolecular motor-driven devices for nanoactuator applications
Biomolecular motors such as the muscle protein myosin with its partner protein actin hold great promise for actuation in hybrid… 
2004
2004
A CO2-Flux Mechanism Operating via pH-Polarity in Hydrilla Verticillata Leaves With C3 and C4 Photosynthesis
The aquatic angiosperm Hydrilla verticillata lacks Kranz anatomy, but has an inducible, C4-based, CO2 concentrating mechanism… 
2003
2003
Optimization of process variables for the extractive fermentation of 2,3-butanediol by Kiebsiella oxytoca in aqueous two-phase system using response surface methodology
Aqueous two-phase (ATP) extractive fermentation is a novel technique which can overcome some of the limitations of the… 
Highly Cited
1998
Highly Cited
1998
Degradation of active-oxygen-modified ribulose-1,5-bisphosphate carboxylase/oxygenase by chloroplastic proteases requires ATP-hydrolysis
Abstract. Active oxygen (AO) species generated in plants under stress conditions trigger degradation of Rubisco (EC 4.1.1.39). To… 
1997
1997
Towards a strategic cleaning assessment programme: hygiene monitoring and ATP luminometry, an options appraisal
1996
1996
Atp-lipids - protein anchor and energy source in two dimensions
The ubiquitous function of ATP as energy equivalent in nature has resulted in a common folding pattern of ATP-binding proteins… 
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)