6 Bücher 

Wissenschaftliche LiteraturAlgorithmenInformatik

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Convergence Properties of Evolutionary Algorithms (Forschungsarbeit)Zum Shop

Convergence Properties of Evolutionary Algorithms

Forschungsergebnisse zur Informatik

Unter evolutionären Algorithmen versteht man solche iterativen stochastischen Optimierverfahren, deren Design durch Prinzipien der biologischen Evolution inspiriert ist: Eine Population von Elementen der zulässigen Menge wird durch Mutation und Rekombination stochastisch variiert, bevor die schlechteren der mit der…

Absorptionszeitenevolutionäre AlgorithmenInformatikKonvergenzgeschwindigkeitKonvergenz stochastischer AlgorithmenMarkoff`scher Prozessquantitative Genetikstochastische Optimierung
Timing-driven Foorplanning beim hierarchischen VLSI-Entwurf (Forschungsarbeit)Zum Shop

Timing-driven Foorplanning beim hierarchischen VLSI-Entwurf

Forschungsergebnisse zur Informatik

Ziel dieser Arbeit ist die Darstellung und Implementierung von Konzepten zum timing-driven Floorplanning beim hierarchischen VLSI-Entwurf. Kernpunkte eines solchen Entwurfsverfahrens, wie es z.B. das PLAYOUT-System prototypisch verwirklicht, sind bottom-up Abschätzungsphasen und top-down Planungsphasen…

bottom-upEntwurfsalgorithmenhierarchischer VLSI-EntwurfInformatikPlatzierungsverfahrenPLAYOUT Chip Planner Version 6timing-driven Floorplanningtop-downVerdrahtungsalgorithmen
Programmieren und Induktion (Forschungsarbeit)Zum Shop

Programmieren und Induktion

Untersuchungen zur kognitiven Modellierung des Algorithmen-Entwurfs

Forschungsergebnisse der Programmentwicklung

Immer mehr Schüler und Studenten sind heute mit den Grundlagen der Computerprogrammierung vertraut. Noch ist kaum erforscht, wie das Erlernen von Programmiersprachen sich auf Problemlösefähigkeiten auswirkt, und auf welche Weise Programmierer von einer Problemstellung zu einem Algorithmus gelangen. [...]

AlgorithmenDidaktikInduktionInformatikInformatik-DidaktikModell ALIProblemlösungProgrammierProgrammiersprachen
Eckenabsuchende Verfahren und Entartung (Forschungsarbeit)Zum Shop

Eckenabsuchende Verfahren und Entartung

Theorie, Algorithmen und Vergleichstests

Forschungsergebnisse zur Informatik

Entartung ist ein Phänomen, das die Effizienz und Konvergenz pivotisierender Verfahren maßgeblich beeinflussen kann. Das bekannteste Beispiel hierfür stellt das Zykeln des Simplexverfahrens dar, zu dessen Verhinderung eine Reihe von Zusatzregeln entwickelt wurden. Störungsregeln bzw. numerisch äquivalente…

Entartete EckeEntartungsgraphInformatikLineare OptimierungN-BaumNachbarschaftsproblemPivotauswahlSimplexverfahrenÜbergangsknoten
Analogieschlüsse beim automatischen Beweisen (Forschungsarbeit)Zum Shop

Analogieschlüsse beim automatischen Beweisen

Forschungsergebnisse zur Informatik

Was macht den Menschen intelligenter als die Maschine?

Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen…

ÄhnlichkeitsfunktionAlgorithmenAnalogieautomatisches BeweisenBewertungsfunktionInformatikKlassifikationKonnektions-MethodePrädikatenlogik