Results 11 to 20 of about 135,698 (258)
Role of restraints on hydrogen atoms in Hirshfeld atom refinement: the case of tri-aspartic acid trihydrate. [PDF]
Acta Crystallogr B Struct Sci Cryst Eng MaterRestraints for atomic displacement parameters of hydrogen atoms in Hirshfeld atom refinement are tested using two polymorphs of the water‐rich l‐Asp‐l‐Asp‐l‐Asp (DDD) crystal structure.Two polymorphs of l‐Asp‐l‐Asp‐l‐Asp (DDD) trihydrate as model compounds for biologically important proton‐shuttle reactions were investigated with the quantum ...
Sankolli R +9 more
europepmc +2 more sources
Parameterization Above a Multiplicative Guarantee [PDF]
, 2020 Parameterization above a guarantee is a successful paradigm in Parameterized Complexity. To the best of our knowledge, all fixed-parameter tractable problems in this paradigm share an additive form defined as follows.
Fomin, Fedor V. +5 more
core +2 more sources
Symbolic Execution as DPLL Modulo Theories [PDF]
, 2014 © Quoc-Sang Phan; licensed under Creative Commons License CC-BY. Imperial College Computing Student Workshop (ICCSW’14). Editors: Rumyana Neykova and Nicholas Ng; pp. 58–65. OpenAccess Series in Informatics.
Phan, Q-S
core +2 more sources
Vom Hin und Her zwischen Medienbildung und Informatischer Bildung
MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 2021 Informatik hier, Medienpädagogik dort. Informatische Bildung hier, Medienbildung dort. Der Diskurs um digitale Medien in der Bildung zeigt eine duale Aufspaltung bzw.
David Stadler, Nina Grünberger
doaj +1 more source
Vom Anschauen zum Hinschauen. Zum Lernen mit digitalen Medien am Beispiel der Computerkunst
MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 2017 Digitale Medien besitzen Eigenschaften, die es Lernenden erlauben, neue Zugangsweisen zur Welt zu entdecken. Das ist eine gewagte Behauptung. Wir werden versuchen, sie näher zu begründen und ihr Gestalt zu verleihen.
Susanne Grabowski, Matthias Krauß
doaj +1 more source
Denotational, Causal, and Operational Determinism in Event Structures [PDF]
, 1995 Determinism is a theoretically and practically important concept in labelled transition systems and trees. We study its generalisation to event structures.
Rensink, Arend
core +5 more sources
eInformatics@Austria – Grundlehre Informatik online mit 7 MOOCs
Zeitschrift für Hochschulentwicklung, 2023 Im Projekt eInformatics@Austria erstellen fünf österreichische Universitäten Online-Kurse der Grundlehre Informatik. Ziel ist es, sieben qualitativ und künstlerisch hochwertige Massive Open Online Courses (MOOCs) zu entwickeln und online auf der ...
Friedrich Gelbard
doaj +1 more source
Algorithmische Kunst als Bildungsgegenstand
MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 2019 Die algorithmische Revolution hat bewirkt, dass heute viele Menschen einen leistungsstarken Computer bei sich tragen und zu Hause weitere stehen haben. Diese Computer sind mit dem Internet zu einem populären Medium verwachsen.
Susanne Grabowski, Frieder Nake
doaj +1 more source
A Riemannian View on Shape Optimization
, 2014 Shape optimization based on the shape calculus is numerically mostly performed by means of steepest descent methods. This paper provides a novel framework to analyze shape-Newton optimization methods by exploiting a Riemannian perspective.
Schulz, Volker
core +1 more source
Persönlichkeiten der Informatik
Informatische Bildung in SchulenIm Prolog wird das Thema Geschiche der Mathematik in einem Beitrag des RFDZ – Informatik betrachtet. Im folgenden Kapitel werden die Entwicklungen des Computers im Kontext der einzelnen Persönlichkeiten der Informatik aus einem Hardware – Blickwinkel ...
Karl Josef Fuchs
doaj +1 more source