Ertel, Wolfgang.
Wolfgang Ertel
Ertel, Wolfgang, 19..-....
Ertel, Wolfgang 1959-
VIAF ID: 8285988 (Personal)
Permalink: http://viaf.org/viaf/8285988
Preferred Forms
- 100 1 0 ‡a Ertel, Wolfgang
-
-
-
- 100 1 _ ‡a Ertel, Wolfgang
- 100 1 _ ‡a Ertel, Wolfgang
- 100 1 _ ‡a Ertel, Wolfgang ‡d 1959-
- 100 1 _ ‡a Ertel, Wolfgang, ‡d 19..-....
-
- 100 0 _ ‡a Wolfgang Ertel
- 100 0 _ ‡a Wolfgang Ertel
4xx's: Alternate Name Forms (12)
5xx's: Related Names (5)
- 510 2 _ ‡a Hochschule Ravensburg-Weingarten Technik, Wirtschaft, Sozialwesen
- 510 2 _ ‡a Hochschule Ravensburg-Weingarten Technik, Wirtschaft, Sozialwesen ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Institut für Informatik
- 510 2 _ ‡a Institut für Informatik München, Technische Universität
- 510 2 _ ‡a München, Techn. Univ
Works
Title | Sources |
---|---|
Angewandte Kryptographie | |
Automatic acquisition of search guiding heuristics | |
Backpropagation with temperature parameter and random pattern presentation | |
Caspase-3 activity is present in cerebrospinal fluid from patients with traumatic brain injury | |
Detectable concentrations of Fas ligand in cerebrospinal fluid after severe head injury | |
ESPRIT 415, deliverable D 15, PARTHEO/6 parallel automated theorem prover based on the connection method for full first order logic ; implementation and performance | |
Formalisms and languages for specifying parallel inference systems | |
Grundkurs Künstliche Intelligenz : eine praxisorientierte Einführung | |
Introduction to artificial intelligence | |
Learning heuristics for a theorem prover using back propagation | |
Optimal parallelization of LasVegas algorithms | |
Parallele Suche mit randomisiertem Wettbewerb in ... c1993: | |
Performance analysis of competitive OR-parallel theorem proving | |
Random competition a simple, but efficient method for parallelizing inference systems | |
Using connectionist networks for guiding the search of a theorem prover |