news

« BACK

Mathematics



Results 21 - 34 of 34.


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.

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.

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.

Mathematics - Computer Science - 01.02.2017
Center for Motion Research Begins Work at Universität Heidelberg
In addition to the mathematical and methodological foundations of motion studies, research at the Heidelberg Center for Motion Research will also include the connection between movement, the psyche, cognition and the body. With the support of the Carl Zeiss Foundation, an interdisciplinary center for motion research took up its work at Heidelberg University on 1 February of this year.

Mathematics - 11.11.2016
Mathematical algorithms calculate social behavior
Mathematical algorithms calculate social behavior
Research news For a long time, mathematical modelling of social systems and dynamics was considered in the realm of science fiction. But predicting, and at once influencing human behavior is well on its way to becoming reality. Scientists at the Technical University of Munich (TUM) are currently developing the appropriate tools.

Life Sciences - Mathematics - 10.11.2016
When Nerve Cells Detect Patterns for Acquired Knowledge
When Nerve Cells Detect Patterns for Acquired Knowledge
For observations based on sensory data, the human brain must constantly verify which "version" of reality underlies the perception. The answer is gleaned from probability distributions that are stored in the nerve cell network itself. The neurons are able to detect patterns that reflect acquired knowledge.

Mathematics - 23.05.2016
New Research Training Group in the Field of Asymptotic Geometry
A new Research Training Group (RTG) comprised of mathematicians from Heidelberg University and the Karlsruhe Institute for Technology will be exploring special questions in the field of geometry. Following a successful international expert evaluation, the German Research Foundation (DFG) has awarded the "Asymptotic Invariants and Limits of Groups and Spaces" RTG funding in the amount of approximately four million euros for a period of four and a half years.

Life Sciences - Mathematics - 18.04.2016
Predicting Cell Behaviour with a Mathematical Model
Predicting Cell Behaviour with a Mathematical Model
Scientists from Heidelberg University have developed a novel mathematical model to explore cellular processes: with the corresponding software, they now are able to simulate how large collections of cells behave on given geometrical structures. The software supports the evaluation of microscope-based observations of cell behaviour on micropatterned substrates.

Life Sciences - Mathematics - 22.02.2016
Why the brain is not folded like a crumpled sheet of paper
Why the brain is not folded like a crumpled sheet of paper
Crumpled paper and Romanesco cauliflower have one thing in common: they have a fractal form. "Scientists have long been discussing whether the curves of our cerebrum have a fractal form," explains Dr. Marc de Lussanet, a researcher at Münster University. Experts want to know how the brain folds are produced in order to understand the brain, its development and possible disorders.

Life Sciences - Mathematics - 18.12.2015
Reading the neural code for space
The cognitive map for spatial navigation is thought to rely on grid cells. Scientists at LMU and Harvard University have now put forward a mathematical theory that explains key grid-cell features and how these give rise to a neural metric for space. One year ago, the Nobel Prize in Physiology or Medicine went to the discoverers of the mammalian "GPS system" for spatial navigation.

Physics - Mathematics - 09.12.2015
Quantum physics problem proved unsolvable
Quantum physics problem proved unsolvable
A mathematical problem underlying fundamental questions in particle and quantum physics is provably unsolvable, according to scientists at UCL, Universidad Complutense de Madrid - ICMAT and Technical University of Munich. It is the first major problem in physics for which such a fundamental limitation could be proven.

Mathematics - Event - 12.10.2015
Award for Paper on Simulation of Flow Processes
With one of the highest possible awards in the field of applied mathematics the Society for Industrial and Applied Mathematics (SIAM) has honoured the authors of a paper on computer-supported simulation of flow processes that appeared last year in one of the society's five journals. Among the SIAM publications the Heidelberg paper was chosen as the one with outstanding research results of special overall significance.

Mathematics - 09.09.2015
Dr. Rudolph Perkins Receives Research Grant From Alexander von Humboldt Foundation
Starting this September, Ruperto Carola welcomes US mathematician Dr. Rudolph Perkins, recipient of a research grant from the Alexander von Humboldt Foundation. During his two-year stay, he will explore the theory of numbers. His host is Dr. Gebhard Böckle, director of a research group at the Interdisciplinary Center for Scientific Computing (IWR) at Heidelberg University.

Mathematics - Computer Science - 10.09.2010
Neurons: Faster than thought and able to multiply
Scientists discover new properties of nerve cells through computing - and contemplation Freiburg, 10. Using computer simulations of brain-like networks, researchers from Germany and Japan have discovered why nerve cells transmit information through small electrical pulses. Not only allows this the brain to process information much faster than previously thought: single neurons are already able to multiply, opening the door to more complex forms of computing.