The present status of higher-order results in the electroweak theory is summarised, with particular emphasis on recent two-loop results for the prediction of the W-boson mass in the Standard Model and leading three-loop corrections to the rho parameter. The remaining theoretical uncertainties in the prediction for the W-boson mass and the effective weak mixing angle are discussed. PACS. 12.15.L...

We present a higher-order calculus ECC which naturally combines Coquand-Huet's calculus of constructions and Martin-LL of's type theory with universes. ECC is very expressive, both for structured abstract reasoning and for program speciication and construction. In particular , the strong sum types together with the type universes provide a useful module mechanism for abstract description of mat...

We calculate couplings of arbitrary order from correlation functions among twisted strings, using conformal field theory. Twisted strings arise in heterotic string compactified on orbifolds yielding matter fields in the low energy limit. We calculate completely the classical and the quantum amplitude including normalization, up to a contribution from Kähler potential. The classical action has s...

This paper proposes a simple, set-theoretic framework providing expressive typing, higher-order functions and initial models at the same time. Building upon Russell’s ramified theory of types, we develop the theory of R-logics, which are axiomatisable by an order-sorted equational Horn logic with a membership predicate, and of G-logics, that provide in addition partial functions. The latter are...

Studies by various authors suggest that higher-order networks can be more powerful and are biologically more plausible with respect to the more traditional multilayer networks. These architectures make explicit use of nonlinear interactions between input variables in the form of higher-order units or product units. If it is known a priori that the problem to be implemented possesses a given set...

Wedefine different concepts of group strategy-proofness for social choice functions. We discuss the connections between the defined concepts under different assumptions on their domains of definition. We characterize the social choice functions that satisfy each one of them and whose ranges consist of two alternatives, in terms of two types of basic properties. Finally, we obtain the functional...

This paper looks at the development of a class of Exponential Compact Higher Order (ECHO) schemes and attempts to comprehend their behaviour by introducing different combinations of discrete source function and its derivatives. The characteristic analysis is performed for one-dimensional schemes to understand the efficiency of the scheme and a similar analysis has been introduced for higher dim...

We have constructed a poker classification system which makes informed betting decisions based upon three defining features extracted while playing poker: hand value, risk, and aggressiveness. The system is implemented as a poker player agent, and as such, the goals of the classifier are not only to correctly determine whether each hand should be folded, called, or raised, but to win as many ch...

The paper contributes the proof of termination of an experimental supercom-piler HOSC dealing with higher-order functions. В работе приводится доказательство завершаемости экпериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

in this study we investigate voice productions of normal speakers and patients with varying vocal fold adduction deficiencies using a noninvasive method to measure spatial vibrations of the larynx. the current version accv4 of our acceleration sensor device was used. The study’s primary goal is to find out whether lesions of vocal folds lead to additional spatial vibration modes compared to a n...