Results 81 to 90 of about 131,806 (207)

Parameterized Compilation Lower Bounds for Restricted CNF-formulas

, 2016
We show unconditional parameterized lower bounds in the area of knowledge compilation, more specifically on the size of circuits in decomposable negation normal form (DNNF) that encode CNF-formulas restricted by several graph width measures.
A Darwiche, A Darwiche, C Muise, I Razgon, J Flum, M Lampis, M Thurley, P Duris, R Diestel, R Haan de, S Bova, S Ordyniak, SH Sæther   +12 more
core   +1 more source

Informatik [PDF]

Datenschutz und Datensicherheit - DuD, 2010
Corinna Bath, Heidi Schelhowe, Heike Wiesner   +2 more
  +4 more sources

Fast equality test for straight-line compressed strings [PDF]

, 2011
The paper describes a simple and fast randomized test for equality of grammar-compressed strings. The thorough running time analysis is done by applying a logarithmic cost measure.
Schmidt-Schauß, Manfred, Schnitger, Georg   +1 more
core   +1 more source

Unterrichtsreihe zu künstlicher Intelligenz und künstlichen neuronalen Netzen für die gymnasiale Oberstufe

Informatische Bildung in Schulen
Diese Unterrichtsreihe erarbeitet in 7 Doppelstunden das Thema „Künstliche Intelligenz und Maschinelles Lernen“ für einen Grundkurs Informatik in der gymnasialen Oberstufe nach dem „Bildungsplan Studienstufe Informatik Hamburg“.
Katrin Grabe
doaj   +1 more source

Einblicke in das Förderprojekt "Informatik all inclusive - Bündnis für IT-Bildung in Dortmund"

Informatische Bildung in Schulen
Die aktuellen Herausforderungen bei schulischen Informatikangeboten, wie der späte Kontakt mit Programmieraufgaben, Fachkräftemangel im Lehramt und eine steigende Anzahl an Schüler*innen, stellen die Jugendlichen vor Schwierigkeiten, souverän mit ...
Marcel Mitas, Sabine Sachweh, Daniel Woltemate   +2 more
doaj   +1 more source

Mitteilungsblatt / Fachhochschule Lausitz, Nr. 135 (23.01.2007) [PDF]

, 2015
Studien- und Prüfungsordnung (SPO) für den Bachelor / Master-Studiengang Informatik der Fachhochschule ...

core  

Smart Microgrids: Overview and Outlook [PDF]

, 2013
The idea of changing our energy system from a hierarchical design into a set of nearly independent microgrids becomes feasible with the availability of small renewable energy generators.
Elmenreich, Wilfried, Sobe, Anita
core   +1 more source

Snapping Graph Drawings to the Grid Optimally

, 2016
In geographic information systems and in the production of digital maps for small devices with restricted computational resources one often wants to round coordinates to a rougher grid.
A Wolff, H De Fraysseix, JW Chinneck, LJ Guibas, M Chrobak, M de Berg, M de Berg, M Krug, M Nöllenburg, RL Graham, S Kieffer, WT Tutte   +11 more
core   +1 more source

An Approach for Supporting Ad-hoc Modifications in Distributed Workflow Management Systems [PDF]

, 2007
Supporting enterprise-wide or even cross-organizational business processes is a characteristic challenge for any workflow management system (WfMS). Scalability at the presence of high loads as well as the capability to dynamically modify running workflow
Bauer, T., Reichert, M.U.
core   +2 more sources

A termination proof of reduction in a simply typed calculus with constructors [PDF]

, 2011
The well-known proof of termination of reduction in simply typed calculi is adapted to a monomorphically typed lambda-calculus with case and constructors and recursive data types. The proof differs at several places from the standard proof. Perhaps it is
Sabel, David, Schmidt-Schauß, Manfred
core