Results 11 to 20 of about 3,965,692 (312)
, 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 +3 more sources
Second order pedagogy as an example of second order cybernetics
Reconceptualizing Educational Research Methodology, 2012 This article is about seeing/creating/trying out an idea of pedagogy and pedagogical/ educational research in/as/with self-reflexive, circular and diffractive perspectives and about using second order cybernetics as thinking tool. It is a move away from
Anne B. Reinertsen
doaj +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
Effect of second harmonic and second‐order intermodulation on third‐order passive intermodulation
IET Microwaves, Antennas & Propagation, 2021 Third‐order intermodulation (IM3) is considered as a typical metric to evaluate passive intermodulation (PIM) in electrical connectors, which may be affected by the second‐order effect in the circuit with cascaded non‐linearities.
Qiuyan Jin, Quanyuan Feng
doaj +1 more source
A Moment Method for the Second Order Two-point Boundary Value Problems [PDF]
Engineering and Technology Journal, 2010 In this paper a Moment method based on the second, third and fourth kindChebyshev polynomials is proposed to approximate the solution of a linear twopointboundary value problem of the second order.
Ahmed M. Shokr +2 more
doaj +1 more source
Children, 2022 The parenting typology of Baumrind, Maccoby and Martin is based on variations in warmth and control and consists of three negative parenting styles labelled authoritarian, neglectful, and permissive.
John Philip Louis
doaj +1 more source
The uniqueness of the solution of an initial boundary value problem for a hyperbolic equation with a mixed derivative and a formula for the solution [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2023 An initial boundary value problem for an inhomogeneous second-order hyperbolic equation on a finite segment with constant coefficients and a mixed derivative is investigated. The case of fixed ends is considered.
Rykhlov, Victor Sergeyevich
doaj +1 more source