Abstract

The study of translation norms is a key element in traductological studies. Insofar as these norms are linked to cultures and specific historical periods, the analysis of their diverse elements is of fundamental importance. One of the variables that composes these norms is the model of language of the translations, which is devised from the stylistic uses of the translators, mainly from some aspects of language which are particularly controversial. One of them is the syntactic uses for the expression of abstraction, and this paper focuses on their study. The conclusion is that there are less stylistic resources used and centred in no more than a couple of structures despite the several possibilities existing to express abstraction. Many forms recommended by grammarians appear, at best, with scarce manifestations. The reasons for this lack of use are varied, probably because of the same translators some times, but also because of the recipients of the translations, who perceive these forms as unusual and, in other cases, as interferences.

Abstract

This paper describes an agent-based approach for the simulation of air traffic management (ATM) in Europe that was designed to help analyze proposals for future ATM systems. This approach is able to represent new collaborative decision processes for flow traffic management, it uses an intermediate level of abstraction (useful for simulations at larger scales), and was designed to be a practical tool (open and reusable) for the development of different ATM studies. It was successfully applied in three studies related to the design of future ATM systems in Europe. Document type: Part of book or chapter of book

Abstract

We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating an in-order abstraction of the out-of-order execution core. Second, incremental flushing addresses the complexity difficulties encountered by automated abstraction functions on very deep pipelines. We illustrate the techniques on a model of a simple out-of-order processor core. Document type: Part of book or chapter of book

Abstract

Successfully synthesizing controllers for complex dynamical systems and specifications often requires leveraging domain knowledge as well as making difficult computational or mathematical tradeoffs. This paper presents a flexible and extensible framework for constructing robust control synthesis algorithms and applies this to the traditional abstraction-based control synthesis pipeline. It is grounded in the theory of relational interfaces and provides a principled methodology to seamlessly combine different techniques (such as dynamic precision grids, refining abstractions while synthesizing, or decomposed control predecessors) or create custom procedures to exploit an application's intrinsic structural properties. A Dubins vehicle is used as a motivating example to showcase memory and runtime improvements. Document type: Part of book or chapter of book