Als «reference-request» getaggte Fragen

Fragen, die Artikel in der Literatur zu bestimmten, engen Themen anfordern.

1
Abstimmungsschema für ein friedliches Zusammenleben
Viele Gebiete der Welt leiden unter Konflikten zwischen zwei Gruppen (normalerweise ethnisch oder religiös). Für diese Frage gehe ich davon aus, dass die meisten Menschen beider Seiten in Frieden leben wollen, aber es gibt nur wenige Extremisten, die Hass und Gewalt auslösen. Ziel dieser Frage ist es, einen objektiven Weg …
1
Welche Techniken gibt es für energieeffizientes Rechnen und Vernetzen?
Ich überprüfe derzeit die Potenziale von Cloud Computing in Bezug auf Energieeffizienz und grüne IT. Im Zusammenhang mit dieser Überprüfung beschäftige ich mich mit Techniken zur Steigerung der Energieeffizienz in Rechenzentren (Computer), Hardware, Netzwerken und Speichergeräten. Speziell für Computer / Server habe ich schon einige gefunden: energiebewusste Planungstechniken unter Verwendung …
2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
1
Was ist eine gute Referenz, um mehr über Zustandsübergangssysteme zu erfahren?
Ich untersuche verschiedene Ansätze zur Definition von Berechnungen mit kontinuierlichen dynamischen Systemen. Ich habe versucht, eine schöne Einführung in die Theorie der "staatlichen Übergangssysteme" zu finden, habe dies aber nicht getan. Kennt jemand eine moderne Einführung in das Thema? Von besonderem Interesse wäre etwas, das sich mit Berechenbarkeit befasst.
1
Wo finde ich Informationen zu Datenstrukturen, die in gängiger Software verwendet werden?
Im Rahmen eines Kurses, den ich über Datenstrukturen unterrichte, möchte ich, dass die Schüler die Verwendung von Datenstrukturen in gängigen Software / Diensten erforschen und präsentieren. Grundlegendes Googeln zeigt mir jedoch, dass diese Informationen nicht so leicht verfügbar sind. Kann mich jemand auf die richtigen Ressourcen hinweisen, die ich als …
2
Wenn warum ist dann die Multiplikation schwieriger als die Addition?
Jemand sagte mir, dass die Funktion eingeführt wurde, um die Berechnung zu vereinfachen. Wenn wir berechnen müssen , können wir stattdessen berechnen , da . Wie kann dies die Berechnung erleichtern? Vielleicht aus mathematischer Sicht, aber was ist mit der Sicht eines Informatikers?loglog\logxyxyxylogx+logylog⁡x+log⁡y\log x+\log ylogxy=logx+logylog⁡xy=log⁡x+log⁡y\log xy=\log x+\log y Wenn es …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.