interpretation and infinite state model checking In abstract interpretation we develop an abstract semantic function systematically from the standard (“concrete”) semantics. The formal framework is based on a Galois connection 〈L,vL〉 −−−→ ←−−− α γ 〈M,vM 〉 between the lattices 〈L,vL〉 and 〈M,vM 〉 which are the concrete and abstract semantic domains respectively. The functions α and γ are known as...

Growth under conditions of salt stress has important effects on the synthesis of degradative enzymes in Bacillus subtilis. Salt stress strongly stimulates the expression of sacB, encoding levansucrase (about ninefold), and downregulates the expression of aprE, encoding alkaline protease (about sixfold). It is suggested that the DegS-DegU two-component system is involved in sensing salt stress. ...

The availability of the complete sequence of the Bacillus subtilis chromosome (F. Kunst et al., Nature 390:249-256, 1997) makes possible the construction of genome-wide DNA arrays and the study of this organism on a global scale. Because we have a long-standing interest in the effects of scoC on late-stage developmental phenomena as they relate to aprE expression, we studied the genome-wide eff...

Secure pairing of electronic devices is an important issue that must be addressed in many contexts. In the absence of prior security context, the need to involve the user in the pairing process is a prominent challenge. In this paper, we investigate the use of the audio channel for human-assisted device pairing. Fist we assume a common (insecure) wireless channel between devices.We thenobviate ...

Il contributo affronta la regolazione del lavoro nelle piccole imprese (5-49 addetti): tema sottovalutato nel dibattito pubblico e scientifico, ma di notevole rilevanza per il grande peso quantitativo questa realtà socio-economica i risvolti policy che ne possono derivare. Utilizzando un ampio approccio analitico allarga lo sguardo alle dinamiche delle relazioni sia all’interno all’esterno dell...

Pseudomonas aeruginosa is the dominant pathogen causing chronic respiratory infections in cystic fibrosis (CF). After an initial phase characterized by intermittent infections, a chronic colonization is established in CF upon the conversion of P. aeruginosa to the mucoid, exopolysaccharide alginate-overproducing phenotype. The emergence of mucoid P. aeruginosa in CF is associated with respirato...

Microbial levan is an important biopolymer with considerable potential in food and medical applications. Bacillus amyloliquefaciens NK-ΔLP strain can produce high-purity, low-molecular-weight levan, but production is relatively low. To enhance the production of levan, six extracellular protease genes (bpr, epr, mpr, vpr, nprE and aprE), together with the tasA gene (encoding the major biofilm ma...