Results 11 to 20 of about 13,111,443 (313)
Second-Order Hyperproperties [PDF]
, 2023 We introduce Hyper2LTL, a temporal logic for the specification of hyperproperties that allows for second-order quantification over sets of traces. Unlike first-order temporal logics for hyperproperties, such as HyperLTL, Hyper2LTL can express complex ...
Niklas Metzger (17287996) +3 more
core +3 more sources
Maximum Inaccuracies of Second Order [PDF]
Computer Science Journal of Moldova, 2015 Let an indirectly measurable variable $Y$ be represented as a function of finite number of directly measurable variables $X_1, \linebreak X_2, ..., X_n$. We introduce maximum absolute and relative inaccuracies of second order of $Y$ -- this idea is a
Kiril Kolikov +3 more
doaj +3 more sources
CAAI Transactions on Intelligence Technology, 2019 Differential evolution (DE) is a robust, efficient and simple evolutionary algorithm for various optimisation and engineering problems. It has several outstanding features such as low time complexity, ease to use and robust steadiness.
Xinchao Zhao +3 more
doaj +2 more sources
Second-Order Productivity, Second-Order Payoffs And the Banzhaf Value
International Journal of Game Theory, 2023 AbstractFirst, we suggest and discuss second-order versions of properties for solutions for TU games used to characterize the Banzhaf value, in particular, of standardness for two-player games, of the dummy player property, and of 2-efficiency. Then, we provide a number of characterizations of the Banzhaf value invoking the following properties: (i ...
Casajus, André, Tido Takeng, Rodrigue
openaire +3 more sources
On second-order characterizability [PDF]
Logic Journal of IGPL, 2012 We investigate the extent of second order characterizable structures by extending Shelah's Main Gap dichotomy to second order logic. For this end we consider a countable complete first order theory T. We show that all sufficiently large models of T have a characterization up to isomorphism in the extension of second order logic obtained by adding a ...
Tapani Hyttinen +2 more
openaire +3 more sources
Second-order productivity, second-order payoffs, and the Owen value
Annals of Operations Research, 2022 AbstractWe introduce the concepts of the components’ second-order productivities in cooperative games with transferable utility (TU games) with a coalition structure (CS games) and of the components’ second-order payoffs for one-point solutions for CS games as generalizations of the players’ second-order productivities in TU games and of the players ...
André Casajus, Rodrigue Tido Takeng
openaire +4 more sources
No local cancellation between directionally opposed first-order and second-order motion signals [PDF]
, 2000 Despite strong converging evidence that there are separate mechanisms for the processing of first-order and second-order motion, the issue remains controversial. Qian, Andersen and Adelson (J.
Scott-Samuel, NE +4 more
core +1 more source
Second-Order Finite Automata [PDF]
Theory of Computing Systems, 2020 AbstractTraditionally, finite automata theory has been used as a framework for the representation of possibly infinite sets of strings. In this work, we introduce the notion of second-order finite automata, a formalism that combines finite automata with ordered decision diagrams, with the aim of representing possibly infinitesets of setsof strings. Our
Alexsander Andrade de Melo +1 more
openaire +5 more sources
A multicarrier amplifier design linearized trough second harmonics and second-order IM feedback [PDF]
, 2001 A novel linearisation technique for reduction in the first and second kind of the third-order intermodulation products was applied in this paper. The second harmonics and second-order intermodulation products are led from the output to the input of a ...
Budimir, D. +6 more
core +1 more source