Classical plate buckling theory is obtained systematically as the small-thickness limit of the three-dimensional linear theory of incremental elasticity with null incremental data. Various a priori assumptions associated with classical treatments of plate buckling, including the Kirchhoff–Love hypothesis, are here derived rather than imposed, and the conditions under which they emerge are state...

We present an adaptation of recent work on probabilistic Type Theory with Records (Cooper et al., 2014) for the purposes of modelling the incremental semantic processing of dialogue participants. After presenting the formalism and dialogue framework, we show how probabilistic TTR type judgements can be integrated into the inference system of an incremental dialogue system, and discuss how this ...

Analog–Digital (A/D) converters used in instrumentation and measurements often require high absolute accuracy, including very high linearity and negligible dc offset. The realization of high-resolution Nyquist-rate converters becomes very expensive when the resolution exceeds 16 bits. The conventional delta–sigma ( ) structures used in telecommunication and audio applications usually cannot sat...

A/D converters used in instrumentation and measurements often require high absolute accuracy, including high linearity and negligible DC offset. The incremental (or integrating) converter provides a solution for such measurement applications, as it has all the advantages of the ∆Σ (Delta-Sigma) converter, yet is capable of offset-free and accurate conversion. In this conference paper, theoretic...

We sketch a theory in which presuppositions do not directly impose conditions on the context set, but rather on the contextual meaning of a sentence. Specifically, a part of an expression's meaning which is marked as presupposed should satisfy a principle of Transparency, according to which this part can be disregarded without affecting the contextual meaning of the sentence. We argue that if T...

The need for iterative safety assessment that starts at the earliest – conceptual – stages of the design has been long recognised by academia, industry and standardisation groups. Due to budgetary and time constraints such a process can rarely involve complete reassessment of the system at each iteration. Instead iterative assessment should build-up gradually, reutilising results of previous it...

In this paper, the dynamic stability analysis of a simply supported beam carrying a sequence of moving masses is investigated. Many applications such as motion of vehicles or trains on bridges, cranes transporting loads along their span, fluid transfer pipe systems and the barrel of different weapons can be represented as a flexible beam carrying moving masses. The periodical traverse of masses...

Incremental computations can improve the performance of interactive programs such as spreadsheet programs, program development environments, text editors, etc. Incremental algorithms describe how to compute a required value depending on the input, after the input has been edited. By considering the possible diierent edit actions on the data type lists, the basic data type used in spreadsheet pr...