Filters








58 Hits in 0.92 sec

Developing national eHealth infrastructures--results and lessons from Europe

Karl A Stroetmann, Jörg Artmann, Veli Stroetmann
2011 AMIA Annual Symposium Proceedings  
The European eHealth Strategies study analyzed policy development and strategy planning, implementation measures as well as progress achieved with respect to national and regional eHealth solutions in 34 European countries, with emphasis on barriers and enablers beyond technology. The focus was on infrastructure elements and selected solutions emphasized in the European Union eHealth Action Plan of 2004. At the governance level, issues around administrative responsibility and competence
more » ... stakeholder engagement, legal and regulatory facilitators, financing and reimbursement, and evaluation activities were surveyed. Solutions analyzed included patient summaries and electronic health records, ePrescription, telehealth, electronic identifiers, eCards as well standardization aspects. Results indicate that across Europe eHealth has matured from a policy debate to a very tangible, implementation oriented endeavor.
pmid:22195196 pmcid:PMC3243126 fatcat:e337jnls3rbbplkq3f7anpo4ky

Combining Inclusion Polymorphism and Parametric Polymorphism [article]

Sabine Glesner, Karl Stroetmann
1999 arXiv   pre-print
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the typability problem to the problem of solving a system of type inequations. The result is then obtained by showing that the solvability of the resulting system of type inequations is decidable.
arXiv:cs/9906013v1 fatcat:pgoakgshira7niilr7gnzmvc7m

Interoperability and Knowledge Management in Health-A European Perspective

Karl A. Stroetmann
2005 Zenodo  
This conference paper was published by the ÜNAK/URLA Association, 13-14 October 2005, Istanbul, Yeditepe University, Information Management in the e-World; Presented at the International Conference on New Models for Scientific Communication.
doi:10.5281/zenodo.5109322 fatcat:brszc5ver5crvl62wvjqbydyne

Designing a socio-economic assessment method for integrative biomedical research: the Osteoporotic Virtual Physiological Human project

Rainer Thiel, Karl A Stroetmann, Veli N Stroetmann, Marco Viceconti
2009 Studies in Health Technology and Informatics  
In integrative biomedical research, methods assessing the clinical or even socio-economic impact of more complex technologies such as Information and Communication Technology (ICT)-based tools for modelling and simulation of human physiology have rarely been applied. The EU funded Osteoporotic Virtual Physiological Human (VPHOP) research project, part of the Virtual Physiological Human (VPH) European initiative, will create a patient-specific hypermodel to predict the absolute risk of bone
more » ... ure much more accurately than predictions based on current clinical practice. The project has developed an innovative, multilevel generic methodological framework to assess the clinical and socio-economic impact of biocomputational models. The assessment framework consists of three components: a socio-economic cost benefit analysis, health economic analysis of care pathways, and disease cost simulation models. Through its holistic perspective, the method provides a tool to appraise the overall value of biocomputational models for society.
pmid:19745438 fatcat:624qfjrug5cybc2kdpwj7dbgui

Seduct — A proof compiler for first order logic [chapter]

Karl Stroetmann
1995 Lecture Notes in Computer Science  
In this paper we present Seduct, which is a theorem prover for many-sorted first order logic. Seduct has been specially tailored to economically discharge proof obligations arising during the process of software verification. We will mainly describe those features of Seduct which distinguish this theorem prover from other theorem provers and which make it especially suited for software verification.
doi:10.1007/bfb0015469 fatcat:iknzd3gp55dlfdmqemfr6otlu4

A Completeness Result for SLDNF-Resolution

Karl Stroetmann
1993 The Journal of Logic Programming  
Because of the possibility of floundering and infinite derivations, SLDNFresolution is, in general, not complete. The classical approach [17] to get a completeness result is to restrict the attention to normal programs P and normal goals G, such that P u { G} is allowed and P is hierarchical. Unfortunately, the class of all normal programs and all normal goals meeting these requirements is not powerful enough to be of great practical importance. But after refining the concept of allowedness by
more » ... aking modes [12] into account, we can broaden the notion of a hierarchical program, and thereby define a subclass of the class of normal programs and normal goals which is powerful enough to compute all primitive recursive functions without losing the completeness of SLDNF-resolution. <l
doi:10.1016/s0743-1066(14)80003-4 fatcat:utwzcqgfybcdpiwluzqtoe7v2e

Chapter 9 Patients and EHRs Tele Home Monitoring Reference Scenario [chapter]

Michael Pieper, Karl Stroetmann
2005 Lecture Notes in Computer Science  
Stroetmann, 2002) .  ...  As discussed above, many patients are already today highly interested in accessing their health data, e.g., via their EHR, and various empirical research results strongly support this (Stroetmann and  ... 
doi:10.1007/11424628_9 fatcat:hsmdy3nanbdp3bcz23doa2isuu

United in Diversity: Legal Challenges on the Road Towards Interoperable eHealth Solutions in Europe

Karl A. Stroetmann, Jorg Artmann, Jos Dumortier, Griet Verhenneman
2012 European Journal for Biomedical Informatics  
The use of IT enabled health services such as an electronic patient summary, ePrescription or telemedicine (commonly called eHealth services) are subject to differing degrees of legal regulation across Europe. This article presents the legal challenges facing further diffusion of eHealth services across Europe, based on the results of a study funded by the European Commission. Challenges of electronic identification and authentication are examples, alongside questions regarding healthcare
more » ... sional liability, patient consent and data storage. The answers EU Member States have found to these challenges are illustrated in this contribution. In addition, efforts by the EC funded large scale pilot project epSOS concerning cross-border patient summary and ePrescription services are described, notably the ep-SOS approach of framework agreements to address challenges resulting from different legal systems at national level.
doi:10.24105/ejbi.2012.08.2.2 fatcat:timnx3yjizeltei6rvhq3iooe4

Towards AI-Enabled Multimodal Diagnostics and Management of COVID-19 and Comorbidities in Resource-Limited Settings

Olawande Daramola, Peter Nyasulu, Tivani Mashamba-Thompson, Thomas Moser, Sean Broomhead, Ameera Hamid, Jaishree Naidoo, Lindiwe Whati, Maritha J. Kotze, Karl Stroetmann, Victor Chukwudi Osamor
2021 Informatics  
A conceptual artificial intelligence (AI)-enabled framework is presented in this study involving triangulation of various diagnostic methods for management of coronavirus disease 2019 (COVID-19) and its associated comorbidities in resource-limited settings (RLS). The proposed AI-enabled framework will afford capabilities to harness low-cost polymerase chain reaction (PCR)-based molecular diagnostics, radiological image-based assessments, and end-user provided information for the detection of
more » ... ID-19 cases and management of symptomatic patients. It will support self-data capture, clinical risk stratification, explanation-based intelligent recommendations for patient triage, disease diagnosis, patient treatment, contact tracing, and case management. This will enable communication with end-users in local languages through cheap and accessible means, such as WhatsApp/Telegram, social media, and SMS, with careful consideration of the need for personal data protection. The objective of the AI-enabled framework is to leverage multimodal diagnostics of COVID-19 and associated comorbidities in RLS for the diagnosis and management of COVID-19 cases and general support for pandemic recovery. We intend to test the feasibility of implementing the proposed framework through community engagement in sub-Saharan African (SSA) countries where many people are living with pre-existing comorbidities. A multimodal approach to disease diagnostics enabling access to point-of-care testing is required to reduce fragmentation of essential services across the continuum of COVID-19 care.
doi:10.3390/informatics8040063 fatcat:iq6fjziqenhmhlju3ytijbn3ci

The theory of Long-term international capital flows and Canadian Corporate debt issues in the United States [article]

Karl Antonius Stroetmann
1974
Karl Stroetmann Ph.D. Candidate Faculty of Commerce and Business Administration University of British Columbia Vancouver, Canada I.  ...  Stroetmann, Ph.D.  ... 
doi:10.14288/1.0100013 fatcat:njevsot3cnhexosjs7bagdg36e

Contents

1993 The Journal of Logic Programming  
Stroetmann TITLE INDEX TO VOLUME 15 AUTHOR INDEX TO VOLUME 15 VOLUME CONTENTS TO VOLUME 15 295 337 357 359  ...  Mark Wallace GLOBAL OPTIMIZATIONS IN A PROLOG COMPILER FOR THE TOAM 275 Neng-Fa Zhou DISTRIBUTED LOGIC PROGRAMMING Antonio Brogi and Roberto Gorrieri A COMPLETENESS RESULT FOR SLDNF-RESOLUTION Karl  ... 
doi:10.1016/s0743-1066(14)80006-x fatcat:5kwwowh2kvfojjlbxqgnlfbvrq

Page 4066 of Mathematical Reviews Vol. , Issue 98F [page]

1998 Mathematical Reviews  
, Karl ............. . 68050 Strogova, Polina 68138 Stroppel, Markus ... 51023-51025 IE Sadtrsanacineees 81092 Err se 32013 Struwe, Michael * 49002 Seat.  ...  Serban Stratis, loannis G. xvi Straumann, Norbert ................. 83076 Strawderman, William E. . 62015 Street, Anne 01088 Strikwerda, John C. 15020 oS) Oe 58133 Stroethoff, Karel ......... . 47034 Stroetmann  ... 

Page 5 of Library & Information Science Abstracts Vol. , Issue 5 [page]

1994 Library & Information Science Abstracts  
Edited by Edward Dudley, Monika Segbert, Elisabeth Simon and Karl Stroetmann. London, Anglo-German Foundation for the Study of Industrial Society, 1991, 317p., 12.50 pounds. ISBN 0-905-492-71-4.  ... 

Centralized, nationwide electronic health records schemes under assault

P. C. Webster
2011 CMAJ - Canadian Medical Association Journal  
France has learned that lesson and recently abandoned its centralized EHR plan, notes Karl Stroetmann, author of a recent pan-European survey of e-health progress commissioned by the European Commission  ... 
doi:10.1503/cmaj.109-4001 pmid:21948728 pmcid:PMC3193111 fatcat:nqr6e4h5srfdffi54ikynqu2vi

Page 779 of Mathematical Reviews Vol. , Issue 2002B [page]

2002 Mathematical Reviews  
Moschovakis, The logic of functional recursion (179-207); Helmut Schwichtenberg and Karl Stroetmann, From higher order terms to circuits (209- 220); Robert I.  ... 
« Previous Showing results 1 — 15 out of 58 results