Results 41 to 50 of about 3,473 (262)
An Optimal Pursuit Differential Game Problem with One Evader and Many Pursuers
Mathematics, 2019 The objective of this paper is to study a pursuit differential game with finite or countably number of pursuers and one evader. The game is described by differential equations in l 2 -space, and integral constraints are imposed on the control ...
Idris Ahmed +4 more
doaj +1 more source
Combined Games with Randomly Delayed Beginnings
Mathematics, 2021 This paper presents two-person games involving optimal stopping. As far as we are aware, the type of problems we study are new. We confine our interest to such games in discrete time. Two players are to chose, with randomised choice-priority, between two
F. Thomas Bruss
doaj +1 more source
Resource modalities in game semantics [PDF]
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007 The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is more primitive than game semantics. We advocate instead the contrary: that game semantics is conceptually more primitive than linear logic.
Paul-André Melliès, Nicolas Tabareau
openaire +2 more sources
Game Semantics for Nominal Exceptions [PDF]
, 2014 We present a fully abstract denotational model for a higher-order programming language combining call-by-value evaluation and local exceptions. The model is built using nominal game semantics and is the first one to achieve both effective presentability and freedom from “bad exception” constructs.
Andrzej S. Murawski, Nikos Tzevelekos
openaire +2 more sources
CoRR, 2019 Game semantics has proven to be a robust method to give compositional semantics for a variety of higher-order programming languages. However, due to the complexity of most game models, game semantics has remained unapproachable for non-experts. In this paper, we aim at making game semantics more accessible by viewing it as a syntactic translation into ...
Castellan, S, Stefanesco, L, Yoshida, N
openaire +3 more sources
A Discrete-Time Homing Problem with Two Optimizers
Games, 2023 A stochastic difference game is considered in which a player wants to minimize the time spent by a controlled one-dimensional symmetric random walk {Xn,n=0,1,…} in the continuation region C:={1,2,…}, and the second player seeks to maximize the survival ...
Mario Lefebvre
doaj +1 more source
Advanced Engineering Materials, EarlyView.Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch +3 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Low‐voltage FIB‐SEM tomography combined with a image preprocessing pipeline improves phase contrast and enables reliable machine‐learning segmentation of conductive networks in lithium‐ion battery electrodes. Structural descriptors are extracted from segmented images, done semimanually and automated, and compared.
Lisa Beran +6 more
wiley +1 more source
Mathematics, 2023 A rockburst is a dynamic disaster that may result in considerable damage to mines and pose a threat to personnel safety. Accurately predicting rockburst intensity is critical for ensuring mine safety and reducing economic losses.
Zhe Liu +3 more
doaj +1 more source
Operational Semantics of Games
CoRR, 2019 We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used widely to reason on the behaviors of systems (not only computational systems) with game theory supported.
openaire +2 more sources