POSTECH research team led by Professor Keehoon Kim develops disinfection robot combining physical wiping and UV-C sterilization.

Proof scores are a promising technique in software engineering for verifying the properties of a software system. While proof scores offer the key advantage of following the same syntax as the specification language they are implemented in, they also have several disadvantages that have limited their wide acceptance. In a new study, researchers study the past, present, and future of proof scores to understand their weaknesses and future directions to overcome them.

A major part of NASA’s nearly complete Nancy Grace Roman Space Telescope just passed a lengthy thermal test to ensure it will function properly in the space environment.

Research team proposed Multi-Projection Recurrent model (MPR) model, effectively tackling polysemy and hierarchy in hypernym detection and discovery with excellent performance. 

Researchers at Linköping University, Sweden, have developed a new type of pipette that can deliver ions to individual neurons without affecting the sensitive extracellular milieu. Controlling the concentration of different ions can provide important insights into how individual braincells are affected, and how cells work together. The pipette could also be used for treatments. Their study has been published in the journal Small.