"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software that can't ...
(Phys.org) —Astrophysicists at the University of Glasgow are looking to the Northern and Southern Lights to expand our understanding of solar flares.
(Phys.org) —Americans take electrical power for granted whenever they flip on a light switch. But the growing use of solar and wind power in the United States makes the on-demand delivery of electricity more challenging.
America's power grid is like an old car. It gets the job done, even if its performance is slipping. But the repair bills go up every year and experts say only a major overhaul will reverse its decline.
(Phys.org)—A novel fabrication technique developed by UConn engineering professor Brian Willis could provide the breakthrough technology scientists have been looking for to vastly improve today's solar energy systems.
A research team led by the University of Iowa reports to have directly measured a kind of turbulence that occurs in space plasma for the first time in the laboratory.
(Phys.org)—Renewable energy could fully power a large electric grid 99.9 percent of the time by 2030 at costs comparable to today's electricity expenses, according to new research by the University of Delaware and Delaware ...
Three US nuclear power reactors remained shut down and a fourth on alert Tuesday after Hurricane Sandy wreaked havoc with transmission networks and high waters threatened cooling systems.
(Phys.org)—Glancing at one's daily consumption of energy would lead to usage that is more reasonable and less greedy. Such a challenge gave birth to eSMART. This EPFL spin-off is in the process of installing its system ...
There were cheers around Germany when Chancellor Angela Merkel announced last year, in the wake of the Fukushima disaster in Japan, a swift end to nuclear power in favor of renewable energy sources like wind and solar.