Výsledky vyhledávání - "Meinecke, Ingmar."

Report

Propositional Dynamic Logic for Message-Passing Systems

Autor: Bollig, Benedikt, Kuske, Dietrich, Meinecke, Ingmar

Publikováno v: Logical Methods in Computer Science, Volume 6, Issue 3 (September 4, 2010) lmcs:1057

We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an ev

Externí odkaz: http://arxiv.org/abs/1007.4764

Zobrazit plný text záznamu

Akademický článek

Parameterized model checking of weighted networks

Autor: Meinecke, Ingmar, Quaas, Karin

Publikováno v: In Theoretical Computer Science 15 May 2014 534:69-85

Zobrazit plný text záznamu

Akademický článek

Weighted automata and weighted MSO logics for average and long-time behaviors

Autor: Droste, Manfred, Meinecke, Ingmar

Publikováno v: In Information and Computation November-December 2012 220-221:44-59

Zobrazit plný text záznamu

Akademický článek

Modification of Nuclear PML Protein by SUMO-1 Regulates Fas-Induced Apoptosis in Rheumatoid Arthritis Synovial Fibroblasts

Autor: Meinecke, Ingmar, Cinski, Antje, Baier, Anja, Peters, Marvin A., Dankbar, Berno, Wille, Aline, Drynda, Andreas, Mendoza, Heidi, Gay, Renate E., Hay, Ronald T., Ink, Barbara, Gay, Steffen, Pap, Thomas

Publikováno v: Proceedings of the National Academy of Sciences of the United States of America, 2007 Mar . 104(12), 5073-5078.

Externí odkaz: https://www.jstor.org/stable/25427146

Zobrazit plný text záznamu

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.

Weighted branching automata combining concurrency and weights

Autor: Meinecke, Ingmar.

Techn. University, Diss., 2004--Dresden.

Externí odkaz: http://deposit.d-nb.de/cgi-bin/dokserv?idn=978092910
http://hsss.slub-dresden.de/pub2/dissertation/2006/mathematik_und_naturwissenschaften/1133443150529-2767/1133443150529-2767.pdf
http://hsss.slub-dresden.de/hsss/servlet/hsss.urlmapping.MappingServlet?id=1133443150529-2767

Zobrazit plný text záznamu

Akademický článek

Survivorship, complications and patient-reported outcomes in calcar-guided short-stem THA: prospective mid-term multicenter data of the first 879 hips.

Autor: Kutzner, Karl Philipp, Maurer, Steven Mark, Meinecke, Ingmar, Heers, Guido, Bosson, Dominique

Publikováno v: Archives of Orthopaedic & Trauma Surgery; Feb2023, Vol. 143 Issue 2, p1049-1059, 11p

Zobrazit plný text záznamu

Kurzschaft-Hüftendoprothetik bei geriatrischen Patienten: ist das sicher? Ergebnisse einer prospektiven Multicenterstudie

Autor: Kutzner, Karl Philipp, Gkagkalis, Georgios, Goetti, Patrick, Mai, Sabine, Meinecke, Ingmar, Helmy, Naeder, Bosson, Dominique

Publikováno v: Deutscher Kongress für Orthopädie und Unfallchirurgie (DKOU 2019); 20191022-20191025; Berlin; DOCAB62-240 /20191022/

Fragestellung: In der zementfreien Hüftendoprothetik werden Kurzschäfte aufgrund ihrer knochenerhaltenden Philosophie vor allem für junge und aktive Patienten empfohlen. Allerdings könnte die weniger invasive Operationstechnik, welche durch das k

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::387b8a7ee2fba41226cbb5b5cf69f3a7
http://nbn-resolving.de/urn:nbn:de:0183-19dkou5783

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání