Proof-Number (PN) search is a best-first adversarial search algorithm especially suited for finding the game-theoretical value in game trees. The strategy of the algorithm may be described as developing the tree into the direction where the opposition characterised by value and branching factor is to expect to be the weakest. In this chapter we start by providing a short description of the orig...

We present the ?3-coordination of 2-phosphaethynthiolate anion in complex (PN)2La(SCP) (2) [PN=N-(2-(diisopropylphosphanyl)-4-methylphenyl)-2,4,6-trimethylanilide)]. Structural comparison with dinuclear thiocyanate-bridged (PN)2La(?-1,3-SCN)2La(PN)2 (3) and azide-bridged (PN)2La(?-1,3-N3)2La(PN)2 (4) complexes indicates that [SCP]? coordination mode is mainly governed by electronic, rather than...

Our aim was to investigate the effects of modifying the carbohydrate-to-lipid ratio of parenteral nutrition (PN) on body composition and the anabolic actions of insulin-like growth factor I (IGF-I) and growth hormone (GH). Adolescent male Sprague-Dawley rats were randomized to receive 7 days of GH, IGF-I (3.5 mg. kg(-1). day(-1) for both) or placebo while receiving high-carbohydrate PN (CHO-PN)...

We prove that lim inf n→∞ pn+1 − pn √ log pn(log log pn) < ∞, where pn denotes the n prime. Since on average pn+1 −pn is asymptotically log pn, this shows that we can always find pairs of primes much closer together than the average. We actually prove a more general result concerning the set of values taken on by the differences p− p between primes which includes the small gap result above.

This study aimed to profile the metabolites, piperine content, and biological activities (antioxidant, anti-inflammatory, anticancer, antibacterial, apoptotic cell) of 15 samples Piper nigrum L. from various geographic regions Thailand. UHPLC-QTOF-MS was applied establish alkaloid profiles P. samples. PCA HCA analysis showed that PN-1, PN-2, PN-11 sources differed significantly those other in t...

In this paper, we consider the liveness enforcement problem in a class of Petri nets (PN) modeling distributed systems. They are called synchronized sequential processes (SSP). The presented design algorithm is based on construction control PN, an abstraction relations T-semiflows, and buffers original nonstructurally live PN. control PN evolves parallel with system, avoiding firi...

Consider independent long range percolation on Z2, where horizontal and vertical edges of length n are open with probability pn. We show that if lim supn→∞ pn > 0, then there exists an integer N such that PN (0 ↔ ∞) > 0, where PN is the truncated measure obtained by taking pN,n = pn for n ≤ N and pN,n = 0 for all n > N .

Star configurations are certain unions of linear subspaces of projective space. They have appeared in several different contexts: the study of extremal Hilbert functions for fat point schemes in the plane; the study of secant varieties of some classical algebraic varieties; the study of the resurgence of projective schemes. In this paper we study some algebraic properties of the ideals defining...