Results 91 to 100 of about 135,698 (258)
Informatische Bildung in SchulenAm 31.01.2025 hat das GI-Präsidium den vom Arbeitskreis „Bildungsstandards Sekundarstufe I“ erarbeiteten Entwurf nach kurzer Beratung und Diskussion als Empfehlung für den Informatikunterricht verabschiedet. Sie ersetzt die „ Grundsätze und Standards für
Steffen Burk +3 more
doaj +1 more source
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 +12 more
core +1 more source
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
Slutrapport nätverk informatik [PDF]
, 2008 The purpose of the network has been 1) to collect and spread knowledge about the development of the Informatics field and best practices at different Swedish universities, 2) to collect and spread knowledge about pedagogical issues and 3) to develop and ...
core
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
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 +11 more
core +1 more source
The “Mobility-M”-framework for Application of Mobile Technology in Business Processes [PDF]
In order to provide a structural framework for the application of mobile technology in business processes that can serve as a basis for understanding the organizational impacts of mobile technologies, we present a model, the „Mobility-M“.
Gumpp, Andreas, Pousttchi, Key
core +1 more source
Informatische Bildung in SchulenInformatikunterricht ist in Deutschland in den Bundesländern unterschiedlich in Bildungspläne integriert. In Baden-Württemberg wurde seit 2018 ergänzend zum Pflichtfach Informatik in Klasse 7, das Wahlpflichtfach Informatik, Mathematik, Physik (IMP ...
Tobias Bahr
doaj +1 more source
TH Wildau Engineering and Natural Sciences ProceedingsDie Sicherheit in Maschinenräumen auf Kreuzfahrtschiffen ist aufgrund komplexer Layouts, hoher Personenzahlen und weitläufiger Versorgungssysteme eine Herausforderung.
Shaunak Atul Kanikar +3 more
doaj +1 more source