Results 11 to 20 of about 1,406,501 (313)
D.3.1 Test Matrix Document [PDF]
, 2014 The present document defines the test matrix, i.e. a list of test modules relevant for different applications. According to the project objectives the applications are SOFC (stationary and mobile), SOEC (H2- production) and combined SOFC/SOEC (electricity storage via H2).
Qingxi Fu +5 more
core +4 more sources
D.3.1- Major trends arising from the network [PDF]
, 2012 The workpackage 3 of the Tellnet project, Teachers’ Professional Development, focuses on studying the professional development aspects of an informal lifelong network. The case studied in this deliverable is based on early analyses of the eTwinning data extractions from the eTwinning platform.
Fetter, Sibren +3 more
core +6 more sources
Relating Functional and Imperative Session Types [PDF]
Logical Methods in Computer Science, 2022 Imperative session types provide an imperative interface to session-typed communication. In such an interface, channel references are first-class objects with operations that change the typestate of the channel.
Hannes Saffrich, Peter Thiemann
doaj +1 more source
Causal Consistency for Reversible Multiparty Protocols [PDF]
Logical Methods in Computer Science, 2021 In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types.
Claudio Antares Mezzina, Jorge A. Pérez
doaj +1 more source
Internal Parametricity for Cubical Type Theory [PDF]
Logical Methods in Computer Science, 2021 We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives.
Evan Cavallo, Robert Harper
doaj +1 more source
Space-Fluid Adaptive Sampling by Self-Organisation [PDF]
Logical Methods in Computer Science, 2023 A recurrent task in coordinated systems is managing (estimating, predicting, or controlling) signals that vary in space, such as distributed sensed data or computation outcomes.
Roberto Casadei +4 more
doaj +1 more source
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs [PDF]
Logical Methods in Computer Science, 2012 We consider the problem of computing numerical invariants of programs, for instance bounds on the values of numerical program variables. More specifically, we study the problem of performing static analysis by abstract interpretation using template ...
Thomas Martin Gawlitza, David Monniaux
doaj +1 more source
Fave: Sección Ciencias Agrarias, 2021 La flora nativa posee un enorme potencial paisajístico que ha sido poco explorado. En el presente trabajo se han estudiado aspectos relacionados con las semillas y comportamiento germinativo de tres especies vegetales nativas del centro - norte ...
N. GHÍO +5 more
doaj +1 more source
Logical Methods in Computer Science, 2017 We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not.
Massimo Bartoletti +3 more
doaj +1 more source
Modules over monads and operational semantics (expanded version) [PDF]
Logical Methods in Computer Science, 2022 This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi.
André Hirschowitz +2 more
doaj +1 more source