Lambda-lifting a functional program transforms it into a set of recursive equations. We present the symmetric transformation: lambda-dropping. Lambda-dropping a set of recur-sive equations restores block structure and lexical scope. For lack of scope, recursive equations must carry around all the parameters that any of their callees might possibly need. Both lambda-lifting and lambda-dropping t...

We consider the effective Hamiltonian of an open quantum system, its biorthogonal eigenfunctions phi(lambda), and define the value r(lambda)=(phi(lambda)|phi(lambda))/ that characterizes the phase rigidity of the eigenfunctions phi(lambda). In the scenario with avoided level crossings, r(lambda) varies between 1 and 0 due to the mutual influence of neighboring resonance...

Salmonella typhosa hybrids able to adsorb lambda were obtained by mating S. typhosa recipients with Escherichia coli K-12 donors. After adsorption of wild-type lambda to these S. typhosa hybrids, no plaques or infective centers could be detected. E. coli K-12 gal(+) genes carried by the defective phage lambdadg were transduced to S. typhosa hybrids with HFT lysates derived from E. coli heteroge...

wireless sensor networks (wsns) have many applications in the areas of commercial, military and environmental requirements. regarding the deployment of low cost sensor nodes with restricted energy resources, these networks face a lot of security challenges. a basic approach for preparing a secure wireless communication in wsns, is to propose an efficient cryptographic key management protocol be...

In this paper, we study a coupled system of nonlinear fractional differential equations with multi-point boundary condi- tions. The differential operator is taken in the Riemann-Liouville sense. Applying the Schauder fixed-point theorem and the contrac- tion mapping principle, two existence results are obtained for the following system D^{alpha}_{0+}x(t)=fleft(t,y(t),D^{p}_{0+}y(t)right), t in (0,...

in this paper‎, ‎we consider the following kirchhoff-type equations‎: ‎$-‎left(a+bint_{mathbb{r}^{3}}|nabla u|^{2}right)delta u+v(x) u=lambda$ $f(x,u)+u^{5}‎, ‎quad mbox{in }mathbb{r}^{3},$ ‎$u(x)>0‎, ‎quad mbox{in }mathbb{r}^{3},$ ‎$uin h^{1}(mathbb{r}^{3})‎ ,‎$ ‎ ‎‎‎where $a,b>0$ are constants and $lambda$ is a positive parameter‎. ‎the aim of this paper is to study the existence of positive ...

Measurement of the Lambda(0)(b) Lifetime in Lambda(0)(b)-> Lambda(+)(c)pi(Decays ys in p(p)over-bar Collisions at root s=1.96 TeV