Robustness of Triple Sampling Inference Procedures to Underlying Distributions
In this study, the sensitivity of the sequential normal-based triple sampling procedure for estimatingthe population mean to departures from normality is discussed.
Yousef, Ali Saleh Ali
core
Focused and Synthetic Nested Sequents (Extended Technical Report)
Focusing is a general technique for transforming a sequent proof system into one with a syntactic separation of non-deterministic choices without sacrificing completeness.
Strassburger, Lutz +2 more
core +2 more sources
Non-reactive strategies in decision-form games
In this paper we propose a concept of rationalizable solution for two-player decision-form games: the solution by iterated elimination of non-reactive strategies. Several original theorems are proved about this kind of solution.
Ricciardello, Angela, Carfì, David
core
Max-Flow Min-Cut Theorems for Multi-User Communication Networks
The paper presents four distinct new ideas and results for communication networks: 1) We show that relay-networks (i.e. communication networks where different nodes use the same coding functions) can be used to model dynamic networks.
Gadouleau, M, Riis, S
core
Die Methode der Schnittelimination nimmt als Kern von Gerhard Gentzens Hauptsatz eine wichtige Rolle im Bereich der Logik ein.Verwendet ein Beweis jedoch das Induktionsprinzip, ist Schnittelimination im Allgemeinen nicht mehr möglich.
Rukhaia, Mikheil
core
Existence theorems for periodic solutions to partial differential equations with applications in hydrodynamics [PDF]
The thesis looks at a number of existence theorems that prove the existence of small-amplitude periodic solutions to systems of partial differential equations.
Bagri, Gurjeet S +1 more
core
Shear instabilities in shallow-water magnetohydrodynamics [PDF]
The interaction of horizontal shear flows and magnetic fields in stably stratified layers is central to many problems in astrophysical fluid dynamics.
Mak, Julian
core
Surgery formulae for the Seiberg-Witten invariant of plumbed 3-manifolds. [PDF]
László T, Nagy J, Némethi A.
europepmc +1 more source
Statistical Mechanics and Thermodynamics: Boltzmann's versus Planck's State Definitions and Counting †. [PDF]
Enders P.
europepmc +1 more source
Dynamic inferential NO x emission prediction model with delay estimation for SCR de-NO x process in coal-fired power plants. [PDF]
Yan L, Dong Z, Jia H, Huang J, Meng L.
europepmc +1 more source

