IntelliGenes, a first of its kind software created at Rutgers Health, combines artificial intelligence (AI) and machine-learning approaches to measure the significance of specific genomic biomarkers to help predict diseases in individuals, according to its developers. A study published in Bioinformatics explains how IntelliGenes can be utilized by a wide range of users to analyze multigenomic and clinical data. Zeeshan…
Baldur writes its own proofs to automatically verify code Not all software is perfect—many apps, programs, and websites are released despite bugs. But the software behind critical systems like cryptographic protocols, medical devices, and space shuttles must be error-free, and ensuring the absence of bugs requires going beyond code reviews and testing. It requires formal verification. Formal verification involves writing a mathematical proof of…
A new report finds that deepfake software is still prohibitively hard to use, but that may not be true for much longer A comparison of an original and deepfake video of Facebook CEO Mark Zuckerberg. IMAGES: ELYSE SAMUELS/THE WASHINGTON POST/GETTY IMAGES If you wanted to make a deepfake video right now, where would you start? Today, an…
ditor’s Note: Upon publication, this article failed to properly disclose the connection between its author, Bob Zeidman, and Microsoft Corp., a key subject of the story. Mr. Zeidman is currently retained by Microsoft as an expert witness in Motorola Mobility v. Microsoft. IEEE Spectrum regrets the omission. The history of the computer industry is filled with fascinating tales of riches that appear…
This post is dedicated to the memory of Niklaus Wirth, a computing pioneer who passed away 1 January 2024. In 1995 he wrote an influential article called “A Plea for Lean Software,” published in Computer, the magazine for members of the IEEE Computer Society, which I read early in my career as an entrepreneur and software developer. In…
HARDWARE HACKINGREINFORCEMENT LEARNINGPROCESSORSSUPPLY CHAINCHIP SHORTAGE In the age of the global chip-supply shortage, any speedup in chip manufacturing and quality-assurance testing is a potential lifeline. So a technique first developed to find instabilities in UNIX command-line prompts in the 1980s is now being retooled to automate chip tests on the assembly line—and discover bugs that could ultimately lead…
There has been a surge in academic and business interest in software as a medical device (SaMD). It enables medical professionals to streamline existing medical practices and make innovative medical processes such as digital therapeutics a reality. Furthermore, SaMD is a billion-dollar market. However, it is not clearly understood as a technological change and emerging…
The workings of the ultrasonic warning sounds produced by the wings of a species of moth have been revealed by researchers at the University of Bristol. Scientists recently discovered that moths of the genus Yponomeuta (so-called ermine moths) have evolved a very special acoustic defence mechanism against their echolocating predators — bats. Ermine moths produce ultrasonic clicking…
For 200 years, scientists have failed to grow a common mineral in the laboratory under the conditions believed to have formed it naturally. Now, a team of researchers from the University of Michigan and Hokkaido University in Sapporo, Japan have finally pulled it off, thanks to a new theory developed from atomic simulations. Their success…
This is the next installment in a series of articles about the essential diagrams used within the Unified Modeling Language, or UML. In my previous article on the UML’s class diagram, I described how the class diagram’s notation set is the basis for all UML 2’s structure diagrams. Continuing down the track of UML 2 structure…