The bipartite life history of most marine organisms leads to complex patterns of replenishment in benthic populations. High variation in adult spawning, dynamic oceanographic currents, and often unknown larval behaviors create challenges in accurately predicting spatial and temporal patterns in the supply and settlement of pelagic larvae to nearshore juvenile habitats. Yet, understanding and pr...

OBJECTIVE To describe a personalised lamellar keratoplasty (LK) associated with the keratopigmentation (KTP) technique for corneal leucoma among Asian patients. METHODS This report was a non-randomised, retrospective clinical study performed in 32 consecutive eyes of 32 patients to improve cosmetic appearance. Twenty-two patients underwent LK combined with KTP, either by intralamellar or supe...

Let Lk denote the Lebesgue constants of the Walsh system. The following exact result is established by means of Mellin transforms: ∑ 1≤k<n Lk = n 4 log2 n+ nF (log2 n)− Ln 2 , for n ≥ 1, where F (u) is a continuous periodic function with period 1 whose Fourier coefficients can be explicitly expressed in terms of Riemann’s zeta function. This improves an old result of Fine.

We study the π-calculus, enriched with pairing and non-blocking input, and define a notion of type assignment that uses the type constructor →. We encode the circuits of the calculus X into this variant of π, and show that all reduction (cut-elimination) and assignable types are preserved. Since X enjoys the Curry-Howard isomorphism for Gentzen’s calculus LK, this implies that all proofs in LK ...

The state-of-the-art of local search heuristics for the traveling salesman problem (TSP) is chiefly based on algorithms using the classical Lin–Kernighan (LK) procedure and the stem-and-cycle (S&C) ejection chain method. Critical aspects of implementing these algorithms efficiently and effectively rely on taking advantage of special data structures and on maintaining appropriate candidate lists...

We exhibit and study various regularity properties of the sequence (R(n))n 1 which counts the number of different representations of the positive integer n in the Fibonacci numeration system. The regularity properties in question are observed by representing the sequence as a two-dimensional array consisting of an infinite number of rows L1, L2, L3, . . . where each Lk contains fk−1 (the k − 1s...

I design an experiment to interpret the observed Lk behavior. It distinguishes between the “Lkb” players, who have high ability and best respond to Lk belief, and the “Lka” players, who could use, at most, k steps of reasoning, and thus could not respond to L(k+1) or higherorder belief. The separation utilizes a combination of simultaneous and sequential ring games. In the sequential games it r...

The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB LK where blocks of quanti ers can be introduced in one step is investigated where a distinction is made between linear proofs and proofs in tree form In this framework structuring coincides with the introduction of cuts into a proof The algorithmic solvability of this problem can be reduced to the question of k l...

Food consumption is thought to induce sleepiness. However, little is known about how postprandial sleep is regulated. Here, we simultaneously measured sleep and food intake of individual flies and found a transient rise in sleep following meals. Depending on the amount consumed, the effect ranged from slightly arousing to strongly sleep inducing. Postprandial sleep was positively correlated wit...