News Archiv



Bild der Pressemitteilung
Tatort Smartphone: Wenn die Unterschrift den Täter deckt

Im Jahr 2008 entwickelte der Software-Konzern Google das Mobiltelefon-Betriebssystem „Android“ zusammen mit 33 weiteren Mitgliedern der „Open Handset Alliance“und gab es für Handy-Hersteller frei. Bis heute dauert der Siegeszug von Android an. Laut Google-Gründer Larry Page sind seit März dieses Jahres weltweit 750 Millionen Android-Geräte in Betrieb. Der größte Teil davon ist vermutlich immer noch durch die beiden Sicherheitslücken verwundbar, die in den vergangenen Tagen bekannt [...]

Bild der Pressemitteilung
Journalistenpreis Informatik erneut ausgeschrieben

Der Journalistenpreis Informatik will in der breiten Öffentlichkeit das Interesse an Informatik-Themen wecken. Es werden daher Beiträge honoriert, die Forschungsergebnisse der Informatik und ihre Anwendungen allgemein verständlich darstellen und vermitteln. Preiswürdig sind aber auch Einsendungen, die verdeutlichen, wie sehr die Informatik unser alltägliches Leben prägt und beeinflusst. Außerdem sind Beiträge willkommen, die Anstöße geben für eine gesellschaftskritische Diskussion über Möglichkeiten und Grenzen der Informatik.

Bild der Pressemitteilung
Multiple People Detection in Real-World Scenes

Finding and following people is a key technology for many applications such as robotics and automotive safety, human-computer interaction scenarios, or for indexing images and videos from the web or surveillance cameras. At the same time it is one of the most challenging problems in computer vision and remains a scientific challenge for realistic scenes.

Bild der Pressemitteilung
Automated Deduction

Human mathematicians prove a theorem by combining individual computation steps. This is a rather trivial task for a computer program once the necessary steps are known. For automatized processes, however, choosing which steps to execute is similar to looking for a needle in an infinitely large haystack. The research group „Automation of Logic“ is one of the world leaders in developing efficient automated theorem provers.

1 ...
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
178179180181182 ...
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
194