Zobrazeno 1 - 10 of 396 pro vyhledávání: '"Hinze, R"'
1
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
2
A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring
Autor: Hinze, R., Martin, C.
Publikováno v: JUCS-Journal of Universal Computer Science 23(1): 21-41
Journal of Universal Computer Science, 23, 21-41
Journal of Universal Computer Science, 23, 1, pp. 21-41
Almost half a century after Batcher wrote his seminal paper on sorting networks, we revisit the key algorithmic design decisions for oblivious merging to rdiscover his schemes in a disciplined way. The design space of sorting networks is eplored, res
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d1c624163592f580f607314381da010
https://doi.org/10.3217/jucs-023-01-0021
Zobrazit plný text záznamu
3
Regular Varieties of Automata and Coequations
Autor: Salamanca, J., Ballester-Bolinches, A., Bonsangue, M.M., Cosme-Llópez, E., Rutten, J.J.M.M., Hinze, R., Voigtländer, J.
Publikováno v: Lecture Notes in Computer Science ; 9129, 224-237. Berlin : Springer International Publishing
STARTPAGE=224;ENDPAGE=237;TITLE=Lecture Notes in Computer Science ; 9129
Salamanca, J. Ballester-Bolinches, Adolfo Bonsangue, M.M. Cosme i Llópez, Enric Rutten, J.J.M.M. 2015 Regular varieties of automata and coequations Lecture Notes in Computer Science 9129 224 237
RODERIC. Repositorio Institucional de la Universitat de Valéncia
instname
Lecture Notes in Computer Science ISBN: 9783319197968
MPC
Hinze, R.; Voigtländer, J. (ed.), Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings, pp. 224-237
In this paper we use a duality result between equations and coequations for automata, proved by Ballester-Bolinches, Cosme-Ll´opez, and Rutten to characterize nonempty classes of deterministic automata that are closed under products, subautomata, ho
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88b6be9ac41b3f9f9851bc8f13c52da8
http://hdl.handle.net/2066/143770
Zobrazit plný text záznamu
7
Reason isomorphically!
Autor: Hinze, R, James, D, ACM
When are two types the same? In this paper we argue that isomorphism is a more useful notion than equality. We explain a succinct and elegant approach to establishing isomorphisms, with our focus on showing their existence over deriving the witnesses
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c8051c36195c325a54ba77d8ce23b7fa
https://doi.org/10.1145/1863495.1863507
Zobrazit plný text záznamu
9
Idiopathic Unilateral Adrenal Hemorrhage in a 91-Year Old Woman
Autor: Benthin S, Eggers S, Gunther Weitz, Hinze R, Rolf D Klingenberg-Noftz
Publikováno v: Journal of Gastrointestinal & Digestive System.
A 91-year old woman was referred to our hospital for evaluation of a palpable mass in the left hemiabdomen. A marked anemia was found on admission. Imaging revealed an inhomogeneous mass of the left adrenal gland with a diameter of 19 cm. Due to a la
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::172ecade953a7fb8acdac6600d9f0f2a
https://doi.org/10.4172/2161-069x.1000300
Zobrazit plný text záznamu
10
Akademický článek
Rotational spectrum, internal rotation barrier and ab initio calculations on 1-chloro-1-fluoroethane.
Autor: Hinze, R., Lesarri, A., López, J. C., Alonso, J. L., Guarnieri, A.
Publikováno v: Journal of Chemical Physics; 6/22/1996, Vol. 104 Issue 24, p9729, 6p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje