Results 1 to 10 of about 13,108,497 (315)
, 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
European elections: from ‘second-order’ elections to ‘first-order supranational’ elections, How can a ‘first-order supranational’ European election be created? European Policy Brief No. 34, April 2014 [PDF]
, 2014 Starting from the idea that European elections cannot be considered as purely second order elections, the author gathers some proposals in order to encourage a more effective electoral process.
Willermain, Fabian
core +1 more source
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
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
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 +4 more sources
Continuous Adaptive Finite Reaching Time Control and Second-Order Sliding modes [PDF]
, 2013 This paper focuses on the design of adaptive finite reaching time control for first- and second-order dynamic systems with perturbation terms given in a regressive form. The uncertainties considered here are assumed to be bounded with unknown bounds. The
Spurgeon, Sarah K. +3 more
core +1 more source