Zobrazeno 1 - 10
of 138
pro vyhledávání: '"Waldmann, U."'
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Baumgartner, P., Waldmann, U.
Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research challenge is to design theorem provers that are "reasonably complete"
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1874::09871e5c25f166fc310b455bb4f558f9
https://hdl.handle.net/21.11116/0000-0004-03C0-F21.11116/0000-0004-03C2-D
https://hdl.handle.net/21.11116/0000-0004-03C0-F21.11116/0000-0004-03C2-D
Autor:
Schütz, S., Waldmann, U.-M.
Publikováno v:
50. Kongress für Allgemeinmedizin und Familienmedizin; 20160929-20161001; Frankfurt am Main; DOC16degam020 /20160919/
Hintergrund: Patientenschulungen sind eine sinnvolle Ergänzung der hausärztlichen Betreuung von nicht-insulinpflichtigen Diabetikern und können in jeder Hausarztpraxis durchgeführt werden. Die Hauptrolle bei den Schulungen (und in diesem Workshop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce16f17e7386f979087ef36a73aa1d4f
http://nbn-resolving.de/urn:nbn:de:0183-16degam0201
http://nbn-resolving.de/urn:nbn:de:0183-16degam0201
Autor:
Althaus, E., Beber, B., Damm, W., Disch, S., Hagemann, W., Rakow, A., Scholl, C., Waldmann, U., Wirtz, B.
Publikováno v:
AVACS Technical Report
This paper provides a suite of optimization techniques for the verification of safety properties of linear hybrid automata with large discrete state spaces, such as naturally arising when incorporating health state monitoring and degradation levels i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1874::4a49adc3aaac98ded9d7424bc79f2d11
https://hdl.handle.net/11858/00-001M-0000-002C-4540-0
https://hdl.handle.net/11858/00-001M-0000-002C-4540-0
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
Electronic identity (eID) cards promise to supply a universal, nation-wide mechanism for user authentication. Most European countries have started to deploy eID for government and private sector applications. Are government-issued electronic ID cards
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______610::677f6eef860bd8fd061c6e12c017a67d
https://publica.fraunhofer.de/handle/publica/227921
https://publica.fraunhofer.de/handle/publica/227921
Objective: E-learning has the potential to provide effective education for general practice, but there are significant difficulties that must be overcome. Design: We initiated a two-round Delphi study, aiming to identify expectations and barriers to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______610::cc2b148a3b9dd655847c4758c44f0bb6
https://publica.fraunhofer.de/handle/publica/218465
https://publica.fraunhofer.de/handle/publica/218465
Autor:
Waldmann, U.
Die elektronische Gesundheitskarte kommt und mit ihr eine Vielzahl von Anwendungen der elektronischen Signatur. Das elektronische Rezept ist nur der Anfang, andere können und sollen folgen. Dadurch werden Ärzte, Apotheker, Zahnärzte etc. in Zukunf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______610::980429591e231957f581037bd61738c3
https://publica.fraunhofer.de/handle/publica/215315
https://publica.fraunhofer.de/handle/publica/215315