-
Notifications
You must be signed in to change notification settings - Fork 1
/
inf.html
273 lines (223 loc) · 6.88 KB
/
inf.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
<body BGCOLOR=#7dabe4>
<font face="sans-serif">
<a href="FUD.html" target="_top">Startseite</a>
<h1>Die Fakultät für Informatik stellt sich vor!</h1>
<style type="text/css">
.troll {
color: #000;
}
.troll:hover:after {
content: ": Bei uns muessen Sie mit allem rechnen!";
color: #000;
text-decoration: none;
}
</style>
<p>Unsere Lehrstühle:
<ul>
<li>Lehrstuhl für Medium Performance Computing
<li>Lehrstuhl für Logik und all das<br>
<li>Lehrstuhl für Mäßig Effiziente Algorithmen<br>
<i>Karl Ranseier-Professur für extrem langweilige Graphenalgorithmen</i>
<li>Lehrstuhl für Unentscheidbare Typsysteme
<li>Lehrstuhl für UML und Bullshit-Bingo<br>
<i>Teil der Initiative "sebis" (Selten Blöde Informationssysteme)</i>
<li>Lehrstuhl für <a href="inf.html" class="troll"><span>Unwissenschaftliches Rechnen</span></a>
<li>Lehrstuhl für Klickbare Bunte Bilder
<li>Lehrstuhl für Nichtautonome Systeme
<li>Lehrstuhl für Human Expert Systems
<li>Lehrstuhl für Datenbanken und Redundante Systeme mit Redundanz
<li>Lehrstuhl für die fachgerechte Weiterverwendung von Elektroschrott und politisch korrekte Betriebssysteme
<li>Lehrstuhl für Inferior Computing<br>
<i>Betreuung des "SuperFUD" Mittelklasse-Rechenclusters in der Top-500k-Liste</i> <blink><b>vakant</b></blink>
<li>Lehrstuhl für marktuntaugliche Businesssysteme <blink><b>vakant</b></blink>
</ul>
<h2>Forschung</h2>
<h3>Konferenzen</h3>
<ul>
<li>ARGH (Automated Reasoning with Global Heuristics)
<li>IDK (Innovative Developments in Knowledge)
<li>AIDS (Automotive Industrial Design Software)
<li>SCHwANZ (Software Complexity Hegemony with Autonomous Nefarious Zen)
</ul>
Sätliche unsere Publikationen werden in den renommierten <em>Proceedings of the 2013 Dietersheim Weißwurstfrühstück</em> veröffentlicht.
<h3>Projekte</h3>
<ul>
<li><a target="_blank" href="logik/isabelle/holf/index.htm">HOL/Falso</a>
<li>Faktorisierung der Zahl 23 in die Faktoren 2, 3 und 4 mit dem FUDAQ (FUD Advanced Quantum) computer (Weltrekord für die größte mit einem Quantencomputer faktorisierte Zahl)
<li>Primfaktorzerlegung von Zweierpotenzen bis 2<sup>1024</sup>
<li><a target="_blank" href="https://github.com/fu-dietersheim/fully_verified_jvm">A fully verified implementation of the Java Virtual Machine</a>
</ul>
<h3>Publikationen</h3>
<ul>
<li><pre>@article{fud2015pnp,
title={P = NP},
journal={Journal of Mathematics},
year={2015},
note={rejected}
}<pre>
<li><pre>@article{fud2015vjvm,
title={A fully verified implementation of the JVM},
journal={github},
year={2015},
url={<a href="https://github.com/fu-dietersheim/fully_verified_jvm">https://github.com/fu-dietersheim/fully_verified_jvm</a>},
note={<a href="fud2015vjvm_public_review.html">public reviews</a>}
}<pre>
<li><pre>@article{fud2016etherschrubb,
title={A Challenge for Some Household Cleaners -- But not for EtherSchrubb! [1]},
conference={IEEE Technically Sponsored SAI Intelligent Systems Conference 2016 (IntelliSys 2016)},
year={2016},
month={September}
url={<a href="http://www.fu-dietersheim.de/publications/etherschrubb.pdf">www.fu-dietersheim.de/publications/etherschrubb.pdf</a>},
note={Yes, the paper really got accepted; no, this is not a joke. No, we didn't pay the conference fee, that's why you can't find it in the IEEE Xplore.}
}<pre>
<li>A Challenge for Some Household Cleaners — But not for EtherSchrubb! <a href="publications/etherschrubb.pdf">[pdf]</a>
</ul>
<h2>Für Studieninteressierte</h2>
<marquee><font color=red>Die FUD führt wahrscheinlich zum WS17/18 <a href="inf_holkonzi.html">als erste Uni weltweit ein methodisches und holistisches Konzept zur Erlernung von <i>state-of-the-art</i> Programmiersprachkonzepten ein!!</a> Lesen Sie <a href="inf_holkonzi.html">hier</a> mehr.</font></marquee>
<p>Angebotene Studiengänge:
<ul>
<li>Bachelor of Science im Fach Informatik
<li>Intermediate of Science im Fach Informatik
<li>Master of Science im Fach Informatik
<li><i>Elite-Studiengang:</i> Master in Business Data Systems Management (BDSM)
<li><i>Elite-Studiengang:</i> Computational Philosophy
<li>Bachelor in <i>FUD</i>-Info (Firmen- und Dienstleistungsinformatik)
</ul>
<p>Modulkatalog:
<a name="module"></a>
<p>
<center>
<table cellspacing=2 border=2>
<tr><th>Titel</tr>
<tr><th>Vorlesungen</tr>
<tr><td>Info 1 mit FORTRAN und COBOL</tr>
<tr><td>Info 2 mit Agda</tr>
<tr><td>Irgendeine Mathevorlesung zum Aussieben</tr>
<tr><td>Algorithmen für hochgradig sequentielles Rechnen auf nichtverteilten Systemen</tr>
<tr><td>Träge Methoden im Projektmanagement & der Softwareentwicklung</tr>
<tr><td>Anwendungen von Maßtheorie in der Wirtschaft</tr>
<tr><td>Aufbau und Wartung verteilter Datenbanken auf Microsoft Access-Basis</tr>
<tr><td>Datensicherung und verteilte Deduplikation mit MongoDB</tr>
<tr><td>Grundlagen der Künstlichen Dummheit</tr>
<tr><td>Singleton Participant Networks</tr>
<tr><td>Firewalls und Konduktion</tr>
<tr><td>Widerstandsverringerung durch 22 nm Silikon Strukturen</tr>
<tr><td>Several Time Pads and Improvable Security</tr>
<tr><th>Reihe BSE (Besonderheiten in der Softwareentwicklung)</tr>
<tr><td>Requirements Engineering</tr>
<tr><td>Design Patterns</tr>
<tr><th>Seminare</tr>
<tr><td>Krankes Zeug mit Isabelle</tr>
<tr><td>Esoterische Programmiersprachen from Hell mit Schwerpunkt auf Java, C# sowie C++</tr>
<tr><td>Applied pie charts: faces vs. books on facebook</tr>
<tr><th>Praktikas</tr>
<tr><td>Outsourced Programming mit Borland Delhi</tr>
<tr><td>Automated Automotive Automatization</tr>
<tr><td>Apple ist geil!<br><i>Interdisziplinärer Workshop zusammen mit dem Lehrstuhl für Aktionskunst</i></tr>
</table>
</center>
<h2>Keywords</h2>
<pre>
agile
AI
angel
as a service
APT
at scale
blockchain
big data
cyber
cross layer
cluster
continuous integration
continuous delivery
container
docker
distributed ledger
deep learning
devops
data driven
darknet
deep web
disruptive
Datenreichtum
datability
enterprise grade
exit
event driven
embarassingly parallel
economy of scale
end-to-end
fintech
full spectrum
gentoo
github
green
gamification
GPU powered
hyperscale
hypergrowth
holistic
IoT
incubator
impact
JIT
JavaScript
JSON
Kryptierung
*kit
KPI
lean
ledger
long tail
model based/reuse
moongen
MVP
machine learning
multi-party computation
micro services
nodejs
nosql
ninja
netops
nation state attacker
ontology
omni
pivot
post quantum
post privacy
quantum *
REST
rock star
share economy
SDx
self healing
scale out
social
serverless
smart
semantics
sophisticated attack
secure e-mail
transactional
trusted
like uber for
unified
unlimited
unicorn
USP
unikernel
virtual
VC
value added
VR
web scale/socket/assembly
XML
yet another
zero knowledge
zero day
zero copy
* 4.0
five nines
10x
21st century</pre>