Results 11 to 20 of about 18,143,287 (301)
, 2023 AbstractWe 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 epistemic properties like common knowledge, Mazurkiewicz trace theory, and asynchronous ...
Raven Beutner +3 more
openaire +5 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
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
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 +4 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 +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
A Second-Order Perceptron Algorithm [PDF]
SIAM Journal on Computing, 2002 Summary: Kernel-based linear-threshold algorithms, such as support vector machines and Perceptron-like algorithms, are among the best available techniques for solving pattern classification problems. In this paper, we describe an extension of the classical Perceptron algorithm, called second-order Perceptron, and analyze its performance within the ...
CESA BIANCHI N +2 more
openaire +5 more sources
Second-order logic : ontological and epistemological problems [PDF]
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core +2 more sources