news 2017



Results 21 - 40 of 52.

Mathematics - Computer Science - 21.08.2017
Computer Scientists from Freie Universität Are Vice World Champions in Automated Theorem Proving
Automated Theorem Prover (ATP) Leo-III Developed at Freie Universität Berlin Took Second Place in Higher-Order Logic Category in World Championship No 223/2017 from Aug 21, 2017 The Leo-III computer system has been under development since 2014 by researchers Alexander Steen and Max Wisniewski under the direction of Dr. Christoph Benzmüller at the Dahlem Center for Machine Learning and Robotics at the Institute of Computer Science, Freie Universität Berlin.

Mathematics - Computer Science - 10.08.2017
What's the magic word? Artificial intelligence uses internet searches to help create mind association trick
What’s the magic word? Artificial intelligence uses internet searches to help create mind association trick
Scientists from Queen Mary University of London (QMUL) have created an artificial intelligence (AI) that uses internet searches to help co-design a word association magic trick. The computer automatically sources and processes associated words and images required for the novel mind reading card trick which is performed by a magician.

Life Sciences - Mathematics - 04.08.2017
Researchers want to know how early life affects the adult brain
Researchers want to know how early life affects the adult brain
It's said to be a "lightbulb" moment - when an idea pops into your head. The adult human brain often displays this kind of spontaneous activity - and University of Queensland experts have uncovered how different experiences early in life can affect the nature of that activity and, in turn, alter an individual's behaviour.

Mathematics - Economics / Business - 31.07.2017
Intermittent attention, poor memory shape public perceptions of inflation
Intermittent attention, poor memory shape public perceptions of inflation
Do you know your country's current inflation rate' What do you think it will be in the future? And how do you, personally, try to plan your finances accordingly? Those are important questions for economists and policymakers, because central bankers generally assess future expectations of inflation when setting interest rates.

Physics - Mathematics - 06.07.2017
Classical mechanics helps control quantum computers
Classical mechanics helps control quantum computers
Research news Quantum technology is seen as an important future-oriented technology: smaller, faster and with higher performance than conventional electronics. However, exploiting quantum effects is difficult because nature's smallest building blocks have properties quite distinct from those we know from our everyday world.

Life Sciences - Mathematics - 05.07.2017
Brain stimulation may help children with learning difficulties
Applying a brain stimulation method, which was previously suggested to enhance mathematical learning in healthy adults, may improve the performance of children with mathematical learning difficulties, according to an exploratory study by researchers from the universities of Oxford and Cambridge. The early stage involved twelve children between the ages of eight and eleven with learning difficulties in mathematics.

Environment - Mathematics - 30.06.2017
Concurrent hot and dry summers more common in future
Concurrent hot and dry summers more common in future
In the past, climate scientists have tended to underestimate the risk of a co-occurrence of heatwave and drought.

Mathematics - Physics - 26.06.2017
Mysterious equality with which grains pack it in
Mysterious equality with which grains pack it in
For the first time, researchers have been able to test a theory explaining the physics of how substances like sand and gravel pack together, helping them to understand more about some of the most industrially-processed materials on the planet. Granular materials are so widely-used that understanding their physics is very important.

Mathematics - Life Sciences - 22.06.2017
Cracking the mystery of avian egg shape
Cracking the mystery of avian egg shape
A team of international scientists - including an archaeologist from the University of Bristol - have cracked the mystery of why bird eggs are shaped the way they are. According to the new research published today , egg shape in birds is related to adaptations for efficient flight and a mechanistic model reveals how different egg shapes may be formed.

Mathematics - Life Sciences - 22.06.2017
How birds fly determines the shape of their eggs
How birds fly determines the shape of their eggs
Sleek bird species adapted to flight lay more elliptical and asymmetric eggs, according to new research that overturns classic theories. Bird eggs can be squat spheres or elongated ovals, and can also have one pointy end or be perfectly symmetrical. Bird eggs have fascinated people for millennia, yet only now are biologists beginning to crack the mystery of what makes some eggs more 'egg-shaped' than others.

Civil Engineering - Mathematics - 12.06.2017
Do old bridges last longer than expected?
Do old bridges last longer than expected?
Research news More traffic, heavier loads: When bridges in Germany over the age of 50 are evaluated according to current standards, calculations show that many of them theoretically have substantial deficiencies. Nevertheless many bridges exhibit no damage that confirms the calculated structural shortfalls.

Life Sciences - Mathematics - 02.06.2017
Pilot programme encourages researchers to share the code behind their work
Pilot programme encourages researchers to share the code behind their work
New project, partly designed by a University of Cambridge researcher, aims to improve transparency in science by sharing 'how the sausage is made'. Having the code means that others have a better chance of replicating your work. Stephen Eglen A new pilot project, designed by a Cambridge researcher and supported by the Nature family of journals, will evaluate the value of sharing the code behind published research.

Mechanical Engineering - Mathematics - 23.05.2017
New way to test self-driving cars could cut 99.9 percent of validation costs
ANN ARBOR?Mobility researchers at the University of Michigan have devised a new way to test autonomous vehicles that bypasses the billions of miles they would need to log for consumers to consider them road-ready. The process, which was developed using data from more than 25 million miles of real-world driving, can cut the time required to evaluate robotic vehicles' handling of potentially dangerous situations by 300 to 100,000 times.

Mathematics - Chemistry - 23.05.2017
A new tool for discovering nanoporous materials
A new tool for discovering nanoporous materials
EPFL scientists have developed a mathematical 'face-recognition' method for identifying and discovering nanoporous materials based on their pore size. Image: Topological differences of top-performing materials for methane storage. Topological data analysis reveals the similarity between structures; each node represents a family of similar materials, while a network between two nodes indicates that they share at least one material.

Physics - Mathematics - 11.05.2017
Way to pack grains and drugs most efficiently
It's crazy - sand is one of the most common building materials in the world and drugs are often packed in the forms of pills, but we really don't understand how assembly of grains or pills behave. Scientists have discovered a way to solve a problem that has baffled humans for so long it is mentioned in the Bible: achieving the most efficient packing of objects such as grains and pharmaceutical drugs.

Mathematics - Physics - 13.04.2017
Unique water tank allows scientists to replicate rogue ocean waves
An international team of scientists have demonstrated how ocean winds can generate spontaneous rogue waves. This is the first step to predicting the potentially dangerous phenomena. Rogue or freak waves are extremely large, steep waves appearing in deep ocean, surging without warning and seemingly at random.

Physics - Mathematics - 30.03.2017
Sculpting optical microstructures with slight changes in chemistry
In 2013, materials scientists at the Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS) and the Wyss Institute of Biologically Inspired Engineering grew a garden of self-assembled crystal microstructures. Now, applied mathematicians at the SEAS and Wyss have developed a framework to better understand and control the fabrication of these microstructures.

Mathematics - 22.03.2017
Maths formula offers key to sperm fertility
The rhythm with which individual sperm move could explain why some successfully fertilise the female egg and others fail, a new Oxford University collaboration has found. From studying the rhythmic movements, researchers at the Universities of York, Birmingham, Oxford and Kyoto University, Japan, have developed a mathematical formula which makes it easier to understand how sperm make the journey to fertilise an egg.

Computer Science - Mathematics - 21.03.2017
Making better decisions when outcomes are uncertain
Markov decision processes are mathematical models used to determine the best courses of action when both current circumstances and future consequences are uncertain. They've had a huge range of applications - in natural-resource management, manufacturing, operations management, robot control, finance, epidemiology, scientific-experiment design, and tennis strategy, just to name a few.

Computer Science - Mathematics - 13.03.2017
Computing with spiders' webs
Computing with spiders’ webs
Do spiders use their web as a computer? New research, led by the Universities of Bristol and Oxford, will look at spiders' webs to investigate their computational capabilities and based on this research they will develop new sensor technology to measure vibrations and flow. Spiders' webs have evolved over hundreds of millions of years and can be surprisingly complex.