Results 31 to 40 of about 23,201,976 (293)
Revising Z: part I - logic and semantics [PDF]
, 1999 This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound.
Henson, Martin C., Reeves, Steve
core +3 more sources
Notational Comparison Analysis of Outdoor Badminton Men’s Single and Double Matches
Journal of Human Kinetics, 2020 The objectives of this study were to determine the results of the analysis of single and double outdoor badminton men’s matches and to determine the relationship between technical and tactical aspects in a study organized by the BWF (Badminton Word ...
J. Pérez-Turpin +5 more
semanticscholar +1 more source
Structured penalties for functional linear models---partially empirical eigenvectors for regression [PDF]
, 2011 One of the challenges with functional data is incorporating spatial structure, or local correlation, into the analysis. This structure is inherent in the output from an increasing number of biomedical technologies, and a functional linear model is often ...
Feng, Ziding +2 more
core +3 more sources
Frontiers in Psychology, 2022 The main objective of this study was to analyze the influence of tactical and situational variables on offensive sequences during elite European handball matches.
Willian Ferrari +9 more
doaj +1 more source
Power, agency, deference and difference Examining the politics of composer–performer relationships in the wake of recent innovations [PDF]
, 2016 With a view to uncovering the political implications of notational, technological and musical innovation in composer–performer relationships within Western art music, this paper examines three disparate works: Christian Wolff’s Duo for Pianists II (1958);
Aulich, John
core +1 more source
O-notation in algorithm analysis
Theoretical Computer Science, 2013 We provide an extensive list of desirable properties for an O-notation --- as used in algorithm analysis --- and reduce them to 8 primitive properties. We prove that the primitive properties are equivalent to the definition of the O-notation as linear dominance.
openaire +5 more sources
Differences in the Offensive and Defensive Actions of the Goalkeepers at Women’s FIFA World Cup 2011
Frontiers in Psychology, 2019 The aim of this study was to analyze the technical and tactical offensive and defensive actions of the goalkeepers and to determine the relationship between these actions and the qualifying results of their respective teams. The sample studied is made up
Pilar Sainz de Baranda +5 more
doaj +1 more source
Refinement of the random coding bound [PDF]
, 2012 An improved pre-factor for the random coding bound is proved. Specifically, for channels with critical rate not equal to capacity, if a regularity condition is satisfied (resp. not satisfied), then for any $\epsilon >0$ a pre-factor of $O(N^{-\frac{1}{2}\
Altug, Yucel, Wagner, Aaron B.
core +1 more source
Asymptotic Analysis of SU-MIMO Channels With Transmitter Noise and Mismatched Joint Decoding [PDF]
, 2014 Hardware impairments in radio-frequency components of a wireless system cause unavoidable distortions to transmission that are not captured by the conventional linear channel model.
Björnson, Emil +6 more
core +6 more sources
, 2019 Performance analysis in sports objectively captures aspects of athlete performances to inform coaching. Comparatively, esports is an emerging expertise domain with limited performance analysis research, however, no research has yet investigated the ...
A. Novak +3 more
semanticscholar +1 more source