Mathematicians Calculate The Safest Way Home For Pedestrians

The newest in the computer science involves the development of mobile App that guides pedestrians along the safest instead of the quickest route, by researchers at Cardiff University.

Pedestrians accounted for 24% of all road deaths in Great Britain in 2015, According to the UK Department for Transport. This innovation can score the safety of a given area using sophisticated mathematical algorithms, which if implemented, can reduce road traffic casualties by far.

A study in the journal Accident Analysis and Prevention, researchers have shown how a novel system for scoring the safety of an area can successfully predict the likely number of road casualties. The computer algorithm considers some factors– the type of street, possibility of jaywalking and the speed limits of each road in a given area, unlike apps like Google maps which only reveal the quickest way home without giving potential danger signals.

The scoring has been tested on 15 cities in the UK with Liverpool ranking as having the most unsafe roads whereas Bath was deemed to have the safest.

This novel system could help city planners and developers, specifically when assessing how changes to a city’s infrastructure may affect road safety, such as the pedestrianizing of roads or the changing of speed limits.

“Our next aim is to translate this research into a product that the public can use.’’ Says Dr. Padraig Corcoran. “We envisage something very similar to Google Maps in which a user can input their destination and then choose a route that utilizes our algorithm and gives them the safest possible journey instead of the quickest. This could definitely save lives and would go some way to reducing the high levels of causalities both here in the UK and across the world.”

Computers Effective In Verifying Mathematical Proofs

A mathematical proof is a manifestation of pure logic and truth. But an increasing number of mathematical proofs are now impossible to verify with absolute certainty, safe through the latest development of computer tools.

When mathematicians prove theorems traditionally, they usually present the argument in narrative form. They gloss over details they think other experts will understand; they take shortcuts to make the presentation less tedious, they appeal to intuition, etc. The correctness of the arguments is subject to the scrutiny of other mathematicians. It is sobering to realize that the means by which mathematical results are verified is essentially a social process and is thus fallible. When it comes to central, well-known results, the proofs are exceptionally checked, and errors eventually found.

Nevertheless, there are many undetected false results in mathematical history, as other require complicated proofs. To get around these problems, computer scientists and mathematicians began to develop the field of formal proof powerful enough to handle difficult proofs.

In simple cases, one can feed a statement to a computer proof assistant and expect it to hand over a proof. Rather, the mathematician has to know how to prove the statement; the proof then is greatly expanded into the special syntax of formal proof with well spelled out steps. Computers can also explore mathematics on their own, coming up with unnoticed exciting conjectures.

Four new articles explore the current state of the art of formal proof and provide practical guidance for using computer proof assistants.  One long-term dream is to have formal proofs of all of the central theorems in mathematics, and the four collections of proof would be akin to “the sequencing of the mathematical genome.”



Computer Science Professor, Robert Edward ‘Bob’ Noonan Dies at 74

Robert Edward ‘Bob’ Noonan succumbed to Parkinson’s disease on Thursday, November 1, 2018, at the age of 74.  Bob was the son to the late Vincent and Elizabeth Noonan. He was born on June 4, 1944, in Rahway, New Jersey.

Bob joined Holy Trinity High School in his hometown and scoped the cross country record which to this day, has never been broken. He eventually joined Providence College and graduated with an A.B. Degree in Mathematics in 1966.

Later, Bob joined Purdue University where he graduated with a Ph.D. in computer science, 1971. Bob would later join the faculty of the University of Maryland. In 1973, he married his wife, Debbie Smith.

In August 1976, they moved to Williamsburg where he joined the mathematics department of the College of William & Mary. It is here that Bob would pursue the college administration and the Mathematics Department to add computer science in their department and change one of their degrees to a B.A/B.S. in computer science.

In August 1983, the college split the department into two independent departments that took effect July 1984. By 1986, the college was in a position to offer a Ph.D. in computer science and Bob became head of the faculty twice. Bob was also instrumental in putting the college on the internet in 1988. He also pioneered internet connection within the institution.

Bob also loved skiing and he took upon himself to learn how to do it. He also taught most of his students using his boat. Visitation commences on Wednesday 7 November, from 6 pm to 8 pm, at Nelsen Funeral Home, 3785 Strawberry Plains Road, Williamsburg.



What is the Relationship between Mathematics and Computer Science?

Computer science is a lucrative course that many long to pursue. Quite a handful of the populace pursues it in a bid to be a hacker, programmer among other careers. However, regardless of how lucrative the course is, there’s one thing that keeps many away from it – it’s close relation with mathematics.

Different debates have emerged and submerged on the topic of the relevance of mathematics in computer science. Well, not all view it as a necessary inclusion subject. In fact, critics say that it is of little to no significance.

In this article, we will look at the relationship between the two and hopefully you will see the importance of mathematics.

  1. Mathematics equips the student with analysis skills

Ideally, coding requires the student to continuously and carefully inspect what he or she has written. This is in a bid to correct errors that one might make. The same case applies to mathematics, students have to go through their formulas and figures before giving a final answer. In short, math enables students to identify and fix bugs

  1. Computer science is loaded with mathematics

The course has lots of math. It is paramount for the student to be well versed in the subject. The mathematics skills are used to solve real-life problems using a computer. A novice in mathematics will have a hard time constructing formulas and equations required to make certain programs.

  1. It the student understand and utilize algorithms

The basis of any program is algorithms. It is through them that programs and applications are created. They are taught throughout mathematics classes and form the basis of more complex ones that are found in computer science.

  1. Discrete math is the foundation of computer science

Discrete math forms the background of computer science and programming. Skills learned through this subject will help you comprehend algorithms, complexities and other processes you will be using in the course. The mathematical theories will enable you to have an easy time implementing your programs.