Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 321 bis 330 von 13783.

  1. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Linear Formal Verification of Sequential Circuits using Weighted-AIGs

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2026.

  2. F. Lalchhandama; Kamalika Datta; Rolf Drechsler; Sandip Chakraborty; Indranil Sengupta

    Practicality of MAGIC NOR in a 1T1M Crossbar Array for In-memory Computing

    In: Journal of Circuits, Systems and Computers, Vol. 31, No. 04, World Scientific, 2026.

  3. Monireh Pourjafarian; Abdullah Farrukh; Mahdi Rezapour; Christiane Plociennik; Martin Ruskowski

    Integration of Product Circularity Indicators into the Digital Product Passport based on the Asset Administration Shell

    In: Procedia Computer Science, Vol. 277, Pages 3297-3306, Elsevier, 2026.

  4. Hui Wang; Hans D. Schotten; Stefan M. Goetz

    Ultra-Fast Wireless Energy Hacking for Roadway Charging: Overcoming Frequency-Varying Encryption and Parameter Drift

    In: IEEE Transactions on Transportation Electrification, Vol. 12, No. 1, Pages 1188-1197, IEEE, 2/2026.

  5. Chandan Jha; Sallar Ahmadi-Pour; Sajjad Parvin; Rolf Drechsler

    DIVIAC: Library of Input Data Aware Approximate Dividers with Partial Exact Minimization

    In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-7, Pune, India, 2026.

  6. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Ride-Sharing Simulation for Optimisation

    In: The Genetic and Evolutionary Computation Conference (GECCO Companion). Genetic and Evolutionary Computation Conference (GECCO-2026), July 13-17, San José, Costa Rica, 2026.

  7. Nils Leusmann; Christina Plump; Bernhard J. Berger; Rolf Drechsler

    Enhancing Surrogate Model Usability for Optimisation Experts through Extended ML Support in EvoAl

    In: The Genetic and Evolutionary Computation Conference (GECCO Companion). Genetic and Evolutionary Computation Conference (GECCO-2026), July 13-17, San José, Costa Rica, 2026.

  8. Anasuya Chattopadhyay; Daniel Reti; Hans Dieter Schotten

    Robust Semi-Supervised Temporal Intrusion Detection for Adversarial Cloud Networks

    In: EuCNC & 6G Summit 2026. EuCNC/6G Summit (EUCNC & 6G SUMMIT-2026), located at EUCNC-2026, June 2-5, Málaga, Spain, Pages 1150-1157, IEEE, 6/2026.

  9. Nick Jochum; Tobias Alt-Veit; Christian Schön; Alexander Lück; René Schuster; Didier Stricker

    Bounding Box Label Propagation for Re-Annotation of Document Layout Analysis Datasets

    In: International Conference on Document Analysis and Recognition. International Conference on Document Analysis and Recognition (ICDAR-2026), August 30 - September 4, Vienna, Austria, Springer, 2026.

  10. Miro Miranda Lorenz; Deepak Kumar Pathak; Patrick Helber; Benjamin Bischke; Hiba Najjar; Francisco Mena; Cristhian Sanchez; Akshay Pai; Diego Arenas; Matias Valdenegro-Toro; Marcela Charfuelan Oliva; Marlon Nuske; Andreas Dengel

    YieldSAT: A Multimodal Benchmark Dataset for High-Resolution Crop Yield Prediction

    In: CVPR-26. International Conference on Computer Vision and Pattern Recognition (CVPR-2026), located at CVPR-2026, June 3-7, Denver, Colorado, USA, CvF, 2026.

Jahr

Mehr Optionen