We propose a two-fold use of context in reasoning about agents. The first concerns the modelling of beliefs which are entertained only within the scope of some assumption. We illustrate this use by describing as logical model of an agent which reasons in a natural deduction style by making assumptions to derive new formulas. The second use of context we propose here concerns the modelling of re...

Editors' Note: This month we continue the new featureSTEPped Care: An Evidence-BasedApproach to Drug Therapy. These articles are designed to provide concise answers to the drog therapy questions that family physicians encounter in their daily practice. The format of the feature will follow the mnemonic STEP: safety (an analysis of adverse effects that patients and providers care about), tolerab...

TsaR is the putative LysR-type regulator of the tsa operon (tsaMBCD) which encodes the first steps in the degradation of p-toluenesulfonate (TSA) in Comamonas testosteroni T-2. Transposon mutagenesis was used to knock out tsaR. The resulting mutant lacked the ability to grow with TSA and p-toluenecarboxylate (TCA). Reintroduction of tsaR in trans on an expression vector reconstituted growth wit...

Sweden has a two-step selection process for admission to higher education. Eligibility is assessed to ensure that the candidates have the ability to take the course/programme. Selections are made based in part on other measures. The focus here is eligibility, particularly the 25:4 scheme, a measure introduced to widen access to higher education in the 1970s but since abandoned. An age of 25 and...

A two-step parameter-free approach for non-rigid medical image registration is presented. Displacements of boundary structures are computed in the rst step and then incorporated as hard constraints for elastic image deformation in the second step. In comparison to traditional non-parametric methods, no driving forces have to be computed from image data. The approach guarantees the exact corresp...

We describe a new variant of the well known Baby-Step Giant-Step algorithm in the case of some discrete logarithms with a special structure. More precisely, we focus on discrete logarithms equal to products in groups of unknown order. As an example of application, we show that this new algorithm enables to cryptanalyse a variant of the GPS scheme proposed by Girault and Lefranc at CHES 2004 con...