Not finding it? Sign in to also search OpenAlex live.
-
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
1citations -
A Formal Approach to Defining Effects of Manufacturing Functions2024 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry
Jürgen Bock, Tobias Klausmann, Tobias Kleinert, Aljosha Köcher, Marco Simon, Michael Winter
5citations -
Muon number reconstruction with IceTop using a two-component lateral distribution function2025 International Cosmic Ray Conference conference-paper Physics and Astronomy Astrophysics and Cosmic Phenomena Open access
Mark Weyrauch, Rasha Abbasi, Markus Ackermann, Jenni Adams, Sanjib Kumar Agarwalla, Juanan Aguilar, +91 more
0citations -
Generating Cardiovascular Data to Improve Training of Assistive Heart Devices2023 IEEE Symposium Series on Computational Intelligence (SSCI) conference-paper Engineering Mechanical Circulatory Support Devices
Johannes Kummert, Alexander Schulz, Robert Feldhans, Moriz Habigt, Maike Stemmler, Christina Kohler, +3 more
2citations -
NEMO prevents hepatocarcinogenesis independently of an IKK complex function by controlling liver regeneration2020 Zeitschrift für Gastroenterologie conference-paper Biochemistry, Genetics and Molecular Biology NF-κB Signaling Pathways
Christiane Koppe, Florian Reisinger, Karina Wehr, Mihael Vucur, Christian Trautwein, Frank Tacke, +2 more
0citations -
Cell-type-specific function of c-Jun N-terminal kinases (JNKs) determines the cholestasis activity in murine model2021 Zeitschrift für Gastroenterologie conference-paper Medicine Liver physiology and pathology Open access
Mohamed Ramadan Mohamed, Yulia Alexandrowna Nevzorova, Johannes Haybaeck, M.V. Boekschoten, Peter Boor, Pavel Strnad, +4 more
0citations -
Results of Tool Steel H13, Remelted With SMS Mevac’s GmbH’s New-Generation Electroslag Remelting With Rotating Electrode Function2020 Iron & Steel Technology Conference and Exposition (AISTech) conference-paper Engineering Metallurgical Processes and Thermodynamics Open access
Jochen Schlüter, Cihangir Demirci, Martin Schwenk, Bernd Friedrich
0citations -
E-mail autocomplete function using RNN Encoder-decoder sequence-to-sequence model2021 International Conference on Electronics, Communication and Aerospace Technology (ICECA) conference-paper Computer Science Topic Modeling cited by 1 patent
Rohan Modi, Kush Naik, Tarjni Vyas, Shivani Desai, Sheshang Degadwala
3citations -
A new empirical model of the 2-dimensional ionisation probability ϕ(ρr, ρz) described by an analytical function2025 IOP Conference Series Materials Science and Engineering conference-paper Materials Science Electron and X-Ray Spectroscopy Techniques Open access
Gaurav Achuda, Jonas Bünger, Philippe T. Pinard, Manuel Torrilhon, S. Richter
0citations -
Learning the characteristics of engineering optimization problems with applications in automotive crash2022 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Fu Xing Long, Bas van Stein, Moritz A. Frenzel, Markus Gitterle, Thomas Bäck
31citations -
Generation of Complex Road Networks Using a Simplified Logical Description for the Validation of Automated Vehicles8citations
-
Road Network Variation Based on HD Map Analysis for the Simulative Safety Assurance of Automated Vehicles3citations