Software
"Armada" prüft komplexe Software auf "Bugs"
Verfasst von Steiner/pte am Fr, 19. Juni 2020 - 08:13Forscher 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
Verfasst von Steiner/pte am Do, 18. Juni 2020 - 09:11Wissenschaftler 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
Verfasst von Pichler/pte am Mi, 17. Juni 2020 - 16:07Forscher 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
Verfasst von ictk am Mo, 15. Juni 2020 - 10:32Im 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
Verfasst von Kempkens/pte am Mi, 03. Juni 2020 - 15:27Mit 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
Verfasst von ictk am Mi, 03. Juni 2020 - 11:19Mozilla 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
Verfasst von ictk am Mi, 20. Mai 2020 - 06:42Was 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.
Vösi Software-Day 2020 am 29. September mit Nasa-Keynote
Verfasst von inuit/hk am Mo, 20. April 2020 - 19:21ABB gibt ausgewählte Software kostenlos zur Nutzung frei
Verfasst von ictk am So, 19. April 2020 - 10:47In 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.