Výsledky vyhledávání - "Baier, C. A."

Report

On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems

Autor: Baier, C., Bertrand, N., Schnoebelen, Ph.

Publikováno v: Proc. LPAR 2006, LNCS 4246, pp. 347-361, Springer 2006

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual convergenc

Externí odkaz: http://arxiv.org/abs/cs/0606091

Zobrazit plný text záznamu

Akademický článek

A multimodal infection control concept in a burn intensive care unit – lessons learnt from a meticillin-resistant Staphylococcus aureus outbreak

Autor: Baier, C., Ipaktchi, R., Ebadi, E., Limbourg, A., Mett, T.R., Vogt, P.M., Bange, F.-C.

Publikováno v: In Journal of Hospital Infection February 2018 98(2):127-133

Zobrazit plný text záznamu

Periodical

Klinische Untersuchung des Handgelenkes und der Hand

Autor: Springorum, H., Baier, C., Götz, J., Schwarz, T., Benditz, A., Grifka, J., Heers, G.

Publikováno v: Der Orthopäde; 20240101, Issue: Preprints p1-15, 15p

Zobrazit plný text záznamu

Semantics for two-dimensional type theory

Autor: Benedikt, B., North, P.R., Weide, N.M. van der, Baier, C.

Publikováno v: Baier, C. (ed.), LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science Haifa Israel August 2-5, 2022, 1-14. New York : Association for Computing Machinery
STARTPAGE=1;ENDPAGE=14;TITLE=Baier, C. (ed.), LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science Haifa Israel August 2-5, 2022
Baier, C. (ed.), LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science Haifa Israel August 2-5, 2022, pp. 1-14
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022

We propose a general notion of model for two-dimensional type theory, in the form of comprehension bicategories. Examples of comprehension bicategories are plentiful; they include interpretations of directed type theory previously studied in the lite

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1daf5dc8f1bf967cd4419ea115f4b3a
https://doi.org/10.1145/3531130.3533334

Zobrazit plný text záznamu

Akademický článek

In-House Coordination for Organ Donation—Single-Center Experience in a Pilot Project in Germany (2006 to 2013)

Autor: Kaiser, G.M., Wirges, U., Becker, S., Baier, C., Radunz, S., Kraus, H., Paul, A.

Publikováno v: In Transplantation Proceedings July-August 2014 46(6):2066-2069

Zobrazit plný text záznamu

Responsibility Attribution in Parameterized Markovian Models

Autor: Baier, C., Funke, F., Majumdar, R.

Publikováno v: AAAI Technical Track on Planning, Routing, and Scheduling

We consider the problem of responsibility attribution in the setting of parametric Markov chains. Given a family of Markov chains over a set of parameters, and a property, responsibility attribution asks how the difference in the value of the propert

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4733334b34ff8ac1932a553759ebb2bf
https://doi.org/10.1609/aaai.v35i13.17395

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání