More reliable software thanks to mathematical demonstrations
It is possible to test computer programs using tools borrowed from mathematicians and their famous demonstrations. A team from the EPFL is exploring new territory in this area.
It is possible to test computer programs using tools borrowed from mathematicians and their famous demonstrations. A team from the EPFL is exploring new territory in this area.
Computer Sciences
Jan 14, 2015
0
18
Forensic scientists at Abertay University have identified the most efficient way of recovering fingerprints from the feathers and eggs of birds of prey, publishing the world's first academic research paper on the subject.
Analytical Chemistry
Jan 14, 2015
0
8
Researchers in Australia have found that where baby corals choose to settle is influenced by ocean temperature and the presence of their symbiotic algae in the water.
Plants & Animals
Jan 14, 2015
0
34
Sweetpotato is known to be a good source of ascorbic acid (vitamin C) and certain B vitamins that are considered essential to human health. Besides the commonly consumed root of the plant, certain tissues in sweetpotato are ...
Other
Jan 14, 2015
0
13
Survival of field-grown trees grown for transplanting into landscapes depends on many factors, such as transplant timing and tree size. Species-specific characteristics also contribute to trees' ability to withstand and survive ...
Ecology
Jan 14, 2015
0
11
Duke University scientists have discovered high levels of two potentially hazardous contaminants, ammonium and iodide, in wastewater being discharged or spilled into streams and rivers from oil and gas operations in Pennsylvania ...
Environment
Jan 14, 2015
5
66
Egypt is an important exporter of vegetables to Europe (like the well-known beans) and the Middle East. For the intensive cultivation of tomatoes and sweet peppers plastic greenhouses are used. Problems with soil diseases, ...
Environment
Jan 14, 2015
0
9
Two professional development programs for pre-kindergarten teachers have improved their interactions with children, according to a new report for Bright from the Start: Georgia Department of Early Care and Learning (DECAL). ...
Social Sciences
Jan 14, 2015
0
88
When the alarm light starts blinking in the control room of a factory, the problem has already occurred. Computer scientists at the Cluster of Excellence Cognitive Interactive Technology (CITEC) at Bielefeld University and ...
Computer Sciences
Jan 14, 2015
0
8
An ambitious project to drill 1.3 kilometres into the Alpine Fault has been halted early by equipment problems, but it has still yielded a large amount of useful information about the inner workings of the fault.
Earth Sciences
Jan 14, 2015
0
14