Results 41 to 50 of about 131,806 (207)
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec [PDF]
, 2009 This note shows that in non-deterministic extended lambda calculi with letrec, the tool of applicative (bi)simulation is in general not usable for contextual equivalence, by giving a counterexample adapted from data flow analysis.
Machkasova, Elena +2 more
core +1 more source
Peer-to-Peer Intrusion Detection Systeme für den Schutz sensibler IT-Infrastrukturen [PDF]
Vortrag der GI-Jahrestagung: Sicherheit in komplexen, vernetzten Umgebungen, Workshop im Rahmen der Jahrestagung 2005 der Gesellschaft für Informatik Informatik LIVE!, 19. - 22.
König, Hartmut
core +1 more source
WIREs Energy and Environment, Volume 15, Issue 1, March 2026.This graphical abstract illustrates seven strategic pillars to advance a low‐carbon economy in ASEAN: Carbon Pricing & CBAM, Renewable Energy Auctions, Sustainable Finance Mobilization, Regional Carbon Trading Systems, Green Finance Standards, Private Sector Participation, and Digital‐Driven Monitoring & Trading. These elements aim to unlock investment,
Ohn Zin Lin +4 more
wiley +1 more source
Informatische Grundbildung – ein Ländervergleich
Medienimpulse, 2017 In dieser Publikation wollen wir, basierend auf einer Literaturrecherche, einen Überblick über die implementierten bzw. in naher Zukunft geplanten Maßnahmen zur informatischen Grundbildung geben, indem ausgewählte europäische und außereuropäische Länder ...
Maria Grandl, Martin Ebner
doaj +1 more source
Signalling in voice over IP Networks [PDF]
, 2001 Voice signalling protocols have evolved, keeping with the prevalent move from circuit to packet switched networks. Standardization bodies have provided solutions for carrying voice traffic over packet networks while the main manufacturers are already ...
Larrabeiti López, David +2 more
core +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
Aktuelle Trends der Inzidenz und Mortalität kutaner Lymphome in Deutschland
JDDG: Journal der Deutschen Dermatologischen Gesellschaft, Volume 24, Issue 3, Page 351-359, March 2026.Zusammenfassung Hintergrund Primäre kutane Lymphome (primary cutaneous lymphomas, PCL) bestehen hauptsächlich aus kutanen T‐Zell‐Lymphomen (cutaneous T‐cell lymphomas, CTCL), gefolgt von kutanen B‐Zell‐Lymphomen (cutaneous B‐cell lymphomas, CBCL). Ziel dieser Studie war es, die Inzidenz und Überlebensraten von PCL in Deutschland zu ermitteln.
Khodr Cheikh El Najjarine +4 more
wiley +1 more source
Input-Driven Double-Head Pushdown Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in opposite ...
Markus Holzer +3 more
doaj +1 more source
The Role of Autonomous Mechanical Weeding Robots in Climate‐Smart Soil Management: A Scoping Review
European Journal of Soil Science, Volume 77, Issue 2, March–April 2026.ABSTRACT The growing demand for sustainable agricultural practices has driven advancements in digital agricultural technologies, which is also reflected in the emerging development and market release of agricultural field robots in the last decade.
Kathrin Grahmann +4 more
wiley +1 more source
Heterogenitätsbewusste digitale Gestaltung eines Einführungsmoduls in der Informatik
MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 2022 In Einführungsmodulen, die sowohl als Fachmodul als auch als Importmodul für verschiedene Studiengänge angeboten werden, unterscheiden sich die Vorkenntnisse, Ziele und Motivationen der Teilnehmenden erheblich. Im Zuge eines Projekts zur Digitalisierung
Elisaweta Ossovski +5 more
doaj +1 more source