1,076 research outputs found
Analysis of Boolean Equation Systems through Structure Graphs
We analyse the problem of solving Boolean equation systems through the use of
structure graphs. The latter are obtained through an elegant set of
Plotkin-style deduction rules. Our main contribution is that we show that
equation systems with bisimilar structure graphs have the same solution. We
show that our work conservatively extends earlier work, conducted by Keiren and
Willemse, in which dependency graphs were used to analyse a subclass of Boolean
equation systems, viz., equation systems in standard recursive form. We
illustrate our approach by a small example, demonstrating the effect of
simplifying an equation system through minimisation of its structure graph
Recommended from our members
Followers are not followed: observed group interactions modulate subsequent social attention
We asked whether previous observations of group interactions modulate subsequent social attention episodes. Participants first completed a learning phase with two conditions. In the ‘leader’ condition one of three identities turned her gaze first, followed by the two other faces. In the ‘follower’ condition, one of the identities turned her gaze after the two other faces had first shifted their gaze. Thus, participants observed that some individuals were consistently ‘leaders’ and others ‘followers’ of others’ attention. In the test phase, the faces of ‘leaders’ and ‘followers’ were presented in a gaze cueing paradigm. Remarkably, the ‘followers’ did not elicit gaze cueing. Our data demonstrate that individuals who do not guide group attention in exploring the environment are ineffective social attention directors in later encounters. Thus, the role played in previous group social attention interactions modulates the relative weight assigned to others’ gaze: we ignore the gaze of group followers
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing
We study the connection between stable-failures refinement and the ioco conformance relation. Both behavioural relations underlie methodologies that have gained traction in industry: stable-failures refinement is used in several commercial Model-Driven Engineering tool suites, whereas the ioco conformance relation is used in Model-Based Testing tools. Refinement-based Model-Driven Engineering approaches promise to generate executable code from high-level models, thus guaranteeing that the code upholds specified behavioural contracts. Manual testing, however, is still required to gain confidence that the model-to-code transformation and the execution platform do not lead to unexpected contract violations. We identify conditions under which also this last step in the design methodology can be automated using the ioco conformance relation and the associated tools
Sporulation-specific cell division defects in ylmE mutants of Streptomyces coelicolor are rescued by additional deletion of ylmD
Cell division during the reproductive phase of the Streptomyces life-cycle requires tight coordination between synchronous formation of multiple septa and DNA segregation. One remarkable difference with most other bacterial systems is that cell division in Streptomyces is positively controlled by the recruitment of FtsZ by SsgB. Here we show that deletion of ylmD (SCO2081) or ylmE (SCO2080), which lie in operon with ftsZ in the dcw cluster of actinomycetes, has major consequences for sporulation-specific cell division in Streptomyces coelicolor. Electron and fluorescence microscopy demonstrated that ylmE mutants have a highly aberrant phenotype with defective septum synthesis, and produce very few spores with low viability and high heat sensitivity. FtsZ-ring formation was also highly disturbed in ylmE mutants. Deletion of ylmD had a far less severe effect on sporulation. Interestingly, the additional deletion of ylmD restored sporulation to the ylmE null mutant. YlmD and YlmE are not part of the divisome, but instead localize diffusely in aerial hyphae, with differential intensity throughout the sporogenic part of the hyphae. Taken together, our work reveals a function for YlmD and YlmE in the control of sporulation-specific cell division in S. coelicolor, whereby the presence of YlmD alone results in major developmental defects
Modelling and analysing software in mCRL2
Model checking is an effective way to design correct software.Making behavioural models of software, formulating correctness properties using modal formulas, and verifying these using finite state analysis techniques, is a very efficient way to obtain the required insight in the software. We illustrate this on four common but tricky examples
Feasibility of a dose-intensive CMF regimen with granulocyte colony-stimulating factor as adjuvant therapy in premenopausal patients with node-positive breast cancer
Our aim was to study the feasibility of an intensified intravenous CMF (cyclophosphamide, methotrexate and 5-fluorouracil) schedule with the aim to escalate dose intensity (DI). Twenty-three premenopausal breast cancer patients received 6 cycles of adjuvant CMF intravenously on days 1 and 8 every 3 weeks and granulocyte colony-stimulating factor days 9–18. Endpoints were DI and toxicity. Twenty-one out of 23 patients (91%) received the projected total dose and reached ≥ 85% of the projected DI. Compared to ‘classical’ CMF, all patients reached ≥ 111% DI. Nine patients received the planned schedule without delay. Thirteen patients (57%) were treated for infection and four patients (17%) were hospitalized for febrile neutropenia. Twelve patients received red blood cell transfusions (52%). Radiation therapy (n= 6) had no adverse impact on dose intensity or haematological toxicity. This dose-intensified CMF schedule was accompanied by enhanced haematological toxicity with clinical sequelae, namely fever, intravenous antibiotics and red blood cell transfusions, but allows a high dose intensity in a majority of patients. © 2000 Cancer Research Campaig
- …