Brayton - PDFSEARCH.IO - Document Search Engine

Brayton
Results: 169

#	Item
1	CERTIFICATE OF APPROVAL This is to Certify that the Quality Management System of: BREN-TRONICS, INC. 10 Brayton Court Commack, NY 11725 Add to Reading List Source URL: www.bren-tronics.com - Date: 2014-05-16 11:35:07
2	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
3	Systematic Exploration of Thermodynamic Cycles for Concentrated Solar Thermal Power Generation Rodney Persky, Emilie Sauret, Alex Post, Andrew Beath Concentrated Solar Power (CSP) is a key source of renewable energy. Acr Add to Reading List Source URL: www.astri.org.au Language: English - Date: 2016-05-18 19:32:03 Thermodynamic cycles Brayton cycle Rankine cycle Rankine Concentrated solar power Solar power Combined cycle Organic Rankine cycle
4	Tangential Impulse Detonation Engine Ionut Porumbel, Ph.D. Aerodays 2015 – , London, UK Add to Reading List Source URL: www.aerodays2015.com Language: English - Date: 2015-11-03 04:16:07 Jet engines Combustor Brayton cycle Pulse detonation engine Internal combustion engine Gas turbine Turbine Airbreathing jet engine Turbojet
5	Using SAT for Combinational Equivalence Checking Evgueni I. Goldberg Mukul R. Prasad Robert K. Brayton Cadence Berkeley Laboratories Department of Electrical Engineering & Computer Sciences Cadence Design Systems Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2004-01-15 13:34:51
6	Control and Load Regulation Aspects of CO2 Brayton Cycles Add to Reading List Source URL: www.seriius.org Language: English - Date: 2015-05-15 15:13:14
7	Improvements to Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-08-09 21:17:37
8	Scalably-Verifiable Sequential Synthesis Robert Brayton Alan Mishchenko Department of EECS, University of California, Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-10-02 14:31:33
9	Solar tracking for a parabolic dish used in a solar thermal Brayton cycle W.G. le Roux Study leaders: T. Bello-Ochende, J.P. Meyer Department of Mechanical and Aeronautical Engineering, University of Pretoria Abstract Add to Reading List Source URL: www.crses.sun.ac.za Language: English - Date: 2012-11-13 07:32:21
10	Optimisation of the receiver and recuperator of the small-scale open and direct solar thermal Brayton cycle for Pretoria W.G. le Roux, T. Bello-Ochende and J.P. Meyer Department of Mechanical and Aeronautical Engineering Add to Reading List Source URL: www.crses.sun.ac.za Language: English - Date: 2011-11-30 09:55:48 Thermodynamics Thermodynamic cycles Energy recovery Heat transfer Brayton cycle Gas turbine Concentrated solar power Recuperator Entropy Energy Physics Mechanical engineering

UPDATE