The Scheme language does not fully specify the semantics of combination: the evaluation order of the terms composing a combination is left indeterminate. We investigate in this paper a diierent semantics for Scheme where terms of combinations are evaluated concurrently. The resulting semantics models a language with concurrent threads sharing a common workspace. The semantics is given in terms ...

Lisp is well known for its metacircular deenitions. They diier by their intent (what they want to prove), their means (what linguistic features are allowed for the deenition) and by their scope (what linguistic features are described). This paper provides a new metacircular deenition for a complete Lisp system including traditionally neglected features such as cons, read, print and error. The p...

Tick-borne encephalitis virus (TBEV) widespread in the Eurasian continent is a member of the genus Flavivirus, family Flaviviridae. Human TBE cases are registered in more than 30 countries of the world [Charrel RN et al., 2004]. TBEV is subdivided into three main subtypes according to its genetic structure and antigen specificity: European, Siberian, and Far Eastern ones [Holzmann H, et al.1992...

A new type of biological particle, isolated from the marine dinoflagellate Gonyaulax polyedra, has been partially purified and characterized. When the pH is lowered, the particle emits light in vitro in a fashion closely mimicking the flash of the living cell, and it is referred to as a scintillon (flashing unit). Scintillons are obtained by breaking the cells in buffer at pH 8.2 and purifying ...

Tick-borne encephalitis virus (TBEV) belongs to the genus Flavivirus in the family Flaviviridae. TBEV is transmitted through the bite of an infected tick and causes acute central nervous system (CNS) disease in humans (Dumpis, Crook, and Oksi, 1999; Lindquist and Vapalahti, 2008). TBEV is prevalent over a wide area of Europe and Asia, and is geographically and genetically divided into three sub...

Target protein multi-ubiquitination involving lysine 48 of ubiquitin (Ub) is known to occur during protein degradation in the ATP- and Ub-dependent proteolytic pathway (Chau, V., Tobias, J. W., Bachmair, A., Marriott, D., Ecker, D. J., Gonda, D. K., and Varshavsky, A. (1989) Science 243, 1576-1583). However, little is known about the enzymatic mechanism of multi-ubiquitination. We show that a p...

case performance bounds for simple one-dimensional packing algorithms. SIAM J. A better algorithm for an ancient scheduling problem. Analysis of several task-scheduling algorithms for a model of multiprogramming computer systems. A new algorithm for on-line bin-packing. 44 43] G. Galambos and J. B. G. Frenk. A simple proof of Liang's lower bound for on-line bin packing and the extension to the ...

dynamical systems [Curto et al., 2009] or probabilistic frameworks in which variability is modelled as stochastic and correlated variability arises through abstract latent variables whose origin is assumed to lie either in unspecified circuit processes [Ecker et al., 2014, Macke et al., 2011, Pachitariu et al., 2013] or elsewhere in the brain [Goris et al., 2014, de la Rocha et al., 2007]. Whil...

Tick-borne encephalitis is a zoonotic infection of a central nervous system whose clinical course is often severe, even fatal, and complications (such as paralysis) are frequent [Zlobin and Lvov, 2008]. It is caused by tick-borne encephalitis virus (TBEV) belonging to the mammalian tick-borne flaviviruses group in the genus Flavivirus (Flaviviridae). The group includes several species found in ...