Abstract The use of ammonia as a fuel is one the promising pathways to decarbonize energy sector. When converted into power in so-called “Ammonia-to-Power”, most interesting technology Solid Oxide Fuel Cell (SOFC) that can operate directly with and reach high performance terms efficiency. SOFCs are high-efficiency and, potentially, low-cost technology, but still suffer from degradation issues r...

We present a tableaux-based model generation calculus for DRT, which gives us an incremental approach to discourse processing in the presence of world knowledge. We show the usefulness of such as system for several discourse phenomena.

Universitt at des Saarlandes Over the past few years, there have been a series of attempts Zee89, GS90, EK95, Mus94, KKP95] to combine the Montagovian type theoretic framework Mon74] with dynamic approaches, such as DRT Kam81]. The motivation for these developments is to obtain a general logical framework for discourse semantics that combines compositionality and dynamic binding. Let us look at...

The correct assessment of battery states is essential to maximize pack performances while ensuring reliable and safe operation. This work introduces EIS2MOD, a novel modelling framework for Li-ion cells based on Distribution Relaxation Time (DRT). A physically Electric Circuit Model (ECM) developed starting from Electrochemical Impedance Spectroscopy (EIS) Open Voltage (OCV) measurements. DRT a...

The objective of this study was to evaluate the genetic parameters of thermoregulation traits and its association with sow’s performance during lactation. A total of 94 lactating Large White (LW) sows, rearing in a tropical humid climate were used in this experiment. The genetic parameters of rectal temperature measured at 0700 and 1200 (RT7 and RT12), the difference between RT12 and RT7 (dRT),...

Combining ideas from Donald Davidson, Hans Reichenbach and Discourse Representation Theory (DRT), I will develop a constraint-based semantics for the Dutch tenses and temporal auxiliaries which is fully integrated in the HPSG framework. The semantics will be inspired to a large extent by DRT, but the syntax is squarely based on the lexicialist surface-oriented approach of HPSG, and so is the tr...

This paper considers the underspecification of distributive and collective readings of plural NPs in Discourse Representation Theory (Kamp and Reyle 1993) and Head-Driven Phrase Structure Grammar (Pollard and Sag 1994). We address some shortcomings in previous approaches in the underspecification literature, namely issues related to the assumption that plural NPs are semantically ambiguous betw...

Since the early 1990s, the semanticist Reinhard Muskens has advocated the use of the TYn family of higher-order logics as a general framework for semantic representation; he has backed up his claim by treating a wide variety of semantic phenomena in the TYn framework. Most interestingly of all, he has also shown that the central ideas of Discourse Representation Theory (DRT) can be modeled in T...

In the second sentence of (1), a do-anaphor appears that must be linked to a marker which has already been introduced into the universe of the DtLS. The value of this marker, which is P1, as we can see in (2), is constrained by the conditions associated with the previous VP in the discourse [Klein, 1986]. Following Klein, we call P1 a predicate marker, and the SubDRS that is associated with Pt ...

~i%xt understanding and high quality machine translation often necessitate the disambiguation of ambigous structures or lexical elements. Drawing inferences from the context can be a means for resolving semantic ambiguities. However, often, this is an ex-. pensive s trategy that, in addition, not always comes up with a clear preference for one of the alternatives. In this paper, we argue that i...