Not finding it? Sign in to also search OpenAlex live.
-
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
3citations -
Chaos-based Pseudo Random Number Generators via quasi-synchronized Chua’s circuits: a symmetric encryption perspective2025 Analog Integrated Circuits and Signal Processing article Computer Science Chaos-based Image/Signal Encryption Open access
Aidin Momtaz, Ehsan Qoreishi, Sarah Amini, Hossein Khayami, Kasra Amini, Sanaz Haddadian
3citations -
On the Computation of User Placements for Virtual Formation Adjustments During Group Navigation2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) conference-paper Computer Science Virtual Reality Applications and Impacts
Tim Weißker, Matthis Franzgrote, Torsten Kuhlen, Tim Gerrits
2citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
2citations -
A Hybrid Modeling Framework for Generalizable and Interpretable Predictions of ICU Mortality: Leveraging ICD Codes in a Multi-Hospital Study of Mechanically Ventilated Influenza Patients
Moein E. Samadi, Jorge Guzman-Maldonado, Kateryna Nikulina, Hedieh Mirzaieazar, Konstantin Sharafutdinov, Sebastian Johannes Fritsch, +1 more
2citations -
INTELLIGENT TECHNOLOGY FOR OPTIMIZING THE PROJECT-BASED APPROACH TO TEACHING STUDENTS USING LEARNING MANAGEMENT SYSTEMS2025 Bulletin of National Technical University KhPI Series System Analysis Control and Information Technologies article Computer Science Recommender Systems and Techniques Open access
Volodymyr Sokol, Mykhaylo Godlevskyi, Mariia Oleksiivna Bilova, Roman Tupkalenko
1citations -
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more
1citations -
A Systematic Review of PDE-based models for advanced rendering in computer graphics: Methods, Architectures, and Future Research Directions1citations