Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Ingmar Meinecke"'
Autor:
Georgios Gkagkalis, Patrick Goetti, Sabine Mai, Ingmar Meinecke, Näder Helmy, Dominique Bosson, Karl Philipp Kutzner
Publikováno v:
BMC Geriatrics, Vol 19, Iss 1, Pp 1-11 (2019)
Abstract Background Due to its bone preserving philosophy, short-stem total hip arthroplasty (THA) has primarily been recommended for young and active patients. However, there may be benefits for elderly patients given a less invasive operative techn
Externí odkaz:
https://doaj.org/article/c818ed7edf7d466ab72ccc84911771a5
Publikováno v:
Logical Methods in Computer Science, Vol Volume 6, Issue 3 (2010)
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:
https://doaj.org/article/d3bc6eae47904d019d1f2ed2ff037659
Autor:
Géza Pap, Ingmar Meinecke
Publikováno v:
AE-Manual der Endoprothetik ISBN: 9783662554852
AE-Manual der Endoprothetik ISBN: 9783662651742
AE-Manual der Endoprothetik ISBN: 9783662651742
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b79482ff2d0ccaed7b8c09b99b05af1
https://doi.org/10.1007/978-3-662-55485-2_27-1
https://doi.org/10.1007/978-3-662-55485-2_27-1
Autor:
Ingmar Meinecke, Näder Helmy, Sabine Mai, Dominique Bosson, Karl Philipp Kutzner, Georgios Gkagkalis, Patrick Goetti
Publikováno v:
BMC Geriatrics
BMC geriatrics, vol. 19, no. 1, pp. 112
BMC Geriatrics, Vol 19, Iss 1, Pp 1-11 (2019)
BMC geriatrics, vol. 19, no. 1, pp. 112
BMC Geriatrics, Vol 19, Iss 1, Pp 1-11 (2019)
Background Due to its bone preserving philosophy, short-stem total hip arthroplasty (THA) has primarily been recommended for young and active patients. However, there may be benefits for elderly patients given a less invasive operative technique due
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::903f3faa54d670dbbc3cef3b328f4901
https://pubmed.ncbi.nlm.nih.gov/30995903
https://pubmed.ncbi.nlm.nih.gov/30995903
Autor:
Ingmar Meinecke, Karin Quaas
Publikováno v:
Theoretical Computer Science. 534:69-85
We consider networks of weighted processes that consist of an arbitrary number of weighted automata equipped with weights taken from a monoid. We investigate parameterized model checking problems used to verify whether certain qualitative and quantit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6242e700f243d47b3842a4bb78e08083
https://doi.org/10.1016/j.tcs.2014.02.037
https://doi.org/10.1016/j.tcs.2014.02.037
Autor:
Ingmar Meinecke, Manfred Droste
Publikováno v:
International Journal of Foundations of Computer Science. 22:1829-1844
Quantitative aspects of systems like consumption of resources, output of goods, or reliability can be modeled by weighted automata. Recently, objectives like the average cost or the longtime peak power consumption of a system have been modeled by wei
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab11fa0e222ca22f893e48d6223c4977
https://doi.org/10.1142/s0129054111009069
https://doi.org/10.1142/s0129054111009069
Autor:
Dietrich Kuske, Ingmar Meinecke
Publikováno v:
RAIRO - Theoretical Informatics and Applications. 45:347-370
Since recognizable tree languages are closed under the rational operations, every regular tree expression denotes a recognizable tree language. We provide an alternative proof to this fact that results in smaller tree automata. To this aim, we transf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::697311fb99fe47d7858056e798b259db
https://doi.org/10.1051/ita/2011107
https://doi.org/10.1051/ita/2011107
Autor:
Ingmar Meinecke, Géza Pap, Heidi Mendoza, Steffen Drange, Stephan Ender, Simon Strietholt, Renate E. Gay, Christine Seyfert, Barbara Ink, Steffen Gay, Thomas Pap, Marvin A. Peters
Publikováno v:
Arthritis & Rheumatism. 60:2065-2070
Objective To study the expression of small ubiquitin-like modifier 1 (SUMO-1) in aseptic loosening of prosthesis implants and to investigate its role in regulating the susceptibility of prosthesis-loosening fibroblast-like synoviocytes (FLS) to Fas-i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::906052d0ea84cf87be53ec870a54eaf4
https://doi.org/10.1002/art.24633
https://doi.org/10.1002/art.24633
Autor:
Wolfram Neumann, Tom W J Huizinga, Manfred Neumann, Ingmar Meinecke, Géza Pap, A Drynda, Joern Kekow, S. Drynda, Thomas Pap, Michael Naumann, Paul H.A. Quax, Wolfgang König, Willemijn H. van der Laan
Publikováno v:
Scopus-Elsevier
Apart from counteracting matrix metalloproteinases, tissue inhibitor of metalloproteinases-3 (TIMP-3) has proapoptotic properties. These features have been attributed to the inhibition of metalloproteinases involved in the shedding of cell surface re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::487e2755104f4d59d0ea0604ced7e490
https://doi.org/10.4049/jimmunol.174.10.6524
https://doi.org/10.4049/jimmunol.174.10.6524
Autor:
Edita Rutkauskaite, Dagmar Volkmer, Yukio Shigeyama, Jörg Schedel, Geza Pap, Ulf Müller-Ladner, Ingmar Meinecke, Dorothea Alexander, Renate E. Gay, Susanne Drynda, Wolfram Neumann, Beat A. Michel, Wilhelm K. Aicher, Steffen Gay, Thomas Pap
Publikováno v:
Arthritis & Rheumatism. 52:2010-2014
Objective Membrane type 1 matrix metalloproteinase (MT1-MMP) is expressed prominently in rheumatoid arthritis synovial fibroblasts (RASFs), but the specific contribution of MT1-MMP to fibroblast-mediated destruction of articular cartilage is incomple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cee3e714e5c2eff7f6ab595511dc2489
https://doi.org/10.1002/art.21156
https://doi.org/10.1002/art.21156