Results 71 to 80 of about 135,698 (258)

Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)

, 2013
This paper is an extended abstract of an analysis of term rewriting where the terms in the rewrite rules as well as the term to be rewritten are compressed by a singleton tree grammar (STG).
Schmidt-Schauss, Manfred
core   +2 more sources

Glueability of Resource Proof-Structures: Inverting the Taylor Expansion [PDF]

, 2019
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are part of the ...
Guerrieri, Giulio, Pellissier, Luc, Tortora de Falco, Lorenzo   +2 more
core   +3 more sources

Unveiling the Impact of C60–O2 Interaction on the Performance and Characterization of Perovskite Solar Cells

Advanced Energy Materials, Volume 15, Issue 30, August 12, 2025.
Air exposure of the C60 electron‐transport layer (ETL) in p‐i‐n perovskite solar cells causes rapid O2 intercalation, forming deep trap states and altering charge carrier balance at the perovskite/ETL interface, thereby increasing non‐radiative recombination.
Lea Zimmermann, Dorothee Menzel, Richard Gundermann, Maxim Simmonds, Florian Scheler, Thomas Gries, Edgar Nandayapa, Andres Felipe Castro Mendez, Florian Mathies, Aleksandra Miaskiewicz, Emil J. W. List‐Kratochvil, Philippe Holzhey, Artem Musiienko, Felix Lang, Lars Korte, Eike Köhnen, Steve Albrecht   +16 more
wiley   +1 more source

Making und die Informatik

MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung
Making lässt Schüler:innen zu Erfinder:innen innen werden, lässt sie die digitale Welt mitgestalten und ermöglicht ihnen, diese durch aktives Handeln zu verstehen.
Nadine Dittert, Melanie Stilz
doaj   +1 more source

Wie Gender in die Diabetes-Selbstmanagement-Applikation kommt – ein vielversprechender Weg

Gender, 2016
Anhand des FandE-Projektes „DIABGender“ stellt der Artikel eine Vorgehensweise vor, mit der es möglich ist, Genderwissen der Sozialwissenschaften für die Informatik, konkret für die Entwicklung einer Diabetes-Selbstmanagement- Applikation, verfügbar zu ...
Sabine Zauchner-Studnicka, Veronika Hornung-Prähauser, Manuela Plößnig, Michael Leutner, Alexandra Kautzky-Willer   +4 more
doaj   +1 more source

From Reflection to Action: A Controlled Field Study on How Learners Interpret and Respond to Feedback in Learning Analytics Dashboards

Journal of Computer Assisted Learning, Volume 41, Issue 4, August 2025.
ABSTRACT Background Learning analytics dashboards (LAD) have been developed as feedback tools to help students self‐regulate their learning (SRL) by using the large amounts of data generated by online learning platforms. Despite extensive research on LAD design, there remains a gap in understanding how learners make sense of information visualised on ...
Tornike Giorgashvili, Ioana Jivet, Cordula Artelt, Daniel Biedermann, Daniel Bengs, Frank Goldhammer, Carolin Hahnel, Julia Mendzheritskaya, Julia Mordel, Monica Onofrei, Marc Winter, Ilka Wolter, Holger Horz, Hendrik Drachsler   +13 more
wiley   +1 more source

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

Relaxing the Irrevocability Requirement for Online Graph Algorithms [PDF]

, 2017
Online graph problems are considered in models where the irrevocability requirement is relaxed. Motivated by practical examples where, for example, there is a cost associated with building a facility and no extra cost associated with doing it later, we ...
A Gu, AR Karlin, B Korte, DD Sleator, DED Vinkemeier, J Feigenbaum, JA Garay, K Iwama, L Epstein, M Cygan, M Imase, N Megow, P Jaillet, X Han, X Han, X Han   +15 more
core   +3 more sources

Peculiar behavior of the principal Laplacian eigenvalue for large negative Robin parameters

Journal of the London Mathematical Society, Volume 112, Issue 1, July 2025.
Abstract Let Ω⊂Rn$\Omega \subset \mathbb {R}^n$ with n⩾2$n\geqslant 2$ be a bounded Lipschitz domain with outer unit normal ν$\nu$. For α∈R$\alpha \in \mathbb {R}$, let RΩα$R_\Omega ^\alpha$ be the Laplacian in Ω$\Omega$ with the Robin boundary condition ∂νu+αu=0$\partial _\nu u+\alpha u=0$, and denote by E(RΩα)$E(R^\alpha _\Omega)$ its principal ...
Charlotte Dietze, Konstantin Pankrashkin
wiley   +1 more source

Scalable Game Design Switzerland

MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 2018
Das Modul «Medien und Informatik» des Lehrplans 21 verlangt von Primarlehrpersonen, dass sie mit ihren Schülerinnen und Schülern verschiedene Kompetenzen und Inhalte im Bereich der Informatik erarbeiten.
Alexander Repenning, Anna Lamprou, Nicolas Fahrni, Nora Anna Escherle   +3 more
doaj   +1 more source