news 2017


Computer Science

Results 1 - 5 of 5.

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.

Politics - Computer Science - 21.08.2017
Four Generous Grants from the European Research Council
Young Researchers at Freie Universität Win ERC Starting Grants No 224/2017 from Aug 21, 2017 Four researchers at Freie Universität Berlin have won ERC Starting Grants. The grants were awarded by the European Research Council (ERC) in amounts up to 1.5 million euros over a five-year period. The winning projects at Freie Universität are in the fields of Arabic studies, computer science, neuroscience, and political science.

Life Sciences - Computer Science - 07.03.2017
Progress Towards a Circuit Diagram of the Brain
Progress Towards a Circuit Diagram of the Brain
Precise knowledge of the connections in the brain - the links between all the nerve cells - is a prerequisite for better understanding this most complex of organs. Researchers from Heidelberg University have now developed a new algorithm - a computational procedure - that can extract this connectivity pattern with far greater precision than previously possible from microscopic images of the brain.

Media - Computer Science - 03.02.2017
Journalists on their robot pretenders
Journalists on their robot pretenders
In spite of its limitations, automated journalism will expand. According to media researchers, this development underlines the need for critical, contextualised journalism. Journalists and editors believe 'robo-journalists' do not have a good nose for news and produce one-dimensional stories, according to new research published today.

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.