Zobrazeno 1 - 10
of 324
pro vyhledávání: '"Jakob Rehof"'
Publikováno v:
Algorithmic Foundations of Robotics XV ISBN: 9783031210891
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b01a0d0b7ce1d44b9f64219d12a7b048
https://doi.org/10.1007/978-3-031-21090-7_3
https://doi.org/10.1007/978-3-031-21090-7_3
Autor:
Alexander Mages, Carina Mieth, Jens Hetzler, Fadil Kallat, Jakob Rehof, Christian Riest, Tristan Schafer
Publikováno v:
2022 Winter Simulation Conference (WSC).
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)
We present a method for synthesizing compositions of mixins using type inhabitation in intersection types. First, recursively defined classes and mixins, which are functions over classes, are expressed as terms in a lambda calculus with records. Inte
Externí odkaz:
https://doaj.org/article/a66a1daef1a248fe9a0629b712ed9b85
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type unificatio
Externí odkaz:
https://doaj.org/article/f707db9efd1f4096abc5f54281676aaa
Publikováno v:
Procedia CIRP. 104:918-923
Publikováno v:
Procedia CIRP. 104:1440-1445
Simulations are a common tool in the warehouse planning and adoption process for evaluating and comparing variants of a storage system. But simulation modeling is a complex and time-consuming task. Due to limited resources, often not all possible sys
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 121, Iss Proc. ITRS 2012, Pp 18-34 (2013)
We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types. The idea is that components are modeled as typed combinators, and a
Externí odkaz:
https://doaj.org/article/dc61de5bcb454f4f957e0e0d2d2a76d3
Autor:
Michael ten Hompel, Christian Prasse, Thorsten Schmidt, Michael Schmidt, Uwe Clausen, Moritz Pöting, Michael Henke, Christoph Besenfelder, Jakob Rehof
Publikováno v:
Springer Reference Technik ISBN: 9783662643716
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4625678c736df4fa6a0d5618237876ba
https://doi.org/10.1007/978-3-662-64372-3_77
https://doi.org/10.1007/978-3-662-64372-3_77
Autor:
Andrej Dudenhefner, Jakob Rehof
Publikováno v:
Fundamenta Informaticae. 170:93-110
We revisit the undecidability result of rank 3 intersection type inhabitation (Urzyczyn 2009) in pursuit of two goals. First, we simplify the existing proof, reducing simple semi-Thue systems to intersection type inhabitation in the original Coppo-De
Publikováno v:
Procedia CIRP
There is a high degree of flexibility in the design of production systems when it comes to the selection and configuration of machines. Simulation supports this complex decision process. However, modeling various configurations in a simulation enviro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08dd7556b7d74e5a6ba0c33747d96b24
https://publica.fraunhofer.de/handle/publica/267511
https://publica.fraunhofer.de/handle/publica/267511