The shape of wake behind a wind turbine is normally assumed to have a hat shape for the models used in wind farm layout optimization purposes; however, it is know from experimental tests and numerical simulations that this is not a real assumption. In reality, the results of actual measurements and detailed numerical simulation show that the velocity in wake region has a S-shape profile. The pr...

Different record achievements are fixed in many domains of the human activities. Very often this process happens with some rate discretization (up to seconds, up meters or thousands individuals) observed results. On examples exponential and geometrical distributions it is shown how such type transition from continuous discrete can vary numbers values corresponding sequences random variables.

In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e.g. renaming of bound variables is not allowed). An alternative semantics is proposed which formalizes intu...

Several variants of a first-order simplification rule for nonnormal form tableaux using syntactic constraints are presented. These can be used as a framework for porting methods like unit resolution or hyper tableaux to non-normal form free variable tableaux.

An alternative approach to the semantics of definite descriptions was proposed by Heim in her dissertation [1982]. Heim assigns to pragmatics a larger part of the task of specifying the meaning of definite descriptions than the neo-Russellians do. In Heim’s theory, definite and indefinite NPs are semantically equivalent, and both introduce free variables. The truth conditions proposed by Heim f...

$