"Armada" prüft komplexe Software auf "Bugs"

Symbolbild: Pixabay

Forscher der University of Michigan und der Carnegie Mellon University haben zusammen mit Microsoft Research eine Technik entwickelt, um komplexe Computerprogramme ohne traditionelle Software-Tests auf "Bugs" zu prüfen. Hierfür setzen sie auf das System "Armada", das auf Basis des Prinzips der formalen Verifikation arbeitet und mithilfe mathematischer Methoden feststellt, ob Algorithmen auch wirklich richtig funktionieren und genau das tun, was sie sollen.

Software digitalisiert Hunde für Filme und Spiele

Motion Capture: Hunde lassen sich günstig digital vermessen (Foto: bath.ac.uk)

Wissenschaftler der University of Bath haben eine innovative Motion-Capture-Technologie entwickelt, mit der sich leicht und kostengünstig digitale Abbilder von Hunden für Filme und Videospiele erstellen lassen. Der Clou: Das neue Verfahren kommt ohne teure Motion-Capture-Anzüge aus und benötigt lediglich eine simple RGBD-Kamera. Eine spezielle Software berechnet aus den Fotos dann detailgetreu unterschiedliche Posen und Bewegungsmodelle der Tiere.

KI macht pixelige Fotos zu scharfen Gesichtern

Selbstversuch: Forscher original, verpixelt und KI-erzeugt (Foto: duke.edu)

Forscher der Duke University haben ein KI-System entwickelt, das aus völlig verpixelten Fotos realistische Gesichter generiert. Dazu erdenkt "Pulse" Details wie feine Linien, Wimpern oder Bartstoppeln, die Auflösung ist anschliessend 64 Mal so hoch wie beim pixeligen Original. Das Team betont allerdings, dass das resultierende Gesicht zwar plausibel, aber nicht real ist - zur Identifikation der Person auf dem Originalfoto taugt es also nicht. Doch könne der genutzte Ansatz theoretisch Bilder beliebiger Dinge ähnlich hochskalieren.

Web-Applikation zur individuellen Erfassung von Arbeitsplätzen

Symbolbild: Pixabay

Im Zuge der schrittweisen Lockerung der Corona-Massnahmen müssen sich die Firmen überlegen, wie sie ihre Arbeitsabläufe in Zukunft organisieren und die Belegschaft dabei bestmöglich vor den Risiken einer Ansteckung schützen können. Aus dieser Fragestellung ist in der sogenannten "Techgarage", einem Projekt der Swiss IT Security Group, die Webapplikation "Back2Office" entstanden. Dabei handelt es sich um ein webbasiertes Tool, mit dem Unternehmen ihre physischen Unternehmensstrukturen bzw.

Neue Software verwandelt Formeln in Bilder

Darstellungsarten mathematischer Formeln dank "Penrose" (Grafik: cmu.edu)

Mit der Software "Penrose" von Forschern der Carnegie Mellon University lassen sich mathematische Formeln in "schöne und lehrreiche Illustrationen umsetzen". Der Name des Programms erinnert an den britischen Physiker und Mathematiker Roger Penrose, der berühmt war für die Verwendung von Diagrammen und Zeichnungen, um die Komplexität der Mathematik verständlicher zu machen.

Firefox 77 mit verbessertem Rendering

Firefox: Version 77 ist fertig (Logobild: Mozilla)

Mozilla hat eine neue Version seines Browsers Firefox veröffentlicht: Firefox 77 kann via Update oder direkt auf der Webseite des Herstellers heruntergeladen werden. Dabei gibt es einige Neuerungen: So wird die Rendering Engine Webrender bei Laptops mit hochauflösenden Bildschirmen und Nvidia-Grafikkarte automatisch aktiviert. Dabei setzt das Visualisierungsprogramm auf die GPU; um Prozesse flotter und flüssiger darzustellen.

Firefox schickt Flash mit Ende Jahr in Pension

Mozillas Firefox soll küftig Adobe Flash Player nicht mehr unterstützen (Bild: Mozilla)

Was lange unerreichbar schien, kommt nun langsam in greifbare Nähe: Dem Flash Player soll es im Verlauf des kommenden Jahres endgültig an den Kragen gehen. Mit Firefox 84 stellt auch Mozilla die Unterstützung für Adobe Flash ganz ein. Das geht aus einem Blogbeitrag hervor. Der Browser soll im Dezember veröffentlicht werden. Dann will nämlich auch Adobe jegliche Unterstützung für die veraltete Technologie einstellen. Nutzer einer Nightly-Version von Firefox müssen ab Oktober damit rechnen, nicht länger den Flash Player nutzen zu können.

ABB gibt ausgewählte Software kostenlos zur Nutzung frei

ABB: Digitale Lösungen im Bereich Elektrifizierung bis Jahresende kostenfrei verfügbar (Bild: ABB)

In anbetracht der Corona-Krise stellt der Schweizer Hightech-Konzern ABB ab sofort und bis zum 31.12. dieses Jahres die "iUPSGuard"-Software für Krankenhäuser und ABB Ability Asset Health für elektrische Systeme kostenfrei zur Verfügung. Neue oder erneuerte Lizenzen für die "ABB Ability Software-as-a-Service" (SaaS) gehören ebenfalls zum gebührenfreien Angebot.

Seiten

Software abonnieren