Results 31 to 40 of about 1,122 (80)
Work Analysis with Resource-Aware Session Types
, 2018 While there exist several successful techniques for supporting programmers in deriving static resource bounds for sequential code, analyzing the resource usage of message-passing concurrent processes poses additional challenges. To meet these challenges,
Carbonneaux Quentin +8 more
core +1 more source
Our(?) Concept of Food or, They are Eating Their Pets
European Journal of Philosophy, Volume 33, Issue 4, Page 1343-1356, December 2025.Abstract This article examines the idea that deep disagreements are best understood as rooted in conceptual differences rather than differences in judgments and opinions, by means of a reflection on the differences between a vegan and a meat eater. The aim is not to develop a new theory of “deep disagreement” but to gain clarity about one field in ...
Niklas Forsberg
wiley +1 more source
Advanced modelling made simple with the Gmodel metalanguage. [PDF]
, 2010 Gmodel is a metalanguage that has been designed from the ground up to enable specification and instantiation of modelling languages. Although a number of metalanguages can be used for this purpose, most provide no or only limited support for modular ...
Bettin, J. +3 more
core +1 more source
The Modern Language Journal, Volume 109, Issue 4, Page 961-990, Winter 2025.Abstract This study leverages concept‐based language instruction (C‐BLI) as an innovative pedagogical approach to teaching academic citation practices and broader concepts of intertextuality in academic research writing. Participants were 34 undergraduate students, predominantly multilingual English writers, enrolled in an advanced writing course at a ...
Yiran Xu, J. Elliott Casal
wiley +1 more source
Meta‐Metamodelling of Engineering Systems by Help of Abstract Mathematics
Mathematical Methods in the Applied Sciences, Volume 48, Issue 16, Page 14815-14827, 15 November 2025.ABSTRACT The growing trend of automation in engineering significantly increases the complexity of engineering systems and necessitates a deeper understanding of the coupling of physical and cyber components interacting within the systems. A typical example of such a highly coupled system is an autonomous construction site, where robotic systems aim to ...
Daniel Luckey, Dmitrii Legatiuk
wiley +1 more source
Language as purposeful: functional varieties of texts [PDF]
, 2004 This volume, "Language as Purposeful: Functional Varieties of Texts", is the third of the first three e-books of a new series entitled, "Functional Grammar Studies for Non-Native Speakers of English", which is contained within the superordinate ...
Maiorani, A. +2 more
core +1 more source
Polysemy and roots: Deep versus shallow fetching
Mind &Language, Volume 40, Issue 5, Page 472-491, November 2025.The paper argues for a model of polysemy based on the blueprint offered by Paul Pietroski whereby the meaning of a lexical item is an instruction to fetch a concept from an address. We show that the bare idea of fetching admits of a deep construal, where a concept is fetched, and a shallow construal, where the instruction merely links a lexical item to
John Collins, Tamara Dobler
wiley +1 more source
Multi-agent planning using an abductive : event calculus [PDF]
, 1996 Temporal reasoning within distributed Artificial Intelligence Systems is faced with the problem of concurrent streams of action. Well known, logic-based systems using the SITUATION CALCULUS solve the frame problem in a purely linear manner.
Burt, Alastair +2 more
core +2 more sources
Similarity Assessment of the Engineering Concepts: Decision‐Making Support and Metrics
Systems Engineering, Volume 28, Issue 5, Page 628-639, September 2025.ABSTRACT The new product development (NPD) process is a systematic approach to bring new products and innovations to market. Nowadays, this process is affected by a number of influencing factors associated with the fast‐paced technological changes. One of those factors is the distributed design nature of product development activities: team members are
Yaroslav Menshenin +3 more
wiley +1 more source
State-of-the-art on evolution and reactivity [PDF]
, 2004 This report starts by, in Chapter 1, outlining aspects of querying and updating resources on the Web and on the Semantic Web, including the development of query and update languages to be carried out within the Rewerse project.
Alferes, José Júlio +10 more
core +1 more source