A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Developing national eHealth infrastructures--results and lessons from Europe
2011
AMIA Annual Symposium Proceedings
Preserved Fulltext
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
pmid:22195196
pmcid:PMC3243126
fatcat:e337jnls3rbbplkq3f7anpo4ky
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.
Combining Inclusion Polymorphism and Parametric Polymorphism
[article]
1999
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2005
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2009
Studies in Health Technology and Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
pmid:19745438
fatcat:624qfjrug5cybc2kdpwj7dbgui
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.
Seduct — A proof compiler for first order logic
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1993
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.1016/s0743-1066(14)80003-4
fatcat:utwzcqgfybcdpiwluzqtoe7v2e
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
Chapter 9 Patients and EHRs Tele Home Monitoring Reference Scenario
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2012
European Journal for Biomedical Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.24105/ejbi.2012.08.2.2
fatcat:timnx3yjizeltei6rvhq3iooe4
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.
Towards AI-Enabled Multimodal Diagnostics and Management of COVID-19 and Comorbidities in Resource-Limited Settings
2021
Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.3390/informatics8040063
fatcat:iq6fjziqenhmhlju3ytijbn3ci
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.
The theory of Long-term international capital flows and Canadian Corporate debt issues in the United States
[article]
1974
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
, 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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2011
CMAJ - Canadian Medical Association Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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