Fallunterscheidung — Bedingung * * * Fallunterscheidung [engl. case differentiation] (Falluntersuchung), Form einer Kontrollstruktur, bei der im Ablauf eines Programms eine Bedingung geprüft wird und in Abhängigkeit vom Ergebnis eine Programmverzweigung eingeleitet … Universal-Lexikon
Zuker-Algorithmus — Der Zuker Algorithmus berechnet die optimale Sekundärstruktur einer RNA Sequenz mit der minimalen freien Energie unter einem gegebenen thermodynamischen Modell. Es ist also ein Algorithmus zur RNA Strukturvorhersage. Der Algorithmus verwendet die … Deutsch Wikipedia
Lösen von Ungleichungen — Beim Lösen von Ungleichungen über den reellen Zahlen versucht man, eine unübersichtliche Ungleichung so weit zu vereinfachen, dass sich einfache Aussagen etwa der Form x>5 bilden, die unmittelbar zu verstehen sind oder die sich an der… … Deutsch Wikipedia
Sankoff-Algorithmus — Eine RNA Sekundärstruktur, d.h. eine Faltung einer RNA Sequenz. Der Sankoff Algorithmus bezeichnet einen dynamischen Programmieralgorithmus, der in der Genetik verwendet wird, um simultan die drei Teilprobleme Alignment, Faltung und Phylogenie zu … Deutsch Wikipedia
Beweis (Mathematik) — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Integrierte Unternehmensmodellierung — Die Integrierte Unternehmensmodellierung (IUM) ist eine am Fraunhofer Institut für Produktionsanlagen und Konstruktionstechnik (IPK) Berlin entwickelte Geschäftsprozessmodellierungsmethode. Die IUM wird zur Aufnahme und zum Reengineering von… … Deutsch Wikipedia
Mathematische Beweismethode — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Mathematischer Beweis — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Mathematisches Beweisen — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Multiplikator-Akzelerator-Modell — Das Multiplikator Akzelerator Modell (oder auch manchmal Samuelson Modell oder Samuelson Hicks Modell genannt) ist ein Konjunkturmodell. Es will erklären, warum das wirtschaftliche Wachstum nicht monoton verläuft, sondern typischerweise einem… … Deutsch Wikipedia
