Spelling suggestions: "subject:"barogramm"" "subject:"beiprogramm""
131 |
Cost-aware sequential diagnosticsGanter, Bernhard 19 March 2024 (has links)
A simple search problem is studied in which a binary n-tuple is to be found in a list, by sequential bit comparisons with cost. The problem can be solved (for small n) using dynamic programming. We show how the “bottom up” part of the algorithm can be organized by means of Formal Concept Analysis.
|
132 |
Improving in-memory database index performance with Intel® Transactional Synchronization ExtensionsLehner, Wolfgang, Karnagel, Tomas, Dementiev, Roman, Rajwar, Ravi, Lai, Konrad, Legler, Thomas, Schlegel, Benjamin 12 January 2023 (has links)
The increasing number of cores every generation poses challenges for high-performance in-memory database systems. While these systems use sophisticated high-level algorithms to partition a query or run multiple queries in parallel, they also utilize low-level synchronization mechanisms to synchronize access to internal database data structures. Developers often spend significant development and verification effort to improve concurrency in the presence of such synchronization. The Intel ® Transactional Synchronization Extensions (Intel ® TSX) in the 4th Generation Core™ Processors enable hardware to dynamically determine whether threads actually need to synchronize even in the presence of conservatively used synchronization. This paper evaluates the effectiveness of such hardware support in a commercial database. We focus on two index implementations: a B+Tree Index and the Delta Storage Index used in the SAP HANA ® database system. We demonstrate that such support can improve performance of database data structures such as index trees and presents a compelling opportunity for the development of simpler, scalable, and easy-to-verify algorithms.
|
133 |
Wir machen es möglich! - Die GRÜNEN im Sächsischen Landtag20 March 2019 (has links)
Die acht Abgeordneten von BÜNDNIS 90/DIE GRÜNEN im Sächsischen Landtag für eine nachhaltige, sozial gerechte und zukunftsfähige Politik stellen sich vor.
|
134 |
Towards a Tableau Algorithm for Fuzzy ALC with Product T-normPeñaloza, Rafael 16 June 2022 (has links)
Very recently, the tableau-based algorithm for deciding consistency of general fuzzy DL ontologies over the product t-norm was shown to be incorrect, due to a very weak blocking condition. In this report we take the first steps towards a correct algorithm by modifying the blocking condition, such that the (finite) structure obtained through the algorithm uniquely describes an infinite system of quadratic constraints. We show that this procedure terminates, and is sound and complete in the sense that the input is consistent iff the corresponding infinite system of constraints is satisfiable.
|
135 |
Kdevelop und glade - die Programme-BauerBecher, Mike 21 March 2000 (has links)
Werkzeuge für Entwickler
Eine Vielzahl von kleinen Helfern erleichtert den Programmierern die Arbeit. Neben make, configure und kommandozeilenorientierte Compiler treten mächtige Entwicklungswerkzeuge, mit denen sich in Windeseile Oberflächen erstellen lassen.
In diesem Vortrag werden der allgemeine Aufbau eines Software-Projektes unter Unix erläutert und die Leistungsfähigkeit der Entwicklungs-Tools am praktischen Beispiel vorgeführt.
|
136 |
The basics of set theory - some new possibilities with ClassPadPaditz, Ludwig 20 March 2012 (has links) (PDF)
No description available.
|
137 |
Kdevelop und glade - die Programme-BauerBecher, Mike 21 March 2000 (has links)
Werkzeuge für Entwickler
Eine Vielzahl von kleinen Helfern erleichtert den Programmierern die Arbeit. Neben make, configure und kommandozeilenorientierte Compiler treten mächtige Entwicklungswerkzeuge, mit denen sich in Windeseile Oberflächen erstellen lassen.
In diesem Vortrag werden der allgemeine Aufbau eines Software-Projektes unter Unix erläutert und die Leistungsfähigkeit der Entwicklungs-Tools am praktischen Beispiel vorgeführt.
|
138 |
The basics of set theory - some new possibilities with ClassPadPaditz, Ludwig 20 March 2012 (has links)
No description available.
|
139 |
Orffovy nástroje v kontextu současné hudební výchovy dítěte předškolního věku / Orff's Instruments Used at Contemporary Pre-school Music LessonsFajtová, Jitka January 2012 (has links)
Target of this thesis is to realize an one-month musical project at one of kindergarten classes while using Orf's musical instruments. Further to find out through a musical test prospective individual contribution of Orf's musical instruments involvement to a musical development of preschool children. Theoretical part of thesis describes a pedagogical reform at musical education, current status of musical education at kindergardens based on a General Education Programm (RVP). Further refers to a psychological aspect of musical development of preschool children, describes Orf's musical instruments itself and its usage at "itegrative pedagogy". Practical part of thesis is dedicated to a survey. It discovers how often, which way and which musical instruments are used at kindergardens. The musical project is performed at one of kindergarten classes via musical test. Musical abbilities and skills of children are investigated and contribution of Orf's musical instruments is verified and evaluated.
|
140 |
Mezigenerační učení ve výchově dětí předškolního věku / Intergenerational Learning in Education of Preschool ChildrenKlinerová, Lenka January 2016 (has links)
The thesis is focused on the intergenerational learning in families of preschool children. The first, theoretical part, discusses the ongoing intergenerational learning in families and possibilities of intergenerational programs outside the family. The second, practical part, examines whether and how progress the intergenerational learning in families with preschool children and deals with the parentʼs attitudes toward intergenerational program in kindergarten. Research is carried out via survey in families of children, structured interviews with parents and observation and interviews with children in kindergarten. One part of the thesis is to create the design and implementation of a project focused on intergenerational learning in cooperation of kindergarten and senior citizen home and subsequent reflection process, which arises during intergenerational activities between children and seniors from non-family environment.
|
Page generated in 0.0468 seconds