🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

The Falling Walls Science Summit: shortlisted for the title SCIENCE BREAKTHROUGH OF THE YEAR 2025 in the category ENGINEERING & TECHNOLOGY falling-walls.com/breakthroughs AGRA Uni Bremen Data Science Center (@[email protected])

Vortrag beim 66. Seminar für ärztliche Fort- und Weiterbildung in #Westerland auf #Sylt westerland-seminar.de/wp/programm/ AGRA Uni Bremen Data Science Center (@[email protected]) #Medizin #KünstlicheIntelligenz #MachineLearning

Our paper accepted for publication in IEEE Transactions on Computer-Aided Design (#TCAD) on "veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory" is now available #online as #EarlyAccess ieeexplore.ieee.org/document/11050… AGRA Uni Bremen #verification #formal

We're thrilled to share that our SEMANTIC BUG HUNTER project is advancing with support from the European Regional Development Fund (#EFRE) and the State of #Bremen! truscova.com/news_5.php Muhammad Hassan Muhammad Jalil #security #Blockchain #SmartContracts truscova #truscova

Three Bremen Researchers Shortlisted for Falling Walls Foundation's “Science Breakthroughs of the Year” Falling Walls Foundation - on the list with “Breaking the Wall of Safer Digital Devices” uni-bremen.de/en/university/… AGRA Uni Bremen Data Science Center (@[email protected]) #safety #security #verification

Trust us, you're in good hands! I mean... there are no more hands involved in this, but they are virtually the best!

Sie sind in guten Händen! Also, es gibt zwar keine Hände mehr in dem Prozess, aber virtuell sind es die besten!

Es ist Montag - Neues von #noerdman: der #Nerd aus dem #Norden auf noerdman.de AGRA Uni Bremen Data Science Center (@[email protected]) #comic #comics #Informatik #Technik #Diagnostik #Befundung #Radiologie #Medizin #Zukunft

#ICCAD2025 - looking forward to Panel Session at The 2025 International Conference on Computer-Aided Design (#ICCAD) in Munich, Germany on "Revolution or Hype? Seeking the Limits of Large Models in Hardware Design" 2025.iccad.com/panel-session IEEE/ACM ICCAD AGRA Uni Bremen #LLMs #hardware

Master Projekttag #Informatik 2025 an der #UniBremen: 04.07.2025 · 10:00-15:00 · MZH E1 Foyer - Herzlich Willkommen! informatik.uni-bremen.de/projekttag/202… AGRA Uni Bremen Data Science Center (@[email protected])

According to #dblp currently 999 entries - many thanks to my 500+ co-authors dblp.uni-trier.de/pid/d/RolfDrec…

Is this the future of #science?

We are #hiring: #PhD position in #REACT Doctoral Network (REACT-DN), funded by the Marie Skłodowska-Curie Actions (#MSCA) in #Bremen; project DC9 on "Formal Verification for Approximate In-Memory Computing" project-react.eu/vacancies/ AGRA Uni Bremen #verification #openposition

Heute Master Projekttag #Informatik 2025 an der #UniBremen: Präsentation des Projektes #Elo4Future von AGRA Uni Bremen informatik.uni-bremen.de/projekttag/202… Data Science Center (@[email protected])

#NoerdmanOnTour - #Sylt #noerdman #UniBremen #Westerland #Deutschland #Germany AGRA Uni Bremen Data Science Center (@[email protected]) noerdman jus

The IEEE European Test Symposium (#ETS) has been facilitating progress in electronic systems #testing since its launch in 1996. On the occasion of its 30th anniversary, a collaborative paper has been published - we contributed on #SAT-based #ATPG ieeexplore.ieee.org/document/11049… #ETS2025

It's definitely not a Boolean; these still use too much memory. Could be a Bit?

Es ist bestimmt kein Boolfilm - der wäre im Speicher immer noch lang. Vielleicht sonst ein Bitfilm?

Es ist Montag - Neues von #noerdman: der #Nerd aus dem #Norden auf noerdman.de AGRA Uni Bremen Data Science Center (@[email protected]) #comic #comics #Informatik #Technik #YouTube #Filme #Kurzfilme #Datentypen #programmierung

#ISVLSI2025 - today Abhoy Kole presents our paper on "Unlocking the Benefits of Dynamic Quantum Circuits in Resource Constraint Architecture" at the IEEE Computer Society Annual Symposium on VLSI in #Kalamata, #Greece ieee-isvlsi.org/ISVLSI_2025_We… AGRA Uni Bremen #quantum