Es werden effiziente Algorithmen vorgestellt, die auf algebraischen Methoden beruhen um die Unerfüllbarkeit aussagenlogischer 4-SAT Formeln zu zertifizieren. Die Algorithmen werden implementiert und auf praktische Weise hinsichtlich der Laufzeit mit Backtracking-Algorithmen verglichen
Neuere Entwicklungen in Fernerkundung durch Mikrowellen weisen bemerkenswerte Parallelen mit den Eig...
Ziel dieses Buches ist die angewandte Einführung in die Grundthemen der linearen Algebra für Studier...
Der Autor untersucht in dieser Arbeit die Kohomologie der Steenrod-Algebra, hauptsächlich zur Primza...
Es werden effiziente Algorithmen vorgestellt, die auf algebraischen Methoden beruhen um die Unerfüll...
Es werden effiziente Algorithmen vorgestellt, die auf algebraischen Methoden beruhen um die Unerfüll...
Im folgenden sollen die Algorithmen bzw. die Sätze zur Lösung von linearen Gleichungssystemen bzw. a...
Im folgenden sollen die Algorithmen bzw. die Sätze zur Lösung von linearen Gleichungssystemen bzw. a...
Im folgenden sollen die Algorithmen bzw. die Sätze zur Lösung von linearen Gleichungssystemen bzw. a...
Internet, Soziale Netzwerke, Spiele, Smartphones, DVDs, digitaler Rundfunk und digitales Fernsehen f...
Internet, Soziale Netzwerke, Spiele, Smartphones, DVDs, digitaler Rundfunk und digitales Fernsehen f...
Vorgestellt wird ein Algorithmus zur Objekterkennung auf Basis von 3-D-Punktdaten. Die Grundlage des...
114 pagesIn dieser Arbeit werden frei partiell kommutative Monoide (Spurmonoide) und Ers...
Dieses Arbeitsbuch enthält zahlreiche Aufgaben großer thematischer Breite und unterschiedlicher Schw...
Der Beitrag erläutert einen einfachen aber effektiven Algorithmus durch dessen Anwendung sich Funkti...
Der Beitrag erläutert einen einfachen aber effektiven Algorithmus durch dessen Anwendung sich Funkti...
Neuere Entwicklungen in Fernerkundung durch Mikrowellen weisen bemerkenswerte Parallelen mit den Eig...
Ziel dieses Buches ist die angewandte Einführung in die Grundthemen der linearen Algebra für Studier...
Der Autor untersucht in dieser Arbeit die Kohomologie der Steenrod-Algebra, hauptsächlich zur Primza...
Es werden effiziente Algorithmen vorgestellt, die auf algebraischen Methoden beruhen um die Unerfüll...
Es werden effiziente Algorithmen vorgestellt, die auf algebraischen Methoden beruhen um die Unerfüll...
Im folgenden sollen die Algorithmen bzw. die Sätze zur Lösung von linearen Gleichungssystemen bzw. a...
Im folgenden sollen die Algorithmen bzw. die Sätze zur Lösung von linearen Gleichungssystemen bzw. a...
Im folgenden sollen die Algorithmen bzw. die Sätze zur Lösung von linearen Gleichungssystemen bzw. a...
Internet, Soziale Netzwerke, Spiele, Smartphones, DVDs, digitaler Rundfunk und digitales Fernsehen f...
Internet, Soziale Netzwerke, Spiele, Smartphones, DVDs, digitaler Rundfunk und digitales Fernsehen f...
Vorgestellt wird ein Algorithmus zur Objekterkennung auf Basis von 3-D-Punktdaten. Die Grundlage des...
114 pagesIn dieser Arbeit werden frei partiell kommutative Monoide (Spurmonoide) und Ers...
Dieses Arbeitsbuch enthält zahlreiche Aufgaben großer thematischer Breite und unterschiedlicher Schw...
Der Beitrag erläutert einen einfachen aber effektiven Algorithmus durch dessen Anwendung sich Funkti...
Der Beitrag erläutert einen einfachen aber effektiven Algorithmus durch dessen Anwendung sich Funkti...
Neuere Entwicklungen in Fernerkundung durch Mikrowellen weisen bemerkenswerte Parallelen mit den Eig...
Ziel dieses Buches ist die angewandte Einführung in die Grundthemen der linearen Algebra für Studier...
Der Autor untersucht in dieser Arbeit die Kohomologie der Steenrod-Algebra, hauptsächlich zur Primza...
.svg%3Fwidth%3D300&w=3840&q=75){kind=logo}
Add to ORKG