Not finding it? Sign in to also search OpenAlex live.
-
Robot Cooking—Transferring Observations into a Planning Language: An Automated Approach in the Field of Cooking2023 Eng—Advances in Engineering article Computer Science Human Pose and Action Recognition Open access
Florian Menz, Ruben Grunau, Nils Mandischer, Mathias Hüsing, Burkhard J. Corves
4citations -
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Addressing the multiplicity of solutions in optical lens design as a niching evolutionary algorithms computational challenge2021 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Anna V. Kononova, Ofer M. Shir, Teus W. Tukker, Pierluigi Frisco, Shutong Zeng, Thomas Bäck
3citations -
Network Pharmacologic Analysis of Tuber Tannin and Copper Sulfate as Mordants and Anti-viral Agents in the Treatment of COVID-192023 Journal of Fiber Science and Technology article Computer Science Computational Drug Discovery Methods Open access
Ying Chen Zhang, Hong Yan Wu, Xian-An Zhang, Yin Daxun, Mingzhu Ma, Yang Ming, +3 more
0citations
13 results